detailed results (95063 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/Hanoi/mgs_towers-hanoi.97_7.smt2 (content) ok ok 22s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/Hanoi/mgs_towers-hanoi.93_7.smt2 (content) ok ok 18.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/Hanoi/mgs_towers-hanoi.90_7.smt2 (content) ok ok 30s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/Hanoi/mgs_towers-hanoi.87_7.smt2 (content) ok ok 28.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/Hanoi/mgs_towers-hanoi.83_7.smt2 (content) ok ok 25.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/Hanoi/mgs_towers-hanoi.80_7.smt2 (content) ok ok 15.4s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/Hanoi/mgs_towers-hanoi.77_7.smt2 (content) ok ok 22.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/Hanoi/mgs_towers-hanoi.73_7.smt2 (content) ok ok 23.0s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/Hanoi/mgs_towers-hanoi.70_7.smt2 (content) ok ok 22.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/Hanoi/mgs_towers-hanoi.32_7.smt2 (content) ok ok 5.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/Hanoi/mgs_towers-hanoi.30_7.smt2 (content) ok ok 7.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/Hanoi/mgs_towers-hanoi.127_7.smt2 (content) ok ok 28.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/Hanoi/mgs_towers-hanoi.120_7.smt2 (content) ok ok 32.0s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/Hanoi/mgs_towers-hanoi.113_7.smt2 (content) ok ok 30.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/Hanoi/mgs_towers-hanoi.110_7.smt2 (content) ok ok 27.0s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/HamiltonianPath/random.8.lp.smt2 (content) ok ok 3.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/HamiltonianPath/random.5.lp.smt2 (content) ok ok 2.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/HamiltonianPath/random.2.lp.smt2 (content) ok ok 2.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/HamiltonianPath/gryzzles.8.lp.smt2 (content) ok ok 1s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/HamiltonianPath/gryzzles.7.lp.smt2 (content) ok ok 1.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/HamiltonianPath/gryzzles.6.lp.smt2 (content) ok ok 1.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/HamiltonianPath/gryzzles.48.lp.smt2 (content) ok ok 2.1s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/HamiltonianPath/gryzzles.46.lp.smt2 (content) ok ok 2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/HamiltonianPath/gryzzles.44.lp.smt2 (content) ok ok 1.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/HamiltonianPath/gryzzles.42.lp.smt2 (content) ok ok 1.7s