detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/Fastfood/a7.3.8.tweaked.1.asp.smt2 (content) ok ok 25.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/Fastfood/a7.3.5.tweaked.5.asp.smt2 (content) ok ok 19.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/Fastfood/a7.3.5.tweaked.4.asp.smt2 (content) ok ok 29s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/Fastfood/a7.3.5.tweaked.2.asp.smt2 (content) ok ok 18.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/Fastfood/a7.3.4.tweaked.5.asp.smt2 (content) ok ok 28.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/Fastfood/a7.3.4.tweaked.4.asp.smt2 (content) ok ok 18.4s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/Fastfood/a7.3.3.tweaked.3.asp.smt2 (content) ok ok 30s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/Fastfood/a7.3.3.asp.smt2 (content) ok ok 28.4s
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