detailed results (199 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib/QF_BV/asp/WireRouting/wire.16.x.16.b.10.a.25_unsat.data.smt2 (content) timout ok 1m0.1s
dolmen /home/guillaume/bench/smtlib/QF_BV/asp/WireRouting/wire.16.x.16.b.10.a.20_unsat.data.smt2 (content) timout ok 1m0.2s
dolmen /home/guillaume/bench/smtlib/QF_BV/asp/Sudoku/sudoku.in9.smt2 (content) timout ok 1m0.3s
dolmen /home/guillaume/bench/smtlib/QF_BV/asp/Sudoku/sudoku.in8.smt2 (content) timout ok 1m0.3s
dolmen /home/guillaume/bench/smtlib/QF_BV/asp/Sudoku/sudoku.in7.smt2 (content) timout ok 1m0.3s
dolmen /home/guillaume/bench/smtlib/QF_BV/asp/Sudoku/sudoku.in6.smt2 (content) timout ok 1m0.3s
dolmen /home/guillaume/bench/smtlib/QF_BV/asp/Sudoku/sudoku.in5.smt2 (content) timout ok 1m0.4s
dolmen /home/guillaume/bench/smtlib/QF_BV/asp/Sudoku/sudoku.in4.smt2 (content) timout ok 1m0.5s
dolmen /home/guillaume/bench/smtlib/QF_BV/asp/Sudoku/sudoku.in3.smt2 (content) timout ok 1m0.3s
dolmen /home/guillaume/bench/smtlib/QF_BV/asp/Sudoku/sudoku.in10.smt2 (content) timout ok 1m0.3s
dolmen /home/guillaume/bench/smtlib/QF_BV/asp/Labyrinth/laby_22_22_19.lp.smt2 (content) timout ok 1m0.3s
dolmen /home/guillaume/bench/smtlib/QF_BV/asp/Labyrinth/laby_22_22_17.lp.smt2 (content) timout ok 1m0.3s
dolmen /home/guillaume/bench/smtlib/QF_BV/asp/Labyrinth/laby_22_22_13.lp.smt2 (content) timout ok 1m0.3s
dolmen /home/guillaume/bench/smtlib/QF_BV/asp/Labyrinth/laby_22_22_11.lp.smt2 (content) timout ok 1m0.3s
dolmen /home/guillaume/bench/smtlib/QF_BV/asp/Labyrinth/laby_22_22_09.lp.smt2 (content) timout ok 1m0.3s
dolmen /home/guillaume/bench/smtlib/QF_BV/asp/Labyrinth/laby_22_22_08.lp.smt2 (content) timout ok 1m0.4s
dolmen /home/guillaume/bench/smtlib/QF_BV/asp/Labyrinth/laby_21_21_19.lp.smt2 (content) timout ok 1m0.2s
dolmen /home/guillaume/bench/smtlib/QF_BV/asp/Labyrinth/laby_21_21_18.lp.smt2 (content) timout ok 1m0.3s
dolmen /home/guillaume/bench/smtlib/QF_BV/asp/Labyrinth/laby_21_21_16.lp.smt2 (content) timout ok 1m0.3s
dolmen /home/guillaume/bench/smtlib/QF_BV/asp/Labyrinth/laby_21_21_15.lp.smt2 (content) timout ok 1m0.3s
dolmen /home/guillaume/bench/smtlib/QF_BV/asp/Labyrinth/laby_21_21_12.lp.smt2 (content) timout ok 1m0.4s
dolmen /home/guillaume/bench/smtlib/QF_BV/asp/Labyrinth/laby_21_21_07.lp.smt2 (content) timout ok 1m0.4s
dolmen /home/guillaume/bench/smtlib/QF_BV/asp/Labyrinth/laby_21_21_05.lp.smt2 (content) timout ok 1m0.3s
dolmen /home/guillaume/bench/smtlib/QF_BV/asp/Labyrinth/laby_21_21_01.lp.smt2 (content) timout ok 1m0.3s
dolmen /home/guillaume/bench/smtlib/QF_BV/asp/Labyrinth/laby_20_20_15.lp.smt2 (content) timout ok 1m0.3s