detailed results (33316 total)

proverfileresexpectedtime
dolmen/home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/array_multi_why.smt2(content)warnok0.182s
dolmen/home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/array_field_why.smt2(content)warnok0.141s
dolmen/home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/array_field_addr_why.smt2(content)warnok0.128s
dolmen/home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/array_basic_why.smt2(content)warnok0.190s
dolmen/home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/array_and_field_why.smt2(content)warnok0.131s
dolmen/home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/array_addr_why.smt2(content)warnok0.135s
dolmen/home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/arith_why.smt2(content)warnok0.126s
dolmen/home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/annot_assert_why.smt2(content)warnok0.102s
dolmen/home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/allocation_why.smt2(content)warnok0.186s
dolmen/home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/alloca_why.smt2(content)warnok0.134s
dolmen/home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/all_zeros_why.smt2(content)warnok0.137s
dolmen/home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/addrof_param_why.smt2(content)warnok0.138s
dolmen/home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/addrof_local_why.smt2(content)warnok0.177s
dolmen/home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/addrof_global_why.smt2(content)warnok0.185s
dolmen/home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/addrof_field_why.smt2(content)warnok0.137s
dolmen/home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/address_why.smt2(content)warnok0.127s
dolmen/home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/StrCpy_why.smt2(content)warnok0.132s
dolmen/home/guillaume/bench/smtlib-incremental/ANIA/UltimateBuchiAutomizer/openbsd_cstrlcpy-alloca_true-termination.c.i.smt2(content)warnok0.566s
dolmen/home/guillaume/bench/smtlib-incremental/ANIA/UltimateBuchiAutomizer/openbsd_cstpncpy-alloca_true-termination.c.i.smt2(content)warnok1.5s
dolmen/home/guillaume/bench/smtlib-incremental/ALIA/UltimateBuchiAutomizer/min_rf-alloca_true-termination.c.i.smt2(content)warnok0.883s
dolmen/home/guillaume/bench/smtlib-incremental/ALIA/UltimateBuchiAutomizer/BradleyMannaSipma-2005CAV-Fig1-alloca_unknown-termination.c.i.smt2(content)warnok1s
dolmen/home/guillaume/bench/smtlib-incremental/ALIA/UltimateBuchiAutomizer/Ben-Amram-2010LMCS-Ex2.3-alloca_true-termination.c.i.smt2(content)warnok0.886s
dolmen/home/guillaume/bench/smtlib-incremental/ABVFP/20170501-Heizmann-UltimateAutomizer/inv_Newton_true-unreach-call.c.smt2(content)warnok0.144s
dolmen/home/guillaume/bench/smtlib-incremental/ABVFP/20170501-Heizmann-UltimateAutomizer/image_filter_true-unreach-call.c.smt2(content)warnok0.197s
dolmen/home/guillaume/bench/smtlib-incremental/ABVFP/20170501-Heizmann-UltimateAutomizer/filter_iir_true-unreach-call.c.smt2(content)warnok0.144s