detailed results (363750 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib-incremental/LIA/UltimateBuchiAutomizer/AliasDarteFeautrierGonnord-SAS2010-Fig1_true-termination.c.smt2 (content) ok ok 0.231s
dolmen /home/guillaume/bench/smtlib-incremental/LIA/UltimateBuchiAutomizer/Ackermann01_true-termination.c.smt2 (content) ok ok 0.473s
dolmen /home/guillaume/bench/smtlib-incremental/BVFP/20170501-Heizmann-UltimateAutomizer/zonotope_tight_true-unreach-call.c.smt2 (content) warn ok 0.321s
dolmen /home/guillaume/bench/smtlib-incremental/BVFP/20170501-Heizmann-UltimateAutomizer/zonotope_loose_true-unreach-call.c.smt2 (content) warn ok 0.274s
dolmen /home/guillaume/bench/smtlib-incremental/BVFP/20170501-Heizmann-UltimateAutomizer/rlim_invariant_true-unreach-call.c.smt2 (content) warn ok 0.551s
dolmen /home/guillaume/bench/smtlib-incremental/BVFP/20170501-Heizmann-UltimateAutomizer/inv_square_true-unreach-call.c.smt2 (content) warn ok 0.282s
dolmen /home/guillaume/bench/smtlib-incremental/BVFP/20170501-Heizmann-UltimateAutomizer/inv_square_int_true-unreach-call.c.smt2 (content) warn ok 0.292s
dolmen /home/guillaume/bench/smtlib-incremental/BVFP/20170501-Heizmann-UltimateAutomizer/float21_true-unreach-call.i.smt2 (content) warn ok 0.941s
dolmen /home/guillaume/bench/smtlib-incremental/BVFP/20170501-Heizmann-UltimateAutomizer/float20_true-unreach-call.i.smt2 (content) warn ok 0.274s
dolmen /home/guillaume/bench/smtlib-incremental/BVFP/20170501-Heizmann-UltimateAutomizer/float-to-double1_true-unreach-call.i.smt2 (content) ok ok 0.309s
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/BV/20170501-Heizmann-UltimateAutomizer/sum02_true-unreach-call_true-no-overflow.i.smt2 (content) ok ok 0.178s
dolmen /home/guillaume/bench/smtlib-incremental/BV/20170501-Heizmann-UltimateAutomizer/sum02_false-unreach-call_true-no-overflow.i.smt2 (content) ok ok 0.177s
dolmen /home/guillaume/bench/smtlib-incremental/BV/20170501-Heizmann-UltimateAutomizer/soft_float_4_true-unreach-call_true-no-overflow.c.cil.c.smt2 (content) ok ok 0.202s
dolmen /home/guillaume/bench/smtlib-incremental/BV/20170501-Heizmann-UltimateAutomizer/s3_clnt_3_false-unreach-call_true-no-overflow.BV.c.cil.c.smt2 (content) ok ok 0.236s
dolmen /home/guillaume/bench/smtlib-incremental/BV/20170501-Heizmann-UltimateAutomizer/s3_clnt_1_true-unreach-call_true-no-overflow.BV.c.cil.c.smt2 (content) ok ok 0.199s
dolmen /home/guillaume/bench/smtlib-incremental/BV/20170501-Heizmann-UltimateAutomizer/num_conversion_2_true-unreach-call_true-no-overflow.i.smt2 (content) ok ok 1.2s
dolmen /home/guillaume/bench/smtlib-incremental/BV/20170501-Heizmann-UltimateAutomizer/jain_7_true-unreach-call_true-no-overflow.i.smt2 (content) ok ok 0.141s
dolmen /home/guillaume/bench/smtlib-incremental/BV/20170501-Heizmann-UltimateAutomizer/jain_6_true-unreach-call_true-no-overflow.i.smt2 (content) ok ok 0.186s
dolmen /home/guillaume/bench/smtlib-incremental/BV/20170501-Heizmann-UltimateAutomizer/jain_4_true-unreach-call_true-no-overflow.i.smt2 (content) ok ok 0.134s
dolmen /home/guillaume/bench/smtlib-incremental/BV/20170501-Heizmann-UltimateAutomizer/jain_2_true-unreach-call_true-no-overflow.i.smt2 (content) ok ok 0.137s
dolmen /home/guillaume/bench/smtlib-incremental/BV/20170501-Heizmann-UltimateAutomizer/jain_1_true-unreach-call_true-no-overflow.i.smt2 (content) ok ok 0.143s
dolmen /home/guillaume/bench/smtlib-incremental/BV/20170501-Heizmann-UltimateAutomizer/gcd_4_true-unreach-call_true-no-overflow.i.smt2 (content) ok ok 0.212s
dolmen /home/guillaume/bench/smtlib-incremental/BV/20170501-Heizmann-UltimateAutomizer/gcd_3_true-unreach-call_true-no-overflow.i.smt2 (content) ok ok 0.177s