Status	Difficulty	Category	Output	Time/ms	Correct?
QF_IDL/planning/plan-10.cvc.smt	unsat	0	industrial	timeout	infty	Unknown
QF_IDL/planning/plan-11.cvc.smt	unsat	0	industrial	timeout	infty	Unknown
QF_IDL/planning/plan-12.cvc.smt	unsat	0	industrial	timeout	infty	Unknown
QF_IDL/planning/plan-13.cvc.smt	unsat	0	industrial	timeout	infty	Unknown
QF_IDL/planning/plan-14.cvc.smt	unsat	0	industrial	timeout	infty	Unknown
QF_IDL/planning/plan-15.cvc.smt	unsat	0	industrial	timeout	infty	Unknown
QF_IDL/planning/plan-16.cvc.smt	unsat	0	industrial	timeout	infty	Unknown
QF_IDL/planning/plan-17.cvc.smt	unsat	0	industrial	timeout	infty	Unknown
QF_IDL/planning/plan-18.cvc.smt	unsat	0	industrial	timeout	infty	Unknown
QF_IDL/planning/plan-19.cvc.smt	unsat	0	industrial	timeout	infty	Unknown
QF_IDL/planning/plan-20.cvc.smt	unsat	0	industrial	timeout	infty	Unknown
QF_IDL/planning/plan-21.cvc.smt	unsat	0	industrial	timeout	infty	Unknown
QF_IDL/planning/plan-22.cvc.smt	unsat	0	industrial	timeout	infty	Unknown
QF_IDL/planning/plan-23.cvc.smt	unsat	0	industrial	timeout	infty	Unknown
QF_IDL/planning/plan-24.cvc.smt	unsat	0	industrial	timeout	infty	Unknown
QF_IDL/planning/plan-25.cvc.smt	unsat	0	industrial	timeout	infty	Unknown
QF_IDL/planning/plan-26.cvc.smt	unsat	0	industrial	timeout	infty	Unknown
QF_IDL/planning/plan-27.cvc.smt	unsat	0	industrial	timeout	infty	Unknown
QF_IDL/planning/plan-28.cvc.smt	unsat	0	industrial	timeout	infty	Unknown
QF_IDL/planning/plan-29.cvc.smt	unsat	0	industrial	timeout	infty	Unknown
QF_IDL/planning/plan-30.cvc.smt	unsat	0	industrial	timeout	infty	Unknown
QF_IDL/planning/plan-31.cvc.smt	unsat	0	industrial	timeout	infty	Unknown
QF_IDL/planning/plan-32.cvc.smt	unsat	0	industrial	timeout	infty	Unknown
QF_IDL/planning/plan-33.cvc.smt	unsat	0	industrial	timeout	infty	Unknown
QF_IDL/planning/plan-34.cvc.smt	unsat	0	industrial	timeout	infty	Unknown
QF_IDL/planning/plan-35.cvc.smt	unsat	0	industrial	timeout	infty	Unknown
QF_IDL/planning/plan-36.cvc.smt	unsat	0	industrial	timeout	infty	Unknown
QF_IDL/planning/plan-37.cvc.smt	unsat	0	industrial	timeout	infty	Unknown
QF_IDL/planning/plan-38.cvc.smt	unsat	0	industrial	timeout	infty	Unknown
QF_IDL/planning/plan-39.cvc.smt	unsat	0	industrial	timeout	infty	Unknown
QF_IDL/planning/plan-40.cvc.smt	unsat	0	industrial	timeout	infty	Unknown
QF_IDL/planning/plan-41.cvc.smt	unsat	0	industrial	timeout	infty	Unknown
QF_IDL/planning/plan-42.cvc.smt	unsat	0	industrial	timeout	infty	Unknown
QF_IDL/planning/plan-43.cvc.smt	unsat	0	industrial	timeout	infty	Unknown
QF_IDL/planning/plan-44.cvc.smt	unsat	0	industrial	timeout	infty	Unknown
QF_IDL/planning/plan-45.cvc.smt	unsat	0	industrial	timeout	infty	Unknown
QF_IDL/planning/plan-46.cvc.smt	unsat	0	industrial	timeout	infty	Unknown
QF_IDL/planning/plan-47.cvc.smt	unsat	0	industrial	timeout	infty	Unknown
QF_IDL/planning/plan-48.cvc.smt	sat	0	industrial	timeout	infty	Unknown
QF_IDL/planning/plan-49.cvc.smt	sat	0	industrial	timeout	infty	Unknown
QF_IDL/planning/plan-5.cvc.smt	unsat	0	industrial	unsat	7590	Yes
QF_IDL/planning/plan-6.cvc.smt	unsat	0	industrial	unsat	14436	Yes
QF_IDL/planning/plan-7.cvc.smt	unsat	0	industrial	unsat	25354	Yes
QF_IDL/planning/plan-8.cvc.smt	unsat	0	industrial	unsat	100835	Yes
QF_IDL/planning/plan-9.cvc.smt	unsat	0	industrial	unsat	436331	Yes
					Total:	45
					Correct:	5
					Incorrect:	0