detailed results (363750 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/fs249_why.smt2 (content) warn ok 0.240s
dolmen-strict /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/fp-test2_why.smt2 (content) warn ok 0.234s
dolmen-strict /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/fp-intel_why.smt2 (content) warn ok 0.243s
dolmen-strict /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/fp-epsline_why.smt2 (content) warn ok 0.236s
dolmen-strict /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/footprint_why.smt2 (content) warn ok 0.315s
dolmen-strict /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/false_why.smt2 (content) warn ok 0.238s
dolmen-strict /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/eps_line_why.smt2 (content) warn ok 0.237s
dolmen-strict /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/enum_why.smt2 (content) warn ok 0.236s
dolmen-strict /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/duprat3_why.smt2 (content) warn ok 0.232s
dolmen-strict /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/duprat2_why.smt2 (content) warn ok 0.235s
dolmen-strict /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/duprat1_why.smt2 (content) warn ok 0.322s
dolmen-strict /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/dowhile_why.smt2 (content) warn ok 0.239s
dolmen-strict /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/division_why.smt2 (content) warn ok 0.234s
dolmen-strict /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/discr_union_why.smt2 (content) warn ok 0.233s
dolmen-strict /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/dillon9_why.smt2 (content) warn ok 0.235s
dolmen-strict /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/dillon7_why.smt2 (content) warn ok 0.312s
dolmen-strict /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/dillon6_why.smt2 (content) warn ok 0.308s
dolmen-strict /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/dillon5_why.smt2 (content) warn ok 0.233s
dolmen-strict /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/dillon4_why.smt2 (content) warn ok 0.240s
dolmen-strict /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/dillon3_why.smt2 (content) warn ok 0.318s
dolmen-strict /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/dillon1_why.smt2 (content) warn ok 0.242s
dolmen-strict /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/dassault_1_why.smt2 (content) warn ok 0.239s
dolmen-strict /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/count_bits_why.smt2 (content) warn ok 0.239s
dolmen-strict /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/copy_struct_why.smt2 (content) warn ok 0.318s
dolmen-strict /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/coord_why.smt2 (content) warn ok 0.312s