detailed results (363750 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib-incremental/BV/20170501-Heizmann-UltimateAutomizer/gcd_2_true-unreach-call_true-no-overflow.i.smt2 (content) ok ok 0.139s
dolmen /home/guillaume/bench/smtlib-incremental/BV/20170501-Heizmann-UltimateAutomizer/gcd02_true-unreach-call_true-no-overflow_true-termination.c.smt2 (content) ok ok 0.231s
dolmen /home/guillaume/bench/smtlib-incremental/BV/20170501-Heizmann-UltimateAutomizer/byte_add_2_true-unreach-call_true-no-overflow.i.smt2 (content) ok ok 0.446s
dolmen /home/guillaume/bench/smtlib-incremental/BV/20170501-Heizmann-UltimateAutomizer/byte_add_1_true-unreach-call_true-no-overflow.i.smt2 (content) ok ok 0.468s
dolmen /home/guillaume/bench/smtlib-incremental/BV/20170501-Heizmann-UltimateAutomizer/MultCommutative_true-unreach-call_true-no-overflow_true-termination.c.smt2 (content) ok ok 0.239s
dolmen /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/zones_why.smt2 (content) warn ok 0.196s
dolmen /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/zones2_why.smt2 (content) warn ok 0.126s
dolmen /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/weber9_why.smt2 (content) warn ok 0.160s
dolmen /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/weber8_why.smt2 (content) warn ok 0.188s
dolmen /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/weber6_why.smt2 (content) warn ok 0.135s
dolmen /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/weber5_why.smt2 (content) warn ok 0.144s
dolmen /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/weber4_why.smt2 (content) warn ok 0.137s
dolmen /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/weber3_why.smt2 (content) warn ok 0.183s
dolmen /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/weber2_why.smt2 (content) warn ok 0.134s
dolmen /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/weber1_why.smt2 (content) warn ok 0.146s
dolmen /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/vieira2_why.smt2 (content) warn ok 0.138s
dolmen /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/vieira1_why.smt2 (content) warn ok 0.133s
dolmen /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/varname_why.smt2 (content) warn ok 0.176s
dolmen /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/vamos_why.smt2 (content) warn ok 0.129s
dolmen /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/unsigned_why.smt2 (content) warn ok 0.133s
dolmen /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/unsafe_why.smt2 (content) warn ok 0.103s
dolmen /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/union_why.smt2 (content) warn ok 0.185s
dolmen /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/union_simple_why.smt2 (content) warn ok 0.143s
dolmen /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/trace_why.smt2 (content) warn ok 0.137s
dolmen /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/test_floats_why.smt2 (content) warn ok 0.136s