root
file
detailed [7550..7574]
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_bv_bv_plc.4.prop2_ab_fp_max.smt2
(content)
ok
ok
0.306s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFBV/2018-Goel-hwbench/QF_UFBV_bv_bv_plc.4.prop2_ab_core_max.smt2
(content)
ok
ok
0.274s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFBV/2018-Goel-hwbench/QF_UFBV_bv_bv_plc.4.prop2_ab_br_to.smt2
(content)
ok
ok
0.395s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFBV/2018-Goel-hwbench/QF_UFBV_bv_bv_plc.4.prop2_ab_br_max.smt2
(content)
ok
ok
0.284s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFBV/2018-Goel-hwbench/QF_UFBV_bv_bv_plc.3.prop2_ab_min_max.smt2
(content)
ok
ok
0.268s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFBV/2018-Goel-hwbench/QF_UFBV_bv_bv_plc.3.prop2_ab_fp_max.smt2
(content)
ok
ok
0.344s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFBV/2018-Goel-hwbench/QF_UFBV_bv_bv_plc.3.prop2_ab_core_max.smt2
(content)
ok
ok
0.277s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFBV/2018-Goel-hwbench/QF_UFBV_bv_bv_plc.3.prop2_ab_br_to.smt2
(content)
ok
ok
0.325s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFBV/2018-Goel-hwbench/QF_UFBV_bv_bv_plc.2.prop2_ab_min_max.smt2
(content)
ok
ok
0.282s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFBV/2018-Goel-hwbench/QF_UFBV_bv_bv_plc.2.prop2_ab_fp_max.smt2
(content)
ok
ok
0.390s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFBV/2018-Goel-hwbench/QF_UFBV_bv_bv_plc.2.prop2_ab_core_max.smt2
(content)
ok
ok
0.339s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFBV/2018-Goel-hwbench/QF_UFBV_bv_bv_plc.2.prop2_ab_br_to.smt2
(content)
ok
ok
0.324s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFBV/2018-Goel-hwbench/QF_UFBV_bv_bv_plc.1.prop2_ab_min_max.smt2
(content)
ok
ok
0.293s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFBV/2018-Goel-hwbench/QF_UFBV_bv_bv_plc.1.prop2_ab_fp_max.smt2
(content)
ok
ok
0.290s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFBV/2018-Goel-hwbench/QF_UFBV_bv_bv_plc.1.prop2_ab_core_max.smt2
(content)
ok
ok
0.296s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFBV/2018-Goel-hwbench/QF_UFBV_bv_bv_plc.1.prop2_ab_br_to.smt2
(content)
ok
ok
0.300s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFBV/2018-Goel-hwbench/QF_UFBV_bv_bv_plc.1.prop2_ab_br_max.smt2
(content)
ok
ok
0.290s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFBV/2018-Goel-hwbench/QF_UFBV_bv_bv_pj_icu_ab_min_max.smt2
(content)
ok
ok
0.128s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFBV/2018-Goel-hwbench/QF_UFBV_bv_bv_pj_icu_ab_fp_max.smt2
(content)
ok
ok
0.127s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFBV/2018-Goel-hwbench/QF_UFBV_bv_bv_pj_icu_ab_core_max.smt2
(content)
ok
ok
0.139s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFBV/2018-Goel-hwbench/QF_UFBV_bv_bv_pgm_protocol.2.prop1_ab_min_max.smt2
(content)
ok
ok
0.241s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFBV/2018-Goel-hwbench/QF_UFBV_bv_bv_pgm_protocol.2.prop1_ab_fp_max.smt2
(content)
ok
ok
0.283s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFBV/2018-Goel-hwbench/QF_UFBV_bv_bv_pgm_protocol.2.prop1_ab_core_max.smt2
(content)
ok
ok
0.226s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFBV/2018-Goel-hwbench/QF_UFBV_bv_bv_pgm_protocol.2.prop1_ab_br_to.smt2
(content)
ok
ok
0.339s
dolmen
/home/guillaume/bench/smtlib-incremental/QF_UFBV/2018-Goel-hwbench/QF_UFBV_bv_bv_pgm_protocol.2.prop1_ab_br_max.smt2
(content)
ok
ok
0.236s