Unit Test Results

Designed for use with JUnit and Ant.

Class org.sat4j.minisat.M2CardMinYannTest

NameTestsErrorsFailuresTime(s)
M2CardMinYannTest10101358.161

Tests

NameStatusTypeTime(s)
testAim50SAT1Success0.162
testAim50SAT2Success0.013
testAim50SAT3Success0.007
testAim50SAT4Success0.015
testAim50SAT5Success0.019
testAim50SAT6Success0.008
testAim50SAT7Success0.013
testAim50SAT8Success0.002
testAim50SAT9Success0.005
testAim50SAT10Success0.004
testAim50SAT11Success0.005
testAim50SAT12Success0.008
testAim50SAT13Success0.012
testAim50SAT14Success0.005
testAim50SAT15Success0.005
testAim50SAT16Success0.004
testAim50UNSAT1Success0.002
testAim50UNSAT2Success0.003
testAim50UNSAT3Success0.003
testAim50UNSAT4Success0.002
testAim50UNSAT5Success0.004
testAim50UNSAT6Success0.002
testAim50UNSAT7Success0.002
testAim50UNSAT8Success0.002
testIi1Success0.003
testIi2Success0.011
testIi3Success0.023
testIi4Success0.056
testIi5Success0.037
testIi6Success0.105
testIi7Success0.167
testIi8Success0.274
testIi9Success0.062
testIi10Success0.198
testIi11Success0.075
testIi12Success0.197
testIi13Success0.075
testIi14Success0.179
testIi15Success1.121
testIi16Success1.144
testIi17Success1.273
testIi18Success0.558
testIi20Success0.514
testIi21Success0.644
testIi22Success0.377
testIi23Success0.601
testIi24Success0.191
testJNH1Success0.011
testJNH2Success0.010
testJNH3Success0.028
testJNH4Success0.011
testJNH5Success0.017
testJNH6Success0.019
testJNH7Success0.012
testJNH8Success0.011
testJNH9Success0.011
testJNH10Success0.013
testJNH11Success0.020
testJNH12Success0.010
testJNH13Success0.012
testJNH14Success0.011
testJNH15Success0.014
testJNH16Success0.109
testJNH17Success0.010
testJNH18Success0.014
testJNH19Success0.013
testJNH20Success0.011
testJNH21Success0.014
testJNH22Success0.010
testJNH23Success0.018
testJNH24Success0.019
testJNH25Success0.013
testJNH26Success0.018
testJNH27Success0.008
testJNH28Success0.015
testJNH29Success0.009
testJNH30Success0.010
testJNH31Success0.012
testJNH32Success0.017
testJNH33Success0.010
testJNH34Success0.013
testJNH35Success0.010
testJNH36Success0.014
testJNH37Success0.015
testJNH38Success0.011
testJNH39Success0.052
testJNH40Success0.031
testJNH41Success0.027
testJNH42Success0.010
testJNH43Success0.017
testJNH44Success0.009
testJNH45Success0.014
testJNH46Success0.025
testJNH47Success0.009
testJNH48Success0.013
testJNH49Success0.011
testJNH50Success0.010
testHole6Success0.198
testHole7Success3.238
testHole8Success45.628
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 »