detailed results (8452 total)

proverfileresexpectedtime
dolmen-strict/home/guillaume/bench/smtlib-incremental/QF_AUFLIA/ultimateAutomizer/s3_srvr.blast.01_false-unreach-call.i.cil.c.smt2(content)fatalok0.238s
dolmen-strict/home/guillaume/bench/smtlib-incremental/QF_AUFLIA/ultimateAutomizer/s3_clnt.blast.03_true-unreach-call.i.cil.c.smt2(content)fatalok0.166s
dolmen-strict/home/guillaume/bench/smtlib-incremental/QF_AUFLIA/ultimateAutomizer/s3_clnt.blast.02_true-unreach-call.i.cil.c.smt2(content)fatalok0.312s
dolmen-strict/home/guillaume/bench/smtlib-incremental/QF_ALIA/UltimateBuchiAutomizer/insertionsort-alloca_true-termination.c.i.smt2(content)fatalok0.232s
dolmen-strict/home/guillaume/bench/smtlib-incremental/QF_ALIA/UltimateBuchiAutomizer/cstrncpy-alloca_true-termination.c.i.smt2(content)fatalok0.165s
dolmen-strict/home/guillaume/bench/smtlib-incremental/QF_ALIA/UltimateBuchiAutomizer/LexIndexValue-Pointer_true-termination.c.smt2(content)fatalok0.314s
dolmen-strict/home/guillaume/bench/smtlib-incremental/QF_ABVFP/20170501-Heizmann-UltimateAutomizer/sin_interpolated_smallrange_true-unreach-call.c.smt2(content)fatalok0.235s
dolmen-strict/home/guillaume/bench/smtlib-incremental/QF_ABVFP/20170501-Heizmann-UltimateAutomizer/sin_interpolated_negation_true-unreach-call.c.smt2(content)fatalok0.241s
dolmen-strict/home/guillaume/bench/smtlib-incremental/QF_ABVFP/20170501-Heizmann-UltimateAutomizer/sin_interpolated_index_true-unreach-call.c.smt2(content)fatalok0.238s
dolmen-strict/home/guillaume/bench/smtlib-incremental/QF_ABVFP/20170501-Heizmann-UltimateAutomizer/sin_interpolated_index_false-unreach-call.c.smt2(content)fatalok0.310s
dolmen-strict/home/guillaume/bench/smtlib-incremental/QF_ABVFP/20170501-Heizmann-UltimateAutomizer/sin_interpolated_bigrange_tight_true-unreach-call.c.smt2(content)fatalok0.172s
dolmen-strict/home/guillaume/bench/smtlib-incremental/QF_ABVFP/20170501-Heizmann-UltimateAutomizer/filter2_iterated_true-unreach-call.c.smt2(content)fatalok0.323s
dolmen-strict/home/guillaume/bench/smtlib-incremental/QF_ABVFP/20170501-Heizmann-UltimateAutomizer/filter2_alt_true-unreach-call.c.smt2(content)fatalok0.236s
dolmen-strict/home/guillaume/bench/smtlib-incremental/BVFP/20170501-Heizmann-UltimateAutomizer/zonotope_tight_true-unreach-call.c.smt2(content)fatalok0.399s
dolmen-strict/home/guillaume/bench/smtlib-incremental/BVFP/20170501-Heizmann-UltimateAutomizer/zonotope_loose_true-unreach-call.c.smt2(content)fatalok0.388s
dolmen-strict/home/guillaume/bench/smtlib-incremental/BVFP/20170501-Heizmann-UltimateAutomizer/rlim_invariant_true-unreach-call.c.smt2(content)fatalok0.405s
dolmen-strict/home/guillaume/bench/smtlib-incremental/BVFP/20170501-Heizmann-UltimateAutomizer/inv_square_true-unreach-call.c.smt2(content)fatalok0.410s
dolmen-strict/home/guillaume/bench/smtlib-incremental/BVFP/20170501-Heizmann-UltimateAutomizer/inv_square_int_true-unreach-call.c.smt2(content)fatalok0.391s
dolmen-strict/home/guillaume/bench/smtlib-incremental/BVFP/20170501-Heizmann-UltimateAutomizer/float21_true-unreach-call.i.smt2(content)fatalok0.400s
dolmen-strict/home/guillaume/bench/smtlib-incremental/BVFP/20170501-Heizmann-UltimateAutomizer/float20_true-unreach-call.i.smt2(content)fatalok0.404s
dolmen-strict/home/guillaume/bench/smtlib-incremental/BVFP/20170501-Heizmann-UltimateAutomizer/float-div1_true-unreach-call.i.smt2(content)fatalok0.390s
dolmen-strict/home/guillaume/bench/smtlib-incremental/BVFP/20170501-Heizmann-UltimateAutomizer/filter1_true-unreach-call.c.smt2(content)fatalok0.397s
dolmen-strict/home/guillaume/bench/smtlib-incremental/ABVFP/20170501-Heizmann-UltimateAutomizer/inv_Newton_true-unreach-call.c.smt2(content)fatalok0.166s
dolmen-strict/home/guillaume/bench/smtlib-incremental/ABVFP/20170501-Heizmann-UltimateAutomizer/image_filter_true-unreach-call.c.smt2(content)fatalok0.237s
dolmen-strict/home/guillaume/bench/smtlib-incremental/ABVFP/20170501-Heizmann-UltimateAutomizer/filter_iir_true-unreach-call.c.smt2(content)fatalok0.238s