| Name | Status | Type | Time(s) |
| testRndDeg1 | Error | DIMACS non valide (nombre de Literaux non valide)
java.io.IOException: DIMACS non valide (nombre de Literaux non valide) at org.sat4j.reader.LecteurDimacs.parseInstance(Unknown Source) at org.sat4j.reader.Reader.parseInstance(Unknown Source) at org.sat4j.reader.InstanceReader.parseInstance(Unknown Source) at org.sat4j.minisat.AbstractAcceptanceTestCase.solveInstance(AbstractAcceptanceTestCase.java:70) at org.sat4j.minisat.constraints.AbstractRandomCardProblemsTest.testRndDeg1(AbstractRandomCardProblemsTest.java:33) at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method) at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:39) at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25) | 0.040 |
| testRndDeg2 | Error | DIMACS non valide (nombre de Literaux non valide)
java.io.IOException: DIMACS non valide (nombre de Literaux non valide) at org.sat4j.reader.LecteurDimacs.parseInstance(Unknown Source) at org.sat4j.reader.Reader.parseInstance(Unknown Source) at org.sat4j.reader.InstanceReader.parseInstance(Unknown Source) at org.sat4j.minisat.AbstractAcceptanceTestCase.solveInstance(AbstractAcceptanceTestCase.java:70) at org.sat4j.minisat.constraints.AbstractRandomCardProblemsTest.testRndDeg2(AbstractRandomCardProblemsTest.java:38) at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method) at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:39) at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25) | 0.001 |
| testRndDeg3 | Error | DIMACS non valide (nombre de Literaux non valide)
java.io.IOException: DIMACS non valide (nombre de Literaux non valide) at org.sat4j.reader.LecteurDimacs.parseInstance(Unknown Source) at org.sat4j.reader.Reader.parseInstance(Unknown Source) at org.sat4j.reader.InstanceReader.parseInstance(Unknown Source) at org.sat4j.minisat.AbstractAcceptanceTestCase.solveInstance(AbstractAcceptanceTestCase.java:70) at org.sat4j.minisat.constraints.AbstractRandomCardProblemsTest.testRndDeg3(AbstractRandomCardProblemsTest.java:43) at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method) at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:39) at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25) | 0.001 |
| testRndDeg4 | Error | DIMACS non valide (nombre de Literaux non valide)
java.io.IOException: DIMACS non valide (nombre de Literaux non valide) at org.sat4j.reader.LecteurDimacs.parseInstance(Unknown Source) at org.sat4j.reader.Reader.parseInstance(Unknown Source) at org.sat4j.reader.InstanceReader.parseInstance(Unknown Source) at org.sat4j.minisat.AbstractAcceptanceTestCase.solveInstance(AbstractAcceptanceTestCase.java:70) at org.sat4j.minisat.constraints.AbstractRandomCardProblemsTest.testRndDeg4(AbstractRandomCardProblemsTest.java:48) at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method) at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:39) at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25) | 0.001 |
| testRndDeg5 | Error | DIMACS non valide (nombre de Literaux non valide)
java.io.IOException: DIMACS non valide (nombre de Literaux non valide) at org.sat4j.reader.LecteurDimacs.parseInstance(Unknown Source) at org.sat4j.reader.Reader.parseInstance(Unknown Source) at org.sat4j.reader.InstanceReader.parseInstance(Unknown Source) at org.sat4j.minisat.AbstractAcceptanceTestCase.solveInstance(AbstractAcceptanceTestCase.java:70) at org.sat4j.minisat.constraints.AbstractRandomCardProblemsTest.testRndDeg5(AbstractRandomCardProblemsTest.java:53) at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method) at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:39) at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25) | 0.002 |
| testRndDeg6 | Error | DIMACS non valide (nombre de Literaux non valide)
java.io.IOException: DIMACS non valide (nombre de Literaux non valide) at org.sat4j.reader.LecteurDimacs.parseInstance(Unknown Source) at org.sat4j.reader.Reader.parseInstance(Unknown Source) at org.sat4j.reader.InstanceReader.parseInstance(Unknown Source) at org.sat4j.minisat.AbstractAcceptanceTestCase.solveInstance(AbstractAcceptanceTestCase.java:70) at org.sat4j.minisat.constraints.AbstractRandomCardProblemsTest.testRndDeg6(AbstractRandomCardProblemsTest.java:58) at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method) at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:39) at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25) | 0.001 |
| testRndDeg7 | Error | DIMACS non valide (nombre de Literaux non valide)
java.io.IOException: DIMACS non valide (nombre de Literaux non valide) at org.sat4j.reader.LecteurDimacs.parseInstance(Unknown Source) at org.sat4j.reader.Reader.parseInstance(Unknown Source) at org.sat4j.reader.InstanceReader.parseInstance(Unknown Source) at org.sat4j.minisat.AbstractAcceptanceTestCase.solveInstance(AbstractAcceptanceTestCase.java:70) at org.sat4j.minisat.constraints.AbstractRandomCardProblemsTest.testRndDeg7(AbstractRandomCardProblemsTest.java:63) at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method) at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:39) at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25) | 0.001 |
| testRndDeg8 | Error | DIMACS non valide (nombre de Literaux non valide)
java.io.IOException: DIMACS non valide (nombre de Literaux non valide) at org.sat4j.reader.LecteurDimacs.parseInstance(Unknown Source) at org.sat4j.reader.Reader.parseInstance(Unknown Source) at org.sat4j.reader.InstanceReader.parseInstance(Unknown Source) at org.sat4j.minisat.AbstractAcceptanceTestCase.solveInstance(AbstractAcceptanceTestCase.java:70) at org.sat4j.minisat.constraints.AbstractRandomCardProblemsTest.testRndDeg8(AbstractRandomCardProblemsTest.java:68) at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method) at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:39) at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25) | 0.001 |
| testRndDeg9 | Error | DIMACS non valide (nombre de Literaux non valide)
java.io.IOException: DIMACS non valide (nombre de Literaux non valide) at org.sat4j.reader.LecteurDimacs.parseInstance(Unknown Source) at org.sat4j.reader.Reader.parseInstance(Unknown Source) at org.sat4j.reader.InstanceReader.parseInstance(Unknown Source) at org.sat4j.minisat.AbstractAcceptanceTestCase.solveInstance(AbstractAcceptanceTestCase.java:70) at org.sat4j.minisat.constraints.AbstractRandomCardProblemsTest.testRndDeg9(AbstractRandomCardProblemsTest.java:73) at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method) at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:39) at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25) | 0.001 |
| testRndDeg10 | Error | DIMACS non valide (nombre de Literaux non valide)
java.io.IOException: DIMACS non valide (nombre de Literaux non valide) at org.sat4j.reader.LecteurDimacs.parseInstance(Unknown Source) at org.sat4j.reader.Reader.parseInstance(Unknown Source) at org.sat4j.reader.InstanceReader.parseInstance(Unknown Source) at org.sat4j.minisat.AbstractAcceptanceTestCase.solveInstance(AbstractAcceptanceTestCase.java:70) at org.sat4j.minisat.constraints.AbstractRandomCardProblemsTest.testRndDeg10(AbstractRandomCardProblemsTest.java:78) at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method) at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:39) at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25) | 0.001 |
| testRndDeg11 | Error | DIMACS non valide (nombre de Literaux non valide)
java.io.IOException: DIMACS non valide (nombre de Literaux non valide) at org.sat4j.reader.LecteurDimacs.parseInstance(Unknown Source) at org.sat4j.reader.Reader.parseInstance(Unknown Source) at org.sat4j.reader.InstanceReader.parseInstance(Unknown Source) at org.sat4j.minisat.AbstractAcceptanceTestCase.solveInstance(AbstractAcceptanceTestCase.java:70) at org.sat4j.minisat.constraints.AbstractRandomCardProblemsTest.testRndDeg11(AbstractRandomCardProblemsTest.java:83) at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method) at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:39) at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25) | 0.001 |
| testRndDeg12 | Error | DIMACS non valide (nombre de Literaux non valide)
java.io.IOException: DIMACS non valide (nombre de Literaux non valide) at org.sat4j.reader.LecteurDimacs.parseInstance(Unknown Source) at org.sat4j.reader.Reader.parseInstance(Unknown Source) at org.sat4j.reader.InstanceReader.parseInstance(Unknown Source) at org.sat4j.minisat.AbstractAcceptanceTestCase.solveInstance(AbstractAcceptanceTestCase.java:70) at org.sat4j.minisat.constraints.AbstractRandomCardProblemsTest.testRndDeg12(AbstractRandomCardProblemsTest.java:88) at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method) at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:39) at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25) | 0.001 |
| testRndDeg13 | Error | DIMACS non valide (nombre de Literaux non valide)
java.io.IOException: DIMACS non valide (nombre de Literaux non valide) at org.sat4j.reader.LecteurDimacs.parseInstance(Unknown Source) at org.sat4j.reader.Reader.parseInstance(Unknown Source) at org.sat4j.reader.InstanceReader.parseInstance(Unknown Source) at org.sat4j.minisat.AbstractAcceptanceTestCase.solveInstance(AbstractAcceptanceTestCase.java:70) at org.sat4j.minisat.constraints.AbstractRandomCardProblemsTest.testRndDeg13(AbstractRandomCardProblemsTest.java:93) at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method) at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:39) at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25) | 0.001 |
| testRndDeg14 | Error | DIMACS non valide (nombre de Literaux non valide)
java.io.IOException: DIMACS non valide (nombre de Literaux non valide) at org.sat4j.reader.LecteurDimacs.parseInstance(Unknown Source) at org.sat4j.reader.Reader.parseInstance(Unknown Source) at org.sat4j.reader.InstanceReader.parseInstance(Unknown Source) at org.sat4j.minisat.AbstractAcceptanceTestCase.solveInstance(AbstractAcceptanceTestCase.java:70) at org.sat4j.minisat.constraints.AbstractRandomCardProblemsTest.testRndDeg14(AbstractRandomCardProblemsTest.java:98) at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method) at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:39) at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25) | 0.001 |
| testRndDeg15 | Error | DIMACS non valide (nombre de Literaux non valide)
java.io.IOException: DIMACS non valide (nombre de Literaux non valide) at org.sat4j.reader.LecteurDimacs.parseInstance(Unknown Source) at org.sat4j.reader.Reader.parseInstance(Unknown Source) at org.sat4j.reader.InstanceReader.parseInstance(Unknown Source) at org.sat4j.minisat.AbstractAcceptanceTestCase.solveInstance(AbstractAcceptanceTestCase.java:70) at org.sat4j.minisat.constraints.AbstractRandomCardProblemsTest.testRndDeg15(AbstractRandomCardProblemsTest.java:103) at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method) at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:39) at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25) | 0.001 |
| testRndDeg16 | Error | DIMACS non valide (nombre de Literaux non valide)
java.io.IOException: DIMACS non valide (nombre de Literaux non valide) at org.sat4j.reader.LecteurDimacs.parseInstance(Unknown Source) at org.sat4j.reader.Reader.parseInstance(Unknown Source) at org.sat4j.reader.InstanceReader.parseInstance(Unknown Source) at org.sat4j.minisat.AbstractAcceptanceTestCase.solveInstance(AbstractAcceptanceTestCase.java:70) at org.sat4j.minisat.constraints.AbstractRandomCardProblemsTest.testRndDeg16(AbstractRandomCardProblemsTest.java:108) at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method) at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:39) at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25) | 0.002 |
| testRndDeg17 | Error | DIMACS non valide (nombre de Literaux non valide)
java.io.IOException: DIMACS non valide (nombre de Literaux non valide) at org.sat4j.reader.LecteurDimacs.parseInstance(Unknown Source) at org.sat4j.reader.Reader.parseInstance(Unknown Source) at org.sat4j.reader.InstanceReader.parseInstance(Unknown Source) at org.sat4j.minisat.AbstractAcceptanceTestCase.solveInstance(AbstractAcceptanceTestCase.java:70) at org.sat4j.minisat.constraints.AbstractRandomCardProblemsTest.testRndDeg17(AbstractRandomCardProblemsTest.java:113) at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method) at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:39) at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25) | 0.001 |
| testRndDeg18 | Error | DIMACS non valide (nombre de Literaux non valide)
java.io.IOException: DIMACS non valide (nombre de Literaux non valide) at org.sat4j.reader.LecteurDimacs.parseInstance(Unknown Source) at org.sat4j.reader.Reader.parseInstance(Unknown Source) at org.sat4j.reader.InstanceReader.parseInstance(Unknown Source) at org.sat4j.minisat.AbstractAcceptanceTestCase.solveInstance(AbstractAcceptanceTestCase.java:70) at org.sat4j.minisat.constraints.AbstractRandomCardProblemsTest.testRndDeg18(AbstractRandomCardProblemsTest.java:118) at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method) at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:39) at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25) | 0.001 |
| testPN34 | Error | DIMACS non valide (nombre de Literaux non valide)
java.io.IOException: DIMACS non valide (nombre de Literaux non valide) at org.sat4j.reader.LecteurDimacs.parseInstance(Unknown Source) at org.sat4j.reader.Reader.parseInstance(Unknown Source) at org.sat4j.reader.InstanceReader.parseInstance(Unknown Source) at org.sat4j.minisat.AbstractAcceptanceTestCase.solveInstance(AbstractAcceptanceTestCase.java:70) at org.sat4j.minisat.constraints.AbstractPigeonHoleWithCardinalityTest.testPN34(AbstractPigeonHoleWithCardinalityTest.java:48) at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method) at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:39) at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25) | 0.001 |
| testPN4 | Error | DIMACS non valide (nombre de Literaux non valide)
java.io.IOException: DIMACS non valide (nombre de Literaux non valide) at org.sat4j.reader.LecteurDimacs.parseInstance(Unknown Source) at org.sat4j.reader.Reader.parseInstance(Unknown Source) at org.sat4j.reader.InstanceReader.parseInstance(Unknown Source) at org.sat4j.minisat.AbstractAcceptanceTestCase.solveInstance(AbstractAcceptanceTestCase.java:70) at org.sat4j.minisat.constraints.AbstractPigeonHoleWithCardinalityTest.testPN4(AbstractPigeonHoleWithCardinalityTest.java:53) at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method) at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:39) at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25) | 0.001 |
| testPN45 | Error | DIMACS non valide (nombre de Literaux non valide)
java.io.IOException: DIMACS non valide (nombre de Literaux non valide) at org.sat4j.reader.LecteurDimacs.parseInstance(Unknown Source) at org.sat4j.reader.Reader.parseInstance(Unknown Source) at org.sat4j.reader.InstanceReader.parseInstance(Unknown Source) at org.sat4j.minisat.AbstractAcceptanceTestCase.solveInstance(AbstractAcceptanceTestCase.java:70) at org.sat4j.minisat.constraints.AbstractPigeonHoleWithCardinalityTest.testPN45(AbstractPigeonHoleWithCardinalityTest.java:58) at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method) at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:39) at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25) | 0.001 |
| testPN5 | Error | DIMACS non valide (nombre de Literaux non valide)
java.io.IOException: DIMACS non valide (nombre de Literaux non valide) at org.sat4j.reader.LecteurDimacs.parseInstance(Unknown Source) at org.sat4j.reader.Reader.parseInstance(Unknown Source) at org.sat4j.reader.InstanceReader.parseInstance(Unknown Source) at org.sat4j.minisat.AbstractAcceptanceTestCase.solveInstance(AbstractAcceptanceTestCase.java:70) at org.sat4j.minisat.constraints.AbstractPigeonHoleWithCardinalityTest.testPN5(AbstractPigeonHoleWithCardinalityTest.java:63) at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method) at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:39) at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25) | 0.001 |
| testPN56 | Error | DIMACS non valide (nombre de Literaux non valide)
java.io.IOException: DIMACS non valide (nombre de Literaux non valide) at org.sat4j.reader.LecteurDimacs.parseInstance(Unknown Source) at org.sat4j.reader.Reader.parseInstance(Unknown Source) at org.sat4j.reader.InstanceReader.parseInstance(Unknown Source) at org.sat4j.minisat.AbstractAcceptanceTestCase.solveInstance(AbstractAcceptanceTestCase.java:70) at org.sat4j.minisat.constraints.AbstractPigeonHoleWithCardinalityTest.testPN56(AbstractPigeonHoleWithCardinalityTest.java:68) at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method) at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:39) at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25) | 0.001 |
| testPN6 | Error | DIMACS non valide (nombre de Literaux non valide)
java.io.IOException: DIMACS non valide (nombre de Literaux non valide) at org.sat4j.reader.LecteurDimacs.parseInstance(Unknown Source) at org.sat4j.reader.Reader.parseInstance(Unknown Source) at org.sat4j.reader.InstanceReader.parseInstance(Unknown Source) at org.sat4j.minisat.AbstractAcceptanceTestCase.solveInstance(AbstractAcceptanceTestCase.java:70) at org.sat4j.minisat.constraints.AbstractPigeonHoleWithCardinalityTest.testPN6(AbstractPigeonHoleWithCardinalityTest.java:73) at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method) at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:39) at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25) | 0.000 |
| testPN67 | Error | DIMACS non valide (nombre de Literaux non valide)
java.io.IOException: DIMACS non valide (nombre de Literaux non valide) at org.sat4j.reader.LecteurDimacs.parseInstance(Unknown Source) at org.sat4j.reader.Reader.parseInstance(Unknown Source) at org.sat4j.reader.InstanceReader.parseInstance(Unknown Source) at org.sat4j.minisat.AbstractAcceptanceTestCase.solveInstance(AbstractAcceptanceTestCase.java:70) at org.sat4j.minisat.constraints.AbstractPigeonHoleWithCardinalityTest.testPN67(AbstractPigeonHoleWithCardinalityTest.java:78) at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method) at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:39) at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25) | 0.001 |
| testPN7 | Error | DIMACS non valide (nombre de Literaux non valide)
java.io.IOException: DIMACS non valide (nombre de Literaux non valide) at org.sat4j.reader.LecteurDimacs.parseInstance(Unknown Source) at org.sat4j.reader.Reader.parseInstance(Unknown Source) at org.sat4j.reader.InstanceReader.parseInstance(Unknown Source) at org.sat4j.minisat.AbstractAcceptanceTestCase.solveInstance(AbstractAcceptanceTestCase.java:70) at org.sat4j.minisat.constraints.AbstractPigeonHoleWithCardinalityTest.testPN7(AbstractPigeonHoleWithCardinalityTest.java:83) at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method) at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:39) at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25) | 0.001 |
| testPN78 | Error | DIMACS non valide (nombre de Literaux non valide)
java.io.IOException: DIMACS non valide (nombre de Literaux non valide) at org.sat4j.reader.LecteurDimacs.parseInstance(Unknown Source) at org.sat4j.reader.Reader.parseInstance(Unknown Source) at org.sat4j.reader.InstanceReader.parseInstance(Unknown Source) at org.sat4j.minisat.AbstractAcceptanceTestCase.solveInstance(AbstractAcceptanceTestCase.java:70) at org.sat4j.minisat.constraints.AbstractPigeonHoleWithCardinalityTest.testPN78(AbstractPigeonHoleWithCardinalityTest.java:88) at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method) at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:39) at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25) | 0.001 |
| testPN8 | Error | DIMACS non valide (nombre de Literaux non valide)
java.io.IOException: DIMACS non valide (nombre de Literaux non valide) at org.sat4j.reader.LecteurDimacs.parseInstance(Unknown Source) at org.sat4j.reader.Reader.parseInstance(Unknown Source) at org.sat4j.reader.InstanceReader.parseInstance(Unknown Source) at org.sat4j.minisat.AbstractAcceptanceTestCase.solveInstance(AbstractAcceptanceTestCase.java:70) at org.sat4j.minisat.constraints.AbstractPigeonHoleWithCardinalityTest.testPN8(AbstractPigeonHoleWithCardinalityTest.java:93) at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method) at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:39) at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25) | 0.001 |
| testPN89 | Error | DIMACS non valide (nombre de Literaux non valide)
java.io.IOException: DIMACS non valide (nombre de Literaux non valide) at org.sat4j.reader.LecteurDimacs.parseInstance(Unknown Source) at org.sat4j.reader.Reader.parseInstance(Unknown Source) at org.sat4j.reader.InstanceReader.parseInstance(Unknown Source) at org.sat4j.minisat.AbstractAcceptanceTestCase.solveInstance(AbstractAcceptanceTestCase.java:70) at org.sat4j.minisat.constraints.AbstractPigeonHoleWithCardinalityTest.testPN89(AbstractPigeonHoleWithCardinalityTest.java:98) at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method) at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:39) at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25) | 0.000 |
| testPN9 | Error | DIMACS non valide (nombre de Literaux non valide)
java.io.IOException: DIMACS non valide (nombre de Literaux non valide) at org.sat4j.reader.LecteurDimacs.parseInstance(Unknown Source) at org.sat4j.reader.Reader.parseInstance(Unknown Source) at org.sat4j.reader.InstanceReader.parseInstance(Unknown Source) at org.sat4j.minisat.AbstractAcceptanceTestCase.solveInstance(AbstractAcceptanceTestCase.java:70) at org.sat4j.minisat.constraints.AbstractPigeonHoleWithCardinalityTest.testPN9(AbstractPigeonHoleWithCardinalityTest.java:103) at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method) at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:39) at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25) | 0.001 |
| testPN910 | Error | DIMACS non valide (nombre de Literaux non valide)
java.io.IOException: DIMACS non valide (nombre de Literaux non valide) at org.sat4j.reader.LecteurDimacs.parseInstance(Unknown Source) at org.sat4j.reader.Reader.parseInstance(Unknown Source) at org.sat4j.reader.InstanceReader.parseInstance(Unknown Source) at org.sat4j.minisat.AbstractAcceptanceTestCase.solveInstance(AbstractAcceptanceTestCase.java:70) at org.sat4j.minisat.constraints.AbstractPigeonHoleWithCardinalityTest.testPN910(AbstractPigeonHoleWithCardinalityTest.java:108) at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method) at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:39) at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25) | 0.001 |
| testPN10 | Error | DIMACS non valide (nombre de Literaux non valide)
java.io.IOException: DIMACS non valide (nombre de Literaux non valide) at org.sat4j.reader.LecteurDimacs.parseInstance(Unknown Source) at org.sat4j.reader.Reader.parseInstance(Unknown Source) at org.sat4j.reader.InstanceReader.parseInstance(Unknown Source) at org.sat4j.minisat.AbstractAcceptanceTestCase.solveInstance(AbstractAcceptanceTestCase.java:70) at org.sat4j.minisat.constraints.AbstractPigeonHoleWithCardinalityTest.testPN10(AbstractPigeonHoleWithCardinalityTest.java:113) at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method) at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:39) at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25) | 0.001 |