Unit Test Results

Designed for use with JUnit and Ant.

Class org.sat4j.minisat.M2Mini3SATTest

NameTestsErrorsFailuresTime(s)
M2Mini3SATTest101082443.154

Tests

NameStatusTypeTime(s)
testAim50SAT1Success0.327
testAim50SAT2Success0.028
testAim50SAT3Success0.021
testAim50SAT4Success0.030
testAim50SAT5Success0.051
testAim50SAT6Success0.024
testAim50SAT7Success0.028
testAim50SAT8Success0.011
testAim50SAT9Success0.033
testAim50SAT10Success0.051
testAim50SAT11Success0.010
testAim50SAT12Success0.009
testAim50SAT13Success0.024
testAim50SAT14Success0.016
testAim50SAT15Success0.013
testAim50SAT16Success0.012
testAim50UNSAT1Success0.006
testAim50UNSAT2Success0.004
testAim50UNSAT3Success0.016
testAim50UNSAT4Success0.004
testAim50UNSAT5Success0.004
testAim50UNSAT6Success0.005
testAim50UNSAT7Success0.010
testAim50UNSAT8Success0.007
testIi1Success0.005
testIi2Success0.058
testIi3Success0.037
testIi4Success0.066
testIi5Success0.026
testIi6Success0.031
testIi7Success0.045
testIi8Success0.062
testIi9Success0.028
testIi10Success0.044
testIi11Success0.023
testIi12Success0.046
testIi13Success0.306
testIi14Success0.371
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.124
testIi16Success0.137
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.153
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.093
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.085
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.106
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.083
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.126
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.067
testJNH1Success0.018
testJNH2Success0.020
testJNH3Success0.030
testJNH4Success0.022
testJNH5Success0.025
testJNH6Success0.028
testJNH7Success0.014
testJNH8Success0.016
testJNH9Success0.017
testJNH10Success0.016
testJNH11Success0.017
testJNH12Success0.015
testJNH13Success0.015
testJNH14Success0.016
testJNH15Success0.019
testJNH16Success0.228
testJNH17Success0.015
testJNH18Success0.043
testJNH19Success0.017
testJNH20Success0.016
testJNH21Success0.012
testJNH22Success0.014
testJNH23Success0.022
testJNH24Success0.018
testJNH25Success0.013
testJNH26Success0.034
testJNH27Success0.011
testJNH28Success0.019
testJNH29Success0.014
testJNH30Success0.014
testJNH31Success0.014
testJNH32Success0.025
testJNH33Success0.013
testJNH34Success0.018
testJNH35Success0.017
testJNH36Success0.021
testJNH37Success0.015
testJNH38Success0.015
testJNH39Success0.020
testJNH40Success0.018
testJNH41Success0.028
testJNH42Success0.012
testJNH43Success0.025
testJNH44Success0.013
testJNH45Success0.015
testJNH46Success0.067
testJNH47Success0.015
testJNH48Success0.016
testJNH49Success0.013
testJNH50Success0.012
testHole6Success0.055
testHole7Success0.407
testHole8Success3.532
testHole9Success35.017
Properties »