detailed results (33316 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/roux3_why.smt2 (content) warn ok 0.186s
dolmen /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/roux2_why.smt2 (content) warn ok 0.142s
dolmen /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/reverse_endian_why.smt2 (content) warn ok 0.130s
dolmen /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/ref_glob_why.smt2 (content) warn ok 0.142s
dolmen /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/recursion_why.smt2 (content) warn ok 0.135s
dolmen /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/r_strcpy_why.smt2 (content) warn ok 0.134s
dolmen /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/queue_why.smt2 (content) warn ok 0.183s
dolmen /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/pointer_why.smt2 (content) warn ok 0.183s
dolmen /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/pointer_union_why.smt2 (content) warn ok 0.146s
dolmen /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/phase1_why.smt2 (content) warn ok 0.129s
dolmen /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/phase12_why.smt2 (content) warn ok 0.135s
dolmen /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/permut_search_why.smt2 (content) warn ok 0.197s
dolmen /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/permut_search2_why.smt2 (content) warn ok 0.144s
dolmen /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/passing_why.smt2 (content) warn ok 0.135s
dolmen /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/param_why.smt2 (content) warn ok 0.138s
dolmen /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/overloading_why.smt2 (content) warn ok 0.142s
dolmen /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/overflow_why.smt2 (content) warn ok 0.141s
dolmen /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/oct_vs_pol_why.smt2 (content) warn ok 0.127s
dolmen /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/null2_why.smt2 (content) warn ok 0.174s
dolmen /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/negate_why.smt2 (content) warn ok 0.182s
dolmen /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/nb_occ_why.smt2 (content) warn ok 0.157s
dolmen /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/multi_behaviors_why.smt2 (content) warn ok 0.135s
dolmen /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/muller_why.smt2 (content) warn ok 0.146s
dolmen /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/minimum_sort_why.smt2 (content) warn ok 0.136s
dolmen /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/min_sort_why.smt2 (content) warn ok 0.127s