Unit Test Results

Designed for use with JUnit and Ant.

Class org.sat4j.minisat.M2MiniLearningTest

NameTestsErrorsFailuresTime(s)
M2MiniLearningTest10101373.894

Tests

NameStatusTypeTime(s)
testAim50SAT1Success0.346
testAim50SAT2Success0.029
testAim50SAT3Success0.011
testAim50SAT4Success0.038
testAim50SAT5Success0.036
testAim50SAT6Success0.026
testAim50SAT7Success0.023
testAim50SAT8Success0.007
testAim50SAT9Success0.021
testAim50SAT10Success0.007
testAim50SAT11Success0.008
testAim50SAT12Success0.020
testAim50SAT13Success0.030
testAim50SAT14Success0.009
testAim50SAT15Success0.012
testAim50SAT16Success0.007
testAim50UNSAT1Success0.004
testAim50UNSAT2Success0.004
testAim50UNSAT3Success0.006
testAim50UNSAT4Success0.005
testAim50UNSAT5Success0.005
testAim50UNSAT6Success0.004
testAim50UNSAT7Success0.003
testAim50UNSAT8Success0.003
testIi1Success0.005
testIi2Success0.010
testIi3Success0.017
testIi4Success0.036
testIi5Success0.024
testIi6Success0.038
testIi7Success0.058
testIi8Success0.092
testIi9Success0.029
testIi10Success0.060
testIi11Success0.041
testIi12Success0.066
testIi13Success0.035
testIi14Success0.061
testIi15Success0.489
testIi16Success0.254
testIi17Success0.241
testIi18Success0.161
testIi20Success0.300
testIi21Success0.208
testIi22Success0.157
testIi23Success0.201
testIi24Success0.114
testJNH1Success0.014
testJNH2Success0.018
testJNH3Success0.044
testJNH4Success0.016
testJNH5Success0.026
testJNH6Success0.027
testJNH7Success0.019
testJNH8Success0.017
testJNH9Success0.016
testJNH10Success0.020
testJNH11Success0.019
testJNH12Success0.014
testJNH13Success0.018
testJNH14Success0.018
testJNH15Success0.020
testJNH16Success0.163
testJNH17Success0.014
testJNH18Success0.022
testJNH19Success0.600
testJNH20Success0.017
testJNH21Success0.017
testJNH22Success0.015
testJNH23Success0.024
testJNH24Success0.031
testJNH25Success0.020
testJNH26Success0.025
testJNH27Success0.011
testJNH28Success0.024
testJNH29Success0.014
testJNH30Success0.012
testJNH31Success0.016
testJNH32Success0.025
testJNH33Success0.014
testJNH34Success0.021
testJNH35Success0.014
testJNH36Success0.022
testJNH37Success0.020
testJNH38Success0.015
testJNH39Success0.022
testJNH40Success0.044
testJNH41Success0.036
testJNH42Success0.015
testJNH43Success0.026
testJNH44Success0.015
testJNH45Success0.021
testJNH46Success0.037
testJNH47Success0.013
testJNH48Success0.020
testJNH49Success0.013
testJNH50Success0.013
testHole6Success0.276
testHole7Success4.437
testHole8Success63.956
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.018
Properties »