show full table

problem	z3	mc2	z3.time	mc2.time
/home/simon/w/mc2/tests/QF_LRA/DTP-Scheduling/constraints-tempo-matrix5x5.pddl.smt2	sat	sat	0.06	0.23
/home/simon/w/mc2/tests/QF_LRA/DTP-Scheduling/constraints-tempo-matrix6x6.pddl.smt2	sat	sat	0.08	4.70
/home/simon/w/mc2/tests/QF_LRA/DTP-Scheduling/constraints-tempo-matrix7x7.pddl.smt2	sat	sat	0.15	5.28
/home/simon/w/mc2/tests/QF_LRA/DTP-Scheduling/constraints-tempo-matrix8x8.pddl.smt2	sat	sat	0.20	4.63
/home/simon/w/mc2/tests/QF_LRA/DTP-Scheduling/constraints-tempo-width-1.smt2	sat	sat	0.01	0.01
/home/simon/w/mc2/tests/QF_LRA/DTP-Scheduling/constraints-tempo-width-10.smt2	sat	sat	0.04	0.07
/home/simon/w/mc2/tests/QF_LRA/DTP-Scheduling/constraints-tempo-width-2.smt2	sat	sat	0.01	0.01
/home/simon/w/mc2/tests/QF_LRA/DTP-Scheduling/constraints-tempo-width-20.smt2	sat	sat	0.19	1.38
/home/simon/w/mc2/tests/QF_LRA/DTP-Scheduling/constraints-tempo-width-3.smt2	sat	sat	0.02	0.02
/home/simon/w/mc2/tests/QF_LRA/DTP-Scheduling/constraints-tempo-width-30.smt2	sat	sat	0.64	4.68
/home/simon/w/mc2/tests/QF_LRA/DTP-Scheduling/constraints-tempo-width-4.smt2	sat	sat	0.02	0.03
/home/simon/w/mc2/tests/QF_LRA/DTP-Scheduling/constraints-tempo-width-40.smt2	sat	sat	1.29	4.52
/home/simon/w/mc2/tests/QF_LRA/DTP-Scheduling/constraints-tempo-width-5.smt2	sat	sat	0.02	0.01
/home/simon/w/mc2/tests/QF_LRA/DTP-Scheduling/constraints-tempo-width-50.smt2	sat	timeout	5.05	10.07
/home/simon/w/mc2/tests/QF_LRA/DTP-Scheduling/constraints-tempo-width-6.smt2	sat	sat	0.02	0.03
/home/simon/w/mc2/tests/QF_LRA/DTP-Scheduling/constraints-tempo-width-60.smt2	sat	timeout	5.91	10.12
/home/simon/w/mc2/tests/QF_LRA/DTP-Scheduling/constraints-tempo-width-7.smt2	sat	sat	0.03	0.03
/home/simon/w/mc2/tests/QF_LRA/DTP-Scheduling/constraints-tempo-width-70.smt2	timeout	timeout	11.04	10.08
/home/simon/w/mc2/tests/QF_LRA/DTP-Scheduling/constraints-tempo-width-8.smt2	sat	sat	0.03	0.05
/home/simon/w/mc2/tests/QF_LRA/DTP-Scheduling/constraints-tempo-width-9.smt2	sat	sat	0.03	0.26
/home/simon/w/mc2/tests/QF_LRA/DTP-Scheduling/constraints-temporal-machine-shop-2-3-A03.smt2	sat	sat	0.02	0.02
/home/simon/w/mc2/tests/QF_LRA/DTP-Scheduling/constraints-temporal-machine-shop-2-3-A04.smt2	sat	sat	0.01	0.03
/home/simon/w/mc2/tests/QF_LRA/DTP-Scheduling/constraints-temporal-machine-shop-2-3-A05.smt2	sat	sat	0.01	0.02
/home/simon/w/mc2/tests/QF_LRA/DTP-Scheduling/constraints-temporal-machine-shop-2-3-A06.smt2	sat	sat	0.01	0.03
/home/simon/w/mc2/tests/QF_LRA/DTP-Scheduling/constraints-temporal-machine-shop-2-3-A07.smt2	sat	sat	0.02	0.02

full results