TSTP Solution Domain: FLD

NumberOfSystems-NumberAttempted-NumberSuccessful-NumberOutputSolutions
FLD001-3
99-57-45-30		 FLD002-3
99-57-44-29		 FLD003-1
99-57-29-22		 FLD004-1
99-57-26-20		 FLD005-1
99-57-24-18		 FLD005-3
99-57-36-26		 FLD006-1
99-57-47-33
FLD006-3
99-57-50-36		 FLD007-1
99-57-4-4		 FLD007-3
99-57-41-32		 FLD008-1
99-59-2-2		 FLD008-2
99-57-2-2		 FLD008-3
99-57-23-20		 FLD008-4
99-57-38-28
FLD009-1
99-57-23-19		 FLD009-3
99-57-35-25		 FLD010-1
99-57-41-30		 FLD010-3
99-57-49-34		 FLD010-5
99-57-41-29		 FLD011-1
99-57-2-2		 FLD011-3
99-57-28-22
FLD012-1
99-59-1-1		 FLD012-2
99-57-0-0		 FLD012-3
99-57-4-4		 FLD012-4
99-57-27-22		 FLD013-1
99-57-31-22		 FLD013-2
99-57-31-22		 FLD013-3
99-57-42-31
FLD013-4
99-57-46-32		 FLD013-5
99-57-44-31		 FLD014-1
99-57-3-3		 FLD014-3
99-57-39-29		 FLD015-1
99-57-9-9		 FLD015-3
99-57-44-32		 FLD016-1
99-57-6-6
FLD016-3
99-57-43-31		 FLD016-5
99-57-39-29		 FLD017-1
99-57-44-30		 FLD017-3
99-57-48-32		 FLD018-1
99-57-35-25		 FLD018-3
99-57-48-34		 FLD019-1
99-57-32-24
FLD019-3
99-57-48-34		 FLD020-1
99-57-6-6		 FLD020-3
99-57-47-34		 FLD021-1
99-57-44-29		 FLD021-3
99-57-50-34		 FLD022-1
99-57-6-6		 FLD022-3
99-57-44-32
FLD023-1
99-57-40-29		 FLD023-3
99-57-46-33		 FLD024-1
99-57-11-9		 FLD024-3
99-57-45-32		 FLD025-1
99-57-30-21		 FLD025-2
99-57-30-22		 FLD025-3
99-57-43-30
FLD025-4
99-57-46-32		 FLD025-5
99-57-43-31		 FLD026-1
99-57-7-7		 FLD026-3
99-57-31-24		 FLD027-1
99-57-9-9		 FLD027-3
99-57-41-30		 FLD028-1
99-57-6-6
FLD028-3
99-57-41-29		 FLD029-1
99-57-1-1		 FLD029-3
99-57-38-29		 FLD030-1
99-57-46-31		 FLD030-2
99-57-42-28		 FLD030-3
99-57-44-31		 FLD030-4
99-57-48-32
FLD031-1
99-57-34-25		 FLD031-3
99-57-46-32		 FLD031-5
99-57-44-30		 FLD032-1
99-57-34-25		 FLD032-3
99-57-45-30		 FLD033-1
99-57-11-10		 FLD033-3
99-57-45-32
FLD034-1
99-57-43-29		 FLD034-3
99-57-50-34		 FLD035-1
99-57-6-6		 FLD035-3
99-57-38-28		 FLD036-1
99-57-5-5		 FLD036-3
99-57-38-28		 FLD037-1
99-57-38-26
FLD037-3
99-57-45-31		 FLD038-1
99-57-10-10		 FLD038-3
99-57-46-31		 FLD039-1
99-57-53-36		 FLD039-3
99-57-51-34		 FLD040-1
99-57-5-5		 FLD040-3
99-57-39-29
FLD040-5
99-57-40-28		 FLD041-1
99-57-5-5		 FLD041-2
99-57-1-1		 FLD041-3
99-57-34-24		 FLD041-4
99-57-27-20		 FLD043-1
99-57-1-1		 FLD043-3
99-57-43-30
FLD043-5
99-57-23-16		 FLD044-1
99-59-0-0		 FLD044-2
99-57-0-0		 FLD044-3
99-57-1-1		 FLD044-4
99-57-3-3		 FLD045-1
99-59-0-0		 FLD045-2
99-59-0-0
FLD045-3
99-59-1-1		 FLD045-4
99-57-1-1		 FLD046-1
99-59-0-0		 FLD046-3
99-59-1-1		 FLD047-1
99-59-0-0		 FLD047-2
99-59-0-0		 FLD047-3
99-57-3-3
FLD047-4
99-57-21-17		 FLD048-1
99-59-0-0		 FLD048-2
99-59-0-0		 FLD048-3
99-57-1-1		 FLD048-4
99-57-9-8		 FLD049-1
99-57-1-1		 FLD049-2
99-57-4-4
FLD049-3
99-57-19-17		 FLD049-4
99-57-36-27		 FLD050-1
99-57-2-2		 FLD050-2
99-57-5-5		 FLD050-3
99-57-15-14		 FLD050-4
99-57-35-26		 FLD051-1
99-59-0-0
FLD051-2
99-59-0-0		 FLD051-3
99-59-1-1		 FLD051-4
99-57-9-8		 FLD052-1
99-59-0-0		 FLD052-2
99-59-0-0		 FLD052-3
99-57-1-1		 FLD052-4
99-57-12-9
FLD053-1
99-59-0-0		 FLD053-2
99-59-0-0		 FLD053-3
99-57-1-1		 FLD053-4
99-59-1-1		 FLD054-1
99-59-0-0		 FLD054-2
99-59-0-0		 FLD054-3
99-57-2-2
FLD054-4
99-57-18-14		 FLD055-1
99-57-47-31		 FLD055-3
99-57-51-34		 FLD056-1
99-57-50-33		 FLD056-3
99-57-51-34		 FLD057-1
99-57-0-0		 FLD057-3
99-57-6-6
FLD058-1
99-57-48-32		 FLD058-3
99-57-48-34		 FLD059-1
99-57-40-27		 FLD059-2
99-57-36-25		 FLD059-3
99-57-43-30		 FLD059-4
99-57-50-33		 FLD060-1
99-57-31-20
FLD060-2
99-57-29-21		 FLD060-3
99-57-30-20		 FLD060-4
99-57-33-23		 FLD061-1
99-57-29-19		 FLD061-2
99-57-28-20		 FLD061-3
99-57-27-17		 FLD061-4
99-57-31-22
FLD062-1
99-57-2-2		 FLD062-3
99-57-22-15		 FLD063-1
99-57-6-6		 FLD063-3
99-57-28-18		 FLD064-1
99-57-31-23		 FLD064-3
99-57-45-32		 FLD065-1
99-57-29-21
FLD065-3
99-57-47-33		 FLD066-1
99-57-1-1		 FLD066-3
99-57-37-28		 FLD067-1
99-57-42-29		 FLD067-2
99-57-33-25		 FLD067-3
99-57-38-29		 FLD067-4
99-57-47-33
FLD068-1
99-57-7-7		 FLD068-2
99-57-6-6		 FLD068-3
99-57-32-23		 FLD068-4
99-57-43-31		 FLD069-1
99-57-37-26		 FLD069-3
99-57-51-34		 FLD070-1
99-57-38-26
FLD070-2
99-57-36-26		 FLD070-3
99-57-43-30		 FLD070-4
99-57-51-34		 FLD071-1
99-57-47-32		 FLD071-2
99-57-40-27		 FLD071-3
99-57-46-32		 FLD071-4
99-57-52-35
FLD072-1
99-59-0-0		 FLD072-2
99-57-0-0		 FLD072-3
99-57-3-3		 FLD072-4
99-57-3-2		 FLD073-1
99-59-0-0		 FLD073-2
99-59-0-0		 FLD073-3
99-59-1-1
FLD073-4
99-59-1-1		 FLD074-1
99-59-0-0		 FLD074-2
99-59-0-0		 FLD074-3
99-57-2-2		 FLD074-4
99-57-1-1		 FLD075-1
99-59-0-0		 FLD075-2
99-59-0-0
FLD075-3
99-59-0-0		 FLD075-4
99-59-0-0		 FLD076-1
99-59-0-0		 FLD076-2
99-59-0-0		 FLD076-3
99-59-0-0		 FLD076-4
99-58-1-1		 FLD077-1
99-59-0-0
FLD077-2
99-59-0-0		 FLD077-3
99-59-0-0		 FLD077-4
99-59-0-0		 FLD078-1
99-59-0-0		 FLD078-2
99-59-0-0		 FLD078-3
99-59-1-1		 FLD078-4
99-59-1-1
FLD079-1
99-59-0-0		 FLD079-2
99-59-0-0		 FLD079-3
99-59-2-2		 FLD079-4
99-59-1-1		 FLD080-1
99-59-0-0		 FLD080-2
99-59-0-0		 FLD080-3
99-59-1-1
FLD080-4
99-59-1-1		 FLD081-1
99-59-0-0		 FLD081-2
99-59-0-0		 FLD081-3
99-59-0-0		 FLD081-4
99-59-0-0		 FLD082-1
99-59-0-0		 FLD082-3
99-59-0-0
FLD083-1
99-59-0-0		 FLD083-3
99-59-0-0		 FLD084-1
99-59-0-0		 FLD084-3
99-59-0-0		 FLD085-1
99-59-0-0		 FLD085-3
99-59-0-0		 FLD086-1
99-59-0-0
FLD086-3
99-57-2-2		 FLD087-1
99-59-0-0		 FLD087-3
99-57-2-2		 FLD088-1
99-57-0-0		 FLD088-3
99-57-3-3		 FLD089-1
99-59-0-0		 FLD089-3
99-57-2-2
FLD090-1
99-57-0-0		 FLD090-3
99-57-2-2		 FLD091-1
99-58-0-0		 FLD091-3
99-59-0-0		 FLD092-1
99-59-0-0		 FLD092-3
99-59-0-0		 FLD093-1
99-58-0-0
FLD093-3
99-59-1-1		 FLD094-1
99-59-0-0		 FLD094-3
99-59-0-0		 FLD095-1
99-59-0-0		 FLD095-2
99-59-0-0		 FLD095-3
99-59-0-0		 FLD095-4
99-59-0-0
FLD096-1
99-59-0-0		 FLD096-2
99-59-0-0		 FLD096-3
99-59-0-0		 FLD096-4
99-59-0-0		 FLD097-1
99-59-0-0		 FLD097-2
99-59-0-0		 FLD097-3
99-59-1-1
FLD097-4
99-57-4-2		 FLD098-1
99-59-0-0		 FLD098-2
99-59-0-0		 FLD098-3
99-59-1-1		 FLD098-4
99-59-1-1		 FLD099-1
99-59-0-0		 FLD099-2
99-59-0-0
FLD099-3
99-59-0-0		 FLD099-4
99-59-0-0		 FLD100-1
99-59-0-0		 FLD100-2
99-59-0-0		 FLD100-3
99-59-0-0		 FLD100-4
99-59-0-0		 FLD101-1
88-51-0-0
FLD102-1
88-51-0-0