| MyCounterCardConstrOnRandomCardProblemsTest.testPN10MyCounterCardConstrOnRandomCardProblemsTest.testPN10 |
3
FAIL
|
300.027300,027 |
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)
|
| MyCounterCardConstrOnRandomCardProblemsTest.testPN56MyCounterCardConstrOnRandomCardProblemsTest.testPN56 |
1
PASS
|
0.010,01 |
|
| MyCounterCardConstrOnRandomCardProblemsTest.testPN5MyCounterCardConstrOnRandomCardProblemsTest.testPN5 |
1
PASS
|
0.010,01 |
|
| MyCounterCardConstrOnRandomCardProblemsTest.testPN45MyCounterCardConstrOnRandomCardProblemsTest.testPN45 |
1
PASS
|
0.00900,009 |
|
| MyCounterCardConstrOnRandomCardProblemsTest.testPN4MyCounterCardConstrOnRandomCardProblemsTest.testPN4 |
1
PASS
|
0.00800,008 |
|
| MyCounterCardConstrOnRandomCardProblemsTest.testPN78MyCounterCardConstrOnRandomCardProblemsTest.testPN78 |
1
PASS
|
0.010,01 |
|
| MyCounterCardConstrOnRandomCardProblemsTest.testPN7MyCounterCardConstrOnRandomCardProblemsTest.testPN7 |
1
PASS
|
0.1380,138 |
|
| MyCounterCardConstrOnRandomCardProblemsTest.testPN67MyCounterCardConstrOnRandomCardProblemsTest.testPN67 |
1
PASS
|
0.0110,011 |
|
| MyCounterCardConstrOnRandomCardProblemsTest.testPN6MyCounterCardConstrOnRandomCardProblemsTest.testPN6 |
1
PASS
|
0.0280,028 |
|
| MyCounterCardConstrOnRandomCardProblemsTest.testPN34MyCounterCardConstrOnRandomCardProblemsTest.testPN34 |
1
PASS
|
0.00800,008 |
|
| MyCounterCardConstrOnRandomCardProblemsTest.testPN9MyCounterCardConstrOnRandomCardProblemsTest.testPN9 |
1
PASS
|
38.338,3 |
|
| MyCounterCardConstrOnRandomCardProblemsTest.testPN910MyCounterCardConstrOnRandomCardProblemsTest.testPN910 |
1
PASS
|
0.0130,013 |
|
| MyCounterCardConstrOnRandomCardProblemsTest.testPN8MyCounterCardConstrOnRandomCardProblemsTest.testPN8 |
1
PASS
|
1.9781,978 |
|
| MyCounterCardConstrOnRandomCardProblemsTest.testPN89MyCounterCardConstrOnRandomCardProblemsTest.testPN89 |
1
PASS
|
0.0110,011 |
|
| MyCounterCardConstrOnRandomCardProblemsTest.testRndDeg15MyCounterCardConstrOnRandomCardProblemsTest.testRndDeg15 |
1
PASS
|
0.00700,007 |
|
| MyCounterCardConstrOnRandomCardProblemsTest.testRndDeg16MyCounterCardConstrOnRandomCardProblemsTest.testRndDeg16 |
1
PASS
|
0.00900,009 |
|
| MyCounterCardConstrOnRandomCardProblemsTest.testRndDeg13MyCounterCardConstrOnRandomCardProblemsTest.testRndDeg13 |
1
PASS
|
0.0180,018 |
|
| MyCounterCardConstrOnRandomCardProblemsTest.testRndDeg14MyCounterCardConstrOnRandomCardProblemsTest.testRndDeg14 |
1
PASS
|
0.00700,007 |
|
| MyCounterCardConstrOnRandomCardProblemsTest.testRndDeg11MyCounterCardConstrOnRandomCardProblemsTest.testRndDeg11 |
1
PASS
|
0.00700,007 |
|
| MyCounterCardConstrOnRandomCardProblemsTest.testRndDeg12MyCounterCardConstrOnRandomCardProblemsTest.testRndDeg12 |
1
PASS
|
0.00800,008 |
|
| MyCounterCardConstrOnRandomCardProblemsTest.testRndDeg9MyCounterCardConstrOnRandomCardProblemsTest.testRndDeg9 |
1
PASS
|
0.00900,009 |
|
| MyCounterCardConstrOnRandomCardProblemsTest.testRndDeg10MyCounterCardConstrOnRandomCardProblemsTest.testRndDeg10 |
1
PASS
|
0.00700,007 |
|
| MyCounterCardConstrOnRandomCardProblemsTest.testRndDeg7MyCounterCardConstrOnRandomCardProblemsTest.testRndDeg7 |
1
PASS
|
0.0130,013 |
|
| MyCounterCardConstrOnRandomCardProblemsTest.testRndDeg8MyCounterCardConstrOnRandomCardProblemsTest.testRndDeg8 |
1
PASS
|
0.00800,008 |
|
| MyCounterCardConstrOnRandomCardProblemsTest.testRndDeg5MyCounterCardConstrOnRandomCardProblemsTest.testRndDeg5 |
1
PASS
|
0.0250,025 |
|
| MyCounterCardConstrOnRandomCardProblemsTest.testRndDeg6MyCounterCardConstrOnRandomCardProblemsTest.testRndDeg6 |
1
PASS
|
0.0150,015 |
|
| MyCounterCardConstrOnRandomCardProblemsTest.testRndDeg3MyCounterCardConstrOnRandomCardProblemsTest.testRndDeg3 |
1
PASS
|
0.0980,098 |
|
| MyCounterCardConstrOnRandomCardProblemsTest.testRndDeg4MyCounterCardConstrOnRandomCardProblemsTest.testRndDeg4 |
1
PASS
|
0.0910,091 |
|
| MyCounterCardConstrOnRandomCardProblemsTest.testRndDeg1MyCounterCardConstrOnRandomCardProblemsTest.testRndDeg1 |
1
PASS
|
0.4340,434 |
|
| MyCounterCardConstrOnRandomCardProblemsTest.testRndDeg2MyCounterCardConstrOnRandomCardProblemsTest.testRndDeg2 |
1
PASS
|
0.1140,114 |
|
| MyCounterCardConstrOnRandomCardProblemsTest.testRndDeg18MyCounterCardConstrOnRandomCardProblemsTest.testRndDeg18 |
1
PASS
|
0.00700,007 |
|
| MyCounterCardConstrOnRandomCardProblemsTest.testRndDeg17MyCounterCardConstrOnRandomCardProblemsTest.testRndDeg17 |
1
PASS
|
0.00700,007 |
|
