detailed results (363750 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib-incremental/LIA/UltimateBuchiAutomizer/AliasDarteFeautrierGonnord-SAS2010-Fig1_true-termination.c.smt2 (content) ok ok 0.320s
dolmen-strict /home/guillaume/bench/smtlib-incremental/LIA/UltimateBuchiAutomizer/Ackermann01_true-termination.c.smt2 (content) ok ok 0.587s
dolmen-strict /home/guillaume/bench/smtlib-incremental/BVFP/20170501-Heizmann-UltimateAutomizer/zonotope_tight_true-unreach-call.c.smt2 (content) fatal ok 0.399s
dolmen-strict /home/guillaume/bench/smtlib-incremental/BVFP/20170501-Heizmann-UltimateAutomizer/zonotope_loose_true-unreach-call.c.smt2 (content) fatal ok 0.388s
dolmen-strict /home/guillaume/bench/smtlib-incremental/BVFP/20170501-Heizmann-UltimateAutomizer/rlim_invariant_true-unreach-call.c.smt2 (content) fatal ok 0.405s
dolmen-strict /home/guillaume/bench/smtlib-incremental/BVFP/20170501-Heizmann-UltimateAutomizer/inv_square_true-unreach-call.c.smt2 (content) fatal ok 0.410s
dolmen-strict /home/guillaume/bench/smtlib-incremental/BVFP/20170501-Heizmann-UltimateAutomizer/inv_square_int_true-unreach-call.c.smt2 (content) fatal ok 0.391s
dolmen-strict /home/guillaume/bench/smtlib-incremental/BVFP/20170501-Heizmann-UltimateAutomizer/float21_true-unreach-call.i.smt2 (content) fatal ok 0.400s
dolmen-strict /home/guillaume/bench/smtlib-incremental/BVFP/20170501-Heizmann-UltimateAutomizer/float20_true-unreach-call.i.smt2 (content) fatal ok 0.404s
dolmen-strict /home/guillaume/bench/smtlib-incremental/BVFP/20170501-Heizmann-UltimateAutomizer/float-to-double1_true-unreach-call.i.smt2 (content) ok ok 0.448s
dolmen-strict /home/guillaume/bench/smtlib-incremental/BVFP/20170501-Heizmann-UltimateAutomizer/float-div1_true-unreach-call.i.smt2 (content) fatal ok 0.390s
dolmen-strict /home/guillaume/bench/smtlib-incremental/BVFP/20170501-Heizmann-UltimateAutomizer/filter1_true-unreach-call.c.smt2 (content) fatal ok 0.397s
dolmen-strict /home/guillaume/bench/smtlib-incremental/BV/20170501-Heizmann-UltimateAutomizer/sum02_true-unreach-call_true-no-overflow.i.smt2 (content) ok ok 0.236s
dolmen-strict /home/guillaume/bench/smtlib-incremental/BV/20170501-Heizmann-UltimateAutomizer/sum02_false-unreach-call_true-no-overflow.i.smt2 (content) ok ok 0.330s
dolmen-strict /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.252s
dolmen-strict /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.409s
dolmen-strict /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.421s
dolmen-strict /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-strict /home/guillaume/bench/smtlib-incremental/BV/20170501-Heizmann-UltimateAutomizer/jain_7_true-unreach-call_true-no-overflow.i.smt2 (content) ok ok 0.247s
dolmen-strict /home/guillaume/bench/smtlib-incremental/BV/20170501-Heizmann-UltimateAutomizer/jain_6_true-unreach-call_true-no-overflow.i.smt2 (content) ok ok 0.236s
dolmen-strict /home/guillaume/bench/smtlib-incremental/BV/20170501-Heizmann-UltimateAutomizer/jain_4_true-unreach-call_true-no-overflow.i.smt2 (content) ok ok 0.236s
dolmen-strict /home/guillaume/bench/smtlib-incremental/BV/20170501-Heizmann-UltimateAutomizer/jain_2_true-unreach-call_true-no-overflow.i.smt2 (content) ok ok 0.237s
dolmen-strict /home/guillaume/bench/smtlib-incremental/BV/20170501-Heizmann-UltimateAutomizer/jain_1_true-unreach-call_true-no-overflow.i.smt2 (content) ok ok 0.232s
dolmen-strict /home/guillaume/bench/smtlib-incremental/BV/20170501-Heizmann-UltimateAutomizer/gcd_4_true-unreach-call_true-no-overflow.i.smt2 (content) ok ok 0.314s
dolmen-strict /home/guillaume/bench/smtlib-incremental/BV/20170501-Heizmann-UltimateAutomizer/gcd_3_true-unreach-call_true-no-overflow.i.smt2 (content) ok ok 0.236s