detailed results (363750 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/durationThm_3_e7_201.ec.smt2 (content) fatal ok 0.162s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/durationThm_3_e3_442_e5_260.ec.smt2 (content) fatal ok 0.235s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/durationThm_3_e3_442_e4_165.ec.smt2 (content) fatal ok 0.159s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/durationThm_3_e3_207.ec.smt2 (content) fatal ok 0.156s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/durationThm_3_e2_148.ec.smt2 (content) fatal ok 0.161s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/durationThm_3_e1_36_e7_432.ec.smt2 (content) fatal ok 0.232s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/durationThm_3_e1_36.ec.smt2 (content) fatal ok 0.238s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/durationThm_3.ec.smt2 (content) fatal ok 0.160s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/durationThm_2_e7_145_e7_154.ec.smt2 (content) ok ok 0.159s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/durationThm_2_e7_145_e3_222.ec.smt2 (content) ok ok 0.384s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/durationThm_2_e7_145_e2_169.ec.smt2 (content) ok ok 0.469s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/durationThm_2_e7_145.ec.smt2 (content) ok ok 0.166s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/durationThm_2_e3_329_e5_124.ec.smt2 (content) ok ok 0.401s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/durationThm_2_e3_329_e4_1.ec.smt2 (content) ok ok 0.394s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/durationThm_2_e3_329.ec.smt2 (content) ok ok 0.400s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/durationThm_2_e2_63.ec.smt2 (content) ok ok 0.472s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/durationThm_2_e1_301_e7_64.ec.smt2 (content) ok ok 0.168s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/durationThm_2_e1_301.ec.smt2 (content) ok ok 0.482s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/durationThm_2.ec.smt2 (content) ok ok 0.409s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/durationThm_1_e7_217_e7_31.ec.smt2 (content) fatal ok 0.306s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/durationThm_1_e7_217_e2_352.ec.smt2 (content) fatal ok 0.183s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/durationThm_1_e7_12.ec.smt2 (content) fatal ok 0.233s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/durationThm_1_e3_389_e7_358.ec.smt2 (content) fatal ok 0.159s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/durationThm_1_e3_389_e5_5.ec.smt2 (content) fatal ok 0.232s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/durationThm_1_e3_389_e4_294.ec.smt2 (content) fatal ok 0.233s