detailed results (33316 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/mean_why.smt2 (content) warn ok 0.140s
dolmen /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/malloc_why.smt2 (content) warn ok 0.179s
dolmen /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/loop_inv_why.smt2 (content) warn ok 0.142s
dolmen /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/loop_eq_why.smt2 (content) warn ok 0.186s
dolmen /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/labels_why.smt2 (content) warn ok 0.135s
dolmen /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/invariants_why.smt2 (content) warn ok 0.141s
dolmen /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/invariant_why.smt2 (content) warn ok 0.176s
dolmen /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/inv_perm_minimal_why.smt2 (content) warn ok 0.181s
dolmen /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/interval_arith_why.smt2 (content) warn ok 0.186s
dolmen /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/interval_arith_struct_why.smt2 (content) warn ok 0.238s
dolmen /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/inconsistent_why.smt2 (content) warn ok 0.189s
dolmen /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/heap_why.smt2 (content) warn ok 0.186s
dolmen /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/hd_snoob_why.smt2 (content) warn ok 0.334s
dolmen /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/goto_why.smt2 (content) warn ok 0.133s
dolmen /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/ghost_label_why.smt2 (content) warn ok 0.157s
dolmen /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/geanta3_why.smt2 (content) warn ok 0.137s
dolmen /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/geanta2_why.smt2 (content) warn ok 0.142s
dolmen /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/geanta1_why.smt2 (content) warn ok 0.126s
dolmen /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/fs384_why.smt2 (content) warn ok 0.134s
dolmen /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/fs350_why.smt2 (content) warn ok 0.183s
dolmen /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/fs256_why.smt2 (content) warn ok 0.181s
dolmen /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/fs253_why.smt2 (content) warn ok 0.186s
dolmen /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/fs249_why.smt2 (content) warn ok 0.141s
dolmen /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/fp-test2_why.smt2 (content) warn ok 0.133s
dolmen /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/fp-intel_why.smt2 (content) warn ok 0.190s