detailed results (330073 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/fast_1_e8_747_e8_1041.ec.smt2 (content) ok ok 0.165s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/fast_1_e8_747_e7_692.ec.smt2 (content) ok ok 0.232s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/fast_1_e7_2044_e7_1287.ec.smt2 (content) ok ok 0.238s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/fast_1_e7_1035.ec.smt2 (content) ok ok 0.157s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/fast_1.ec.smt2 (content) ok ok 0.230s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ex8_e8_220_e7_249.ec.smt2 (content) ok ok 0.168s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ex8_e8_220.ec.smt2 (content) ok ok 0.161s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ex8_e7_74_e8_302.ec.smt2 (content) ok ok 0.237s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ex8_e7_74_e7_740.ec.smt2 (content) ok ok 0.225s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ex8_e7_55.ec.smt2 (content) ok ok 0.165s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ex3_e8_381_e8_477.ec.smt2 (content) ok ok 0.170s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ex3_e8_381_e7_224.ec.smt2 (content) ok ok 0.160s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ex3_e8_381.ec.smt2 (content) ok ok 0.320s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ex3_e7_655.ec.smt2 (content) ok ok 0.162s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ex3_e7_590_e7_590.ec.smt2 (content) ok ok 0.154s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/ex3.ec.smt2 (content) ok ok 0.189s
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