| CounterCardConstrOnRandomCardProblemsTest.testPN10CounterCardConstrOnRandomCardProblemsTest.testPN10 |
3
FAIL
|
300.024300,024 |
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)
|
| CounterCardConstrOnRandomCardProblemsTest.testPN56CounterCardConstrOnRandomCardProblemsTest.testPN56 |
1
PASS
|
0.010,01 |
|
| CounterCardConstrOnRandomCardProblemsTest.testPN5CounterCardConstrOnRandomCardProblemsTest.testPN5 |
1
PASS
|
0.0110,011 |
|
| CounterCardConstrOnRandomCardProblemsTest.testPN45CounterCardConstrOnRandomCardProblemsTest.testPN45 |
1
PASS
|
0.00900,009 |
|
| CounterCardConstrOnRandomCardProblemsTest.testPN4CounterCardConstrOnRandomCardProblemsTest.testPN4 |
1
PASS
|
0.00900,009 |
|
| CounterCardConstrOnRandomCardProblemsTest.testPN78CounterCardConstrOnRandomCardProblemsTest.testPN78 |
1
PASS
|
0.0110,011 |
|
| CounterCardConstrOnRandomCardProblemsTest.testPN7CounterCardConstrOnRandomCardProblemsTest.testPN7 |
1
PASS
|
0.1390,139 |
|
| CounterCardConstrOnRandomCardProblemsTest.testPN67CounterCardConstrOnRandomCardProblemsTest.testPN67 |
1
PASS
|
0.0110,011 |
|
| CounterCardConstrOnRandomCardProblemsTest.testPN6CounterCardConstrOnRandomCardProblemsTest.testPN6 |
1
PASS
|
0.0280,028 |
|
| CounterCardConstrOnRandomCardProblemsTest.testPN34CounterCardConstrOnRandomCardProblemsTest.testPN34 |
1
PASS
|
0.020,02 |
|
| CounterCardConstrOnRandomCardProblemsTest.testPN9CounterCardConstrOnRandomCardProblemsTest.testPN9 |
1
PASS
|
38.59638,596 |
|
| CounterCardConstrOnRandomCardProblemsTest.testPN910CounterCardConstrOnRandomCardProblemsTest.testPN910 |
1
PASS
|
0.0330,033 |
|
| CounterCardConstrOnRandomCardProblemsTest.testPN8CounterCardConstrOnRandomCardProblemsTest.testPN8 |
1
PASS
|
1.9911,991 |
|
| CounterCardConstrOnRandomCardProblemsTest.testPN89CounterCardConstrOnRandomCardProblemsTest.testPN89 |
1
PASS
|
0.0120,012 |
|
| CounterCardConstrOnRandomCardProblemsTest.testRndDeg15CounterCardConstrOnRandomCardProblemsTest.testRndDeg15 |
1
PASS
|
0.00800,008 |
|
| CounterCardConstrOnRandomCardProblemsTest.testRndDeg16CounterCardConstrOnRandomCardProblemsTest.testRndDeg16 |
1
PASS
|
0.00900,009 |
|
| CounterCardConstrOnRandomCardProblemsTest.testRndDeg13CounterCardConstrOnRandomCardProblemsTest.testRndDeg13 |
1
PASS
|
0.0170,017 |
|
| CounterCardConstrOnRandomCardProblemsTest.testRndDeg14CounterCardConstrOnRandomCardProblemsTest.testRndDeg14 |
1
PASS
|
0.00800,008 |
|
| CounterCardConstrOnRandomCardProblemsTest.testRndDeg11CounterCardConstrOnRandomCardProblemsTest.testRndDeg11 |
1
PASS
|
0.00800,008 |
|
| CounterCardConstrOnRandomCardProblemsTest.testRndDeg12CounterCardConstrOnRandomCardProblemsTest.testRndDeg12 |
1
PASS
|
0.00800,008 |
|
| CounterCardConstrOnRandomCardProblemsTest.testRndDeg9CounterCardConstrOnRandomCardProblemsTest.testRndDeg9 |
1
PASS
|
0.00900,009 |
|
| CounterCardConstrOnRandomCardProblemsTest.testRndDeg10CounterCardConstrOnRandomCardProblemsTest.testRndDeg10 |
1
PASS
|
0.00700,007 |
|
| CounterCardConstrOnRandomCardProblemsTest.testRndDeg7CounterCardConstrOnRandomCardProblemsTest.testRndDeg7 |
1
PASS
|
0.0130,013 |
|
| CounterCardConstrOnRandomCardProblemsTest.testRndDeg8CounterCardConstrOnRandomCardProblemsTest.testRndDeg8 |
1
PASS
|
0.00800,008 |
|
| CounterCardConstrOnRandomCardProblemsTest.testRndDeg5CounterCardConstrOnRandomCardProblemsTest.testRndDeg5 |
1
PASS
|
0.0250,025 |
|
| CounterCardConstrOnRandomCardProblemsTest.testRndDeg6CounterCardConstrOnRandomCardProblemsTest.testRndDeg6 |
1
PASS
|
0.0370,037 |
|
| CounterCardConstrOnRandomCardProblemsTest.testRndDeg3CounterCardConstrOnRandomCardProblemsTest.testRndDeg3 |
1
PASS
|
0.10,1 |
|
| CounterCardConstrOnRandomCardProblemsTest.testRndDeg4CounterCardConstrOnRandomCardProblemsTest.testRndDeg4 |
1
PASS
|
0.1160,116 |
|
| CounterCardConstrOnRandomCardProblemsTest.testRndDeg1CounterCardConstrOnRandomCardProblemsTest.testRndDeg1 |
1
PASS
|
0.4910,491 |
|
| CounterCardConstrOnRandomCardProblemsTest.testRndDeg2CounterCardConstrOnRandomCardProblemsTest.testRndDeg2 |
1
PASS
|
0.1170,117 |
|
| CounterCardConstrOnRandomCardProblemsTest.testRndDeg18CounterCardConstrOnRandomCardProblemsTest.testRndDeg18 |
1
PASS
|
0.00800,008 |
|
| CounterCardConstrOnRandomCardProblemsTest.testRndDeg17CounterCardConstrOnRandomCardProblemsTest.testRndDeg17 |
1
PASS
|
0.00800,008 |
|
