detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bench_ab/a127test0009.smt2 (content) ok ok 0.027s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bench_ab/a124test0004.smt2 (content) ok ok 0.026s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bench_ab/a123test0003.smt2 (content) ok ok 0.027s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bench_ab/a122test0002.smt2 (content) ok ok 0.027s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bench_ab/a121test0001.smt2 (content) ok ok 0.021s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bench_ab/a115test0002.smt2 (content) ok ok 0.026s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bench_ab/a101test0002.smt2 (content) ok ok 0.018s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bench_ab/a100test0001.smt2 (content) ok ok 0.032s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/WireRouting/wire.17.x.17.b.10.a.25_unsat.data.smt2 (content) ok ok 1m10.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/WireRouting/wire.16.x.16.b.5.a.30_sat.data.smt2 (content) ok ok 57.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/WireRouting/wire.16.x.16.b.5.a.25_sat.data.smt2 (content) ok ok 59.0s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/WireRouting/wire.16.x.16.b.10.a.25_unsat.data.smt2 (content) ok ok 51.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/WireRouting/wire.16.x.16.b.10.a.20_unsat.data.smt2 (content) ok ok 55.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/WireRouting/wire.15.x.15.b.2.a.25_sat.data.smt2 (content) ok ok 37.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/WireRouting/wire.15.x.15.b.11.25.a.45_sat.data.smt2 (content) ok ok 36.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/WireRouting/wire.15.x.15.b.10.a.30_sat.data.smt2 (content) ok ok 37.0s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/WireRouting/wire.15.x.15.b.10.a.20_sat.data.smt2 (content) ok ok 30.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/WireRouting/wire.15.x.15.b.10.a.10_unsat.data.smt2 (content) ok ok 39.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/WireRouting/wire.14.x.14.b.8.a.40_unsat.data.smt2 (content) ok ok 39.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/WireRouting/wire.14.x.14.b.8.a.30_unsat.data.smt2 (content) ok ok 29.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/WireRouting/wire.14.x.14.b.8.a.20_unsat.data.smt2 (content) ok ok 26.0s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/WireRouting/wire.13.x.13.b.7.a.30_sat.data.smt2 (content) ok ok 27.0s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/WireRouting/wire.13.x.13.b.7.a.15_sat.data.smt2 (content) ok ok 16.0s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/WireRouting/wire.13.x.13.b.7.a.10_unsat.data.smt2 (content) ok ok 28.4s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/WireRouting/wire.13.x.13.b.5.a.30_sat.data.smt2 (content) ok ok 29.2s