detailed results (330073 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_luke_1a_e2_284_e3_3091.ec.smt2 (content) ok ok 0.635s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_luke_1a_e2_284_e2_2755.ec.smt2 (content) ok ok 0.656s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_luke_1a_e2_284_e1_2924.ec.smt2 (content) ok ok 0.737s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_luke_1a.ec.smt2 (content) ok ok 0.789s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_9.ec.smt2 (content) ok ok 0.171s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_8_e2_1711_e7_1962.ec.smt2 (content) ok ok 0.169s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_8_e2_1711_e3_1753.ec.smt2 (content) ok ok 0.168s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_8_e2_1711_e2_2673.ec.smt2 (content) ok ok 0.162s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_8_e2_1711_e1_1489.ec.smt2 (content) ok ok 0.165s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_8_e2_1692.ec.smt2 (content) ok ok 0.171s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_8.ec.smt2 (content) ok ok 0.234s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_7.ec.smt2 (content) ok ok 0.394s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_6_e2_3302.ec.smt2 (content) ok ok 0.479s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_6.ec.smt2 (content) ok ok 0.554s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_5_e2_2884_e7_3594.ec.smt2 (content) ok ok 0.745s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_5_e2_2884_e3_1882.ec.smt2 (content) ok ok 0.163s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_5_e2_2884_e2_1492.ec.smt2 (content) ok ok 0.177s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_5_e2_2884_e1_2678.ec.smt2 (content) ok ok 0.164s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_5_e2_2884.ec.smt2 (content) ok ok 0.229s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_5_e1_2552_e7_1169.ec.smt2 (content) ok ok 0.636s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_5.ec.smt2 (content) ok ok 0.173s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_3_e2_2236_e7_3681.ec.smt2 (content) ok ok 0.716s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_3_e2_2236_e3_2657.ec.smt2 (content) ok ok 0.258s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_3_e2_2236_e2_1058.ec.smt2 (content) ok ok 0.327s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/FIREFLY_3_e2_2236_e1_2305.ec.smt2 (content) ok ok 0.235s