show full table

problem	z3	sidekick-dev	sidekick	mc2	z3.time	sidekick-dev.time	sidekick.time	mc2.time
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn232.smt2	sat	sat	sat	sat	0.02	0.04	0.05	0.18
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn233.smt2	sat	sat	sat	sat	0.02	0.12	0.11	0.08
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn234.smt2	sat	sat	sat	sat	0.02	0.07	0.07	0.10
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn235.smt2	sat	sat	sat	sat	0.02	0.07	0.07	0.11
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn236.smt2	sat	sat	sat	sat	0.02	0.08	0.08	0.12
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn237.smt2	sat	sat	sat	sat	0.02	0.05	0.06	0.08
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn238.smt2	unsat	unsat	unsat	unsat	0.06	5.97	6.02	9.69
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn239.smt2	sat	sat	sat	sat	0.02	0.16	0.16	0.22
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn240.smt2	sat	sat	sat	sat	0.01	0.06	0.06	0.04
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn241.smt2	sat	sat	sat	sat	0.01	0.04	0.04	0.05
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn242.smt2	sat	sat	sat	sat	0.02	0.06	0.06	0.06
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn243.smt2	unsat	unsat	unsat	unsat	0.03	1.42	1.47	2.86
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn244.smt2	unsat	unsat	unsat	unsat	0.03	0.84	0.82	1.24
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn245.smt2	sat	sat	sat	sat	0.01	0.04	0.04	0.04
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn246.smt2	sat	sat	sat	sat	0.02	0.06	0.06	0.08
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn247.smt2	sat	sat	sat	sat	0.02	0.06	0.07	0.08
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn248.smt2	unsat	unsat	unsat	unsat	0.02	0.86	0.88	1.49
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn249.smt2	sat	sat	sat	sat	0.01	0.03	0.03	0.03
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn250.smt2	sat	sat	sat	sat	0.01	0.03	0.03	0.06
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn251.smt2	sat	sat	sat	sat	0.07	0.07	0.07	0.11
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn252.smt2	sat	sat	sat	sat	0.02	0.13	0.13	0.11
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn253.smt2	unsat	unsat	unsat	unsat	0.03	1.35	1.37	4.65
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn254.smt2	sat	sat	sat	sat	0.02	0.07	0.07	0.13
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn255.smt2	sat	sat	sat	sat	0.02	0.07	0.07	0.12
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn256.smt2	sat	sat	sat	sat	0.02	0.14	0.14	0.07

full results