detailed results (363750 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/array_why.smt2 (content) warn ok 0.236s
dolmen-strict /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/array_struct_why.smt2 (content) warn ok 0.237s
dolmen-strict /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/array_ptr_why.smt2 (content) warn ok 0.312s
dolmen-strict /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/array_multi_why.smt2 (content) warn ok 0.235s
dolmen-strict /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/array_field_why.smt2 (content) warn ok 0.234s
dolmen-strict /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/array_field_addr_why.smt2 (content) warn ok 0.317s
dolmen-strict /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/array_basic_why.smt2 (content) warn ok 0.314s
dolmen-strict /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/array_and_field_why.smt2 (content) warn ok 0.233s
dolmen-strict /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/array_addr_why.smt2 (content) warn ok 0.312s
dolmen-strict /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/arith_why.smt2 (content) warn ok 0.233s
dolmen-strict /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/annot_assert_why.smt2 (content) warn ok 0.238s
dolmen-strict /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/allocation_why.smt2 (content) warn ok 0.235s
dolmen-strict /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/alloca_why.smt2 (content) warn ok 0.235s
dolmen-strict /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/all_zeros_why.smt2 (content) warn ok 0.239s
dolmen-strict /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/addrof_param_why.smt2 (content) warn ok 0.312s
dolmen-strict /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/addrof_local_why.smt2 (content) warn ok 0.238s
dolmen-strict /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/addrof_global_why.smt2 (content) warn ok 0.243s
dolmen-strict /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/addrof_field_why.smt2 (content) warn ok 0.244s
dolmen-strict /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/address_why.smt2 (content) warn ok 0.239s
dolmen-strict /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/StrCpy_why.smt2 (content) warn ok 0.240s
dolmen-strict /home/guillaume/bench/smtlib-incremental/ANIA/UltimateBuchiAutomizer/openbsd_cstrlcpy-alloca_true-termination.c.i.smt2 (content) warn ok 0.705s
dolmen-strict /home/guillaume/bench/smtlib-incremental/ANIA/UltimateBuchiAutomizer/openbsd_cstpncpy-alloca_true-termination.c.i.smt2 (content) warn ok 1.5s
dolmen-strict /home/guillaume/bench/smtlib-incremental/ANIA/UltimateBuchiAutomizer/aviad_true-alloca_true-termination.c.i.smt2 (content) ok ok 1s
dolmen-strict /home/guillaume/bench/smtlib-incremental/ALIA/UltimateBuchiAutomizer/min_rf-alloca_true-termination.c.i.smt2 (content) warn ok 0.894s
dolmen-strict /home/guillaume/bench/smtlib-incremental/ALIA/UltimateBuchiAutomizer/lis-alloca_true-termination.c.i.smt2 (content) ok ok 0.932s