detailed results (92284 total)

prover file res expected time
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
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/WeightBoundedDominatingSet/rand_200_800_1159728969_10.lp.smt2 (content) ok ok 1.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/WeightBoundedDominatingSet/rand_150_600_1159731678_8.lp.smt2 (content) ok ok 1.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/WeightBoundedDominatingSet/rand_150_600_1159731678_7.lp.smt2 (content) ok ok 1.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/WeightBoundedDominatingSet/rand_150_600_1159731678_6.lp.smt2 (content) ok ok 1.4s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/WeightBoundedDominatingSet/rand_150_600_1159731678_5.lp.smt2 (content) ok ok 1s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/WeightBoundedDominatingSet/rand_150_600_1159731678_3.lp.smt2 (content) ok ok 0.906s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/WeightBoundedDominatingSet/rand_150_600_1159731678_17.lp.smt2 (content) ok ok 1.4s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/WeightBoundedDominatingSet/rand_150_600_1159731678_15.lp.smt2 (content) ok ok 0.899s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/WeightBoundedDominatingSet/rand_150_600_1159731678_14.lp.smt2 (content) ok ok 0.972s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/WeightBoundedDominatingSet/rand_150_600_1159731678_12.lp.smt2 (content) ok ok 1.4s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/WeightBoundedDominatingSet/rand_150_600_1159731678_11.lp.smt2 (content) ok ok 1.4s