root
file
detailed [175..199]
prev
next
detailed results (363750 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
dolmen-strict
/home/guillaume/bench/smtlib-incremental/BV/20170501-Heizmann-UltimateAutomizer/gcd_2_true-unreach-call_true-no-overflow.i.smt2
(content)
ok
ok
0.328s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/BV/20170501-Heizmann-UltimateAutomizer/gcd02_true-unreach-call_true-no-overflow_true-termination.c.smt2
(content)
ok
ok
0.320s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/BV/20170501-Heizmann-UltimateAutomizer/byte_add_2_true-unreach-call_true-no-overflow.i.smt2
(content)
ok
ok
0.491s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/BV/20170501-Heizmann-UltimateAutomizer/byte_add_1_true-unreach-call_true-no-overflow.i.smt2
(content)
ok
ok
0.560s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/BV/20170501-Heizmann-UltimateAutomizer/MultCommutative_true-unreach-call_true-no-overflow_true-termination.c.smt2
(content)
ok
ok
0.406s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/zones_why.smt2
(content)
warn
ok
0.240s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/zones2_why.smt2
(content)
warn
ok
0.237s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/weber9_why.smt2
(content)
warn
ok
0.315s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/weber8_why.smt2
(content)
warn
ok
0.316s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/weber6_why.smt2
(content)
warn
ok
0.240s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/weber5_why.smt2
(content)
warn
ok
0.309s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/weber4_why.smt2
(content)
warn
ok
0.235s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/weber3_why.smt2
(content)
warn
ok
0.315s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/weber2_why.smt2
(content)
warn
ok
0.320s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/weber1_why.smt2
(content)
warn
ok
0.315s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/vieira2_why.smt2
(content)
warn
ok
0.323s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/vieira1_why.smt2
(content)
warn
ok
0.243s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/varname_why.smt2
(content)
warn
ok
0.316s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/vamos_why.smt2
(content)
warn
ok
0.235s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/unsigned_why.smt2
(content)
warn
ok
0.236s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/unsafe_why.smt2
(content)
warn
ok
0.311s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/union_why.smt2
(content)
warn
ok
0.317s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/union_simple_why.smt2
(content)
warn
ok
0.237s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/trace_why.smt2
(content)
warn
ok
0.232s
dolmen-strict
/home/guillaume/bench/smtlib-incremental/AUFNIRA/aviation/test_floats_why.smt2
(content)
warn
ok
0.230s