Unit Test Results

Designed for use with JUnit and Ant.

Class org.sat4j.minisat.M2CardMaxYannTest

NameTestsErrorsFailuresTime(s)
M2CardMaxYannTest10101445.290

Tests

NameStatusTypeTime(s)
testAim50SAT1Success0.391
testAim50SAT2Success0.022
testAim50SAT3Success0.012
testAim50SAT4Success0.034
testAim50SAT5Success0.033
testAim50SAT6Success0.018
testAim50SAT7Success0.020
testAim50SAT8Success0.004
testAim50SAT9Success0.015
testAim50SAT10Success0.008
testAim50SAT11Success0.010
testAim50SAT12Success0.011
testAim50SAT13Success0.032
testAim50SAT14Success0.012
testAim50SAT15Success0.010
testAim50SAT16Success0.008
testAim50UNSAT1Success0.005
testAim50UNSAT2Success0.009
testAim50UNSAT3Success0.007
testAim50UNSAT4Success0.005
testAim50UNSAT5Success0.006
testAim50UNSAT6Success0.007
testAim50UNSAT7Success0.007
testAim50UNSAT8Success0.005
testIi1Success0.005
testIi2Success0.024
testIi3Success0.055
testIi4Success0.137
testIi5Success0.089
testIi6Success0.294
testIi7Success0.514
testIi8Success0.848
testIi9Success0.216
testIi10Success0.627
testIi11Success0.244
testIi12Success0.625
testIi13Success0.236
testIi14Success0.564
testIi15Success3.248
testIi16Success3.855
testIi17Success4.309
testIi18Success1.820
testIi20Success2.189
testIi21Success2.054
testIi22Success1.225
testIi23Success1.942
testIi24Success0.602
testJNH1Success0.025
testJNH2Success0.023
testJNH3Success0.098
testJNH4Success0.029
testJNH5Success0.037
testJNH6Success0.058
testJNH7Success0.021
testJNH8Success0.035
testJNH9Success0.029
testJNH10Success0.037
testJNH11Success0.058
testJNH12Success0.023
testJNH13Success0.030
testJNH14Success0.028
testJNH15Success0.039
testJNH16Success0.387
testJNH17Success0.028
testJNH18Success0.040
testJNH19Success0.037
testJNH20Success0.033
testJNH21Success0.033
testJNH22Success0.028
testJNH23Success0.051
testJNH24Success0.060
testJNH25Success0.041
testJNH26Success0.051
testJNH27Success0.019
testJNH28Success0.039
testJNH29Success0.019
testJNH30Success0.022
testJNH31Success0.033
testJNH32Success0.063
testJNH33Success0.024
testJNH34Success0.170
testJNH35Success0.025
testJNH36Success0.038
testJNH37Success0.053
testJNH38Success0.025
testJNH39Success0.046
testJNH40Success0.048
testJNH41Success0.054
testJNH42Success0.025
testJNH43Success0.055
testJNH44Success0.022
testJNH45Success0.035
testJNH46Success0.113
testJNH47Success0.020
testJNH48Success0.036
testJNH49Success0.025
testJNH50Success0.020
testHole6Success0.306
testHole7Success6.221
testHole8Success109.837
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.021
Properties »