Unit Test Results

Designed for use with JUnit and Ant.

Class org.sat4j.minisat.M2CardMaxYannTest

NameTestsErrorsFailuresTime(s)
M2CardMaxYannTest10101326.892

Tests

NameStatusTypeTime(s)
testAim50SAT1Success0.080
testAim50SAT2Success0.006
testAim50SAT3Success0.003
testAim50SAT4Success0.005
testAim50SAT5Success0.005
testAim50SAT6Success0.002
testAim50SAT7Success0.002
testAim50SAT8Success0.002
testAim50SAT9Success0.003
testAim50SAT10Success0.003
testAim50SAT11Success0.002
testAim50SAT12Success0.002
testAim50SAT13Success0.005
testAim50SAT14Success0.003
testAim50SAT15Success0.003
testAim50SAT16Success0.003
testAim50UNSAT1Success0.001
testAim50UNSAT2Success0.002
testAim50UNSAT3Success0.002
testAim50UNSAT4Success0.001
testAim50UNSAT5Success0.002
testAim50UNSAT6Success0.001
testAim50UNSAT7Success0.002
testAim50UNSAT8Success0.001
testIi1Success0.002
testIi2Success0.006
testIi3Success0.012
testIi4Success0.027
testIi5Success0.018
testIi6Success0.052
testIi7Success0.069
testIi8Success0.111
testIi9Success0.028
testIi10Success0.080
testIi11Success0.031
testIi12Success0.079
testIi13Success0.032
testIi14Success0.074
testIi15Success0.410
testIi16Success0.485
testIi17Success0.552
testIi18Success0.245
testIi20Success0.312
testIi21Success0.265
testIi22Success0.162
testIi23Success0.276
testIi24Success0.088
testJNH1Success0.007
testJNH2Success0.007
testJNH3Success0.018
testJNH4Success0.008
testJNH5Success0.008
testJNH6Success0.013
testJNH7Success0.005
testJNH8Success0.008
testJNH9Success0.006
testJNH10Success0.009
testJNH11Success0.012
testJNH12Success0.006
testJNH13Success0.007
testJNH14Success0.006
testJNH15Success0.008
testJNH16Success0.074
testJNH17Success0.006
testJNH18Success0.008
testJNH19Success0.009
testJNH20Success0.007
testJNH21Success0.007
testJNH22Success0.007
testJNH23Success0.012
testJNH24Success0.012
testJNH25Success0.009
testJNH26Success0.011
testJNH27Success0.006
testJNH28Success0.009
testJNH29Success0.005
testJNH30Success0.005
testJNH31Success0.007
testJNH32Success0.014
testJNH33Success0.005
testJNH34Success0.021
testJNH35Success0.006
testJNH36Success0.008
testJNH37Success0.013
testJNH38Success0.006
testJNH39Success0.010
testJNH40Success0.011
testJNH41Success0.011
testJNH42Success0.007
testJNH43Success0.012
testJNH44Success0.005
testJNH45Success0.008
testJNH46Success0.023
testJNH47Success0.005
testJNH48Success0.009
testJNH49Success0.006
testJNH50Success0.005
testHole6Success0.062
testHole7Success1.259
testHole8Success21.448
testHole9FailureTimeout: need more time to complete!

junit.framework.AssertionFailedError: Timeout: need more time to complete! at org.sat4j.minisat.AbstractAcceptanceTestCase.solveInstance(AbstractAcceptanceTestCase.java:71) at org.sat4j.minisat.AbstractM2Test.testHole9(AbstractM2Test.java:565) at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method) at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:39) at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25)		300.019
Properties »
System.out »