detailed results (8452 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_AUFLIA/ultimateAutomizer/s3_srvr.blast.01_false-unreach-call.i.cil.c.smt2 (content) fatal ok 0.238s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_AUFLIA/ultimateAutomizer/s3_clnt.blast.03_true-unreach-call.i.cil.c.smt2 (content) fatal ok 0.166s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_AUFLIA/ultimateAutomizer/s3_clnt.blast.02_true-unreach-call.i.cil.c.smt2 (content) fatal ok 0.312s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_ALIA/UltimateBuchiAutomizer/insertionsort-alloca_true-termination.c.i.smt2 (content) fatal ok 0.232s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_ALIA/UltimateBuchiAutomizer/cstrncpy-alloca_true-termination.c.i.smt2 (content) fatal ok 0.165s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_ALIA/UltimateBuchiAutomizer/LexIndexValue-Pointer_true-termination.c.smt2 (content) fatal ok 0.314s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_ABVFP/20170501-Heizmann-UltimateAutomizer/sin_interpolated_smallrange_true-unreach-call.c.smt2 (content) fatal ok 0.235s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_ABVFP/20170501-Heizmann-UltimateAutomizer/sin_interpolated_negation_true-unreach-call.c.smt2 (content) fatal ok 0.241s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_ABVFP/20170501-Heizmann-UltimateAutomizer/sin_interpolated_index_true-unreach-call.c.smt2 (content) fatal ok 0.238s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_ABVFP/20170501-Heizmann-UltimateAutomizer/sin_interpolated_index_false-unreach-call.c.smt2 (content) fatal ok 0.310s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_ABVFP/20170501-Heizmann-UltimateAutomizer/sin_interpolated_bigrange_tight_true-unreach-call.c.smt2 (content) fatal ok 0.172s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_ABVFP/20170501-Heizmann-UltimateAutomizer/filter2_iterated_true-unreach-call.c.smt2 (content) fatal ok 0.323s
dolmen-strict /home/guillaume/bench/smtlib-incremental/QF_ABVFP/20170501-Heizmann-UltimateAutomizer/filter2_alt_true-unreach-call.c.smt2 (content) fatal ok 0.236s
dolmen-strict /home/guillaume/bench/smtlib-incremental/BVFP/20170501-Heizmann-UltimateAutomizer/zonotope_tight_true-unreach-call.c.smt2 (content) fatal ok 0.399s
dolmen-strict /home/guillaume/bench/smtlib-incremental/BVFP/20170501-Heizmann-UltimateAutomizer/zonotope_loose_true-unreach-call.c.smt2 (content) fatal ok 0.388s
dolmen-strict /home/guillaume/bench/smtlib-incremental/BVFP/20170501-Heizmann-UltimateAutomizer/rlim_invariant_true-unreach-call.c.smt2 (content) fatal ok 0.405s
dolmen-strict /home/guillaume/bench/smtlib-incremental/BVFP/20170501-Heizmann-UltimateAutomizer/inv_square_true-unreach-call.c.smt2 (content) fatal ok 0.410s
dolmen-strict /home/guillaume/bench/smtlib-incremental/BVFP/20170501-Heizmann-UltimateAutomizer/inv_square_int_true-unreach-call.c.smt2 (content) fatal ok 0.391s
dolmen-strict /home/guillaume/bench/smtlib-incremental/BVFP/20170501-Heizmann-UltimateAutomizer/float21_true-unreach-call.i.smt2 (content) fatal ok 0.400s
dolmen-strict /home/guillaume/bench/smtlib-incremental/BVFP/20170501-Heizmann-UltimateAutomizer/float20_true-unreach-call.i.smt2 (content) fatal ok 0.404s
dolmen-strict /home/guillaume/bench/smtlib-incremental/BVFP/20170501-Heizmann-UltimateAutomizer/float-div1_true-unreach-call.i.smt2 (content) fatal ok 0.390s
dolmen-strict /home/guillaume/bench/smtlib-incremental/BVFP/20170501-Heizmann-UltimateAutomizer/filter1_true-unreach-call.c.smt2 (content) fatal ok 0.397s
dolmen-strict /home/guillaume/bench/smtlib-incremental/ABVFP/20170501-Heizmann-UltimateAutomizer/inv_Newton_true-unreach-call.c.smt2 (content) fatal ok 0.166s
dolmen-strict /home/guillaume/bench/smtlib-incremental/ABVFP/20170501-Heizmann-UltimateAutomizer/image_filter_true-unreach-call.c.smt2 (content) fatal ok 0.237s
dolmen-strict /home/guillaume/bench/smtlib-incremental/ABVFP/20170501-Heizmann-UltimateAutomizer/filter_iir_true-unreach-call.c.smt2 (content) fatal ok 0.238s