SAT4J core - Surefire Report

Surefire Report

Summary

[Summary ] [Package List ] [Test Cases ]

Tests	Errors	Failures	Skipped	Success Rate	Time
130	2	4	0	95.385%	249.41

Note: failures are anticipated and checked for with assertions while errors are unanticipated.

Package List

[Summary ] [Package List ] [Test Cases ]

Package	Tests	Errors	Failures	Success Rate	Time
org.sat4j.minisat.core	24	0	0	100%	0.08
org.sat4j.minisat.datatype	9	0	0	100%	0.084
org.sat4j.core	24	0	0	100%	0.054
org.sat4j.minisat.constraints	5	0	0	100%	0.022
org.sat4j.minisat	51	0	4	92.157%	229.853
org.sat4j	17	2	0	88.235%	19.317

Note: package statistics are not computed recursively, they only sum up all of its testsuites numbers.

org.sat4j.minisat.core

Class	Tests	Success Rate	Time
MarkableLitsTest	12	100%	0.038
HeapTest	8	100%	0.025
QueueTest	4	100%	0.017

org.sat4j.minisat.datatype

	Class	Tests	Errors	Failures	Skipped	Success Rate	Time
	LboolTest	3	0	0	0	100%	0.015
	TestAtMost	6	0	0	0	100%	0.069

org.sat4j.core

	Class	Tests	Errors	Failures	Skipped	Success Rate	Time
	VecTest	24	0	0	0	100%	0.054

org.sat4j.minisat.constraints

	Class	Tests	Errors	Failures	Skipped	Success Rate	Time
	LitTest	5	0	0	0	100%	0.022

org.sat4j.minisat

Class	Tests	Failures	Success Rate	Time
GenericM2Test	36	4	88.889%	229.497
TestAssertion	1	0	100%	0.013
TestLubyFunction	1	0	100%	0.019
TestsFonctionnels	13	0	100%	0.324

org.sat4j

Class	Tests	Errors	Success Rate	Time
SingleSolutionTest	4	0	100%	0.081
TestConstrGroup	6	0	100%	0.086
ModelIteratorTest	7	2	71.429%	19.15

Test Cases

[Summary ] [Package List ] [Test Cases ]

GenericM2Test

	AbstractM2TestDefault +- [ Detail ]	30.093
	Timeout: need more time to complete!
	junit.framework.AssertionFailedError: Timeout: need more time to complete! at junit.framework.Assert.fail(Assert.java:47) at org.sat4j.minisat.AbstractAcceptanceTestCase.solveInstance(AbstractAcceptanceTestCase.java:98) at org.sat4j.minisat.GenericM2Test.runTest(GenericM2Test.java:79) at junit.framework.TestCase.runBare(TestCase.java:134) at junit.framework.TestResult$1.protect(TestResult.java:110) at junit.framework.TestResult.runProtected(TestResult.java:128) at junit.framework.TestResult.run(TestResult.java:113) at junit.framework.TestCase.run(TestCase.java:124) at junit.framework.TestSuite.runTest(TestSuite.java:232) at junit.framework.TestSuite.run(TestSuite.java:227) at org.junit.internal.runners.JUnit38ClassRunner.run(JUnit38ClassRunner.java:81) at org.apache.maven.surefire.junit4.JUnit4TestSet.execute(JUnit4TestSet.java:62) at org.apache.maven.surefire.suite.AbstractDirectoryTestSuite.executeTestSet(AbstractDirectoryTestSuite.java:140) at org.apache.maven.surefire.suite.AbstractDirectoryTestSuite.execute(AbstractDirectoryTestSuite.java:165) at org.apache.maven.surefire.Surefire.run(Surefire.java:107) at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method) at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:39) at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25) at java.lang.reflect.Method.invoke(Method.java:597) at org.apache.maven.surefire.booter.SurefireBooter.runSuitesInProcess(SurefireBooter.java:289) at org.apache.maven.surefire.booter.SurefireBooter.main(SurefireBooter.java:1005)
	AbstractM2TestMiniLearning	5.207
	AbstractM2TestMiniLearningHeap	5.069
	AbstractM2TestMiniLearningHeapEZSimp	4.993
	AbstractM2TestMiniLearningHeapExpSimp	5.033
	AbstractM2TestMiniLearningHeapRsatExpSimp	12.036
	AbstractM2TestMiniLearningHeapRsatExpSimpBiere +- [ Detail ]	30.02
	Timeout: need more time to complete!
	junit.framework.AssertionFailedError: Timeout: need more time to complete! at junit.framework.Assert.fail(Assert.java:47) at org.sat4j.minisat.AbstractAcceptanceTestCase.solveInstance(AbstractAcceptanceTestCase.java:98) at org.sat4j.minisat.GenericM2Test.runTest(GenericM2Test.java:79) at junit.framework.TestCase.runBare(TestCase.java:134) at junit.framework.TestResult$1.protect(TestResult.java:110) at junit.framework.TestResult.runProtected(TestResult.java:128) at junit.framework.TestResult.run(TestResult.java:113) at junit.framework.TestCase.run(TestCase.java:124) at junit.framework.TestSuite.runTest(TestSuite.java:232) at junit.framework.TestSuite.run(TestSuite.java:227) at org.junit.internal.runners.JUnit38ClassRunner.run(JUnit38ClassRunner.java:81) at org.apache.maven.surefire.junit4.JUnit4TestSet.execute(JUnit4TestSet.java:62) at org.apache.maven.surefire.suite.AbstractDirectoryTestSuite.executeTestSet(AbstractDirectoryTestSuite.java:140) at org.apache.maven.surefire.suite.AbstractDirectoryTestSuite.execute(AbstractDirectoryTestSuite.java:165) at org.apache.maven.surefire.Surefire.run(Surefire.java:107) at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method) at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:39) at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25) at java.lang.reflect.Method.invoke(Method.java:597) at org.apache.maven.surefire.booter.SurefireBooter.runSuitesInProcess(SurefireBooter.java:289) at org.apache.maven.surefire.booter.SurefireBooter.main(SurefireBooter.java:1005)
	AbstractM2TestMiniSatHeapRsatExpSimpBiere	1.633
	AbstractM2TestMiniSATHeapExpSimp	1.329
	AbstractM2TestMiniLearningHeapRsatExpSimpLuby +- [ Detail ]	30.02
	Timeout: need more time to complete!
	junit.framework.AssertionFailedError: Timeout: need more time to complete! at junit.framework.Assert.fail(Assert.java:47) at org.sat4j.minisat.AbstractAcceptanceTestCase.solveInstance(AbstractAcceptanceTestCase.java:98) at org.sat4j.minisat.GenericM2Test.runTest(GenericM2Test.java:79) at junit.framework.TestCase.runBare(TestCase.java:134) at junit.framework.TestResult$1.protect(TestResult.java:110) at junit.framework.TestResult.runProtected(TestResult.java:128) at junit.framework.TestResult.run(TestResult.java:113) at junit.framework.TestCase.run(TestCase.java:124) at junit.framework.TestSuite.runTest(TestSuite.java:232) at junit.framework.TestSuite.run(TestSuite.java:227) at org.junit.internal.runners.JUnit38ClassRunner.run(JUnit38ClassRunner.java:81) at org.apache.maven.surefire.junit4.JUnit4TestSet.execute(JUnit4TestSet.java:62) at org.apache.maven.surefire.suite.AbstractDirectoryTestSuite.executeTestSet(AbstractDirectoryTestSuite.java:140) at org.apache.maven.surefire.suite.AbstractDirectoryTestSuite.execute(AbstractDirectoryTestSuite.java:165) at org.apache.maven.surefire.Surefire.run(Surefire.java:107) at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method) at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:39) at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25) at java.lang.reflect.Method.invoke(Method.java:597) at org.apache.maven.surefire.booter.SurefireBooter.runSuitesInProcess(SurefireBooter.java:289) at org.apache.maven.surefire.booter.SurefireBooter.main(SurefireBooter.java:1005)
	AbstractM2TestMiniLearning2	4.845
	AbstractM2TestMiniLearning2Heap	4.974
	AbstractM2TestMiniLearning23	4.86
	AbstractM2TestMiniLearningCB	4.069
	AbstractM2TestMiniLearningCBWL	4.319
	AbstractM2TestMiniLearning2NewOrder	4.862
	AbstractM2TestMiniLearningPure	5.936
	AbstractM2TestMiniLearningCBWLPure	4.306
	AbstractM2TestMiniLearningEZSimp	3.291
	AbstractM2TestMiniLearningHeapEZSimpNoRestarts	3.625
	AbstractM2TestMiniLearningHeapEZSimpLongRestarts	4.748
	AbstractM2TestActiveLearning	1.332
	AbstractM2TestMiniSAT	1.188
	AbstractM2TestMiniSATNoRestarts	1.024
	AbstractM2TestMiniSAT2	1.124
	AbstractM2TestMiniSAT23	1.128
	AbstractM2TestMiniSATHeap	1.368
	AbstractM2TestMiniSATHeapEZSimp	1.394
	AbstractM2TestMiniSAT2Heap	1.353
	AbstractM2TestMiniSAT23Heap	1.369
	AbstractM2TestMiniCard	1.037
	AbstractM2TestRelsat	1.976
	AbstractM2TestBackjumping	8.596
	AbstractM2TestMini3SATb	0.402
	AbstractM2TestMinOneSolver +- [ Detail ]	30.019
	Timeout: need more time to complete!
	junit.framework.AssertionFailedError: Timeout: need more time to complete! at junit.framework.Assert.fail(Assert.java:47) at org.sat4j.minisat.AbstractAcceptanceTestCase.solveInstance(AbstractAcceptanceTestCase.java:98) at org.sat4j.minisat.GenericM2Test.runTest(GenericM2Test.java:79) at junit.framework.TestCase.runBare(TestCase.java:134) at junit.framework.TestResult$1.protect(TestResult.java:110) at junit.framework.TestResult.runProtected(TestResult.java:128) at junit.framework.TestResult.run(TestResult.java:113) at junit.framework.TestCase.run(TestCase.java:124) at junit.framework.TestSuite.runTest(TestSuite.java:232) at junit.framework.TestSuite.run(TestSuite.java:227) at org.junit.internal.runners.JUnit38ClassRunner.run(JUnit38ClassRunner.java:81) at org.apache.maven.surefire.junit4.JUnit4TestSet.execute(JUnit4TestSet.java:62) at org.apache.maven.surefire.suite.AbstractDirectoryTestSuite.executeTestSet(AbstractDirectoryTestSuite.java:140) at org.apache.maven.surefire.suite.AbstractDirectoryTestSuite.execute(AbstractDirectoryTestSuite.java:165) at org.apache.maven.surefire.Surefire.run(Surefire.java:107) at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method) at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:39) at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25) at java.lang.reflect.Method.invoke(Method.java:597) at org.apache.maven.surefire.booter.SurefireBooter.runSuitesInProcess(SurefireBooter.java:289) at org.apache.maven.surefire.booter.SurefireBooter.main(SurefireBooter.java:1005)
	AbstractM2TestLight	0.894

MarkableLitsTest

	testInit	0.006
	testSetMarkIntInt	0
	testSetMarkInt	0
	testGetMark	0.001
	testIsMarked	0.001
	testResetMark	0
	testResetAllMarks	0.001
	testGetMarkedLiterals	0.01
	testGetMarkedLiteralsInt	0
	testGetMarkedVariables	0
	testGetMarkedVariablesInt	0
	testGetMarks	0.001

TestAssertion

testAssertion

0.002

HeapTest

	testInsert	0.008
	testSetBounds	0
	testInHeap	0.002
	testIncrease	0
	testEmpty	0.001
	testGetmin	0.001
	testHeapProperty	0.001
	testHeapPropertyInt	0

LitTest

	testNot	0.007
	testEqualsObject	0.001
	testToString	0.001
	testVar	0
	testTruthValue	0

SingleSolutionTest

	testHasASingleSolution	0.052
	testHasNoSingleSolution	0.008
	testHasNoSingleSolutionUNSAT	0.004
	testHasASingleSolutionIVecInt	0.004

VecTest

	testClear	0.004
	testSize	0
	testVec	0
	testVecint	0.001
	testVecintObject	0.001
	testShrink	0
	testShrinkTo	0
	testPop	0
	testGrowToint	0.001
	testGrowTointObject	0.001
	testPush	0.001
	testPushObject	0
	testLast	0.001
	testGet	0.001
	testCopyTo	0
	testMoveTo	0
	testSelectionSort	0.007
	testSort	0.009
	testSortEmpty	0
	testSortUnique	0.006
	testDelete	0
	testEquals	0
	testIterator	0.001
	testNoSuchElementException	0

LboolTest

	testNot	0.002
	testEqualsObject	0
	testToString	0

TestLubyFunction

testSomeKnownValues

0.006

QueueTest

	testInsert	0.003
	testDequeue	0.001
	testClear	0
	testSize	0

TestConstrGroup

	testDeleteGroup	0.045
	cannotPutAUnitClauseInAGroup	0.003
	checkBugReportedByThomas	0.004
	checkItWorksAfterRunningTheSolver	0.011
	checkGroupDoesNotWorkWhenClausesAreReducedByUnitPropgation	0.002
	checkTheExpectedWayToDealWithUnitClausesToRemove	0.005

TestsFonctionnels

	testSat	0.118
	testUnsat	0.032
	testTrivialUnsat	0
	testTrivialSat	0.001
	testTrivialSatNewVar	0.001
	testBug001	0.135
	testTrivialInconsistentFormula	0.002
	testCommentsInInstance	0.011
	testRemoveConstraints	0.003
	testRemoveAtLeast	0.002
	testIsImplied	0
	testIsImplied3	0.001
	testWhenNewVarNotCalled	0.001

ModelIteratorTest

	testModelIterator	0.074
	testCardModel	0.016
	testIncModel	0.012
	testIsSatisfiableVecInt	0.005
	testGlobalTimeoutCounter	3.019
	testGlobalTimeoutIterator +- [ Detail ]	5.003
	test timed out after 5000 milliseconds
	java.lang.Exception: test timed out after 5000 milliseconds at org.junit.internal.runners.MethodRoadie$1.run(MethodRoadie.java:68) at org.junit.internal.runners.MethodRoadie.runBeforesThenTestThenAfters(MethodRoadie.java:87) at org.junit.internal.runners.MethodRoadie.runWithTimeout(MethodRoadie.java:49) at org.junit.internal.runners.MethodRoadie.run(MethodRoadie.java:40) at org.junit.internal.runners.JUnit4ClassRunner.invokeTestMethod(JUnit4ClassRunner.java:88) at org.junit.internal.runners.JUnit4ClassRunner.runMethods(JUnit4ClassRunner.java:51) at org.junit.internal.runners.JUnit4ClassRunner$1.run(JUnit4ClassRunner.java:44) at org.junit.internal.runners.ClassRoadie.runUnprotected(ClassRoadie.java:27) at org.junit.internal.runners.ClassRoadie.runProtected(ClassRoadie.java:37) at org.junit.internal.runners.JUnit4ClassRunner.run(JUnit4ClassRunner.java:42) at org.apache.maven.surefire.junit4.JUnit4TestSet.execute(JUnit4TestSet.java:62) at org.apache.maven.surefire.suite.AbstractDirectoryTestSuite.executeTestSet(AbstractDirectoryTestSuite.java:140) at org.apache.maven.surefire.suite.AbstractDirectoryTestSuite.execute(AbstractDirectoryTestSuite.java:165) at org.apache.maven.surefire.Surefire.run(Surefire.java:107) at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method) at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:39) at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25) at java.lang.reflect.Method.invoke(Method.java:597) at org.apache.maven.surefire.booter.SurefireBooter.runSuitesInProcess(SurefireBooter.java:289) at org.apache.maven.surefire.booter.SurefireBooter.main(SurefireBooter.java:1005)
	testSpecificValues +- [ Detail ]	11.002
	test timed out after 11000 milliseconds
	java.lang.Exception: test timed out after 11000 milliseconds at org.junit.internal.runners.MethodRoadie$1.run(MethodRoadie.java:68) at org.junit.internal.runners.MethodRoadie.runBeforesThenTestThenAfters(MethodRoadie.java:87) at org.junit.internal.runners.MethodRoadie.runWithTimeout(MethodRoadie.java:49) at org.junit.internal.runners.MethodRoadie.run(MethodRoadie.java:40) at org.junit.internal.runners.JUnit4ClassRunner.invokeTestMethod(JUnit4ClassRunner.java:88) at org.junit.internal.runners.JUnit4ClassRunner.runMethods(JUnit4ClassRunner.java:51) at org.junit.internal.runners.JUnit4ClassRunner$1.run(JUnit4ClassRunner.java:44) at org.junit.internal.runners.ClassRoadie.runUnprotected(ClassRoadie.java:27) at org.junit.internal.runners.ClassRoadie.runProtected(ClassRoadie.java:37) at org.junit.internal.runners.JUnit4ClassRunner.run(JUnit4ClassRunner.java:42) at org.apache.maven.surefire.junit4.JUnit4TestSet.execute(JUnit4TestSet.java:62) at org.apache.maven.surefire.suite.AbstractDirectoryTestSuite.executeTestSet(AbstractDirectoryTestSuite.java:140) at org.apache.maven.surefire.suite.AbstractDirectoryTestSuite.execute(AbstractDirectoryTestSuite.java:165) at org.apache.maven.surefire.Surefire.run(Surefire.java:107) at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method) at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:39) at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25) at java.lang.reflect.Method.invoke(Method.java:597) at org.apache.maven.surefire.booter.SurefireBooter.runSuitesInProcess(SurefireBooter.java:289) at org.apache.maven.surefire.booter.SurefireBooter.main(SurefireBooter.java:1005)

TestAtMost

	testUnEssaiSat	0.043
	testUnEssaiUnsat	0.002
	test2Sat	0.004
	test4Unsat	0.002
	test3Unsat	0.002
	test5Sat	0.002

Failure Details

[Summary ] [Package List ] [Test Cases ]

	AbstractM2TestDefault
	junit.framework.AssertionFailedError: Timeout: need more time to complete!
	org.sat4j.minisat.GenericM2Test:
	AbstractM2TestMiniLearningHeapRsatExpSimpBiere
	junit.framework.AssertionFailedError: Timeout: need more time to complete!
	org.sat4j.minisat.GenericM2Test:
	AbstractM2TestMiniLearningHeapRsatExpSimpLuby
	junit.framework.AssertionFailedError: Timeout: need more time to complete!
	org.sat4j.minisat.GenericM2Test:
	AbstractM2TestMinOneSolver
	junit.framework.AssertionFailedError: Timeout: need more time to complete!
	org.sat4j.minisat.GenericM2Test:
	testGlobalTimeoutIterator
	java.lang.Exception: test timed out after 5000 milliseconds
	org.sat4j.ModelIteratorTest:
	testSpecificValues
	java.lang.Exception: test timed out after 11000 milliseconds
	org.sat4j.ModelIteratorTest:

Parent Project

Project Documentation

Surefire Report

Summary

Package List

org.sat4j.minisat.core

org.sat4j.minisat.datatype

org.sat4j.core

org.sat4j.minisat.constraints

org.sat4j.minisat

org.sat4j

Test Cases

GenericM2Test

MarkableLitsTest

TestAssertion

HeapTest

LitTest

SingleSolutionTest

VecTest

LboolTest

TestLubyFunction

QueueTest

TestConstrGroup

TestsFonctionnels

ModelIteratorTest

TestAtMost

Failure Details