detailed results (363750 total)

proverfileresexpectedtime
dolmen-strict/home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/continue_why.smt2(content)warnok0.396s
dolmen-strict/home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/compound_local_why.smt2(content)warnok0.314s
dolmen-strict/home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/compound_global_why.smt2(content)warnok0.235s
dolmen-strict/home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/check-fma_why.smt2(content)warnok0.239s
dolmen-strict/home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/cast_call_why.smt2(content)warnok0.230s
dolmen-strict/home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/bug184_why.smt2(content)warnok0.239s
dolmen-strict/home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/bts6468_why.smt2(content)warnok0.236s
dolmen-strict/home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/bts0160_why.smt2(content)warnok0.235s
dolmen-strict/home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/bts0094_why.smt2(content)warnok0.316s
dolmen-strict/home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/bts0041_why.smt2(content)warnok0.236s
dolmen-strict/home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/bts0041-bis_why.smt2(content)warnok0.235s
dolmen-strict/home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/bts0040_why.smt2(content)warnok0.233s
dolmen-strict/home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/bsearch_why.smt2(content)warnok0.241s
dolmen-strict/home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/bresenham_why.smt2(content)warnok0.243s
dolmen-strict/home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/break_why.smt2(content)warnok0.237s
dolmen-strict/home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/boolean_why.smt2(content)warnok0.305s
dolmen-strict/home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/bitvector_why.smt2(content)warnok0.231s
dolmen-strict/home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/binary_search_overflows_why.smt2(content)warnok0.234s
dolmen-strict/home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/behavior_why.smt2(content)warnok0.239s
dolmen-strict/home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/basic_why.smt2(content)warnok0.235s
dolmen-strict/home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/band_why.smt2(content)warnok0.236s
dolmen-strict/home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/assume_why.smt2(content)warnok0.239s
dolmen-strict/home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/assigns_range_why.smt2(content)warnok0.314s
dolmen-strict/home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/assert_why.smt2(content)warnok0.239s
dolmen-strict/home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/asm_memset2_why.smt2(content)warnok0.228s