detailed results (363750 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/muller_why.smt2 (content) warn ok 0.232s
dolmen-strict /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/minimum_sort_why.smt2 (content) warn ok 0.233s
dolmen-strict /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/min_sort_why.smt2 (content) warn ok 0.240s
dolmen-strict /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/mean_why.smt2 (content) warn ok 0.245s
dolmen-strict /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/malloc_why.smt2 (content) warn ok 0.234s
dolmen-strict /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/loop_inv_why.smt2 (content) warn ok 0.234s
dolmen-strict /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/loop_eq_why.smt2 (content) warn ok 0.240s
dolmen-strict /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/labels_why.smt2 (content) warn ok 0.244s
dolmen-strict /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/invariants_why.smt2 (content) warn ok 0.311s
dolmen-strict /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/invariant_why.smt2 (content) warn ok 0.237s
dolmen-strict /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/inv_perm_minimal_why.smt2 (content) warn ok 0.234s
dolmen-strict /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/interval_arith_why.smt2 (content) warn ok 0.231s
dolmen-strict /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/interval_arith_struct_why.smt2 (content) warn ok 0.394s
dolmen-strict /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/inconsistent_why.smt2 (content) warn ok 0.235s
dolmen-strict /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/heap_why.smt2 (content) warn ok 0.241s
dolmen-strict /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/hd_snoob_why.smt2 (content) warn ok 0.567s
dolmen-strict /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/goto_why.smt2 (content) warn ok 0.314s
dolmen-strict /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/ghost_label_why.smt2 (content) warn ok 0.240s
dolmen-strict /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/geanta3_why.smt2 (content) warn ok 0.238s
dolmen-strict /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/geanta2_why.smt2 (content) warn ok 0.242s
dolmen-strict /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/geanta1_why.smt2 (content) warn ok 0.230s
dolmen-strict /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/fs384_why.smt2 (content) warn ok 0.315s
dolmen-strict /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/fs350_why.smt2 (content) warn ok 0.239s
dolmen-strict /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/fs256_why.smt2 (content) warn ok 0.234s
dolmen-strict /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/fs253_why.smt2 (content) warn ok 0.320s