root
file
detailed [75..99]
prev
next
detailed results (3632 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
mc2
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_h_Spinner_ab_reg_max.smt2
(content)
unsat
unknown
0.013s
mc2
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_h_Rrobin_ab_reg_max.smt2
(content)
unsat
unknown
0.007s
mc2
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_h_Rrobin_ab_cti_max.smt2
(content)
unsat
unknown
0.017s
mc2
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_h_BufAl_ab_fp_max.smt2
(content)
unsat
unknown
0.756s
mc2
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_h_Barrel_ab_cti_max.smt2
(content)
unsat
unknown
0.007s
mc2
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_h_Arbiter_ab_reg_max.smt2
(content)
unsat
unknown
0.044s
mc2
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_gear.2.prop4_ab_reg_max.smt2
(content)
unsat
unknown
0.027s
mc2
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_gear.2.prop3_ab_reg_max.smt2
(content)
unsat
unknown
0.026s
mc2
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_gear.2.prop2_ab_reg_max.smt2
(content)
unsat
unknown
0.030s
mc2
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_gear.1.prop4_ab_reg_max.smt2
(content)
unsat
unknown
0.008s
mc2
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_gear.1.prop3_ab_reg_max.smt2
(content)
unsat
unknown
0.007s
mc2
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_gear.1.prop2_ab_reg_max.smt2
(content)
unsat
unknown
0.008s
mc2
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_frogs.5.prop1_ab_reg_max.smt2
(content)
unsat
unknown
0.010s
mc2
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_firewire_tree.3.prop1_ab_reg_max.smt2
(content)
unsat
unknown
1.1s
mc2
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_firewire_tree.1.prop1_ab_reg_max.smt2
(content)
unsat
unknown
0.721s
mc2
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_extinction.2.prop1_ab_reg_max.smt2
(content)
unsat
unknown
0.008s
mc2
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_exit.5.prop1_ab_reg_max.smt2
(content)
unsat
unknown
0.114s
mc2
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_exit.4.prop1_ab_reg_max.smt2
(content)
unsat
unknown
0.072s
mc2
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_exit.2.prop1_ab_reg_max.smt2
(content)
unsat
unknown
0.056s
mc2
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_exit.1.prop1_ab_reg_max.smt2
(content)
unsat
unknown
0.022s
mc2
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_eq_sdp_v7_ab_cti_max.smt2
(content)
unsat
unknown
0.041s
mc2
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_elevator_planning.2.prop1_ab_reg_max.smt2
(content)
unsat
unknown
0.007s
mc2
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_elevator.5.prop1_ab_reg_max.smt2
(content)
unsat
unknown
0.026s
mc2
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_elevator.4.prop1_ab_reg_max.smt2
(content)
unsat
unknown
0.007s
mc2
/home/simon/w/smtlib/QF_UF/2018-Goel-hwbench/QF_UF_elevator.3.prop1_ab_reg_max.smt2
(content)
unsat
unknown
0.008s