detailed results (25195 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/coord_why.smt2 (content) warn ok 0.312s
dolmen-strict /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/continue_why.smt2 (content) warn ok 0.396s
dolmen-strict /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/compound_local_why.smt2 (content) warn ok 0.314s
dolmen-strict /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/compound_global_why.smt2 (content) warn ok 0.235s
dolmen-strict /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/check-fma_why.smt2 (content) warn ok 0.239s
dolmen-strict /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/cast_call_why.smt2 (content) warn ok 0.230s
dolmen-strict /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/bug184_why.smt2 (content) warn ok 0.239s
dolmen-strict /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/bts6468_why.smt2 (content) warn ok 0.236s
dolmen-strict /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/bts0160_why.smt2 (content) warn ok 0.235s
dolmen-strict /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/bts0094_why.smt2 (content) warn ok 0.316s
dolmen-strict /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/bts0041_why.smt2 (content) warn ok 0.236s
dolmen-strict /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/bts0041-bis_why.smt2 (content) warn ok 0.235s
dolmen-strict /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/bts0040_why.smt2 (content) warn ok 0.233s
dolmen-strict /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/bsearch_why.smt2 (content) warn ok 0.241s
dolmen-strict /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/bresenham_why.smt2 (content) warn ok 0.243s
dolmen-strict /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/break_why.smt2 (content) warn ok 0.237s
dolmen-strict /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/boolean_why.smt2 (content) warn ok 0.305s
dolmen-strict /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/bitvector_why.smt2 (content) warn ok 0.231s
dolmen-strict /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/binary_search_overflows_why.smt2 (content) warn ok 0.234s
dolmen-strict /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/behavior_why.smt2 (content) warn ok 0.239s
dolmen-strict /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/basic_why.smt2 (content) warn ok 0.235s
dolmen-strict /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/band_why.smt2 (content) warn ok 0.236s
dolmen-strict /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/assume_why.smt2 (content) warn ok 0.239s
dolmen-strict /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/assigns_range_why.smt2 (content) warn ok 0.314s
dolmen-strict /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/assert_why.smt2 (content) warn ok 0.239s