detailed results (95063 total)

prover file res expected time
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
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/MazeGeneration/maze-generation-width=15-height=15-density=0.01-run=5.smt2 (content) ok ok 1.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/MazeGeneration/maze-generation-width=15-height=15-density=0.01-run=4.smt2 (content) ok ok 1.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/MazeGeneration/maze-generation-width=15-height=15-density=0.01-run=3.smt2 (content) ok ok 1.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/MazeGeneration/maze-generation-width=15-height=15-density=0.01-run=2.smt2 (content) ok ok 1.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/MazeGeneration/maze-generation-width=15-height=15-density=0.01-run=1.smt2 (content) ok ok 1s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/MazeGeneration/maze-generation-width=14-height=14-density=0.01-run=3.smt2 (content) ok ok 1.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/MazeGeneration/maze-generation-width=12-height=12-density=0.01-run=5.smt2 (content) ok ok 1s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/MazeGeneration/maze-generation-width=12-height=12-density=0.01-run=3.smt2 (content) ok ok 0.971s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/MazeGeneration/maze-generation-width=12-height=12-density=0.01-run=1.smt2 (content) ok ok 0.989s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/MazeGeneration/maze-generation-width=10-height=10-density=0.01-run=4.smt2 (content) ok ok 0.619s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/MazeGeneration/maze-generation-width=10-height=10-density=0.01-run=3.smt2 (content) ok ok 0.601s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/MazeGeneration/maze-generation-width=10-height=10-density=0.01-run=2.smt2 (content) ok ok 0.614s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/MazeGeneration/maze-generation-width=10-height=10-density=0.01-run=1.smt2 (content) ok ok 0.634s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/Labyrinth/laby_22_22_19.lp.smt2 (content) memout ok 1m57.2s