show full table

problem	z3	mc2	z3.time	mc2.time
/home/simon/w/mc2/tests/QF_LRA/DTP-Scheduling/constraints-temporal-machine-shop-2-3-A08.smt2	sat	sat	0.03	0.07
/home/simon/w/mc2/tests/QF_LRA/DTP-Scheduling/constraints-temporal-machine-shop-2-3-A09.smt2	sat	sat	0.02	0.08
/home/simon/w/mc2/tests/QF_LRA/DTP-Scheduling/constraints-temporal-machine-shop-2-3-A10.smt2	sat	sat	0.02	0.05
/home/simon/w/mc2/tests/QF_LRA/DTP-Scheduling/constraints-temporal-machine-shop-2-3-A20.smt2	sat	sat	0.03	0.16
/home/simon/w/mc2/tests/QF_LRA/DTP-Scheduling/constraints-temporal-machine-shop-2-3-A30.smt2	sat	sat	0.05	0.52
/home/simon/w/mc2/tests/QF_LRA/DTP-Scheduling/constraints-temporal-machine-shop-2-3-A40.smt2	sat	sat	0.08	0.53
/home/simon/w/mc2/tests/QF_LRA/DTP-Scheduling/constraints-temporal-machine-shop-2-3-A60.smt2	sat	sat	0.09	2.83
/home/simon/w/mc2/tests/QF_LRA/DTP-Scheduling/constraints-temporal-machine-shop-2-3-A70.smt2	sat	sat	0.09	7.27
/home/simon/w/mc2/tests/QF_LRA/DTP-Scheduling/constraints-temporal-machine-shop-2-3-A80.smt2	sat	sat	0.11	3.03
/home/simon/w/mc2/tests/QF_LRA/DTP-Scheduling/constraints-tms-2-3-light-03.smt2	sat	sat	0.01	0.01
/home/simon/w/mc2/tests/QF_LRA/DTP-Scheduling/constraints-tms-2-3-light-04.smt2	sat	sat	0.01	0.02
/home/simon/w/mc2/tests/QF_LRA/DTP-Scheduling/constraints-tms-2-3-light-05.smt2	sat	sat	0.01	0.01
/home/simon/w/mc2/tests/QF_LRA/DTP-Scheduling/constraints-tms-2-3-light-06.smt2	sat	sat	0.02	0.04
/home/simon/w/mc2/tests/QF_LRA/DTP-Scheduling/constraints-tms-2-3-light-07.smt2	sat	sat	0.01	0.02
/home/simon/w/mc2/tests/QF_LRA/DTP-Scheduling/constraints-tms-2-3-light-08.smt2	sat	sat	0.01	0.03
/home/simon/w/mc2/tests/QF_LRA/DTP-Scheduling/constraints-tms-2-3-light-09.smt2	sat	sat	0.01	0.02
/home/simon/w/mc2/tests/QF_LRA/DTP-Scheduling/constraints-tms-2-3-light-10.smt2	sat	sat	0.01	0.03
/home/simon/w/mc2/tests/QF_LRA/DTP-Scheduling/constraints-tms-2-3-light-20.smt2	sat	sat	0.03	0.10
/home/simon/w/mc2/tests/QF_LRA/DTP-Scheduling/constraints-tms-2-3-light-30.smt2	sat	sat	0.03	0.10
/home/simon/w/mc2/tests/QF_LRA/DTP-Scheduling/constraints-tms-2-3-light-40.smt2	sat	sat	0.04	0.31
/home/simon/w/mc2/tests/QF_LRA/DTP-Scheduling/constraints-tms-2-3-light-60.smt2	sat	sat	0.06	0.50
/home/simon/w/mc2/tests/QF_LRA/DTP-Scheduling/constraints-tms-2-3-light-70.smt2	sat	sat	0.06	1.22
/home/simon/w/mc2/tests/QF_LRA/DTP-Scheduling/constraints-tms-2-3-light-80.smt2	sat	sat	0.08	1.80
/home/simon/w/mc2/tests/QF_LRA/DTP-Scheduling/constraints-tms-2-3-light-90.smt2	sat	sat	0.11	5.91
/home/simon/w/mc2/tests/QF_LRA/LassoRanker/CooperatingT2/afagp-fail.t2.c_Iteration1_Lasso_3-pieceTemplate.smt2	timeout	timeout	11.10	10.06

full results