Skip to content

GitLab

sat4j
sat4j

Corrects the order of the literals in all kinds of WatchPb

5 jobs for fix-sat-155 in 194 minutes and 39 seconds (queued for 3 seconds)
latest
e6549155
1 related merge request: !4 Fix sat 155
Status Job ID Name Coverage
  Build
passed #12783
jars-j8

00:00:40

passed #12782
java8

00:34:31

 
  Test
failed #12785
allowed to fail
java11

02:11:18

failed #12784
java7

00:28:10

failed #12786
allowed to fail
maven36

00:28:22

 
Name Stage Failure
failed
java11 Test There has been a timeout failure or the job got stuck. Check your timeout limits or try again 
723281 [INFO] Tests run: 53, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 59.284 s - in org.sat4j.pb.constraints.MiniOPBClauseCardMinLearningTest
723288 [INFO] Running org.sat4j.pb.constraints.WatchedPBConstrWithPBConstrLearningTest
736125 [INFO] Tests run: 53, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 64.645 s - in org.sat4j.pb.constraints.PBCPRemoveSatisfiedMixedConstraintsLongLearningTest
736141 [INFO] Running org.sat4j.pb.constraints.PBCPSkipMaxClauseCardConstrLearningReduceByGCDTest
1007311 [INFO] Tests run: 53, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 642.689 s - in org.sat4j.pb.constraints.PBCPSkipMaxClauseCardConstrLearningReduceCoefsByPowersOf2Test
1007533 [INFO] Running org.sat4j.pb.constraints.WatchedCardConstrOnRandomCardProblemsTest
1009254 [INFO] Tests run: 31, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.72 s - in org.sat4j.pb.constraints.WatchedCardConstrOnRandomCardProblemsTest
1009280 [INFO] Running org.sat4j.pb.constraints.PBCPSkipMaxClauseCardConstrLearningDivideBy2Test
1162453 [INFO] Tests run: 53, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 439.139 s - in org.sat4j.pb.constraints.WatchedPBConstrWithPBConstrLearningTest
1163379 [INFO] Running org.sat4j.pb.constraints.PBCPSkipMaxClauseCardConstrLearningDivideByGCDTest
failed
maven36 Test 
1662275 [ERROR] 
1662275 [ERROR] Re-run Maven using the -X switch to enable full debug logging.
1662275 [ERROR] 
1662275 [ERROR] For more information about the errors and possible solutions, please read the following articles:
1662275 [ERROR] [Help 1] http://cwiki.apache.org/confluence/display/MAVEN/MojoFailureException
1662276 [ERROR] 
1662276 [ERROR] After correcting the problems, you can resume the build with the command
1662276 [ERROR]   mvn <goals> -rf :org.ow2.sat4j.pb
ERROR: Job failed: exit code 1
failed
java7 Test 
1676367 [ERROR] 
1676367 [ERROR] Re-run Maven using the -X switch to enable full debug logging.
1676367 [ERROR] 
1676367 [ERROR] For more information about the errors and possible solutions, please read the following articles:
1676367 [ERROR] [Help 1] http://cwiki.apache.org/confluence/display/MAVEN/MojoFailureException
1676367 [ERROR] 
1676367 [ERROR] After correcting the problems, you can resume the build with the command
1676367 [ERROR]   mvn <goals> -rf :org.ow2.sat4j.pb
ERROR: Job failed: exit code 1