Unit Test Results

Designed for use with JUnit and Ant.

Class org.sat4j.minisat.M2MiniLearning2Test

NameTestsErrorsFailuresTime(s)
M2MiniLearning2Test10101373.952

Tests

NameStatusTypeTime(s)
testAim50SAT1Success0.356
testAim50SAT2Success0.035
testAim50SAT3Success0.013
testAim50SAT4Success0.038
testAim50SAT5Success0.035
testAim50SAT6Success0.021
testAim50SAT7Success0.027
testAim50SAT8Success0.005
testAim50SAT9Success0.021
testAim50SAT10Success0.007
testAim50SAT11Success0.009
testAim50SAT12Success0.021
testAim50SAT13Success0.030
testAim50SAT14Success0.009
testAim50SAT15Success0.012
testAim50SAT16Success0.006
testAim50UNSAT1Success0.004
testAim50UNSAT2Success0.005
testAim50UNSAT3Success0.005
testAim50UNSAT4Success0.005
testAim50UNSAT5Success0.006
testAim50UNSAT6Success0.005
testAim50UNSAT7Success0.007
testAim50UNSAT8Success0.005
testIi1Success0.006
testIi2Success0.016
testIi3Success0.021
testIi4Success0.031
testIi5Success0.026
testIi6Success0.031
testIi7Success0.046
testIi8Success0.073
testIi9Success0.023
testIi10Success0.045
testIi11Success0.029
testIi12Success0.053
testIi13Success0.029
testIi14Success0.047
testIi15Success0.384
testIi16Success0.183
testIi17Success0.182
testIi18Success0.119
testIi20Success0.231
testIi21Success0.163
testIi22Success0.119
testIi23Success0.172
testIi24Success0.095
testJNH1Success0.014
testJNH2Success0.014
testJNH3Success0.037
testJNH4Success0.017
testJNH5Success0.025
testJNH6Success0.030
testJNH7Success0.017
testJNH8Success0.018
testJNH9Success0.017
testJNH10Success0.017
testJNH11Success0.026
testJNH12Success0.014
testJNH13Success0.024
testJNH14Success0.016
testJNH15Success0.020
testJNH16Success0.169
testJNH17Success0.015
testJNH18Success0.022
testJNH19Success0.021
testJNH20Success0.017
testJNH21Success0.018
testJNH22Success0.014
testJNH23Success0.026
testJNH24Success0.026
testJNH25Success0.024
testJNH26Success0.031
testJNH27Success0.010
testJNH28Success0.021
testJNH29Success0.011
testJNH30Success0.013
testJNH31Success0.018
testJNH32Success0.025
testJNH33Success0.016
testJNH34Success0.021
testJNH35Success0.015
testJNH36Success0.026
testJNH37Success0.020
testJNH38Success0.013
testJNH39Success0.022
testJNH40Success0.023
testJNH41Success0.039
testJNH42Success0.014
testJNH43Success0.025
testJNH44Success0.014
testJNH45Success0.020
testJNH46Success0.045
testJNH47Success0.013
testJNH48Success0.024
testJNH49Success0.015
testJNH50Success0.014
testHole6Success0.264
testHole7Success4.239
testHole8Success65.337
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 »