detailed results (92284 total)

prover file res expected time
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
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/MazeGeneration/maze-generation-width=19-height=19-density=0.01-run=3.smt2 (content) ok ok 2.4s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/MazeGeneration/maze-generation-width=19-height=19-density=0.01-run=1.smt2 (content) ok ok 2.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/MazeGeneration/maze-generation-width=18-height=18-density=0.01-run=4.smt2 (content) ok ok 2.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/MazeGeneration/maze-generation-width=18-height=18-density=0.01-run=3.smt2 (content) ok ok 2.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/MazeGeneration/maze-generation-width=18-height=18-density=0.01-run=2.smt2 (content) ok ok 2.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/MazeGeneration/maze-generation-width=17-height=17-density=0.01-run=3.smt2 (content) ok ok 1.4s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/MazeGeneration/maze-generation-width=17-height=17-density=0.01-run=1.smt2 (content) ok ok 1.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/MazeGeneration/maze-generation-width=16-height=16-density=0.01-run=5.smt2 (content) ok ok 1.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/MazeGeneration/maze-generation-width=16-height=16-density=0.01-run=4.smt2 (content) ok ok 2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/MazeGeneration/maze-generation-width=16-height=16-density=0.01-run=3.smt2 (content) ok ok 2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/MazeGeneration/maze-generation-width=16-height=16-density=0.01-run=1.smt2 (content) ok ok 1.0s