detailed results (95063 total)

prover file res expected time
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
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/GeneralizedSlitherlink/trisquares.40.asp.smt2 (content) ok ok 29.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/GeneralizedSlitherlink/trisquares.35.asp.smt2 (content) ok ok 27.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/GeneralizedSlitherlink/trisquares.19.asp.smt2 (content) ok ok 19.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/GeneralizedSlitherlink/trisquares.11.asp.smt2 (content) ok ok 19.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/GeneralizedSlitherlink/penrosesmall.5.asp.smt2 (content) ok ok 1s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/GeneralizedSlitherlink/penrose.60.asp.smt2 (content) ok ok 8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/GeneralizedSlitherlink/penrose.50.asp.smt2 (content) ok ok 10.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/GeneralizedSlitherlink/penrose.48.asp.smt2 (content) ok ok 12.2s