Unit Test Results

Designed for use with JUnit and Ant.

Class org.sat4j.minisat.M2CardMaxYannTest

NameTestsErrorsFailuresTime(s)
M2CardMaxYannTest10101376.459

Tests

NameStatusTypeTime(s)
testAim50SAT1Success0.165
testAim50SAT2Success0.010
testAim50SAT3Success0.006
testAim50SAT4Success0.014
testAim50SAT5Success0.015
testAim50SAT6Success0.005
testAim50SAT7Success0.009
testAim50SAT8Success0.003
testAim50SAT9Success0.007
testAim50SAT10Success0.004
testAim50SAT11Success0.005
testAim50SAT12Success0.006
testAim50SAT13Success0.013
testAim50SAT14Success0.006
testAim50SAT15Success0.005
testAim50SAT16Success0.005
testAim50UNSAT1Success0.003
testAim50UNSAT2Success0.004
testAim50UNSAT3Success0.003
testAim50UNSAT4Success0.002
testAim50UNSAT5Success0.003
testAim50UNSAT6Success0.003
testAim50UNSAT7Success0.003
testAim50UNSAT8Success0.002
testIi1Success0.002
testIi2Success0.012
testIi3Success0.023
testIi4Success0.057
testIi5Success0.038
testIi6Success0.104
testIi7Success0.165
testIi8Success0.267
testIi9Success0.069
testIi10Success0.196
testIi11Success0.074
testIi12Success0.197
testIi13Success0.075
testIi14Success0.177
testIi15Success0.995
testIi16Success1.167
testIi17Success1.290
testIi18Success0.566
testIi20Success0.862
testIi21Success0.638
testIi22Success0.403
testIi23Success0.619
testIi24Success0.213
testJNH1Success0.013
testJNH2Success0.011
testJNH3Success0.051
testJNH4Success0.015
testJNH5Success0.018
testJNH6Success0.032
testJNH7Success0.011
testJNH8Success0.017
testJNH9Success0.014
testJNH10Success0.019
testJNH11Success0.030
testJNH12Success0.011
testJNH13Success0.015
testJNH14Success0.013
testJNH15Success0.019
testJNH16Success0.227
testJNH17Success0.015
testJNH18Success0.020
testJNH19Success0.020
testJNH20Success0.017
testJNH21Success0.018
testJNH22Success0.014
testJNH23Success0.028
testJNH24Success0.034
testJNH25Success0.023
testJNH26Success0.028
testJNH27Success0.009
testJNH28Success0.020
testJNH29Success0.010
testJNH30Success0.011
testJNH31Success0.017
testJNH32Success0.035
testJNH33Success0.012
testJNH34Success0.017
testJNH35Success0.050
testJNH36Success0.020
testJNH37Success0.031
testJNH38Success0.013
testJNH39Success0.023
testJNH40Success0.027
testJNH41Success0.030
testJNH42Success0.012
testJNH43Success0.031
testJNH44Success0.011
testJNH45Success0.017
testJNH46Success0.066
testJNH47Success0.010
testJNH48Success0.019
testJNH49Success0.012
testJNH50Success0.010
testHole6Success0.177
testHole7Success3.626
testHole8Success62.833
testHole9FailureTimeout: need more time to complete!

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