| Designed for use with JUnit and Ant. |
| Name | Tests | Errors | Failures | Time(s) |
|---|---|---|---|---|
| CounterPBConstrOnRandomCardProblemsTest | 32 | 0 | 1 | 361.331 |
| Name | Status | Type | Time(s) |
|---|---|---|---|
| testRndDeg1 | Success | 0.672 | |
| testRndDeg2 | Success | 0.139 | |
| testRndDeg3 | Success | 0.101 | |
| testRndDeg4 | Success | 0.082 | |
| testRndDeg5 | Success | 0.018 | |
| testRndDeg6 | Success | 0.009 | |
| testRndDeg7 | Success | 0.006 | |
| testRndDeg8 | Success | 0.002 | |
| testRndDeg9 | Success | 0.003 | |
| testRndDeg10 | Success | 0.002 | |
| testRndDeg11 | Success | 0.001 | |
| testRndDeg12 | Success | 0.001 | |
| testRndDeg13 | Success | 0.001 | |
| testRndDeg14 | Success | 0.001 | |
| testRndDeg15 | Success | 0.001 | |
| testRndDeg16 | Success | 0.003 | |
| testRndDeg17 | Success | 0.001 | |
| testRndDeg18 | Success | 0.002 | |
| testPN34 | Success | 0.002 | |
| testPN4 | Success | 0.003 | |
| testPN45 | Success | 0.002 | |
| testPN5 | Success | 0.004 | |
| testPN56 | Success | 0.004 | |
| testPN6 | Success | 0.018 | |
| testPN67 | Success | 0.003 | |
| testPN7 | Success | 0.185 | |
| testPN78 | Success | 0.004 | |
| testPN8 | Success | 1.862 | |
| testPN89 | Success | 0.005 | |
| testPN9 | Success | 58.130 | |
| testPN910 | Success | 0.007 | |
| 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:71) 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.021 |