Unit Test Results

Designed for use with JUnit and Ant.

Class org.sat4j.minisat.M2AtLeastTest

NameTestsErrorsFailuresTime(s)
M2AtLeastTest10101440.221

Tests

NameStatusTypeTime(s)
testAim50SAT1Success0.367
testAim50SAT2Success0.022
testAim50SAT3Success0.012
testAim50SAT4Success0.048
testAim50SAT5Success0.035
testAim50SAT6Success0.022
testAim50SAT7Success0.020
testAim50SAT8Success0.005
testAim50SAT9Success0.014
testAim50SAT10Success0.007
testAim50SAT11Success0.009
testAim50SAT12Success0.010
testAim50SAT13Success0.023
testAim50SAT14Success0.009
testAim50SAT15Success0.009
testAim50SAT16Success0.008
testAim50UNSAT1Success0.004
testAim50UNSAT2Success0.010
testAim50UNSAT3Success0.005
testAim50UNSAT4Success0.005
testAim50UNSAT5Success0.007
testAim50UNSAT6Success0.007
testAim50UNSAT7Success0.007
testAim50UNSAT8Success0.004
testIi1Success0.004
testIi2Success0.010
testIi3Success0.016
testIi4Success0.034
testIi5Success0.026
testIi6Success0.036
testIi7Success0.054
testIi8Success0.075
testIi9Success0.048
testIi10Success0.055
testIi11Success0.044
testIi12Success0.067
testIi13Success0.041
testIi14Success0.067
testIi15Success0.271
testIi16Success0.308
testIi17Success0.272
testIi18Success0.180
testIi20Success0.943
testIi21Success0.199
testIi22Success0.207
testIi23Success0.224
testIi24Success0.166
testJNH1Success0.561
testJNH2Success0.015
testJNH3Success0.083
testJNH4Success0.021
testJNH5Success0.028
testJNH6Success0.046
testJNH7Success0.014
testJNH8Success0.029
testJNH9Success0.021
testJNH10Success0.028
testJNH11Success0.044
testJNH12Success0.016
testJNH13Success0.021
testJNH14Success0.019
testJNH15Success0.028
testJNH16Success0.355
testJNH17Success0.035
testJNH18Success0.029
testJNH19Success0.030
testJNH20Success0.024
testJNH21Success0.025
testJNH22Success0.020
testJNH23Success0.040
testJNH24Success0.051
testJNH25Success0.036
testJNH26Success0.041
testJNH27Success0.011
testJNH28Success0.029
testJNH29Success0.012
testJNH30Success0.015
testJNH31Success0.024
testJNH32Success0.052
testJNH33Success0.016
testJNH34Success0.027
testJNH35Success0.017
testJNH36Success0.029
testJNH37Success0.044
testJNH38Success0.017
testJNH39Success0.033
testJNH40Success0.039
testJNH41Success0.043
testJNH42Success0.016
testJNH43Success0.044
testJNH44Success0.013
testJNH45Success0.025
testJNH46Success0.096
testJNH47Success0.012
testJNH48Success0.027
testJNH49Success0.016
testJNH50Success0.012
testHole6Success0.301
testHole7Success3.686
testHole8Success129.765
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 »