root
file
detailed [7475..7499]
prev
next
detailed results (363750 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFBV/2018-Goel-hwbench/QF_UFBV_bv_bv_h_FIFO_ab_core_max.smt2
(content)
ok
ok
0.129s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFBV/2018-Goel-hwbench/QF_UFBV_bv_bv_h_FIFO_ab_br_max.smt2
(content)
ok
ok
0.135s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFBV/2018-Goel-hwbench/QF_UFBV_bv_bv_h_CRC_ab_min_max.smt2
(content)
ok
ok
0.095s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFBV/2018-Goel-hwbench/QF_UFBV_bv_bv_h_CRC_ab_fp_max.smt2
(content)
ok
ok
0.138s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFBV/2018-Goel-hwbench/QF_UFBV_bv_bv_h_CRC_ab_core_max.smt2
(content)
ok
ok
0.152s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFBV/2018-Goel-hwbench/QF_UFBV_bv_bv_h_CRC_ab_br_max.smt2
(content)
ok
ok
0.131s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFBV/2018-Goel-hwbench/QF_UFBV_bv_bv_h_BufAl_ab_min_max.smt2
(content)
ok
ok
0.147s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFBV/2018-Goel-hwbench/QF_UFBV_bv_bv_h_BufAl_ab_fp_max.smt2
(content)
ok
ok
0.189s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFBV/2018-Goel-hwbench/QF_UFBV_bv_bv_h_BufAl_ab_core_max.smt2
(content)
ok
ok
0.182s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFBV/2018-Goel-hwbench/QF_UFBV_bv_bv_h_BufAl_ab_br_to.smt2
(content)
ok
ok
0.176s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFBV/2018-Goel-hwbench/QF_UFBV_bv_bv_h_BufAl_ab_br_max.smt2
(content)
ok
ok
0.160s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFBV/2018-Goel-hwbench/QF_UFBV_bv_bv_h_Arbiter_ab_min_max.smt2
(content)
ok
ok
0.097s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFBV/2018-Goel-hwbench/QF_UFBV_bv_bv_h_Arbiter_ab_core_max.smt2
(content)
ok
ok
0.093s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFBV/2018-Goel-hwbench/QF_UFBV_bv_bv_gear.2.prop2_ab_min_max.smt2
(content)
ok
ok
0.194s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFBV/2018-Goel-hwbench/QF_UFBV_bv_bv_gear.2.prop2_ab_fp_max.smt2
(content)
ok
ok
0.191s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFBV/2018-Goel-hwbench/QF_UFBV_bv_bv_gear.2.prop2_ab_core_max.smt2
(content)
ok
ok
0.238s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFBV/2018-Goel-hwbench/QF_UFBV_bv_bv_gear.2.prop2_ab_br_to.smt2
(content)
ok
ok
0.235s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFBV/2018-Goel-hwbench/QF_UFBV_bv_bv_gear.2.prop2_ab_br_max.smt2
(content)
ok
ok
0.191s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFBV/2018-Goel-hwbench/QF_UFBV_bv_bv_gear.2.prop1_ab_min_max.smt2
(content)
ok
ok
0.150s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFBV/2018-Goel-hwbench/QF_UFBV_bv_bv_gear.2.prop1_ab_fp_max.smt2
(content)
ok
ok
0.165s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFBV/2018-Goel-hwbench/QF_UFBV_bv_bv_gear.2.prop1_ab_core_max.smt2
(content)
ok
ok
0.191s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFBV/2018-Goel-hwbench/QF_UFBV_bv_bv_gear.2.prop1_ab_br_to.smt2
(content)
ok
ok
0.180s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFBV/2018-Goel-hwbench/QF_UFBV_bv_bv_gear.2.prop1_ab_br_max.smt2
(content)
ok
ok
0.190s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFBV/2018-Goel-hwbench/QF_UFBV_bv_bv_gear.1.prop4_ab_min_max.smt2
(content)
ok
ok
0.181s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFBV/2018-Goel-hwbench/QF_UFBV_bv_bv_gear.1.prop4_ab_fp_max.smt2
(content)
ok
ok
0.183s