RTCL

	Status	Difficulty	Category	Output	Time/ms	Correct?
QF_LIA/RTCL/b04_tf_20/ckt_PROP0_tf_20.smt	sat	0	industrial	sat	27819	Yes
QF_LIA/RTCL/b04_tf_15/ckt_PROP0_tf_15.smt	sat	0	industrial	sat	6530	Yes
					Total:	2
					Correct:	2
					Incorrect:	0