root
file
detailed [275..299]
prev
next
detailed results (22371 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
z3
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_blocks.3.prop1_ab_reg_max.smt2
(content)
unsat
unknown
0.039s
mc2
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_blocks.3.prop1_ab_fp_max.smt2
(content)
sat
unknown
2s
sidekick
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_blocks.3.prop1_ab_fp_max.smt2
(content)
sat
unknown
0.907s
z3
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_blocks.3.prop1_ab_fp_max.smt2
(content)
sat
unknown
0.071s
mc2
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_blocks.2.prop1_ab_reg_max.smt2
(content)
unsat
unknown
0.008s
sidekick
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_blocks.2.prop1_ab_reg_max.smt2
(content)
unsat
unknown
0.008s
z3
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_blocks.2.prop1_ab_reg_max.smt2
(content)
unsat
unknown
0.007s
mc2
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_blocks.2.prop1_ab_cti_max.smt2
(content)
sat
unknown
0.056s
sidekick
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_blocks.2.prop1_ab_cti_max.smt2
(content)
sat
unknown
0.046s
z3
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_blocks.2.prop1_ab_cti_max.smt2
(content)
sat
unknown
0.014s
mc2
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_bit-vector_ab_cti_max.smt2
(content)
sat
unknown
0.007s
sidekick
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_bit-vector_ab_cti_max.smt2
(content)
sat
unknown
0.007s
z3
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_bit-vector_ab_cti_max.smt2
(content)
sat
unknown
0.008s
mc2
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_bit-vector_ab_br_max.smt2
(content)
sat
unknown
0.013s
sidekick
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_bit-vector_ab_br_max.smt2
(content)
sat
unknown
0.009s
z3
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_bit-vector_ab_br_max.smt2
(content)
sat
unknown
0.009s
mc2
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_bakery.8.prop1_ab_reg_max.smt2
(content)
sat
unknown
0.008s
sidekick
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_bakery.8.prop1_ab_reg_max.smt2
(content)
sat
unknown
0.012s
z3
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_bakery.8.prop1_ab_reg_max.smt2
(content)
sat
unknown
0.008s
mc2
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_bakery.8.prop1_ab_cti_max.smt2
(content)
sat
unknown
0.049s
sidekick
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_bakery.8.prop1_ab_cti_max.smt2
(content)
sat
unknown
0.070s
z3
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_bakery.8.prop1_ab_cti_max.smt2
(content)
sat
unknown
0.025s
mc2
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_bakery.7.prop1_ab_reg_max.smt2
(content)
sat
unknown
0.007s
sidekick
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_bakery.7.prop1_ab_reg_max.smt2
(content)
sat
unknown
0.009s
z3
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_bakery.7.prop1_ab_reg_max.smt2
(content)
sat
unknown
0.008s