root
file
detailed [900..924]
prev
next
detailed results (14914 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_lifts.1.prop1_ab_reg_max.smt2
(content)
unsat
unsat
0.271s
z3
/home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_lifts.1.prop1_ab_reg_max.smt2
(content)
unsat
unsat
0.080s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_lifts.1.prop1_ab_cti_max.smt2
(content)
sat
sat
0.298s
z3
/home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_lifts.1.prop1_ab_cti_max.smt2
(content)
sat
sat
0.312s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_leader_filters.7.prop1_ab_reg_max.smt2
(content)
sat
sat
0.026s
z3
/home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_leader_filters.7.prop1_ab_reg_max.smt2
(content)
sat
sat
0.018s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_leader_filters.7.prop1_ab_cti_max.smt2
(content)
sat
sat
0.208s
z3
/home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_leader_filters.7.prop1_ab_cti_max.smt2
(content)
sat
sat
0.097s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_leader_filters.6.prop1_ab_reg_max.smt2
(content)
sat
sat
0.025s
z3
/home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_leader_filters.6.prop1_ab_reg_max.smt2
(content)
sat
sat
0.016s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_leader_filters.6.prop1_ab_cti_max.smt2
(content)
sat
sat
0.124s
z3
/home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_leader_filters.6.prop1_ab_cti_max.smt2
(content)
sat
sat
0.122s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_leader_filters.5.prop1_ab_reg_max.smt2
(content)
sat
sat
0.016s
z3
/home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_leader_filters.5.prop1_ab_reg_max.smt2
(content)
sat
sat
0.014s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_leader_filters.5.prop1_ab_cti_max.smt2
(content)
sat
sat
0.188s
z3
/home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_leader_filters.5.prop1_ab_cti_max.smt2
(content)
sat
sat
0.069s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_leader_filters.4.prop1_ab_reg_max.smt2
(content)
sat
sat
0.018s
z3
/home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_leader_filters.4.prop1_ab_reg_max.smt2
(content)
sat
sat
0.016s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_leader_filters.4.prop1_ab_cti_max.smt2
(content)
sat
sat
0.125s
z3
/home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_leader_filters.4.prop1_ab_cti_max.smt2
(content)
sat
sat
0.063s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_leader_filters.3.prop1_ab_reg_max.smt2
(content)
sat
sat
0.022s
z3
/home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_leader_filters.3.prop1_ab_reg_max.smt2
(content)
sat
sat
0.018s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_leader_filters.2.prop1_ab_reg_max.smt2
(content)
sat
sat
0.017s
z3
/home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_leader_filters.2.prop1_ab_reg_max.smt2
(content)
sat
sat
0.017s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_leader_filters.2.prop1_ab_cti_max.smt2
(content)
sat
sat
0.102s