detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/15Puzzle/15-puzzle.init6.smt2 (content) ok ok 23s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/15Puzzle/15-puzzle.init5.smt2 (content) ok ok 13.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/15Puzzle/15-puzzle.init4.smt2 (content) ok ok 16.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/15Puzzle/15-puzzle.init3.smt2 (content) ok ok 13.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/15Puzzle/15-puzzle.init2.smt2 (content) ok ok 23.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/15Puzzle/15-puzzle.init15.smt2 (content) ok ok 18.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/15Puzzle/15-puzzle.init14.smt2 (content) ok ok 26.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/15Puzzle/15-puzzle.init13.smt2 (content) ok ok 26.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/15Puzzle/15-puzzle.init12.smt2 (content) ok ok 25.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/15Puzzle/15-puzzle.init11.smt2 (content) ok ok 19.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/asp/15Puzzle/15-puzzle.init10.smt2 (content) ok ok 23.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/VS3/VS3-benchmark-S3.smt2 (content) ok ok 5.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/VS3/VS3-benchmark-S2.smt2 (content) ok ok 0.286s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/VS3/VS3-benchmark-S1.smt2 (content) ok ok 0.310s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/VS3/VS3-benchmark-A9.smt2 (content) ok ok 0.216s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/VS3/VS3-benchmark-A8.smt2 (content) ok ok 0.227s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/VS3/VS3-benchmark-A7.smt2 (content) ok ok 0.205s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/VS3/VS3-benchmark-A6.smt2 (content) ok ok 0.198s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/VS3/VS3-benchmark-A13.smt2 (content) ok ok 0.142s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/VS3/VS3-benchmark-A12.smt2 (content) ok ok 0.215s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/VS3/VS3-benchmark-A11.smt2 (content) ok ok 0.209s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/VS3/VS3-benchmark-A10.smt2 (content) ok ok 0.137s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/RWS/Example_9.txt.smt2 (content) ok ok 0.145s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/RWS/Example_8.txt.smt2 (content) ok ok 0.055s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/RWS/Example_7.txt.smt2 (content) ok ok 0.101s