root
file
detailed [525..549]
prev
next
detailed results (3102 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
z3
/home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_v_DAIO_ab_reg_max.smt2
(content)
sat
sat
0.175s
z3
/home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_v_DAIO_ab_fp_max.smt2
(content)
sat
sat
0.035s
z3
/home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_v_DAIO_ab_cti_max.smt2
(content)
sat
sat
0.083s
z3
/home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_v_DAIO_ab_br_max.smt2
(content)
sat
sat
0.060s
z3
/home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_usb_phy_ab_cti_max.smt2
(content)
sat
sat
0.031s
z3
/home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_train-gate.7.prop1_ab_cti_max.smt2
(content)
sat
sat
0.106s
z3
/home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_train-gate.4.prop1_ab_cti_max.smt2
(content)
sat
sat
0.064s
z3
/home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_train-gate.3.prop1_ab_cti_max.smt2
(content)
sat
sat
0.099s
z3
/home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_train-gate.2.prop1_ab_cti_max.smt2
(content)
sat
sat
0.062s
z3
/home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_telephony.8.prop1_ab_cti_max.smt2
(content)
sat
sat
0.162s
z3
/home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_telephony.7.prop1_ab_cti_max.smt2
(content)
sat
sat
0.349s
z3
/home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_telephony.6.prop1_ab_cti_max.smt2
(content)
sat
sat
0.219s
z3
/home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_telephony.5.prop1_ab_cti_max.smt2
(content)
sat
sat
0.574s
z3
/home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_telephony.4.prop1_ab_cti_max.smt2
(content)
sat
sat
0.132s
z3
/home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_telephony.3.prop1_ab_cti_max.smt2
(content)
sat
sat
0.303s
z3
/home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_telephony.2.prop1_ab_cti_max.smt2
(content)
sat
sat
0.095s
z3
/home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_telephony.1.prop1_ab_cti_max.smt2
(content)
sat
sat
0.106s
z3
/home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_szymanski.5.prop1_ab_reg_max.smt2
(content)
sat
sat
0.025s
z3
/home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_szymanski.5.prop1_ab_cti_max.smt2
(content)
sat
sat
0.154s
z3
/home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_szymanski.4.prop1_ab_reg_max.smt2
(content)
sat
sat
0.027s
z3
/home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_szymanski.3.prop1_ab_reg_max.smt2
(content)
sat
sat
0.075s
z3
/home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_szymanski.3.prop1_ab_cti_max.smt2
(content)
sat
sat
0.232s
z3
/home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_szymanski.2.prop1_ab_reg_max.smt2
(content)
sat
sat
0.031s
z3
/home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_szymanski.2.prop1_ab_cti_max.smt2
(content)
sat
sat
0.214s
z3
/home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_szymanski.1.prop1_ab_reg_max.smt2
(content)
sat
sat
0.025s