Warning: /usr/bin/time ../bin/mainline -instantiate ./3col-niemela-ladder.6000 exited with error code CHILDSTATUS 19578 11.
Warning: /usr/bin/time ../bin/newinline_100 -instantiate ./3col-niemela-ladder.6000 exited with error code CHILDSTATUS 19581 11.
Warning: /usr/bin/time ../bin/final -instantiate ./3col-niemela-ladder.6000 exited with error code CHILDSTATUS 19583 11.
Warning: /usr/bin/time ../bin/mainline -instantiate ./3col-niemela-ladder.6000 exited with error code CHILDSTATUS 20546 11.
Warning: /usr/bin/time ../bin/newinline_100 -instantiate ./3col-niemela-ladder.6000 exited with error code CHILDSTATUS 20549 11.
Warning: /usr/bin/time ../bin/final -instantiate ./3col-niemela-ladder.6000 exited with error code CHILDSTATUS 20551 11.
Warning: /usr/bin/time ../bin/mainline -instantiate ./3col-niemela-ladder.6000 exited with error code CHILDSTATUS 21508 11.
Warning: /usr/bin/time ../bin/newinline_100 -instantiate ./3col-niemela-ladder.6000 exited with error code CHILDSTATUS 21511 11.
Warning: /usr/bin/time ../bin/final -instantiate ./3col-niemela-ladder.6000 exited with error code CHILDSTATUS 21513 11.
[0]: /usr/bin/time ../bin/mainline
[1]: /usr/bin/time ../bin/newinline_100
[2]: /usr/bin/time ../bin/final

                     |      [0]       |      [1]       |      [2]       |
---------------------+----------------+----------------+----------------+
      STRATCOMP1-ALL |   3.11  (0.00) |   2.89  (0.01) |   2.83  (0.00) |
   STRATCOMP-770.2-Q |   0.48  (0.00) |   0.47  (0.00) |   0.47  (0.00) |
               2QBF1 |  12.66  (0.02) |  11.93  (0.02) |  12.40  (0.02) |
          PRIMEIMPL2 |   6.05  (0.01) |   6.01  (0.01) |   6.11  (0.00) |
            ANCESTOR |  95.57  (0.23) |  91.77  (0.06) |  90.68  (0.16) |
       3COL-SIMPLEX1 |   4.94  (0.01) |   4.72  (0.08) |   4.53  (0.09) |
         3COL-LADDER | 116.42  (0.05) | 111.07  (0.13) | 108.96  (0.16) |
       3COL-N-LADDER |   -    (-)     |   -    (-)     |   -    (-)     |
        3COL-RANDOM1 |   8.83  (0.14) |   8.80  (0.02) |   8.90  (0.12) |
          HP-RANDOM1 |   9.57  (0.05) |   9.40  (0.07) |   9.06  (0.02) |
       HAMCYCLE-FREE |   0.96  (0.00) |   0.93  (0.00) |   0.81  (0.00) |
             DECOMP2 |   9.04  (0.07) |   8.27  (0.02) |   8.05  (0.05) |
        BW-P4-Esra-a |  64.37  (0.06) |  65.12  (0.08) |  64.39  (0.07) |
        BW-P5-nopush |   6.03  (0.01) |   6.06  (0.00) |   6.01  (0.01) |
       BW-P5-pushbin |   5.17  (0.01) |   5.22  (0.00) |   5.16  (0.00) |
     BW-P5-nopushbin |   1.55  (0.00) |   1.55  (0.00) |   1.52  (0.00) |
              3SAT-1 |  20.13  (0.52) |  19.14  (0.10) |  20.02  (0.49) |
   3SAT-1-CONSTRAINT |  10.48  (0.01) |  10.73  (0.02) |  10.76  (0.03) |
        HANOI-Towers |   2.96  (0.01) |   2.81  (0.02) |   2.82  (0.02) |
              RAMSEY |   5.38  (0.02) |   5.15  (0.01) |   4.91  (0.01) |
             CRISTAL |   6.31  (0.07) |   6.02  (0.07) |   5.91  (0.10) |
             HANOI-K |  23.05  (0.08) |  24.10  (0.31) |  23.77  (0.02) |
           21-QUEENS |   5.50  (0.02) |   5.46  (0.02) |   5.57  (0.05) |
   MSTDir[V=13,A=40] |   9.52  (0.01) |   9.72  (0.01) |   9.22  (0.00) |
   MSTDir[V=15,A=40] |   9.57  (0.00) |   9.68  (0.00) |   9.22  (0.00) |
 MSTUndir[V=13,A=40] |   5.17  (0.01) |   5.26  (0.00) |   4.93  (0.00) |
 MSTUndir[V=15,A=40] |  84.09  (0.03) |  85.17  (0.02) |  80.56  (0.01) |
         TIMETABLING |   7.03  (0.01) |   6.85  (0.01) |   6.59  (0.00) |
---------------------+----------------+----------------+----------------+

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

