show full table

problem	z3	mc2	z3.time	mc2.time
/home/simon/w/mc2/tests/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.diskperf_true-unreach-call.i.cil.c.smt2	unsat	unsat	0.84	0.12
/home/simon/w/mc2/tests/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.email_spec27_product13_true-unreach-call.cil.c.smt2	unsat	unsat	1.69	0.15
/home/simon/w/mc2/tests/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.email_spec27_productSimulator_false-unreach-call.cil.c.smt2	timeout	error	11.11	4.68
/home/simon/w/mc2/tests/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.email_spec3_product13_false-unreach-call.cil.c.smt2	sat	sat	0.03	0.03
/home/simon/w/mc2/tests/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.email_spec3_product17_false-unreach-call.cil.c.smt2	sat	sat	0.04	0.02
/home/simon/w/mc2/tests/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.email_spec3_product18_false-unreach-call.cil.c.smt2	sat	sat	0.03	0.02
/home/simon/w/mc2/tests/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.email_spec3_product19_false-unreach-call.cil.c.smt2	sat	sat	0.03	0.03
/home/simon/w/mc2/tests/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.email_spec3_product23_false-unreach-call.cil.c.smt2	sat	sat	0.04	0.03
/home/simon/w/mc2/tests/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.email_spec3_product24_false-unreach-call.cil.c.smt2	sat	sat	0.03	0.03
/home/simon/w/mc2/tests/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.email_spec3_product25_false-unreach-call.cil.c.smt2	sat	sat	0.04	0.02
/home/simon/w/mc2/tests/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.email_spec3_product27_false-unreach-call.cil.c.smt2	sat	sat	0.04	0.02
/home/simon/w/mc2/tests/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.email_spec3_product28_false-unreach-call.cil.c.smt2	sat	sat	0.05	0.03
/home/simon/w/mc2/tests/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.email_spec3_product29_false-unreach-call.cil.c.smt2	sat	sat	0.04	0.03
/home/simon/w/mc2/tests/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.email_spec3_product30_false-unreach-call.cil.c.smt2	sat	sat	0.04	0.02
/home/simon/w/mc2/tests/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.email_spec3_product31_false-unreach-call.cil.c.smt2	sat	sat	0.04	0.02
/home/simon/w/mc2/tests/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.email_spec3_product32_false-unreach-call.cil.c.smt2	sat	sat	0.04	0.02
/home/simon/w/mc2/tests/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.email_spec3_product33_false-unreach-call.cil.c.smt2	sat	sat	0.04	0.02
/home/simon/w/mc2/tests/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.email_spec3_product34_false-unreach-call.cil.c.smt2	sat	sat	0.06	0.02
/home/simon/w/mc2/tests/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.email_spec3_product35_false-unreach-call.cil.c.smt2	sat	sat	0.05	0.02
/home/simon/w/mc2/tests/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.email_spec3_productSimulator_false-unreach-call.cil.c.smt2	timeout	error	11.04	1.19
/home/simon/w/mc2/tests/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.email_spec8_product14_true-unreach-call.cil.c.smt2	sat	sat	3.40	0.25
/home/simon/w/mc2/tests/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.floppy_simpl3_false-unreach-call_true-termination.cil.c.smt2	sat	sat	0.02	0.01
/home/simon/w/mc2/tests/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.floppy_simpl4_false-unreach-call_true-termination.cil.c.smt2	sat	sat	0.02	0.01
/home/simon/w/mc2/tests/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.fo_test.c_false-unreach-call.i.smt2	sat	sat	0.02	0.01
/home/simon/w/mc2/tests/QF_UFLRA/cpachecker-induction-svcomp14/cpachecker-induction.for_bounded_loop1_false-unreach-call_true-termination.i.smt2	sat	sat	0.02	0.01

full results