root
file
detailed [1100..1124]
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_iprotocol.1.prop1_ab_reg_max.smt2
(content)
unsat
unknown
0.009s
mc2
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_iprotocol.1.prop1_ab_cti_max.smt2
(content)
sat
unknown
0.024s
sidekick
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_iprotocol.1.prop1_ab_cti_max.smt2
(content)
sat
unknown
0.062s
z3
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_iprotocol.1.prop1_ab_cti_max.smt2
(content)
sat
unknown
0.043s
mc2
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_hanoi.4.prop1_ab_reg_max.smt2
(content)
sat
unknown
0.102s
sidekick
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_hanoi.4.prop1_ab_reg_max.smt2
(content)
sat
unknown
0.114s
z3
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_hanoi.4.prop1_ab_reg_max.smt2
(content)
sat
unknown
0.045s
mc2
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_hanoi.3.prop1_ab_reg_max.smt2
(content)
sat
unknown
0.079s
sidekick
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_hanoi.3.prop1_ab_reg_max.smt2
(content)
sat
unknown
0.092s
z3
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_hanoi.3.prop1_ab_reg_max.smt2
(content)
sat
unknown
0.016s
mc2
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_hanoi.3.prop1_ab_fp_max.smt2
(content)
sat
unknown
3.7s
sidekick
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_hanoi.3.prop1_ab_fp_max.smt2
(content)
sat
unknown
5.6s
z3
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_hanoi.3.prop1_ab_fp_max.smt2
(content)
sat
unknown
0.061s
mc2
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_hanoi.3.prop1_ab_br_max.smt2
(content)
timeout
unknown
10.1s
sidekick
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_hanoi.3.prop1_ab_br_max.smt2
(content)
sat
unknown
1.7s
z3
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_hanoi.3.prop1_ab_br_max.smt2
(content)
sat
unknown
0.081s
mc2
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_hanoi.2.prop1_ab_reg_max.smt2
(content)
sat
unknown
0.091s
sidekick
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_hanoi.2.prop1_ab_reg_max.smt2
(content)
sat
unknown
0.150s
z3
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_hanoi.2.prop1_ab_reg_max.smt2
(content)
sat
unknown
0.015s
mc2
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_hanoi.2.prop1_ab_br_max.smt2
(content)
timeout
unknown
10s
sidekick
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_hanoi.2.prop1_ab_br_max.smt2
(content)
unsat
unknown
1s
z3
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_hanoi.2.prop1_ab_br_max.smt2
(content)
unsat
unknown
0.130s
mc2
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_hanoi.1.prop1_ab_reg_max.smt2
(content)
sat
unknown
0.052s
sidekick
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_hanoi.1.prop1_ab_reg_max.smt2
(content)
sat
unknown
0.042s
z3
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_hanoi.1.prop1_ab_reg_max.smt2
(content)
sat
unknown
0.042s