detailed results (363750 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_12_e2_1618_e1_6030.ec.smt2 (content) ok ok 0.551s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_12_e2_1618.ec.smt2 (content) ok ok 0.561s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_12_e1_4640_e7_128.ec.smt2 (content) ok ok 0.236s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_12.ec.smt2 (content) ok ok 0.634s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_11_e3_382_e1_505.ec.smt2 (content) fatal ok 0.157s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_11_e2_5396_e3_282.ec.smt2 (content) fatal ok 0.163s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_11_e1_2450_e3_2330.ec.smt2 (content) fatal ok 0.156s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_11_e1_2450_e2_1483.ec.smt2 (content) ok ok 0.245s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_11_e1_2450_e1_5887.ec.smt2 (content) ok ok 0.238s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_11_e1_2450.ec.smt2 (content) ok ok 0.232s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_11_e1_1117_e7_4950.ec.smt2 (content) ok ok 0.163s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_11.ec.smt2 (content) ok ok 0.231s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_10_e7_3861_e7_2180.ec.smt2 (content) ok ok 0.234s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_10_e3_3429.ec.smt2 (content) fatal ok 0.155s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_10_e3_144_e7_523.ec.smt2 (content) fatal ok 0.161s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_10_e3_144_e5_2046.ec.smt2 (content) fatal ok 0.242s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_10_e2_402.ec.smt2 (content) ok ok 0.251s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_10_e2_2785_e7_1466.ec.smt2 (content) ok ok 0.170s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_10_e2_2785_e3_1744.ec.smt2 (content) fatal ok 0.169s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_10_e1_998.ec.smt2 (content) ok ok 0.234s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_10_e1_3587_e7_872.ec.smt2 (content) ok ok 0.240s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_10_e1_3587_e3_2749.ec.smt2 (content) fatal ok 0.157s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_10.ec.smt2 (content) ok ok 0.236s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_1.ec.smt2 (content) ok ok 0.222s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_UFLIA/blast/s3_srvr.blast.01.i.cil.c.smt2 (content) fatal ok 10.4s