Unit Test Results

Designed for use with JUnit and Ant.

Class org.sat4j.minisat.M2Mini3SATTest

NameTestsErrorsFailuresTime(s)
M2Mini3SATTest101082423.560

Tests

NameStatusTypeTime(s)
testAim50SAT1Success0.140
testAim50SAT2Success0.015
testAim50SAT3Success0.012
testAim50SAT4Success0.014
testAim50SAT5Success0.024
testAim50SAT6Success0.011
testAim50SAT7Success0.013
testAim50SAT8Success0.005
testAim50SAT9Success0.016
testAim50SAT10Success0.021
testAim50SAT11Success0.004
testAim50SAT12Success0.005
testAim50SAT13Success0.013
testAim50SAT14Success0.007
testAim50SAT15Success0.005
testAim50SAT16Success0.006
testAim50UNSAT1Success0.002
testAim50UNSAT2Success0.002
testAim50UNSAT3Success0.004
testAim50UNSAT4Success0.002
testAim50UNSAT5Success0.002
testAim50UNSAT6Success0.003
testAim50UNSAT7Success0.005
testAim50UNSAT8Success0.002
testIi1Success0.003
testIi2Success0.025
testIi3Success0.017
testIi4Success0.032
testIi5Success0.014
testIi6Success0.018
testIi7Success0.026
testIi8Success0.035
testIi9Success0.014
testIi10Success0.027
testIi11Success0.014
testIi12Success0.028
testIi13Success0.176
testIi14Success0.208
testIi15FailureTimeout: 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.testIi15(AbstractM2Test.java:259) at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method) at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:39) at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25)
300.084
testIi16Success0.089
testIi17FailureTimeout: 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.testIi17(AbstractM2Test.java:269) at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method) at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:39) at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25)
300.105
testIi18FailureTimeout: 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.testIi18(AbstractM2Test.java:274) at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method) at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:39) at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25)
300.067
testIi20FailureTimeout: 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.testIi20(AbstractM2Test.java:284) at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method) at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:39) at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25)
300.062
testIi21FailureTimeout: 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.testIi21(AbstractM2Test.java:289) at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method) at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:39) at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25)
300.078
testIi22FailureTimeout: 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.testIi22(AbstractM2Test.java:294) at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method) at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:39) at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25)
300.061
testIi23FailureTimeout: 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.testIi23(AbstractM2Test.java:299) at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method) at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:39) at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25)
300.090
testIi24FailureTimeout: 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.testIi24(AbstractM2Test.java:304) at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method) at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:39) at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25)
300.049
testJNH1Success0.009
testJNH2Success0.007
testJNH3Success0.014
testJNH4Success0.010
testJNH5Success0.010
testJNH6Success0.013
testJNH7Success0.008
testJNH8Success0.008
testJNH9Success0.008
testJNH10Success0.009
testJNH11Success0.008
testJNH12Success0.007
testJNH13Success0.008
testJNH14Success0.008
testJNH15Success0.010
testJNH16Success0.124
testJNH17Success0.008
testJNH18Success0.023
testJNH19Success0.009
testJNH20Success0.007
testJNH21Success0.007
testJNH22Success0.007
testJNH23Success0.011
testJNH24Success0.009
testJNH25Success0.006
testJNH26Success0.018
testJNH27Success0.007
testJNH28Success0.010
testJNH29Success0.007
testJNH30Success0.008
testJNH31Success0.007
testJNH32Success0.014
testJNH33Success0.007
testJNH34Success0.010
testJNH35Success0.008
testJNH36Success0.011
testJNH37Success0.008
testJNH38Success0.009
testJNH39Success0.010
testJNH40Success0.010
testJNH41Success0.015
testJNH42Success0.007
testJNH43Success0.013
testJNH44Success0.007
testJNH45Success0.009
testJNH46Success0.037
testJNH47Success0.008
testJNH48Success0.008
testJNH49Success0.007
testJNH50Success0.007
testHole6Success0.028
testHole7Success0.217
testHole8Success1.929
testHole9Success19.064
Properties »