detailed results (363750 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib-incremental/BV/20170501-Heizmann-UltimateAutomizer/gcd_2_true-unreach-call_true-no-overflow.i.smt2 (content) ok ok 0.328s
dolmen-strict /home/guillaume/bench/smtlib-incremental/BV/20170501-Heizmann-UltimateAutomizer/gcd02_true-unreach-call_true-no-overflow_true-termination.c.smt2 (content) ok ok 0.320s
dolmen-strict /home/guillaume/bench/smtlib-incremental/BV/20170501-Heizmann-UltimateAutomizer/byte_add_2_true-unreach-call_true-no-overflow.i.smt2 (content) ok ok 0.491s
dolmen-strict /home/guillaume/bench/smtlib-incremental/BV/20170501-Heizmann-UltimateAutomizer/byte_add_1_true-unreach-call_true-no-overflow.i.smt2 (content) ok ok 0.560s
dolmen-strict /home/guillaume/bench/smtlib-incremental/BV/20170501-Heizmann-UltimateAutomizer/MultCommutative_true-unreach-call_true-no-overflow_true-termination.c.smt2 (content) ok ok 0.406s
dolmen-strict /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/zones_why.smt2 (content) warn ok 0.240s
dolmen-strict /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/zones2_why.smt2 (content) warn ok 0.237s
dolmen-strict /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/weber9_why.smt2 (content) warn ok 0.315s
dolmen-strict /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/weber8_why.smt2 (content) warn ok 0.316s
dolmen-strict /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/weber6_why.smt2 (content) warn ok 0.240s
dolmen-strict /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/weber5_why.smt2 (content) warn ok 0.309s
dolmen-strict /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/weber4_why.smt2 (content) warn ok 0.235s
dolmen-strict /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/weber3_why.smt2 (content) warn ok 0.315s
dolmen-strict /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/weber2_why.smt2 (content) warn ok 0.320s
dolmen-strict /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/weber1_why.smt2 (content) warn ok 0.315s
dolmen-strict /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/vieira2_why.smt2 (content) warn ok 0.323s
dolmen-strict /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/vieira1_why.smt2 (content) warn ok 0.243s
dolmen-strict /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/varname_why.smt2 (content) warn ok 0.316s
dolmen-strict /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/vamos_why.smt2 (content) warn ok 0.235s
dolmen-strict /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/unsigned_why.smt2 (content) warn ok 0.236s
dolmen-strict /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/unsafe_why.smt2 (content) warn ok 0.311s
dolmen-strict /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/union_why.smt2 (content) warn ok 0.317s
dolmen-strict /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/union_simple_why.smt2 (content) warn ok 0.237s
dolmen-strict /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/trace_why.smt2 (content) warn ok 0.232s
dolmen-strict /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/test_floats_why.smt2 (content) warn ok 0.230s