TSTP Solution Domain: FLD

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