detailed results (363750 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_12_e2_1618_e1_6030.ec.smt2 (content) ok ok 0.467s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_12_e2_1618.ec.smt2 (content) ok ok 0.478s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_12_e1_4640_e7_128.ec.smt2 (content) ok ok 0.098s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_12.ec.smt2 (content) ok ok 0.518s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_11_e3_382_e1_505.ec.smt2 (content) warn ok 0.189s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_11_e2_5396_e3_282.ec.smt2 (content) warn ok 0.243s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_11_e1_2450_e3_2330.ec.smt2 (content) warn ok 0.229s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_11_e1_2450_e2_1483.ec.smt2 (content) ok ok 0.170s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_11_e1_2450_e1_5887.ec.smt2 (content) ok ok 0.181s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_11_e1_2450.ec.smt2 (content) ok ok 0.203s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_11_e1_1117_e7_4950.ec.smt2 (content) ok ok 0.143s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_11.ec.smt2 (content) ok ok 0.188s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_10_e7_3861_e7_2180.ec.smt2 (content) ok ok 0.148s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_10_e3_3429.ec.smt2 (content) warn ok 0.107s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_10_e3_144_e7_523.ec.smt2 (content) warn ok 0.136s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_10_e3_144_e5_2046.ec.smt2 (content) warn ok 0.145s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_10_e2_402.ec.smt2 (content) ok ok 0.177s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_10_e2_2785_e7_1466.ec.smt2 (content) ok ok 0.094s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_10_e2_2785_e3_1744.ec.smt2 (content) warn ok 0.183s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_10_e1_998.ec.smt2 (content) ok ok 0.128s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_10_e1_3587_e7_872.ec.smt2 (content) ok ok 0.131s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_10_e1_3587_e3_2749.ec.smt2 (content) warn ok 0.142s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_10.ec.smt2 (content) ok ok 0.157s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_1.ec.smt2 (content) ok ok 0.188s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/blast/s3_srvr.blast.01.i.cil.c.smt2 (content) warn ok 11.6s