show full table

problem	z3	sidekick-dev	z3.time	sidekick-dev.time
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_66.smt2	sat	sat	0.04	0.33
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_67.smt2	unsat	unsat	0.07	0.32
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_68.smt2	sat	sat	0.05	0.36
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_69.smt2	sat	sat	0.07	0.31
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_70.smt2	sat	sat	0.07	0.34
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_71.smt2	sat	sat	0.06	0.92
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_72.smt2	sat	sat	0.05	0.46
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_73.smt2	unsat	unsat	0.08	0.28
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_74.smt2	sat	sat	0.07	0.38
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_75.smt2	sat	sat	0.06	0.63
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_76.smt2	sat	sat	0.11	0.69
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_77.smt2	sat	sat	0.08	0.40
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_78.smt2	sat	sat	0.06	0.59
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_79.smt2	sat	sat	0.12	0.80
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_80.smt2	sat	sat	0.06	0.25
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_81.smt2	unsat	unsat	0.05	0.13
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_82.smt2	sat	sat	0.07	0.93
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_83.smt2	sat	sat	0.09	0.22
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_84.smt2	sat	sat	0.07	0.27
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_85.smt2	sat	sat	0.05	0.30
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_86.smt2	sat	sat	0.05	0.21
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_87.smt2	sat	sat	0.10	0.33
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_88.smt2	sat	sat	0.05	0.69
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_89.smt2	sat	sat	0.07	0.19
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_90.smt2	sat	sat	0.07	0.31

full results