show full table

problem	z3	sidekick-dev	z3.time	sidekick-dev.time
/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20026.cvc.smt2	sat	sat	0.04	0.02
/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20027.cvc.smt2	sat	sat	0.06	0.02
/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20028.cvc.smt2	sat	sat	0.05	0.02
/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20029.cvc.smt2	sat	sat	0.04	0.01
/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20030.cvc.smt2	unsat	unsat	0.07	0.03
/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20031.cvc.smt2	sat	sat	0.05	0.01
/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20032.cvc.smt2	sat	sat	0.05	0.02
/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20033.cvc.smt2	sat	sat	0.05	0.01
/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20034.cvc.smt2	sat	sat	0.04	0.02
/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20035.cvc.smt2	sat	sat	0.07	0.02
/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20036.cvc.smt2	sat	sat	0.06	0.02
/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20037.cvc.smt2	sat	sat	0.06	0.02
/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20038.cvc.smt2	sat	sat	0.06	0.02
/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20039.cvc.smt2	sat	sat	0.06	0.02
/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20040.cvc.smt2	sat	sat	0.05	0.02
/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20041.cvc.smt2	unsat	unsat	0.07	0.03
/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20042.cvc.smt2	unsat	unsat	0.05	0.02
/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20043.cvc.smt2	unsat	unsat	0.07	0.01
/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20044.cvc.smt2	sat	sat	0.06	0.02
/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20045.cvc.smt2	sat	sat	0.06	0.04
/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20046.cvc.smt2	sat	sat	0.06	0.02
/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20047.cvc.smt2	unsat	unsat	0.06	0.01
/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20048.cvc.smt2	sat	sat	0.05	0.01
/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20049.cvc.smt2	sat	sat	0.05	0.02
/home/simon/w/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat/tests/v1/v1l20050.cvc.smt2	unsat	unsat	0.06	0.02

full results