TSTP Solution Domain: FLD

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