Pipeline · SAT4J / sat4j

Considers watched literals in resolution based solvers for Both-like solvers

6 jobs for cdcl-strategies in 105 minutes and 21 seconds (queued for 32 seconds)

Status	Job ID	Name
Build
passed	#31479	jars-j8	00:00:26 Sep 13, 2020
passed	#31478	java8	00:29:54 Sep 13, 2020

Test
failed	#31480 allowed to fail	java7	00:12:54 Sep 13, 2020
passed	#31482	maven36-java11	00:21:25 Sep 13, 2020
passed	#31483	maven36-java13	00:21:07 Sep 13, 2020
passed	#31481	maven36-java8	00:19:34 Sep 13, 2020

Name Stage Failure

	Name	Stage	Failure
failed	java7	Test
	`764414 [ERROR] 764414 [ERROR] Re-run Maven using the -X switch to enable full debug logging. 764414 [ERROR] 764414 [ERROR] For more information about the errors and possible solutions, please read the following articles: 764415 [ERROR] [Help 1] http://cwiki.apache.org/confluence/display/MAVEN/MojoFailureException 764415 [ERROR] 764415 [ERROR] After correcting the problems, you can resume the build with the command 764415 [ERROR] mvn <goals> -rf :org.ow2.sat4j.pb ERROR: Job failed: exit code 1`

failed

java7

Test

764414 [ERROR] 
764414 [ERROR] Re-run Maven using the -X switch to enable full debug logging.
764414 [ERROR] 
764414 [ERROR] For more information about the errors and possible solutions, please read the following articles:
764415 [ERROR] [Help 1] http://cwiki.apache.org/confluence/display/MAVEN/MojoFailureException
764415 [ERROR] 
764415 [ERROR] After correcting the problems, you can resume the build with the command
764415 [ERROR]   mvn <goals> -rf :org.ow2.sat4j.pb
ERROR: Job failed: exit code 1