detailed results (33316 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib-incremental/BVFP/20170501-Heizmann-UltimateAutomizer/float-div1_true-unreach-call.i.smt2 (content) warn ok 0.470s
dolmen /home/guillaume/bench/smtlib-incremental/BVFP/20170501-Heizmann-UltimateAutomizer/filter1_true-unreach-call.c.smt2 (content) warn ok 0.421s
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
dolmen /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/test9_floats_why.smt2 (content) warn ok 0.133s
dolmen /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/test8_floats_why.smt2 (content) warn ok 0.197s
dolmen /home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/test7_floats_why.smt2 (content) warn ok 0.154s