detailed results (95063 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bench_ab/a410test0042.smt2 (content) ok ok 0.027s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bench_ab/a409test0002.smt2 (content) ok ok 0.028s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bench_ab/a408test0044.smt2 (content) ok ok 0.026s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bench_ab/a407test0024.smt2 (content) ok ok 0.018s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bench_ab/a406test0030.smt2 (content) ok ok 0.023s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bench_ab/a405test0019.smt2 (content) ok ok 0.027s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bench_ab/a404test0017.smt2 (content) ok ok 0.021s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bench_ab/a403test0043.smt2 (content) ok ok 0.025s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bench_ab/a402test0032.smt2 (content) ok ok 0.029s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bench_ab/a401test0052.smt2 (content) ok ok 0.018s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bench_ab/a400test0025.smt2 (content) ok ok 0.022s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bench_ab/a399test0012.smt2 (content) ok ok 0.027s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bench_ab/a398test0035.smt2 (content) ok ok 0.027s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bench_ab/a397test0029.smt2 (content) ok ok 0.029s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bench_ab/a396test0018.smt2 (content) ok ok 0.030s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bench_ab/a395test0001.smt2 (content) ok ok 0.035s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bench_ab/a394test0036.smt2 (content) ok ok 0.029s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bench_ab/a393test0014.smt2 (content) ok ok 0.030s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bench_ab/a392test0051.smt2 (content) ok ok 0.027s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bench_ab/a391test0010.smt2 (content) ok ok 0.028s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bench_ab/a390test0005.smt2 (content) ok ok 0.030s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bench_ab/a389test0021.smt2 (content) ok ok 0.027s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bench_ab/a388test0040.smt2 (content) ok ok 0.027s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bench_ab/a335test0041.smt2 (content) ok ok 0.026s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/bench_ab/a334test0016.smt2 (content) ok ok 0.029s