Designed for use with JUnit and Ant. |
Name | Tests | Errors | Failures | Time(s) |
---|---|---|---|---|
WatchedPBConstrOnRandomCardProblemsTest | 32 | 0 | 2 | 617.972 |
Name | Status | Type | Time(s) |
---|---|---|---|
testRndDeg1 | Success | 1.846 | |
testRndDeg2 | Success | 0.416 | |
testRndDeg3 | Success | 0.266 | |
testRndDeg4 | Success | 0.254 | |
testRndDeg5 | Success | 0.051 | |
testRndDeg6 | Success | 0.024 | |
testRndDeg7 | Success | 0.015 | |
testRndDeg8 | Success | 0.006 | |
testRndDeg9 | Success | 0.005 | |
testRndDeg10 | Success | 0.004 | |
testRndDeg11 | Success | 0.004 | |
testRndDeg12 | Success | 0.005 | |
testRndDeg13 | Success | 0.003 | |
testRndDeg14 | Success | 0.004 | |
testRndDeg15 | Success | 0.004 | |
testRndDeg16 | Success | 0.005 | |
testRndDeg17 | Success | 0.003 | |
testRndDeg18 | Success | 0.003 | |
testPN34 | Success | 0.006 | |
testPN4 | Success | 0.008 | |
testPN45 | Success | 0.007 | |
testPN5 | Success | 0.024 | |
testPN56 | Success | 0.009 | |
testPN6 | Success | 0.092 | |
testPN67 | Success | 0.034 | |
testPN7 | Success | 0.787 | |
testPN78 | Success | 0.015 | |
testPN8 | Success | 13.899 | |
testPN89 | Success | 0.016 | |
testPN9 | Failure | Timeout: 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.constraints.AbstractPigeonHoleWithCardinalityTest.testPN9(AbstractPigeonHoleWithCardinalityTest.java:104) at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method) at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:39) at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25) | 300.029 |
testPN910 | Success | 0.019 | |
testPN10 | Failure | Timeout: 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.constraints.AbstractPigeonHoleWithCardinalityTest.testPN10(AbstractPigeonHoleWithCardinalityTest.java:114) at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method) at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:39) at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25) | 300.020 |