detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_3316.smt2 (content) ok ok 0.055s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_3315.smt2 (content) ok ok 0.031s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_3314.smt2 (content) ok ok 0.061s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_3313.smt2 (content) ok ok 0.100s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_3312.smt2 (content) ok ok 0.053s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_3311.smt2 (content) ok ok 0.040s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_3310.smt2 (content) ok ok 0.064s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_331.smt2 (content) ok ok 0.125s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_3309.smt2 (content) ok ok 0.041s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_3308.smt2 (content) ok ok 0.042s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_3307.smt2 (content) ok ok 0.043s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_3306.smt2 (content) ok ok 0.139s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_3305.smt2 (content) ok ok 0.098s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_3304.smt2 (content) ok ok 0.130s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_3303.smt2 (content) ok ok 0.147s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_3302.smt2 (content) ok ok 0.142s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_3301.smt2 (content) ok ok 0.093s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_3300.smt2 (content) ok ok 0.068s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_330.smt2 (content) ok ok 0.092s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_33.smt2 (content) ok ok 0.043s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_3299.smt2 (content) ok ok 0.110s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_3298.smt2 (content) ok ok 0.103s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_3297.smt2 (content) ok ok 0.104s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_3296.smt2 (content) ok ok 0.134s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_3295.smt2 (content) ok ok 0.139s