root
file
detailed [200..224]
prev
next
detailed results (363750 total)
filter
improved
ok
disappoint
bad
error
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