Unit Test Results

Designed for use with JUnit and Ant.

Class org.sat4j.minisat.M2CardMinYannTest

NameTestsErrorsFailuresTime(s)
M2CardMinYannTest10101408.021

Tests

NameStatusTypeTime(s)
testAim50SAT1Success0.379
testAim50SAT2Success0.028
testAim50SAT3Success0.012
testAim50SAT4Success0.037
testAim50SAT5Success0.044
testAim50SAT6Success0.030
testAim50SAT7Success0.035
testAim50SAT8Success0.005
testAim50SAT9Success0.012
testAim50SAT10Success0.007
testAim50SAT11Success0.009
testAim50SAT12Success0.019
testAim50SAT13Success0.019
testAim50SAT14Success0.011
testAim50SAT15Success0.009
testAim50SAT16Success0.009
testAim50UNSAT1Success0.005
testAim50UNSAT2Success0.006
testAim50UNSAT3Success0.007
testAim50UNSAT4Success0.007
testAim50UNSAT5Success0.006
testAim50UNSAT6Success0.006
testAim50UNSAT7Success0.005
testAim50UNSAT8Success0.005
testIi1Success0.007
testIi2Success0.024
testIi3Success0.056
testIi4Success0.139
testIi5Success0.090
testIi6Success0.310
testIi7Success0.539
testIi8Success0.915
testIi9Success0.204
testIi10Success0.635
testIi11Success0.242
testIi12Success0.632
testIi13Success0.234
testIi14Success0.566
testIi15Success3.545
testIi16Success3.860
testIi17Success4.314
testIi18Success1.821
testIi20Success1.568
testIi21Success2.100
testIi22Success1.197
testIi23Success1.927
testIi24Success0.581
testJNH1Success0.022
testJNH2Success0.027
testJNH3Success0.056
testJNH4Success0.024
testJNH5Success0.036
testJNH6Success0.038
testJNH7Success0.027
testJNH8Success0.024
testJNH9Success0.025
testJNH10Success0.027
testJNH11Success0.040
testJNH12Success0.022
testJNH13Success0.026
testJNH14Success0.025
testJNH15Success0.028
testJNH16Success0.208
testJNH17Success0.022
testJNH18Success0.030
testJNH19Success0.030
testJNH20Success0.025
testJNH21Success0.026
testJNH22Success0.021
testJNH23Success0.037
testJNH24Success0.034
testJNH25Success0.028
testJNH26Success0.036
testJNH27Success0.019
testJNH28Success0.031
testJNH29Success0.018
testJNH30Success0.020
testJNH31Success0.025
testJNH32Success0.034
testJNH33Success0.022
testJNH34Success0.028
testJNH35Success0.021
testJNH36Success0.031
testJNH37Success0.028
testJNH38Success0.022
testJNH39Success0.160
testJNH40Success0.058
testJNH41Success0.049
testJNH42Success0.023
testJNH43Success0.035
testJNH44Success0.022
testJNH45Success0.032
testJNH46Success0.050
testJNH47Success0.021
testJNH48Success0.028
testJNH49Success0.021
testJNH50Success0.020
testHole6Success0.330
testHole7Success5.270
testHole8Success74.315
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.022
Properties »