detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_ALIA/qlock2/qlock.base.20.smt2 (content) ok ok 0.059s
dolmen /home/guigui/build/benchs/smtlib/QF_ALIA/qlock2/qlock.base.19.smt2 (content) ok ok 0.086s
dolmen /home/guigui/build/benchs/smtlib/QF_ALIA/qlock2/qlock.base.18.smt2 (content) ok ok 0.098s
dolmen /home/guigui/build/benchs/smtlib/QF_ALIA/qlock2/qlock.base.17.smt2 (content) ok ok 0.097s
dolmen /home/guigui/build/benchs/smtlib/QF_ALIA/qlock2/qlock.base.16.smt2 (content) ok ok 0.055s
dolmen /home/guigui/build/benchs/smtlib/QF_ALIA/qlock2/qlock.base.15.smt2 (content) ok ok 0.046s
dolmen /home/guigui/build/benchs/smtlib/QF_ALIA/qlock2/qlock.base.14.smt2 (content) ok ok 0.095s
dolmen /home/guigui/build/benchs/smtlib/QF_ALIA/qlock2/qlock.base.13.smt2 (content) ok ok 0.081s
dolmen /home/guigui/build/benchs/smtlib/QF_ALIA/qlock2/qlock.base.12.smt2 (content) ok ok 0.070s
dolmen /home/guigui/build/benchs/smtlib/QF_ALIA/qlock2/qlock.base.11.smt2 (content) ok ok 0.036s
dolmen /home/guigui/build/benchs/smtlib/QF_ALIA/qlock2/qlock.base.10.smt2 (content) ok ok 0.035s
dolmen /home/guigui/build/benchs/smtlib/QF_ALIA/piVC/piVC_ffa5fa.smt2 (content) ok ok 0.031s
dolmen /home/guigui/build/benchs/smtlib/QF_ALIA/piVC/piVC_fdec13.smt2 (content) ok ok 0.072s
dolmen /home/guigui/build/benchs/smtlib/QF_ALIA/piVC/piVC_f5059f.smt2 (content) ok ok 0.077s
dolmen /home/guigui/build/benchs/smtlib/QF_ALIA/piVC/piVC_ed9849.smt2 (content) ok ok 0.069s
dolmen /home/guigui/build/benchs/smtlib/QF_ALIA/piVC/piVC_d421cb.smt2 (content) ok ok 0.072s
dolmen /home/guigui/build/benchs/smtlib/QF_ALIA/piVC/piVC_cb19c7.smt2 (content) ok ok 0.060s
dolmen /home/guigui/build/benchs/smtlib/QF_ALIA/piVC/piVC_7fd2c4.smt2 (content) ok ok 0.011s
dolmen /home/guigui/build/benchs/smtlib/QF_ALIA/piVC/piVC_5b181b.smt2 (content) ok ok 0.031s
dolmen /home/guigui/build/benchs/smtlib/QF_ALIA/piVC/piVC_509c40.smt2 (content) ok ok 0.074s
dolmen /home/guigui/build/benchs/smtlib/QF_ALIA/piVC/piVC_46582a.smt2 (content) ok ok 0.118s
dolmen /home/guigui/build/benchs/smtlib/QF_ALIA/piVC/piVC_408ff0.smt2 (content) ok ok 0.085s
dolmen /home/guigui/build/benchs/smtlib/QF_ALIA/piVC/piVC_3031c9.smt2 (content) ok ok 0.143s
dolmen /home/guigui/build/benchs/smtlib/QF_ALIA/piVC/piVC_22b1f2.smt2 (content) ok ok 0.082s
dolmen /home/guigui/build/benchs/smtlib/QF_ALIA/piVC/piVC_174f4d.smt2 (content) ok ok 0.013s