show full table

problem	z3	sidekick-dev	mc2	z3.time	sidekick-dev.time	mc2.time
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_66.smt2	sat	sat	sat	0.05	0.25	0.08
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_67.smt2	unsat	unsat	unsat	0.08	0.43	0.07
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_68.smt2	sat	sat	sat	0.05	0.24	0.09
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_69.smt2	sat	sat	sat	0.07	0.46	0.16
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_70.smt2	sat	sat	sat	0.07	0.74	0.21
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_71.smt2	sat	sat	sat	0.06	0.33	0.20
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_72.smt2	sat	sat	sat	0.06	0.30	0.12
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_73.smt2	unsat	unsat	unsat	0.05	0.30	0.07
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_74.smt2	sat	sat	sat	0.05	0.21	0.11
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_75.smt2	sat	sat	sat	0.07	0.23	0.11
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_76.smt2	sat	sat	sat	0.08	0.24	0.17
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_77.smt2	sat	sat	sat	0.06	0.24	0.13
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_78.smt2	sat	sat	sat	0.06	0.44	0.16
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_79.smt2	sat	sat	sat	0.08	0.68	0.10
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_80.smt2	sat	sat	sat	0.06	0.38	0.16
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_81.smt2	unsat	unsat	unsat	0.08	0.16	0.03
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_82.smt2	sat	sat	sat	0.06	0.52	0.11
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_83.smt2	sat	sat	sat	0.09	0.21	0.07
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_84.smt2	sat	sat	sat	0.07	0.27	0.15
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_85.smt2	sat	sat	sat	0.07	0.38	0.08
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_86.smt2	sat	sat	sat	0.07	0.34	0.14
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_87.smt2	sat	sat	sat	0.07	0.23	0.11
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_88.smt2	sat	sat	sat	0.06	0.24	0.10
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_89.smt2	sat	sat	sat	0.06	0.17	0.12
/home/simon/w/sidekick2/tests/QF_UFLRA/mathsat/RandomDecoupled/pb_real_40_80_60_90.smt2	sat	sat	sat	0.07	0.27	0.12

full results