Status	Difficulty	Category	Output	Time/ms	Correct?
QF_IDL/diamonds/diamonds.10.10.i.a.u.smt	unsat	0	crafted	unsat	67912	Yes
QF_IDL/diamonds/diamonds.10.2.i.a.u.smt	unsat	0	crafted	timeout	infty	Unknown
QF_IDL/diamonds/diamonds.10.3.i.a.u.smt	unsat	0	crafted	unsat	10659	Yes
QF_IDL/diamonds/diamonds.10.5.i.a.u.smt	unsat	0	crafted	unsat	19022	Yes
QF_IDL/diamonds/diamonds.11.10.i.a.u.smt	unsat	0	crafted	unsat	109132	Yes
QF_IDL/diamonds/diamonds.11.2.i.a.u.smt	unsat	0	crafted	timeout	infty	Unknown
QF_IDL/diamonds/diamonds.11.3.i.a.u.smt	unsat	0	crafted	unsat	15605	Yes
QF_IDL/diamonds/diamonds.11.5.i.a.u.smt	unsat	0	crafted	unsat	29556	Yes
QF_IDL/diamonds/diamonds.12.10.i.a.u.smt	unsat	0	crafted	unsat	245336	Yes
QF_IDL/diamonds/diamonds.12.2.i.a.u.smt	unsat	0	crafted	timeout	infty	Unknown
QF_IDL/diamonds/diamonds.12.3.i.a.u.smt	unsat	0	crafted	unsat	30885	Yes
QF_IDL/diamonds/diamonds.12.5.i.a.u.smt	unsat	0	crafted	unsat	62738	Yes
QF_IDL/diamonds/diamonds.13.10.i.a.u.smt	unsat	0	crafted	unsat	447267	Yes
QF_IDL/diamonds/diamonds.13.2.i.a.u.smt	unsat	1	crafted	timeout	infty	Unknown
QF_IDL/diamonds/diamonds.13.3.i.a.u.smt	unsat	0	crafted	unsat	49972	Yes
QF_IDL/diamonds/diamonds.13.5.i.a.u.smt	unsat	0	crafted	unsat	113488	Yes
QF_IDL/diamonds/diamonds.14.10.i.a.u.smt	unsat	0	crafted	timeout	infty	Unknown
QF_IDL/diamonds/diamonds.14.2.i.a.u.smt	unsat	1	crafted	timeout	infty	Unknown
QF_IDL/diamonds/diamonds.14.3.i.a.u.smt	unsat	0	crafted	unsat	108467	Yes
QF_IDL/diamonds/diamonds.14.5.i.a.u.smt	unsat	0	crafted	unsat	303760	Yes
QF_IDL/diamonds/diamonds.15.10.i.a.u.smt	unsat	0	crafted	timeout	infty	Unknown
QF_IDL/diamonds/diamonds.15.2.i.a.u.smt	unsat	1	crafted	timeout	infty	Unknown
QF_IDL/diamonds/diamonds.15.3.i.a.u.smt	unsat	0	crafted	unsat	234296	Yes
QF_IDL/diamonds/diamonds.15.5.i.a.u.smt	unsat	0	crafted	unsat	570783	Yes
QF_IDL/diamonds/diamonds.16.10.i.a.u.smt	unsat	0	crafted	timeout	infty	Unknown
QF_IDL/diamonds/diamonds.16.2.i.a.u.smt	unsat	0	crafted	unsat	443264	Yes
QF_IDL/diamonds/diamonds.16.3.i.a.u.smt	unsat	0	crafted	unsat	821547	Yes
QF_IDL/diamonds/diamonds.16.5.i.a.u.smt	unsat	0	crafted	timeout	infty	Unknown
QF_IDL/diamonds/diamonds.17.10.i.a.u.smt	unsat	0	crafted	timeout	infty	Unknown
QF_IDL/diamonds/diamonds.17.2.i.a.u.smt	unsat	0	crafted	timeout	infty	Unknown
QF_IDL/diamonds/diamonds.17.3.i.a.u.smt	unsat	0	crafted	timeout	infty	Unknown
QF_IDL/diamonds/diamonds.17.5.i.a.u.smt	unsat	0	crafted	timeout	infty	Unknown
QF_IDL/diamonds/diamonds.18.10.i.a.u.smt	unsat	0	crafted	timeout	infty	Unknown
QF_IDL/diamonds/diamonds.18.2.i.a.u.smt	unsat	0	crafted	timeout	infty	Unknown
QF_IDL/diamonds/diamonds.18.3.i.a.u.smt	unsat	0	crafted	timeout	infty	Unknown
QF_IDL/diamonds/diamonds.18.5.i.a.u.smt	unsat	0	crafted	timeout	infty	Unknown
					Total:	36
					Correct:	18
					Incorrect:	0