detailed results (33316 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_14_e3_1259_e1_5798.ec.smt2 (content) warn ok 0.191s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_13_e7_2336_e3_3117.ec.smt2 (content) warn ok 0.136s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_13_e3_1418_e3_2761.ec.smt2 (content) warn ok 0.476s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/kind/DRAGON_12_e2_1618_e3_2012.ec.smt2 (content) warn ok 0.476s
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_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_2785_e3_1744.ec.smt2 (content) warn ok 0.183s
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/blast/s3_srvr.blast.01.i.cil.c.smt2 (content) warn ok 11.6s
dolmen /home/guillaume/bench/smtlib-incremental/QF_UFLIA/blast/cdaudio.i.cil.c.smt2 (content) warn ok 20.7s
dolmen /home/guillaume/bench/smtlib-incremental/QF_FP/20170501-Heizmann-UltimateAutomizer/float5_true-unreach-call.i.smt2 (content) warn ok 0.093s
dolmen /home/guillaume/bench/smtlib-incremental/QF_BVFP/20170501-Heizmann-UltimateAutomizer/zonotope_3_true-unreach-call.c.smt2 (content) warn ok 0.284s
dolmen /home/guillaume/bench/smtlib-incremental/QF_BVFP/20170501-Heizmann-UltimateAutomizer/zonotope_2_true-unreach-call.c.smt2 (content) warn ok 0.264s
dolmen /home/guillaume/bench/smtlib-incremental/QF_BVFP/20170501-Heizmann-UltimateAutomizer/water_pid_true-unreach-call.c.smt2 (content) warn ok 0.190s
dolmen /home/guillaume/bench/smtlib-incremental/QF_BVFP/20170501-Heizmann-UltimateAutomizer/square_8_true-unreach-call.i.smt2 (content) warn ok 0.126s
dolmen /home/guillaume/bench/smtlib-incremental/QF_BVFP/20170501-Heizmann-UltimateAutomizer/square_7_true-unreach-call.i.smt2 (content) warn ok 0.088s
dolmen /home/guillaume/bench/smtlib-incremental/QF_BVFP/20170501-Heizmann-UltimateAutomizer/square_6_true-unreach-call.i.smt2 (content) warn ok 0.135s
dolmen /home/guillaume/bench/smtlib-incremental/QF_BVFP/20170501-Heizmann-UltimateAutomizer/square_5_true-unreach-call.i.smt2 (content) warn ok 0.088s
dolmen /home/guillaume/bench/smtlib-incremental/QF_BVFP/20170501-Heizmann-UltimateAutomizer/square_4_true-unreach-call.i.smt2 (content) warn ok 0.127s
dolmen /home/guillaume/bench/smtlib-incremental/QF_BVFP/20170501-Heizmann-UltimateAutomizer/square_3_false-unreach-call.i.smt2 (content) warn ok 0.138s
dolmen /home/guillaume/bench/smtlib-incremental/QF_BVFP/20170501-Heizmann-UltimateAutomizer/square_2_false-unreach-call.i.smt2 (content) warn ok 0.138s