detailed results (363750 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/roux_why.smt2 (content) warn ok 0.247s
dolmen-strict /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/roux_labels_why.smt2 (content) warn ok 0.238s
dolmen-strict /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/roux_assert_why.smt2 (content) warn ok 0.239s
dolmen-strict /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/roux3_why.smt2 (content) warn ok 0.236s
dolmen-strict /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/roux2_why.smt2 (content) warn ok 0.312s
dolmen-strict /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/reverse_endian_why.smt2 (content) warn ok 0.227s
dolmen-strict /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/ref_glob_why.smt2 (content) warn ok 0.241s
dolmen-strict /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/recursion_why.smt2 (content) warn ok 0.315s
dolmen-strict /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/r_strcpy_why.smt2 (content) warn ok 0.317s
dolmen-strict /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/queue_why.smt2 (content) warn ok 0.308s
dolmen-strict /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/pointer_why.smt2 (content) warn ok 0.313s
dolmen-strict /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/pointer_union_why.smt2 (content) warn ok 0.311s
dolmen-strict /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/phase1_why.smt2 (content) warn ok 0.233s
dolmen-strict /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/phase12_why.smt2 (content) warn ok 0.236s
dolmen-strict /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/permut_search_why.smt2 (content) warn ok 0.313s
dolmen-strict /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/permut_search2_why.smt2 (content) warn ok 0.318s
dolmen-strict /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/passing_why.smt2 (content) warn ok 0.316s
dolmen-strict /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/param_why.smt2 (content) warn ok 0.231s
dolmen-strict /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/overloading_why.smt2 (content) warn ok 0.236s
dolmen-strict /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/overflow_why.smt2 (content) warn ok 0.235s
dolmen-strict /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/oct_vs_pol_why.smt2 (content) warn ok 0.316s
dolmen-strict /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/null2_why.smt2 (content) warn ok 0.236s
dolmen-strict /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/negate_why.smt2 (content) warn ok 0.236s
dolmen-strict /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/nb_occ_why.smt2 (content) warn ok 0.234s
dolmen-strict /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/multi_behaviors_why.smt2 (content) warn ok 0.236s