detailed results (95063 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_529.smt2 (content) ok ok 0.119s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_528.smt2 (content) ok ok 0.148s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_527.smt2 (content) ok ok 0.118s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_526.smt2 (content) ok ok 0.120s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_525.smt2 (content) ok ok 0.216s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_524.smt2 (content) ok ok 0.121s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_523.smt2 (content) ok ok 0.175s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_522.smt2 (content) ok ok 0.123s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_521.smt2 (content) ok ok 0.111s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_520.smt2 (content) ok ok 0.204s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_52.smt2 (content) ok ok 0.147s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_519.smt2 (content) ok ok 0.117s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_518.smt2 (content) ok ok 0.137s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_517.smt2 (content) ok ok 0.126s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_516.smt2 (content) ok ok 0.129s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_515.smt2 (content) ok ok 0.158s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_514.smt2 (content) ok ok 0.224s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_513.smt2 (content) ok ok 0.128s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_512.smt2 (content) ok ok 0.239s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_511.smt2 (content) ok ok 0.132s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_510.smt2 (content) ok ok 0.130s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_51.smt2 (content) ok ok 0.257s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_509.smt2 (content) ok ok 0.269s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_508.smt2 (content) ok ok 0.148s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_507.smt2 (content) ok ok 0.149s