detailed results (33316 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/check-fma_why.smt2 (content) warn ok 0.136s
dolmen /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/cast_call_why.smt2 (content) warn ok 0.186s
dolmen /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/bug184_why.smt2 (content) warn ok 0.146s
dolmen /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/bts6468_why.smt2 (content) warn ok 0.136s
dolmen /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/bts0160_why.smt2 (content) warn ok 0.140s
dolmen /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/bts0094_why.smt2 (content) warn ok 0.135s
dolmen /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/bts0041_why.smt2 (content) warn ok 0.136s
dolmen /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/bts0041-bis_why.smt2 (content) warn ok 0.143s
dolmen /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/bts0040_why.smt2 (content) warn ok 0.174s
dolmen /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/bsearch_why.smt2 (content) warn ok 0.139s
dolmen /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/bresenham_why.smt2 (content) warn ok 0.184s
dolmen /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/break_why.smt2 (content) warn ok 0.143s
dolmen /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/boolean_why.smt2 (content) warn ok 0.141s
dolmen /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/bitvector_why.smt2 (content) warn ok 0.138s
dolmen /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/binary_search_overflows_why.smt2 (content) warn ok 0.140s
dolmen /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/behavior_why.smt2 (content) warn ok 0.184s
dolmen /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/basic_why.smt2 (content) warn ok 0.129s
dolmen /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/band_why.smt2 (content) warn ok 0.126s
dolmen /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/assume_why.smt2 (content) warn ok 0.135s
dolmen /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/assigns_range_why.smt2 (content) warn ok 0.123s
dolmen /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/assert_why.smt2 (content) warn ok 0.170s
dolmen /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/asm_memset2_why.smt2 (content) warn ok 0.149s
dolmen /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/array_why.smt2 (content) warn ok 0.141s
dolmen /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/array_struct_why.smt2 (content) warn ok 0.131s
dolmen /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/array_ptr_why.smt2 (content) warn ok 0.180s