detailed results (95063 total)

prover file res expected time
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
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/WireRouting/wire.13.x.13.b.5.a.15_sat.data.smt2 (content) ok ok 27.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/WireRouting/wire.12.x.12.b.5.a.20_unsat.data.smt2 (content) ok ok 16.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/WireRouting/wire.12.x.12.b.5.a.15_unsat.data.smt2 (content) ok ok 25.4s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/WireRouting/wire.10.x.10.b.5.a.35_sat.data.smt2 (content) ok ok 12.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/WireRouting/wire.10.x.10.b.5.a.25_sat.data.smt2 (content) ok ok 7.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/WireRouting/wire.10.x.10.b.5.a.20_unsat.data.smt2 (content) ok ok 7.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/WeightBoundedDominatingSet/rand_200_800_1159728969_9.lp.smt2 (content) ok ok 2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/WeightBoundedDominatingSet/rand_200_800_1159728969_8.lp.smt2 (content) ok ok 1.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/WeightBoundedDominatingSet/rand_200_800_1159728969_7.lp.smt2 (content) ok ok 1.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/WeightBoundedDominatingSet/rand_200_800_1159728969_6.lp.smt2 (content) ok ok 1.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/WeightBoundedDominatingSet/rand_200_800_1159728969_4.lp.smt2 (content) ok ok 1.0s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/WeightBoundedDominatingSet/rand_200_800_1159728969_2.lp.smt2 (content) ok ok 1.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/WeightBoundedDominatingSet/rand_200_800_1159728969_14.lp.smt2 (content) ok ok 1.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/WeightBoundedDominatingSet/rand_200_800_1159728969_11.lp.smt2 (content) ok ok 1.2s