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)
latest
Status Job ID Name Coverage
  Build
passed #31479
jars-j8

00:00:26

passed #31478
java8

00:29:54

 
  Test
failed #31480
allowed to fail
java7

00:12:54

passed #31482
maven36-java11

00:21:25

passed #31483
maven36-java13

00:21:07

passed #31481
maven36-java8

00:19:34

 
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