detailed results (92284 total)

prover file res expected time
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
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/HamiltonianPath/gryzzles.41.lp.smt2 (content) ok ok 1.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/HamiltonianPath/gryzzles.40.lp.smt2 (content) ok ok 1.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/HamiltonianPath/gryzzles.39.lp.smt2 (content) ok ok 1.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/HamiltonianPath/gryzzles.37.lp.smt2 (content) ok ok 1.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/HamiltonianPath/gryzzles.33.lp.smt2 (content) ok ok 1.1s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/HamiltonianPath/gryzzles.32.lp.smt2 (content) ok ok 1.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/HamiltonianPath/gryzzles.31.lp.smt2 (content) ok ok 1.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/HamiltonianPath/gryzzles.30.lp.smt2 (content) ok ok 1.0s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/HamiltonianPath/gryzzles.26.lp.smt2 (content) ok ok 1.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/HamiltonianPath/gryzzles.23.lp.smt2 (content) ok ok 1.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/HamiltonianPath/gryzzles.22.lp.smt2 (content) ok ok 1.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/HamiltonianPath/gryzzles.21.lp.smt2 (content) ok ok 1.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/HamiltonianPath/gryzzles.20.lp.smt2 (content) ok ok 2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/HamiltonianPath/gryzzles.2.lp.smt2 (content) ok ok 0.992s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/HamiltonianPath/gryzzles.19.lp.smt2 (content) ok ok 2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/HamiltonianPath/gryzzles.18.lp.smt2 (content) ok ok 1.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/HamiltonianPath/gryzzles.16.lp.smt2 (content) ok ok 1.5s