Warning: /usr/bin/time ../bin/mainline -instantiate ./3col-niemela-ladder.6000 exited with error code CHILDSTATUS 28111 11.
Warning: /usr/bin/time ../bin/newinline_100 -instantiate ./3col-niemela-ladder.6000 exited with error code CHILDSTATUS 28114 11.
Warning: /usr/bin/time ../bin/newinline2_100 -instantiate ./3col-niemela-ladder.6000 exited with error code CHILDSTATUS 28117 11.
Warning: /usr/bin/time ../bin/mainline -instantiate ./3col-niemela-ladder.6000 exited with error code CHILDSTATUS 29078 11.
Warning: /usr/bin/time ../bin/newinline_100 -instantiate ./3col-niemela-ladder.6000 exited with error code CHILDSTATUS 29081 11.
Warning: /usr/bin/time ../bin/newinline2_100 -instantiate ./3col-niemela-ladder.6000 exited with error code CHILDSTATUS 29083 11.
Warning: /usr/bin/time ../bin/mainline -instantiate ./3col-niemela-ladder.6000 exited with error code CHILDSTATUS 30049 11.
Warning: /usr/bin/time ../bin/newinline_100 -instantiate ./3col-niemela-ladder.6000 exited with error code CHILDSTATUS 30051 11.
Warning: /usr/bin/time ../bin/newinline2_100 -instantiate ./3col-niemela-ladder.6000 exited with error code CHILDSTATUS 30054 11.
[0]: /usr/bin/time ../bin/mainline
[1]: /usr/bin/time ../bin/newinline_100
[2]: /usr/bin/time ../bin/newinline2_100

                     |      [0]       |      [1]       |      [2]       |
---------------------+----------------+----------------+----------------+
      STRATCOMP1-ALL |   3.11  (0.00) |   2.88  (0.00) |   2.87  (0.00) |
   STRATCOMP-770.2-Q |   0.48  (0.00) |   0.46  (0.00) |   0.47  (0.00) |
               2QBF1 |  12.59  (0.01) |  11.85  (0.02) |  13.03  (0.00) |
          PRIMEIMPL2 |   6.06  (0.00) |   6.02  (0.00) |   6.19  (0.00) |
            ANCESTOR |  95.17  (0.02) |  91.50  (0.14) |  89.18  (0.10) |
       3COL-SIMPLEX1 |   4.93  (0.02) |   4.70  (0.02) |   4.52  (0.04) |
         3COL-LADDER | 116.72  (0.33) | 110.92  (0.12) | 105.46  (0.03) |
       3COL-N-LADDER |   -    (-)     |   -    (-)     |   -    (-)     |
        3COL-RANDOM1 |   8.73  (0.01) |   8.65  (0.05) |   8.77  (0.07) |
          HP-RANDOM1 |   9.57  (0.03) |   9.39  (0.10) |   9.25  (0.07) |
       HAMCYCLE-FREE |   0.95  (0.00) |   0.92  (0.00) |   0.83  (0.00) |
             DECOMP2 |   8.95  (0.05) |   8.26  (0.07) |   8.45  (0.03) |
        BW-P4-Esra-a |  63.83  (0.11) |  64.57  (0.10) |  63.89  (0.05) |
        BW-P5-nopush |   5.99  (0.00) |   6.03  (0.00) |   5.96  (0.00) |
       BW-P5-pushbin |   5.14  (0.00) |   5.19  (0.01) |   5.14  (0.01) |
     BW-P5-nopushbin |   1.54  (0.00) |   1.54  (0.01) |   1.52  (0.00) |
              3SAT-1 |  19.23  (0.10) |  19.17  (0.14) |  19.61  (0.05) |
   3SAT-1-CONSTRAINT |  10.54  (0.06) |  10.73  (0.03) |  10.90  (0.06) |
        HANOI-Towers |   2.95  (0.02) |   2.84  (0.02) |   2.88  (0.00) |
              RAMSEY |   5.40  (0.01) |   5.18  (0.01) |   4.98  (0.01) |
             CRISTAL |   6.41  (0.01) |   6.14  (0.01) |   6.01  (0.06) |
             HANOI-K |  23.01  (0.12) |  23.92  (0.18) |  23.83  (0.07) |
           21-QUEENS |   5.55  (0.07) |   5.51  (0.01) |   5.49  (0.02) |
   MSTDir[V=13,A=40] |   9.53  (0.00) |   9.73  (0.00) |   9.26  (0.01) |
   MSTDir[V=15,A=40] |   9.58  (0.01) |   9.69  (0.00) |   9.22  (0.00) |
 MSTUndir[V=13,A=40] |   5.17  (0.01) |   5.27  (0.00) |   4.99  (0.00) |
 MSTUndir[V=15,A=40] |  84.05  (0.01) |  85.19  (0.02) |  81.14  (0.02) |
         TIMETABLING |   7.05  (0.00) |   6.81  (0.02) |   6.59  (0.01) |
---------------------+----------------+----------------+----------------+

STRATCOMP1-ALL:
STRATCOMP, random instance, |companies| = 60, |products| = 180,
all sets

STRATCOMP-770.2-Q:
STRATCOMP, random instance, |companies| = |products| = 770,
first model, with query

2QBF1:
2QBF, 1000 all-quantified, 20 existentially-quantified variables
10000 clauses, 5CNF

PRIMEIMPL2:
Prime Implicants with 180 variables and 774 clauses (all models [246])

ANCESTOR:
Double ancestor board of size 20x20 [grounding only]

3COL-SIMPLEX1:
3COL simplex graph, |edges| = 1980, |nodes| = 1035, one model

3COL-LADDER:
3COL ladder graph, |edges| = 8998, |nodes| = 6000, one model

3COL-N-LADDER:
3COL ladder graph, propositional/Niemela style, |nodes| = 12000, one model

3COL-RANDOM1:
3COL random graph, |edges| = 1100, |nodes| = 500, one model

HP-RANDOM1:
Hamiltonian Path on a random graph, |edges| = 700, |nodes| = 85, one model
generated with Stanford Graph Base random_graph(85,700,0,0,0,0,0,1,1,33)
undirected graph, represented as a directed one

HAMCYCLE-FREE:
Hamiltonian Cycle with a free guess.
n = 60, one model

DECOMP2:
query decomposition (k=3), one model

BW-P4-Esra-a:
blocksworld problem P4 with Esra's bw_domain_a program

BW-P5-nopush:
blocksworld problem P5 with Axel's C-translation without push

BW-P5-pushbin:
blocksworld problem P5 with Axel's pushed and binarised C-translation

BW-P5-nopushbin:
blocksworld problem P5 with Axel's binarised C-translation without push

3SAT-1:
3SAT with 280 variables and 1204 clauses, randomly generated, one model

3SAT-1-CONSTRAINT:
3SAT with 280 variables and 1204 clauses, randomly generated, one model, constraint encoding

HANOI-Towers:
"Towers of Hanoi" with 3 stacks, 4 disks, and 15 steps.

RAMSEY:
"Ramsey(3,6) != 17"

CRISTAL:
"Deductive database use as done by Christoph Koch in CERN"

HANOI-K:
"Towers of Hanoi" in K with 3 stacks, 4 disks, and 15 steps.

21-QUEENS:
"N-Queens with 21 queens"

MSTDir[V=13,A=40]:
min spanning tree [prim], directed graph with 13 vertices and 40 arcs

MSTDir[V=15,A=40]:
min spanning tree [prim], directed graph with 15 vertices and 40 arcs

MSTUndir[V=13,A=40]:
min spanning tree [prim], undirected graph with 13 vertices and 40 arcs

MSTUndir[V=15,A=40]:
min spanning tree [prim], undirected graph with 15 vertices and 40 arcs

TIMETABLING:
A timetable problem of the first year of the faculty of Science
of University of Calabria for 1 class, one model

