detailed results (7457 total)

prover file res expected time
z3 /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_h_Vending_ab_reg_max.smt2 (content) sat sat 0.027s
z3 /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_h_Vending_ab_cti_max.smt2 (content) sat sat 0.042s
z3 /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_h_TreeArb_ab_reg_max.smt2 (content) unsat unsat 0.067s
z3 /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_h_TreeArb_ab_cti_max.smt2 (content) sat sat 0.034s
z3 /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_h_TreeArb_ab_br_max.smt2 (content) unsat unsat 0.143s
z3 /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_h_TicTacToe_ab_reg_max.smt2 (content) unsat unsat 0.026s
z3 /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_h_TicTacToe_ab_cti_max.smt2 (content) sat sat 0.158s
z3 /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_h_Spinner_ab_reg_max.smt2 (content) unsat unsat 0.036s
z3 /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_h_Rrobin_ab_reg_max.smt2 (content) unsat unsat 0.026s
z3 /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_h_Rrobin_ab_cti_max.smt2 (content) unsat unsat 0.026s
z3 /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_h_FIFO_ab_reg_max.smt2 (content) sat sat 0.035s
z3 /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_h_FIFO_ab_cti_max.smt2 (content) sat sat 0.067s
z3 /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_h_BufAl_ab_reg_max.smt2 (content) sat sat 0.039s
z3 /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_h_BufAl_ab_fp_max.smt2 (content) unsat unsat 0.081s
z3 /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_h_BufAl_ab_cti_max.smt2 (content) sat sat 0.035s
z3 /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_h_BufAl_ab_br_max.smt2 (content) sat sat 0.083s
z3 /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_h_Barrel_ab_cti_max.smt2 (content) unsat unsat 0.046s
z3 /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_h_Arbiter_ab_reg_max.smt2 (content) unsat unsat 0.017s
z3 /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_h_Arbiter_ab_cti_max.smt2 (content) sat sat 0.024s
z3 /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_gear.2.prop4_ab_reg_max.smt2 (content) unsat unsat 0.041s
z3 /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_gear.2.prop4_ab_cti_max.smt2 (content) sat sat 0.062s
z3 /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_gear.2.prop3_ab_reg_max.smt2 (content) unsat unsat 0.041s
z3 /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_gear.2.prop3_ab_cti_max.smt2 (content) sat sat 0.062s
z3 /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_gear.2.prop2_ab_reg_max.smt2 (content) unsat unsat 0.059s
z3 /home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_gear.2.prop2_ab_cti_max.smt2 (content) sat sat 0.061s