detailed results (95063 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/SchurNumbers/20.17.schur.lp.smt2 (content) ok ok 10.0s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/SchurNumbers/20.14.schur.lp.smt2 (content) ok ok 6.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/SchurNumbers/20.13.schur.lp.smt2 (content) ok ok 11.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/SchurNumbers/20.12.schur.lp.smt2 (content) ok ok 10.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/SchurNumbers/20.11.schur.lp.smt2 (content) ok ok 11.4s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/SchurNumbers/20.10.schur.lp.smt2 (content) ok ok 11.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/SchurNumbers/20.1.schur.lp.smt2 (content) ok ok 7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/SchurNumbers/15.8.schur.lp.smt2 (content) ok ok 11.4s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/SchurNumbers/15.6.schur.lp.smt2 (content) ok ok 11.1s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/SchurNumbers/15.5.schur.lp.smt2 (content) ok ok 7.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/SchurNumbers/15.4.schur.lp.smt2 (content) ok ok 6.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/SchurNumbers/15.3.schur.lp.smt2 (content) ok ok 11.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/SchurNumbers/15.20.schur.lp.smt2 (content) ok ok 7.4s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/SchurNumbers/15.19.schur.lp.smt2 (content) ok ok 6.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/SchurNumbers/15.17.schur.lp.smt2 (content) ok ok 10.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/SchurNumbers/15.16.schur.lp.smt2 (content) ok ok 11.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/SchurNumbers/15.14.schur.lp.smt2 (content) ok ok 10.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/SchurNumbers/15.13.schur.lp.smt2 (content) ok ok 11.1s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/SchurNumbers/15.10.schur.lp.smt2 (content) ok ok 12s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/SchurNumbers/15.1.schur.lp.smt2 (content) ok ok 9.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/MazeGeneration/maze-generation-width=21-height=21-density=0.01-run=4.smt2 (content) ok ok 2.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/MazeGeneration/maze-generation-width=21-height=21-density=0.01-run=2.smt2 (content) ok ok 2.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/MazeGeneration/maze-generation-width=21-height=21-density=0.01-run=1.smt2 (content) ok ok 3.4s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/MazeGeneration/maze-generation-width=19-height=19-density=0.01-run=5.smt2 (content) ok ok 3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/MazeGeneration/maze-generation-width=19-height=19-density=0.01-run=4.smt2 (content) ok ok 1.9s