TSTP Solution Domain: FLD

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