detailed results (95063 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/GraphPartitioning/rand_21_150_1235870252_0_k=6_v=5_e=25_sat.gph.smt2 (content) ok ok 6.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/GraphPartitioning/rand_21_150_1235870252_0_k=3_v=10_e=20_unsat.gph.smt2 (content) ok ok 1.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/GraphPartitioning/rand_20_100_1235851242_0_k=3_v=15_e=25_sat.gph.smt2 (content) ok ok 1.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/GraphPartitioning/rand_20_100_1235851242_0_k=3_v=10_e=20_unsat.gph.smt2 (content) ok ok 1.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/GraphPartitioning/rand_20_100_1235402004_0_k=6_v=4_e=4_sat.gph.smt2 (content) ok ok 3.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/GraphPartitioning/rand_15_75_1235849326_0_k=3_v=7_e=30_sat.gph.smt2 (content) ok ok 1.1s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/GraphPartitioning/rand_15_75_1235849326_0_k=3_v=7_e=20_unsat.gph.smt2 (content) ok ok 0.965s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/GraphColouring/graph-colouring-nodes=150-density=0.1-instance=5.smt2 (content) ok ok 4.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/GraphColouring/graph-colouring-nodes=150-density=0.1-instance=3.smt2 (content) ok ok 4.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/GraphColouring/graph-colouring-nodes=150-density=0.1-instance=2.smt2 (content) ok ok 4s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/GraphColouring/graph-colouring-nodes=150-density=0.1-instance=10.smt2 (content) ok ok 2.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/GraphColouring/graph-colouring-nodes=145-density=0.1-instance=8.smt2 (content) ok ok 4.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/GraphColouring/graph-colouring-nodes=145-density=0.1-instance=7.smt2 (content) ok ok 4.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/GraphColouring/graph-colouring-nodes=145-density=0.1-instance=5.smt2 (content) ok ok 2.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/GraphColouring/graph-colouring-nodes=145-density=0.1-instance=4.smt2 (content) ok ok 4.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/GraphColouring/graph-colouring-nodes=145-density=0.1-instance=2.smt2 (content) ok ok 2.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/GraphColouring/graph-colouring-nodes=145-density=0.1-instance=10.smt2 (content) ok ok 2.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/GraphColouring/graph-colouring-nodes=140-density=0.1-instance=9.smt2 (content) ok ok 2.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/GraphColouring/graph-colouring-nodes=140-density=0.1-instance=8.smt2 (content) ok ok 2.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/GraphColouring/graph-colouring-nodes=140-density=0.1-instance=7.smt2 (content) ok ok 3.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/GraphColouring/graph-colouring-nodes=140-density=0.1-instance=4.smt2 (content) ok ok 3.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/GraphColouring/graph-colouring-nodes=140-density=0.1-instance=2.smt2 (content) ok ok 3.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/GraphColouring/graph-colouring-nodes=135-density=0.1-instance=7.smt2 (content) ok ok 3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/GraphColouring/graph-colouring-nodes=135-density=0.1-instance=2.smt2 (content) ok ok 3.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/GraphColouring/graph-colouring-nodes=130-density=0.1-instance=7.smt2 (content) ok ok 2.9s