detailed results (95063 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/EdgeMatching/edge-matching-width=7-height=7-colours=12.smt2 (content) ok ok 17.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/EdgeMatching/edge-matching-width=7-height=7-colours=11.smt2 (content) ok ok 22.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/EdgeMatching/edge-matching-width=10-height=10-colours=9.smt2 (content) fatal ok 1m23.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/EdgeMatching/edge-matching-width=10-height=10-colours=8.smt2 (content) fatal ok 1m56.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/EdgeMatching/edge-matching-width=10-height=10-colours=7.smt2 (content) fatal ok 1m11.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/EdgeMatching/edge-matching-width=10-height=10-colours=5.smt2 (content) ok ok 1m50.4s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/EdgeMatching/edge-matching-width=10-height=10-colours=15.smt2 (content) fatal ok 1m29.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/EdgeMatching/edge-matching-width=10-height=10-colours=13.smt2 (content) fatal ok 1m16.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/EdgeMatching/edge-matching-width=10-height=10-colours=12.smt2 (content) fatal ok 1m55.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/EdgeMatching/edge-matching-width=10-height=10-colours=11.smt2 (content) fatal ok 1m41.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/EdgeMatching/edge-matching-width=10-height=10-colours=10.smt2 (content) fatal ok 1m40.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/DisjunctiveScheduling/disjunctiveScheduling.in9.smt2 (content) memout ok 2m14.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/DisjunctiveScheduling/disjunctiveScheduling.in8.smt2 (content) memout ok 2m30s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/DisjunctiveScheduling/disjunctiveScheduling.in7.smt2 (content) memout ok 1m36.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/DisjunctiveScheduling/disjunctiveScheduling.in1.smt2 (content) fatal ok 2m44.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/ConnectedDominatingSet/rand_90_600_1235859689_0_k=6_unsat.gph.smt2 (content) ok ok 1.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/ConnectedDominatingSet/rand_90_600_1235859689_0_k=10_sat.gph.smt2 (content) ok ok 2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/ConnectedDominatingSet/rand_80_500_1235848939_0_k=9_sat.gph.smt2 (content) ok ok 1.4s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/ConnectedDominatingSet/rand_80_500_1235848939_0_k=6_unsat.gph.smt2 (content) ok ok 2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/ConnectedDominatingSet/rand_70_250_1235844252_0_k=13_sat.gph.smt2 (content) ok ok 0.710s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/ConnectedDominatingSet/rand_70_250_1235844252_0_k=10_unsat.gph.smt2 (content) ok ok 0.969s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/ConnectedDominatingSet/rand_65_500_1235857888_0_k=6_sat.gph.smt2 (content) ok ok 1.0s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/ConnectedDominatingSet/rand_65_500_1235857888_0_k=5_unsat.gph.smt2 (content) ok ok 1.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/ConnectedDominatingSet/rand_60_400_1235843083_0_k=7_sat.gph.smt2 (content) ok ok 1.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/ConnectedDominatingSet/rand_60_400_1235843083_0_k=5_unsat.gph.smt2 (content) ok ok 1.5s