Unit Test Results

Designed for use with JUnit and Ant.

Class org.sat4j.minisat.M2AtLeastTest

NameTestsErrorsFailuresTime(s)
M2AtLeastTest10101381.689

Tests

NameStatusTypeTime(s)
testAim50SAT1Success0.159
testAim50SAT2Success0.011
testAim50SAT3Success0.006
testAim50SAT4Success0.016
testAim50SAT5Success0.018
testAim50SAT6Success0.007
testAim50SAT7Success0.008
testAim50SAT8Success0.002
testAim50SAT9Success0.008
testAim50SAT10Success0.003
testAim50SAT11Success0.005
testAim50SAT12Success0.004
testAim50SAT13Success0.011
testAim50SAT14Success0.005
testAim50SAT15Success0.004
testAim50SAT16Success0.004
testAim50UNSAT1Success0.002
testAim50UNSAT2Success0.005
testAim50UNSAT3Success0.002
testAim50UNSAT4Success0.002
testAim50UNSAT5Success0.003
testAim50UNSAT6Success0.003
testAim50UNSAT7Success0.003
testAim50UNSAT8Success0.002
testIi1Success0.002
testIi2Success0.005
testIi3Success0.010
testIi4Success0.019
testIi5Success0.013
testIi6Success0.020
testIi7Success0.029
testIi8Success0.041
testIi9Success0.022
testIi10Success0.032
testIi11Success0.022
testIi12Success0.036
testIi13Success0.022
testIi14Success0.036
testIi15Success0.147
testIi16Success0.164
testIi17Success0.150
testIi18Success0.100
testIi20Success0.502
testIi21Success0.112
testIi22Success0.115
testIi23Success0.130
testIi24Success0.089
testJNH1Success0.011
testJNH2Success0.136
testJNH3Success0.045
testJNH4Success0.012
testJNH5Success0.016
testJNH6Success0.027
testJNH7Success0.008
testJNH8Success0.015
testJNH9Success0.012
testJNH10Success0.016
testJNH11Success0.027
testJNH12Success0.009
testJNH13Success0.012
testJNH14Success0.010
testJNH15Success0.016
testJNH16Success0.208
testJNH17Success0.012
testJNH18Success0.016
testJNH19Success0.016
testJNH20Success0.014
testJNH21Success0.015
testJNH22Success0.012
testJNH23Success0.024
testJNH24Success0.031
testJNH25Success0.019
testJNH26Success0.025
testJNH27Success0.007
testJNH28Success0.016
testJNH29Success0.007
testJNH30Success0.008
testJNH31Success0.014
testJNH32Success0.031
testJNH33Success0.009
testJNH34Success0.015
testJNH35Success0.010
testJNH36Success0.017
testJNH37Success0.027
testJNH38Success0.010
testJNH39Success0.019
testJNH40Success0.024
testJNH41Success0.027
testJNH42Success0.009
testJNH43Success0.026
testJNH44Success0.007
testJNH45Success0.014
testJNH46Success0.059
testJNH47Success0.008
testJNH48Success0.016
testJNH49Success0.009
testJNH50Success0.008
testHole6Success0.171
testHole7Success2.147
testHole8Success76.027
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 »