detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/EdgeMatching/edge-matching-width=8-height=8-colours=15.smt2 (content) ok ok 54.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/EdgeMatching/edge-matching-width=8-height=8-colours=14.smt2 (content) ok ok 37.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/EdgeMatching/edge-matching-width=8-height=8-colours=13.smt2 (content) ok ok 33.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/EdgeMatching/edge-matching-width=8-height=8-colours=12.smt2 (content) ok ok 49.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/EdgeMatching/edge-matching-width=8-height=8-colours=11.smt2 (content) ok ok 47.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/EdgeMatching/edge-matching-width=7-height=7-colours=15.smt2 (content) ok ok 31.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/EdgeMatching/edge-matching-width=7-height=7-colours=14.smt2 (content) ok ok 31s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/EdgeMatching/edge-matching-width=7-height=7-colours=13.smt2 (content) ok ok 29.9s
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=5.smt2 (content) ok ok 1m50.4s
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
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/ConnectedDominatingSet/rand_55_250_1235855873_0_k=8_sat.gph.smt2 (content) ok ok 0.631s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/ConnectedDominatingSet/rand_55_250_1235855873_0_k=7_unsat.gph.smt2 (content) ok ok 0.633s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/ConnectedDominatingSet/rand_50_250_1235842610_0_k=7_sat.gph.smt2 (content) ok ok 1s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/ConnectedDominatingSet/rand_50_250_1235842610_0_k=6_unsat.gph.smt2 (content) ok ok 0.992s