detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/brummayerbiere/bitrev0032.smt2 (content) ok ok 0.035s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bmc-bv/sudoku.smt2 (content) ok ok 1.1s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bmc-bv/sort.smt2 (content) ok ok 0.125s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bmc-bv/simpleWhile.smt2 (content) ok ok 1.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bmc-bv/send-more-money.smt2 (content) ok ok 0.053s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bmc-bv/queens.smt2 (content) ok ok 0.247s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bmc-bv/matrixsqrt.smt2 (content) ok ok 0.021s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bmc-bv/magic.smt2 (content) ok ok 0.102s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bmc-bv/loop_on_input.smt2 (content) ok ok 0.039s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bmc-bv/intSqRoot.smt2 (content) ok ok 9.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bmc-bv/inf8.smt2 (content) ok ok 0.041s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bmc-bv/inf6.smt2 (content) ok ok 0.028s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bmc-bv/inf5.smt2 (content) ok ok 0.051s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bmc-bv/inf1.smt2 (content) ok ok 0.031s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bmc-bv/graycode.smt2 (content) ok ok 0.082s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bmc-bv/fermat.smt2 (content) ok ok 0.028s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bmc-bv/ex7_prime.smt2 (content) ok ok 2.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bmc-bv/ex49.smt2 (content) ok ok 2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bmc-bv/ex37.smt2 (content) ok ok 0.063s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bmc-bv/ex34.smt2 (content) ok ok 0.057s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bmc-bv/ex33.smt2 (content) ok ok 0.032s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bmc-bv/ex30.smt2 (content) ok ok 1.0s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bmc-bv/ex2_prime.smt2 (content) ok ok 0.204s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bmc-bv/ex23.smt2 (content) ok ok 0.137s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bmc-bv/ex19.smt2 (content) ok ok 12s