root
file
detailed [6000..6024]
prev
next
detailed results (330073 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_bv8_bv_h_b05_ab_br_to.smt2
(content)
ok
ok
0.328s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFBV/2018-Goel-hwbench/QF_UFBV_bv8_bv_h_b05_ab_br_max.smt2
(content)
ok
ok
0.288s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFBV/2018-Goel-hwbench/QF_UFBV_bv8_bv_h_b03_ab_reg_max.smt2
(content)
ok
ok
0.185s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFBV/2018-Goel-hwbench/QF_UFBV_bv8_bv_h_b03_ab_br_max.smt2
(content)
ok
ok
0.140s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFBV/2018-Goel-hwbench/QF_UFBV_bv8_bv_h_Vending_ab_min_max.smt2
(content)
ok
ok
0.133s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFBV/2018-Goel-hwbench/QF_UFBV_bv8_bv_h_Vending_ab_fp_max.smt2
(content)
ok
ok
0.134s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFBV/2018-Goel-hwbench/QF_UFBV_bv8_bv_h_Vending_ab_core_max.smt2
(content)
ok
ok
0.136s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFBV/2018-Goel-hwbench/QF_UFBV_bv8_bv_h_Vending_ab_br_max.smt2
(content)
ok
ok
0.141s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFBV/2018-Goel-hwbench/QF_UFBV_bv8_bv_h_TreeArb_ab_min_max.smt2
(content)
ok
ok
0.186s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFBV/2018-Goel-hwbench/QF_UFBV_bv8_bv_h_TreeArb_ab_fp_max.smt2
(content)
ok
ok
0.139s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFBV/2018-Goel-hwbench/QF_UFBV_bv8_bv_h_TreeArb_ab_core_max.smt2
(content)
ok
ok
0.147s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFBV/2018-Goel-hwbench/QF_UFBV_bv8_bv_h_TreeArb_ab_br_max.smt2
(content)
ok
ok
0.152s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFBV/2018-Goel-hwbench/QF_UFBV_bv8_bv_h_FIFO_ab_reg_max.smt2
(content)
ok
ok
0.130s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFBV/2018-Goel-hwbench/QF_UFBV_bv8_bv_h_FIFO_ab_min_max.smt2
(content)
ok
ok
0.136s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFBV/2018-Goel-hwbench/QF_UFBV_bv8_bv_h_FIFO_ab_fp_max.smt2
(content)
ok
ok
0.207s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFBV/2018-Goel-hwbench/QF_UFBV_bv8_bv_h_FIFO_ab_core_max.smt2
(content)
ok
ok
0.182s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFBV/2018-Goel-hwbench/QF_UFBV_bv8_bv_h_FIFO_ab_br_max.smt2
(content)
ok
ok
0.149s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFBV/2018-Goel-hwbench/QF_UFBV_bv8_bv_h_CRC_ab_reg_max.smt2
(content)
ok
ok
0.138s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFBV/2018-Goel-hwbench/QF_UFBV_bv8_bv_h_CRC_ab_min_max.smt2
(content)
ok
ok
0.103s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFBV/2018-Goel-hwbench/QF_UFBV_bv8_bv_h_CRC_ab_fp_max.smt2
(content)
ok
ok
0.105s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFBV/2018-Goel-hwbench/QF_UFBV_bv8_bv_h_CRC_ab_core_max.smt2
(content)
ok
ok
0.145s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFBV/2018-Goel-hwbench/QF_UFBV_bv8_bv_h_CRC_ab_br_max.smt2
(content)
ok
ok
0.170s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFBV/2018-Goel-hwbench/QF_UFBV_bv8_bv_h_BufAl_ab_min_max.smt2
(content)
ok
ok
0.144s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFBV/2018-Goel-hwbench/QF_UFBV_bv8_bv_h_BufAl_ab_fp_max.smt2
(content)
ok
ok
0.144s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFBV/2018-Goel-hwbench/QF_UFBV_bv8_bv_h_BufAl_ab_core_max.smt2
(content)
ok
ok
0.138s