show full table

problem	z3	sidekick-dev	z3.time	sidekick-dev.time
/home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_collision.6.prop1_ab_reg_max.smt2	unsat	unsat	0.03	0.02
/home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_counter_ab_cti_max.smt2	sat	sat	0.02	0.01
/home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_counter_ab_reg_max.smt2	sat	sat	0.02	0.01
/home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_counter_v_ab_cti_max.smt2	sat	sat	0.02	0.01
/home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_counter_v_ab_fp_max.smt2	sat	sat	0.03	0.01
/home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_counter_v_ab_reg_max.smt2	unsat	unsat	0.03	0.01
/home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_cyclic_scheduler.1.prop1_ab_reg_max.smt2	unsat	unsat	0.02	0.01
/home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_cyclic_scheduler.2.prop1_ab_cti_max.smt2	sat	sat	0.04	0.11
/home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_cyclic_scheduler.2.prop1_ab_reg_max.smt2	unsat	unsat	0.08	0.11
/home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_cyclic_scheduler.3.prop1_ab_cti_max.smt2	sat	sat	0.10	0.21
/home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_cyclic_scheduler.3.prop1_ab_reg_max.smt2	unsat	unsat	0.03	0.01
/home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_cyclic_scheduler.4.prop1_ab_cti_max.smt2	sat	sat	0.05	0.12
/home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_cyclic_scheduler.4.prop1_ab_reg_max.smt2	unsat	unsat	0.02	0.02
/home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_diagonal_ab_cti_max.smt2	sat	sat	0.02	0.03
/home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_diagonal_ab_reg_max.smt2	sat	sat	0.02	0.01
/home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_diagonal_v_ab_cti_max.smt2	sat	sat	0.03	0.04
/home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_diagonal_v_ab_reg_max.smt2	sat	sat	0.13	0.06
/home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_driving_phils.1.prop1_ab_reg_max.smt2	sat	sat	0.07	0.03
/home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_driving_phils.2.prop1_ab_reg_max.smt2	sat	sat	0.05	0.02
/home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_driving_phils.3.prop1_ab_reg_max.smt2	sat	sat	0.03	0.02
/home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_driving_phils.4.prop1_ab_reg_max.smt2	sat	sat	0.05	0.04
/home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_driving_phils.5.prop1_ab_reg_max.smt2	sat	sat	0.06	0.02
/home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_dyn_partition_ab_reg_max.smt2	sat	sat	0.07	0.03
/home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_elevator.1.prop1_ab_cti_max.smt2	sat	sat	0.04	0.09
/home/simon/w/sidekick2/tests/QF_UF/2018-Goel-hwbench/QF_UF_elevator.1.prop1_ab_reg_max.smt2	unsat	unsat	0.04	0.02

full results