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_16.smt2	sat	sat	0.08	0.66
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_17.smt2	sat	sat	0.08	0.26
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_18.smt2	sat	sat	0.07	0.52
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_19.smt2	unsat	unsat	0.10	0.95
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_20.smt2	sat	sat	0.12	0.35
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_21.smt2	sat	sat	0.07	0.54
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_22.smt2	sat	sat	0.08	0.34
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_23.smt2	sat	sat	0.11	0.35
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_24.smt2	unsat	unsat	0.14	0.76
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_25.smt2	sat	sat	0.07	0.49
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_26.smt2	sat	sat	0.11	0.72
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_27.smt2	sat	sat	0.08	0.28
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_28.smt2	sat	sat	0.08	0.49
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_29.smt2	sat	sat	0.10	0.62
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_30.smt2	sat	sat	0.10	0.29
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_31.smt2	sat	sat	0.11	0.61
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_32.smt2	sat	sat	0.06	0.19
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_33.smt2	unsat	unsat	0.07	0.36
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_34.smt2	sat	sat	0.06	0.52
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_35.smt2	sat	sat	0.13	0.21
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_36.smt2	sat	sat	0.08	0.22
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_37.smt2	sat	sat	0.10	0.41
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_38.smt2	sat	sat	0.10	0.82
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_39.smt2	sat	sat	0.09	0.64
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_40.smt2	sat	sat	0.12	0.18

full results