root
file
detailed [6400..6424]
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_bv8_bv_krebs.2.prop1_ab_br_to.smt2
(content)
ok
ok
0.292s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFBV/2018-Goel-hwbench/QF_UFBV_bv8_bv_krebs.2.prop1_ab_br_max.smt2
(content)
ok
ok
0.146s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFBV/2018-Goel-hwbench/QF_UFBV_bv8_bv_krebs.1.prop1_ab_min_max.smt2
(content)
ok
ok
0.201s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFBV/2018-Goel-hwbench/QF_UFBV_bv8_bv_krebs.1.prop1_ab_fp_max.smt2
(content)
ok
ok
0.131s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFBV/2018-Goel-hwbench/QF_UFBV_bv8_bv_krebs.1.prop1_ab_core_max.smt2
(content)
ok
ok
0.172s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFBV/2018-Goel-hwbench/QF_UFBV_bv8_bv_krebs.1.prop1_ab_br_to.smt2
(content)
ok
ok
0.182s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFBV/2018-Goel-hwbench/QF_UFBV_bv8_bv_krebs.1.prop1_ab_br_max.smt2
(content)
ok
ok
0.155s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFBV/2018-Goel-hwbench/QF_UFBV_bv8_bv_itc99_b13_ab_min_max.smt2
(content)
ok
ok
0.131s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFBV/2018-Goel-hwbench/QF_UFBV_bv8_bv_itc99_b13_ab_fp_max.smt2
(content)
ok
ok
0.132s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFBV/2018-Goel-hwbench/QF_UFBV_bv8_bv_itc99_b13_ab_core_max.smt2
(content)
ok
ok
0.190s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFBV/2018-Goel-hwbench/QF_UFBV_bv8_bv_itc99_b13_ab_br_max.smt2
(content)
ok
ok
0.139s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFBV/2018-Goel-hwbench/QF_UFBV_bv8_bv_itc99_b12_ab_min_max.smt2
(content)
ok
ok
0.141s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFBV/2018-Goel-hwbench/QF_UFBV_bv8_bv_itc99_b12_ab_fp_max.smt2
(content)
ok
ok
0.156s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFBV/2018-Goel-hwbench/QF_UFBV_bv8_bv_itc99_b12_ab_core_max.smt2
(content)
ok
ok
0.142s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFBV/2018-Goel-hwbench/QF_UFBV_bv8_bv_itc99_b12_ab_br_to.smt2
(content)
ok
ok
0.138s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFBV/2018-Goel-hwbench/QF_UFBV_bv8_bv_itc99_b12_ab_br_max.smt2
(content)
ok
ok
0.141s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFBV/2018-Goel-hwbench/QF_UFBV_bv8_bv_iprotocol.6.prop1_ab_min_max.smt2
(content)
ok
ok
0.138s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFBV/2018-Goel-hwbench/QF_UFBV_bv8_bv_iprotocol.6.prop1_ab_fp_max.smt2
(content)
ok
ok
0.130s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFBV/2018-Goel-hwbench/QF_UFBV_bv8_bv_iprotocol.6.prop1_ab_core_max.smt2
(content)
ok
ok
0.132s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFBV/2018-Goel-hwbench/QF_UFBV_bv8_bv_iprotocol.5.prop1_ab_min_max.smt2
(content)
ok
ok
0.204s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFBV/2018-Goel-hwbench/QF_UFBV_bv8_bv_iprotocol.5.prop1_ab_fp_max.smt2
(content)
ok
ok
0.178s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFBV/2018-Goel-hwbench/QF_UFBV_bv8_bv_iprotocol.5.prop1_ab_core_max.smt2
(content)
ok
ok
0.176s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFBV/2018-Goel-hwbench/QF_UFBV_bv8_bv_iprotocol.5.prop1_ab_br_max.smt2
(content)
ok
ok
0.182s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFBV/2018-Goel-hwbench/QF_UFBV_bv8_bv_iprotocol.4.prop1_ab_min_max.smt2
(content)
ok
ok
0.147s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFBV/2018-Goel-hwbench/QF_UFBV_bv8_bv_iprotocol.4.prop1_ab_fp_max.smt2
(content)
ok
ok
0.145s