| CounterPBConstrOnRandomCardProblemsTest.testPN10CounterPBConstrOnRandomCardProblemsTest.testPN10 |
3
FAIL
|
300.025300,025 |
Timeout: need more time to complete!
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)
|
| CounterPBConstrOnRandomCardProblemsTest.testPN56CounterPBConstrOnRandomCardProblemsTest.testPN56 |
1
PASS
|
0.00900,009 |
|
| CounterPBConstrOnRandomCardProblemsTest.testPN5CounterPBConstrOnRandomCardProblemsTest.testPN5 |
1
PASS
|
0.0120,012 |
|
| CounterPBConstrOnRandomCardProblemsTest.testPN45CounterPBConstrOnRandomCardProblemsTest.testPN45 |
1
PASS
|
0.00900,009 |
|
| CounterPBConstrOnRandomCardProblemsTest.testPN4CounterPBConstrOnRandomCardProblemsTest.testPN4 |
1
PASS
|
0.00800,008 |
|
| CounterPBConstrOnRandomCardProblemsTest.testPN78CounterPBConstrOnRandomCardProblemsTest.testPN78 |
1
PASS
|
0.0110,011 |
|
| CounterPBConstrOnRandomCardProblemsTest.testPN7CounterPBConstrOnRandomCardProblemsTest.testPN7 |
1
PASS
|
0.3550,355 |
|
| CounterPBConstrOnRandomCardProblemsTest.testPN67CounterPBConstrOnRandomCardProblemsTest.testPN67 |
1
PASS
|
0.010,01 |
|
| CounterPBConstrOnRandomCardProblemsTest.testPN6CounterPBConstrOnRandomCardProblemsTest.testPN6 |
1
PASS
|
0.0380,038 |
|
| CounterPBConstrOnRandomCardProblemsTest.testPN34CounterPBConstrOnRandomCardProblemsTest.testPN34 |
1
PASS
|
0.00800,008 |
|
| CounterPBConstrOnRandomCardProblemsTest.testPN9CounterPBConstrOnRandomCardProblemsTest.testPN9 |
1
PASS
|
107.57107,57 |
|
| CounterPBConstrOnRandomCardProblemsTest.testPN910CounterPBConstrOnRandomCardProblemsTest.testPN910 |
1
PASS
|
0.0130,013 |
|
| CounterPBConstrOnRandomCardProblemsTest.testPN8CounterPBConstrOnRandomCardProblemsTest.testPN8 |
1
PASS
|
3.4183,418 |
|
| CounterPBConstrOnRandomCardProblemsTest.testPN89CounterPBConstrOnRandomCardProblemsTest.testPN89 |
1
PASS
|
0.0110,011 |
|
| CounterPBConstrOnRandomCardProblemsTest.testRndDeg15CounterPBConstrOnRandomCardProblemsTest.testRndDeg15 |
1
PASS
|
0.00700,007 |
|
| CounterPBConstrOnRandomCardProblemsTest.testRndDeg16CounterPBConstrOnRandomCardProblemsTest.testRndDeg16 |
1
PASS
|
0.00800,008 |
|
| CounterPBConstrOnRandomCardProblemsTest.testRndDeg13CounterPBConstrOnRandomCardProblemsTest.testRndDeg13 |
1
PASS
|
0.00700,007 |
|
| CounterPBConstrOnRandomCardProblemsTest.testRndDeg14CounterPBConstrOnRandomCardProblemsTest.testRndDeg14 |
1
PASS
|
0.00700,007 |
|
| CounterPBConstrOnRandomCardProblemsTest.testRndDeg11CounterPBConstrOnRandomCardProblemsTest.testRndDeg11 |
1
PASS
|
0.00700,007 |
|
| CounterPBConstrOnRandomCardProblemsTest.testRndDeg12CounterPBConstrOnRandomCardProblemsTest.testRndDeg12 |
1
PASS
|
0.00800,008 |
|
| CounterPBConstrOnRandomCardProblemsTest.testRndDeg9CounterPBConstrOnRandomCardProblemsTest.testRndDeg9 |
1
PASS
|
0.00900,009 |
|
| CounterPBConstrOnRandomCardProblemsTest.testRndDeg10CounterPBConstrOnRandomCardProblemsTest.testRndDeg10 |
1
PASS
|
0.00700,007 |
|
| CounterPBConstrOnRandomCardProblemsTest.testRndDeg7CounterPBConstrOnRandomCardProblemsTest.testRndDeg7 |
1
PASS
|
0.0120,012 |
|
| CounterPBConstrOnRandomCardProblemsTest.testRndDeg8CounterPBConstrOnRandomCardProblemsTest.testRndDeg8 |
1
PASS
|
0.00800,008 |
|
| CounterPBConstrOnRandomCardProblemsTest.testRndDeg5CounterPBConstrOnRandomCardProblemsTest.testRndDeg5 |
1
PASS
|
0.0250,025 |
|
| CounterPBConstrOnRandomCardProblemsTest.testRndDeg6CounterPBConstrOnRandomCardProblemsTest.testRndDeg6 |
1
PASS
|
0.020,02 |
|
| CounterPBConstrOnRandomCardProblemsTest.testRndDeg3CounterPBConstrOnRandomCardProblemsTest.testRndDeg3 |
1
PASS
|
0.1150,115 |
|
| CounterPBConstrOnRandomCardProblemsTest.testRndDeg4CounterPBConstrOnRandomCardProblemsTest.testRndDeg4 |
1
PASS
|
0.0940,094 |
|
| CounterPBConstrOnRandomCardProblemsTest.testRndDeg1CounterPBConstrOnRandomCardProblemsTest.testRndDeg1 |
1
PASS
|
0.8920,892 |
|
| CounterPBConstrOnRandomCardProblemsTest.testRndDeg2CounterPBConstrOnRandomCardProblemsTest.testRndDeg2 |
1
PASS
|
0.1660,166 |
|
| CounterPBConstrOnRandomCardProblemsTest.testRndDeg18CounterPBConstrOnRandomCardProblemsTest.testRndDeg18 |
1
PASS
|
0.00700,007 |
|
| CounterPBConstrOnRandomCardProblemsTest.testRndDeg17CounterPBConstrOnRandomCardProblemsTest.testRndDeg17 |
1
PASS
|
0.00800,008 |
|
