show full table

problem	z3	sidekick-dev	z3.time	sidekick-dev.time
/home/simon/w/sidekick/tests/QF_LRA/latendresse/ecoliMILPglycerolYices3-300000.smt2	timeout	timeout	13.24	14.38
/home/simon/w/sidekick/tests/QF_LRA/latendresse/ecoliMILPglycerolYices3-5000.smt2	timeout	timeout	12.19	13.68
/home/simon/w/sidekick/tests/QF_LRA/latendresse/ecoliMILPglycerolYices3-50000.smt2	timeout	timeout	12.08	14.42
/home/simon/w/sidekick/tests/QF_LRA/latendresse/ecoliMILPglycerolYices3-60000.smt2	timeout	timeout	11.77	12.82
/home/simon/w/sidekick/tests/QF_LRA/latendresse/ecoliMILPglycerolYices3-70000.smt2	timeout	timeout	12.12	13.69
/home/simon/w/sidekick/tests/QF_LRA/latendresse/ecoliMILPglycerolYices3-80000.smt2	timeout	timeout	12.81	14.63
/home/simon/w/sidekick/tests/QF_LRA/latendresse/ecoliMILPglycerolYices3-90000.smt2	timeout	timeout	13.08	14.55
/home/simon/w/sidekick/tests/QF_LRA/latendresse/shewanella-compact2.smt2	timeout	timeout	12.07	16.14
/home/simon/w/sidekick/tests/QF_LRA/latendresse/shewanella-compact2b.smt2	timeout	unknown	11.56	10.31
/home/simon/w/sidekick/tests/QF_LRA/meti-tarski/Arthan/1A/Arthan1A-chunk-0015.smt2	sat	sat	0.02	0.01
/home/simon/w/sidekick/tests/QF_LRA/meti-tarski/Arthan/1A/Arthan1A-chunk-0016.smt2	sat	sat	0.02	0.01
/home/simon/w/sidekick/tests/QF_LRA/meti-tarski/CMOS/CMOS-opamp-chunk-0005.smt2	sat	sat	0.02	0.01
/home/simon/w/sidekick/tests/QF_LRA/meti-tarski/CMOS/CMOS-opamp-chunk-0007.smt2	sat	sat	0.02	0.01
/home/simon/w/sidekick/tests/QF_LRA/meti-tarski/CMOS/CMOS-opamp-chunk-0008.smt2	sat	sat	0.02	0.02
/home/simon/w/sidekick/tests/QF_LRA/meti-tarski/CMOS/CMOS-opamp-chunk-0010.smt2	sat	sat	0.02	0.01
/home/simon/w/sidekick/tests/QF_LRA/meti-tarski/CMOS/CMOS-opamp-chunk-0012.smt2	sat	sat	0.02	0.01
/home/simon/w/sidekick/tests/QF_LRA/meti-tarski/CMOS/CMOS-opamp-chunk-0013.smt2	sat	sat	0.02	0.02
/home/simon/w/sidekick/tests/QF_LRA/meti-tarski/CMOS/CMOS-opamp-chunk-0015.smt2	sat	sat	0.02	0.01
/home/simon/w/sidekick/tests/QF_LRA/meti-tarski/CMOS/CMOS-opamp-chunk-0016.smt2	sat	sat	0.02	0.01
/home/simon/w/sidekick/tests/QF_LRA/meti-tarski/CMOS/CMOS-opamp-chunk-0024.smt2	unsat	unsat	0.02	0.01
/home/simon/w/sidekick/tests/QF_LRA/meti-tarski/Chua/1/IL/L/Chua-1-IL-L-chunk-0005.smt2	sat	sat	0.03	0.01
/home/simon/w/sidekick/tests/QF_LRA/meti-tarski/Chua/1/IL/L/Chua-1-IL-L-chunk-0006.smt2	sat	sat	0.02	0.01
/home/simon/w/sidekick/tests/QF_LRA/meti-tarski/Chua/1/IL/L/Chua-1-IL-L-chunk-0008.smt2	sat	sat	0.02	0.01
/home/simon/w/sidekick/tests/QF_LRA/meti-tarski/Chua/1/IL/L/Chua-1-IL-L-chunk-0010.smt2	sat	sat	0.02	0.01
/home/simon/w/sidekick/tests/QF_LRA/meti-tarski/Chua/1/IL/L/Chua-1-IL-L-chunk-0011.smt2	sat	sat	0.03	0.01

full results