detailed results (95063 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_ALIA/qlock2/qlock.base.25.smt2 (content) ok ok 0.067s
dolmen /home/guigui/build/benchs/smtlib/QF_ALIA/qlock2/qlock.base.24.smt2 (content) ok ok 0.116s
dolmen /home/guigui/build/benchs/smtlib/QF_ALIA/qlock2/qlock.base.23.smt2 (content) ok ok 0.072s
dolmen /home/guigui/build/benchs/smtlib/QF_ALIA/qlock2/qlock.base.22.smt2 (content) ok ok 0.086s
dolmen /home/guigui/build/benchs/smtlib/QF_ALIA/qlock2/qlock.base.21.smt2 (content) ok ok 0.080s
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