detailed results (95063 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvsrem_18.smt2 (content) ok ok 0.126s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvsrem_17.smt2 (content) ok ok 0.168s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvsrem_16.smt2 (content) ok ok 0.160s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvsrem_15.smt2 (content) ok ok 0.130s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvsrem_14.smt2 (content) ok ok 0.158s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvsrem_13.smt2 (content) ok ok 0.111s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvsrem_12.smt2 (content) ok ok 0.123s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvsmod_20.smt2 (content) ok ok 0.186s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvsmod_19.smt2 (content) ok ok 0.151s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvsmod_18.smt2 (content) ok ok 0.135s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvsmod_17.smt2 (content) ok ok 0.179s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvsmod_16.smt2 (content) ok ok 0.106s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvsmod_15.smt2 (content) ok ok 0.139s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvsmod_14.smt2 (content) ok ok 0.162s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvsmod_13.smt2 (content) ok ok 0.153s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvsmod_12.smt2 (content) ok ok 0.101s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvslt_9458.smt2 (content) ok ok 0.221s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvslt_8715.smt2 (content) ok ok 0.149s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvslt_7972.smt2 (content) ok ok 0.228s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvslt_7229.smt2 (content) ok ok 0.143s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvslt_6486.smt2 (content) ok ok 0.137s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvslt_5743.smt2 (content) ok ok 0.142s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvslt_5000.smt2 (content) ok ok 0.220s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvslt_19860.smt2 (content) ok ok 0.308s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvslt_19117.smt2 (content) ok ok 0.283s