detailed results (92284 total)

prover file res expected time
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/KnightTour/knightTour.in08.smt2 (content) ok ok 1m3.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/KnightTour/knightTour.in07.smt2 (content) ok ok 30.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/KnightTour/knightTour.in06.smt2 (content) ok ok 12.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/KnightTour/knightTour.in05.smt2 (content) ok ok 6.4s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/KnightTour/knightTour.in04.smt2 (content) ok ok 6.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/KnightTour/knightTour.in03.smt2 (content) ok ok 3.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/KnightTour/knightTour.in02.smt2 (content) ok ok 2.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/KnightTour/knightTour.in01.smt2 (content) ok ok 1.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/HierarchicalClustering/xy.15.x.15.r.4.10790636.1242605.data_k=4_l=4_sat.gph.smt2 (content) ok ok 16.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/HierarchicalClustering/xy.14.x.14.r.3.886831626.391915.data_k=3_l=5_sat.gph.smt2 (content) ok ok 11.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/HierarchicalClustering/xy.14.x.14.r.3.886831626.391915.data_k=2_l=6_sat.gph.smt2 (content) ok ok 18.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/HierarchicalClustering/xy.13.x.13.r.3.541669225.993881.data_k=2_l=6_sat.gph.smt2 (content) ok ok 10.8s