detailed results (33316 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/fp-epsline_why.smt2 (content) warn ok 0.132s
dolmen /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/footprint_why.smt2 (content) warn ok 0.134s
dolmen /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/false_why.smt2 (content) warn ok 0.133s
dolmen /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/eps_line_why.smt2 (content) warn ok 0.131s
dolmen /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/enum_why.smt2 (content) warn ok 0.136s
dolmen /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/duprat3_why.smt2 (content) warn ok 0.128s
dolmen /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/duprat2_why.smt2 (content) warn ok 0.139s
dolmen /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/duprat1_why.smt2 (content) warn ok 0.145s
dolmen /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/dowhile_why.smt2 (content) warn ok 0.142s
dolmen /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/division_why.smt2 (content) warn ok 0.130s
dolmen /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/discr_union_why.smt2 (content) warn ok 0.135s
dolmen /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/dillon9_why.smt2 (content) warn ok 0.140s
dolmen /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/dillon7_why.smt2 (content) warn ok 0.139s
dolmen /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/dillon6_why.smt2 (content) warn ok 0.187s
dolmen /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/dillon5_why.smt2 (content) warn ok 0.140s
dolmen /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/dillon4_why.smt2 (content) warn ok 0.138s
dolmen /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/dillon3_why.smt2 (content) warn ok 0.142s
dolmen /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/dillon1_why.smt2 (content) warn ok 0.144s
dolmen /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/dassault_1_why.smt2 (content) warn ok 0.138s
dolmen /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/count_bits_why.smt2 (content) warn ok 0.137s
dolmen /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/copy_struct_why.smt2 (content) warn ok 0.188s
dolmen /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/coord_why.smt2 (content) warn ok 0.125s
dolmen /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/continue_why.smt2 (content) warn ok 0.142s
dolmen /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/compound_local_why.smt2 (content) warn ok 0.221s
dolmen /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/compound_global_why.smt2 (content) warn ok 0.181s