detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_361.smt2 (content) ok ok 0.129s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_360.smt2 (content) ok ok 0.133s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_36.smt2 (content) ok ok 0.139s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_359.smt2 (content) ok ok 0.223s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_358.smt2 (content) ok ok 0.184s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_357.smt2 (content) ok ok 0.164s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_356.smt2 (content) ok ok 0.163s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_355.smt2 (content) ok ok 0.147s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_354.smt2 (content) ok ok 0.114s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_353.smt2 (content) ok ok 0.166s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_352.smt2 (content) ok ok 0.135s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_351.smt2 (content) ok ok 0.139s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_350.smt2 (content) ok ok 0.163s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_35.smt2 (content) ok ok 0.162s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_349.smt2 (content) ok ok 0.154s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_348.smt2 (content) ok ok 0.268s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_347.smt2 (content) ok ok 0.121s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_346.smt2 (content) ok ok 0.199s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_345.smt2 (content) ok ok 0.184s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_344.smt2 (content) ok ok 0.139s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_343.smt2 (content) ok ok 0.139s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_342.smt2 (content) ok ok 0.181s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_341.smt2 (content) ok ok 0.140s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_340.smt2 (content) ok ok 0.121s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_34.smt2 (content) ok ok 0.172s