Unit Test Results

Designed for use with JUnit and Ant.

Class org.sat4j.minisat.M2CardMinYannTest

NameTestsErrorsFailuresTime(s)
M2CardMinYannTest10101319.695

Tests

NameStatusTypeTime(s)
testAim50SAT1Success0.061
testAim50SAT2Success0.006
testAim50SAT3Success0.004
testAim50SAT4Success0.006
testAim50SAT5Success0.007
testAim50SAT6Success0.004
testAim50SAT7Success0.004
testAim50SAT8Success0.002
testAim50SAT9Success0.004
testAim50SAT10Success0.002
testAim50SAT11Success0.002
testAim50SAT12Success0.003
testAim50SAT13Success0.005
testAim50SAT14Success0.003
testAim50SAT15Success0.002
testAim50SAT16Success0.004
testAim50UNSAT1Success0.001
testAim50UNSAT2Success0.002
testAim50UNSAT3Success0.002
testAim50UNSAT4Success0.002
testAim50UNSAT5Success0.001
testAim50UNSAT6Success0.001
testAim50UNSAT7Success0.001
testAim50UNSAT8Success0.001
testIi1Success0.002
testIi2Success0.006
testIi3Success0.012
testIi4Success0.026
testIi5Success0.016
testIi6Success0.048
testIi7Success0.066
testIi8Success0.110
testIi9Success0.025
testIi10Success0.075
testIi11Success0.029
testIi12Success0.076
testIi13Success0.030
testIi14Success0.070
testIi15Success0.438
testIi16Success0.448
testIi17Success0.519
testIi18Success0.230
testIi20Success0.200
testIi21Success0.253
testIi22Success0.150
testIi23Success0.250
testIi24Success0.074
testJNH1Success0.006
testJNH2Success0.005
testJNH3Success0.012
testJNH4Success0.006
testJNH5Success0.008
testJNH6Success0.008
testJNH7Success0.007
testJNH8Success0.006
testJNH9Success0.006
testJNH10Success0.006
testJNH11Success0.009
testJNH12Success0.005
testJNH13Success0.005
testJNH14Success0.005
testJNH15Success0.007
testJNH16Success0.039
testJNH17Success0.005
testJNH18Success0.006
testJNH19Success0.007
testJNH20Success0.005
testJNH21Success0.006
testJNH22Success0.005
testJNH23Success0.008
testJNH24Success0.008
testJNH25Success0.007
testJNH26Success0.008
testJNH27Success0.005
testJNH28Success0.007
testJNH29Success0.005
testJNH30Success0.005
testJNH31Success0.006
testJNH32Success0.017
testJNH33Success0.005
testJNH34Success0.007
testJNH35Success0.005
testJNH36Success0.007
testJNH37Success0.007
testJNH38Success0.005
testJNH39Success0.007
testJNH40Success0.013
testJNH41Success0.011
testJNH42Success0.006
testJNH43Success0.008
testJNH44Success0.005
testJNH45Success0.007
testJNH46Success0.011
testJNH47Success0.005
testJNH48Success0.007
testJNH49Success0.005
testJNH50Success0.005
testHole6Success0.066
testHole7Success1.074
testHole8Success14.850
testHole9FailureTimeout: need more time to complete!

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