detailed results (95063 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/Fastfood/a7.3.1.tweaked.5.asp.smt2 (content) ok ok 27.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/Fastfood/a7.3.0.tweaked.5.asp.smt2 (content) ok ok 21.4s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/Fastfood/a7.3.0.tweaked.3.asp.smt2 (content) ok ok 28.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/Fastfood/a5.8.80.asp.smt2 (content) ok ok 5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/Fastfood/a3.3.2.asp.smt2 (content) ok ok 13.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/Fastfood/a3.3.0.asp.smt2 (content) ok ok 14.4s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/Fastfood/a2.9.38.asp.smt2 (content) ok ok 5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/EdgeMatching/edge-matching-width=9-height=9-colours=9.smt2 (content) ok ok 1m4s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/EdgeMatching/edge-matching-width=9-height=9-colours=8.smt2 (content) ok ok 1m7.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/EdgeMatching/edge-matching-width=9-height=9-colours=7.smt2 (content) ok ok 1m7.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/EdgeMatching/edge-matching-width=9-height=9-colours=6.smt2 (content) ok ok 56s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/EdgeMatching/edge-matching-width=9-height=9-colours=15.smt2 (content) ok ok 1m24.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/EdgeMatching/edge-matching-width=9-height=9-colours=14.smt2 (content) ok ok 1m7.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/EdgeMatching/edge-matching-width=9-height=9-colours=13.smt2 (content) ok ok 1m0s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/EdgeMatching/edge-matching-width=9-height=9-colours=12.smt2 (content) ok ok 55.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/EdgeMatching/edge-matching-width=9-height=9-colours=11.smt2 (content) ok ok 1m9.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/EdgeMatching/edge-matching-width=9-height=9-colours=10.smt2 (content) ok ok 1m3.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/EdgeMatching/edge-matching-width=8-height=8-colours=15.smt2 (content) ok ok 54.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/EdgeMatching/edge-matching-width=8-height=8-colours=14.smt2 (content) ok ok 37.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/EdgeMatching/edge-matching-width=8-height=8-colours=13.smt2 (content) ok ok 33.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/EdgeMatching/edge-matching-width=8-height=8-colours=12.smt2 (content) ok ok 49.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/EdgeMatching/edge-matching-width=8-height=8-colours=11.smt2 (content) ok ok 47.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/EdgeMatching/edge-matching-width=7-height=7-colours=15.smt2 (content) ok ok 31.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/EdgeMatching/edge-matching-width=7-height=7-colours=14.smt2 (content) ok ok 31s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/EdgeMatching/edge-matching-width=7-height=7-colours=13.smt2 (content) ok ok 29.9s