detailed results (92284 total)

prover file res expected time
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
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/GraphColouring/graph-colouring-nodes=130-density=0.1-instance=5.smt2 (content) ok ok 2.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/GraphColouring/graph-colouring-nodes=130-density=0.1-instance=4.smt2 (content) ok ok 3.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/GraphColouring/graph-colouring-nodes=130-density=0.1-instance=3.smt2 (content) ok ok 3.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/GraphColouring/graph-colouring-nodes=130-density=0.1-instance=2.smt2 (content) ok ok 3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/GraphColouring/graph-colouring-nodes=130-density=0.1-instance=10.smt2 (content) ok ok 3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/GraphColouring/graph-colouring-nodes=125-density=0.1-instance=9.smt2 (content) ok ok 3.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/GraphColouring/graph-colouring-nodes=125-density=0.1-instance=7.smt2 (content) ok ok 2.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/GraphColouring/graph-colouring-nodes=125-density=0.1-instance=5.smt2 (content) ok ok 3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/GraphColouring/graph-colouring-nodes=125-density=0.1-instance=4.smt2 (content) ok ok 2.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/GraphColouring/graph-colouring-nodes=125-density=0.1-instance=3.smt2 (content) ok ok 3.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/GraphColouring/graph-colouring-nodes=125-density=0.1-instance=2.smt2 (content) ok ok 2.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/GeneralizedSlitherlink/trisquares.59.asp.smt2 (content) ok ok 18.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/GeneralizedSlitherlink/trisquares.54.asp.smt2 (content) ok ok 29.0s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/GeneralizedSlitherlink/trisquares.49.asp.smt2 (content) ok ok 18.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/GeneralizedSlitherlink/trisquares.47.asp.smt2 (content) ok ok 29.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/GeneralizedSlitherlink/trisquares.43.asp.smt2 (content) ok ok 21.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/GeneralizedSlitherlink/trisquares.41.asp.smt2 (content) ok ok 25.3s