TSTP Solution Domain: COL

NumberOfSystems-NumberAttempted-NumberSuccessful-NumberOutputSolutions
COL001-1
89-61-39-30		 COL001-2
89-61-41-32		 COL002-1
89-61-43-33		 COL002-10
75-52-9-9		 COL002-2
89-54-28-21		 COL002-3
89-54-24-19		 COL002-4
89-61-37-28
COL002-5
89-61-27-19		 COL003-1
89-61-8-8		 COL003-10
89-60-10-7		 COL003-12
89-61-34-30		 COL003-13
89-61-34-30		 COL003-14
89-61-36-31		 COL003-15
89-61-37-32
COL003-16
89-61-34-30		 COL003-17
89-61-31-27		 COL003-18
89-61-31-27		 COL003-19
89-61-31-27		 COL003-2
89-54-22-19		 COL003-20
89-61-31-28		 COL003-3
89-54-23-19
COL003-4
89-54-23-19		 COL003-5
89-54-25-20		 COL003-6
89-54-23-19		 COL003-7
89-54-21-17		 COL003-8
89-54-20-17		 COL003-9
89-54-22-18		 COL004-1
89-61-21-17
COL004-3
89-61-39-33		 COL005-1
89-64-11-9		 COL006-1
89-61-13-10		 COL006-2
89-54-18-15		 COL006-3
89-54-16-13		 COL006-4
89-54-18-15		 COL006-5
89-61-17-14
COL006-6
89-61-17-13		 COL006-7
89-61-18-15		 COL007-1
89-61-51-38		 COL008-1
89-61-48-37		 COL009-1
89-61-38-29		 COL010-1
89-61-46-35		 COL011-1
89-61-25-19
COL012-1
89-61-51-38		 COL013-1
89-61-49-37		 COL014-1
89-61-49-37		 COL015-1
89-61-48-37		 COL016-1
89-61-50-38		 COL017-1
89-61-46-35		 COL018-1
89-61-49-37
COL019-1
89-61-46-35		 COL020-1
89-61-44-34		 COL021-1
89-61-45-34		 COL022-1
89-61-47-36		 COL023-1
89-61-43-33		 COL024-1
89-61-46-35		 COL025-1
89-61-47-36
COL026-1
89-61-41-31		 COL027-1
89-61-45-35		 COL029-1
89-61-51-38		 COL030-1
89-61-44-35		 COL031-1
89-61-47-37		 COL032-1
89-61-40-31		 COL033-1
89-61-38-29
COL034-1
89-61-24-21		 COL035-1
89-61-36-27		 COL036-1
89-61-21-15		 COL037-1
89-61-27-22		 COL038-1
89-61-8-6		 COL039-1
89-61-41-32		 COL041-1
89-61-29-22
COL042-1
89-61-6-6		 COL042-10
77-53-6-6		 COL042-2
89-54-21-18		 COL042-3
89-54-22-19		 COL042-4
89-54-23-20		 COL042-5
89-54-24-21		 COL042-6
89-61-31-27
COL042-7
89-61-33-29		 COL042-8
89-61-32-28		 COL042-9
89-61-32-28		 COL043-1
89-61-2-2		 COL043-2
89-54-17-14		 COL043-3
89-61-12-12		 COL044-1
89-61-36-27
COL044-10
75-52-5-5		 COL044-2
89-54-21-18		 COL044-3
89-54-18-15		 COL044-4
89-54-17-14		 COL044-5
89-54-17-14		 COL044-6
89-61-15-15		 COL044-7
89-61-12-12
COL044-8
89-61-11-11		 COL044-9
89-61-12-12		 COL045-1
89-61-47-36		 COL046-1
89-61-15-13		 COL047-1
89-64-9-8		 COL048-1
89-61-47-36		 COL049-1
89-61-28-23
COL050-1
89-61-50-38		 COL051-1
89-61-49-38		 COL052-1
89-61-46-35		 COL052-2
89-54-38-28		 COL053-1
89-61-48-38		 COL054-1
89-53-41-31		 COL055-1
89-53-47-33
COL056-1
89-61-49-37		 COL057-1
89-61-30-23		 COL058-1
89-61-49-38		 COL058-2
89-61-48-37		 COL058-3
89-61-48-37		 COL059-1
89-61-42-33		 COL060-1
89-61-33-25
COL060-2
89-61-47-37		 COL060-3
89-61-46-38		 COL061-1
89-61-33-25		 COL061-2
89-61-46-37		 COL061-3
89-61-44-36		 COL062-1
89-61-31-24		 COL062-2
89-61-44-37
COL062-3
89-61-44-37		 COL063-1
89-61-29-23		 COL063-2
89-61-44-37		 COL063-3
89-61-44-37		 COL063-4
89-61-43-36		 COL063-5
89-61-42-36		 COL063-6
89-61-44-37
COL064-1
89-61-24-20		 COL064-10
89-61-42-36		 COL064-11
89-61-43-37		 COL064-2
89-61-41-35		 COL064-3
89-61-43-37		 COL064-4
89-61-42-36		 COL064-5
89-61-42-36
COL064-6
89-61-42-36		 COL064-7
89-61-43-37		 COL064-8
89-61-43-37		 COL064-9
89-61-42-36		 COL065-1
89-61-20-18		 COL066-1
89-61-8-8		 COL066-2
89-61-42-36
COL066-3
89-61-44-37		 COL067-1
89-64-0-0		 COL068-1
89-64-0-0		 COL069-1
89-64-0-0		 COL070-1
89-61-44-34		 COL071-1
89-64-9-8		 COL073-1
89-64-8-7
COL074-1
89-56-1-1		 COL074-2
89-56-1-1		 COL074-3
89-53-29-23		 COL075-1
89-53-25-20		 COL075-2
89-61-44-34		 COL076-1
89-53-7-6		 COL076-2
89-53-10-9
COL077-1
89-53-19-17		 COL078-1
89-53-15-14		 COL078-2
89-53-19-17		 COL079-1
89-53-8-8		 COL079-2
89-53-20-17		 COL080-1
89-53-16-14		 COL080-2
89-53-20-19
COL081-1
89-53-20-17		 COL081-2
89-53-24-21		 COL082-1
89-56-2-1		 COL083-1
89-61-55-39		 COL084-1
89-61-55-39		 COL085-1
89-61-56-40		 COL086-1
89-61-56-40
COL087-1
89-61-0-0		 COL088-1
89-53-30-22		 COL088-2
89-53-13-11		 COL089-1
89-53-30-22		 COL089-2
89-53-12-10		 COL090-1
89-53-30-23		 COL090-2
89-53-14-12
COL090-3
89-53-34-25		 COL091-1
89-53-33-25		 COL091-2
89-53-23-19		 COL092-1
89-53-27-21		 COL092-2
89-53-14-11		 COL093-1
89-53-27-21		 COL093-2
89-53-14-11
COL094-1
89-53-13-11		 COL094-2
89-53-7-5		 COL095-1
89-53-11-9		 COL095-2
89-53-7-5		 COL096-1
89-53-4-2		 COL096-2
89-54-1-1		 COL097-1
89-56-0-0
COL097-2
89-56-0-0		 COL098-1
89-54-44-31		 COL098-2
89-53-8-8		 COL099-1
89-54-43-31		 COL099-2
89-53-23-19		 COL100-1
89-54-41-31		 COL100-2
89-53-8-8
COL101-1
89-53-42-29		 COL101-2
89-54-49-35		 COL102-1
89-53-21-17		 COL102-2
89-54-48-33		 COL103-1
89-53-42-29		 COL103-2
89-54-49-35		 COL104-1
89-53-20-17
COL104-2
89-54-49-34		 COL105-1
89-53-39-27		 COL105-2
89-54-48-34		 COL106-1
89-53-5-5		 COL106-2
89-53-19-16		 COL107-1
89-53-0-0		 COL108-1
89-53-0-0
COL109-1
89-53-17-15		 COL109-2
89-54-46-32		 COL110-1
89-53-14-13		 COL110-2
89-54-46-31		 COL111-1
89-53-39-27		 COL111-2
89-54-49-34		 COL112-1
89-53-34-24
COL112-2
89-54-49-35		 COL113-1
89-53-40-27		 COL113-2
89-54-49-35		 COL114-1
89-53-38-27		 COL114-2
89-54-50-35		 COL115-1
89-53-34-24		 COL115-2
89-54-49-35
COL116-1
89-53-38-28		 COL116-2
89-54-49-35		 COL117-1
89-53-16-15		 COL117-2
89-54-46-32		 COL118-1
89-53-28-24		 COL118-2
89-54-48-34		 COL119-1
89-53-37-27
COL119-2
89-54-49-35		 COL120-1
89-53-38-26		 COL120-2
89-54-49-34		 COL121-1
89-53-12-11		 COL121-2
89-54-42-30		 COL122-1
89-53-39-27		 COL122-2
89-54-48-34
COL123-1
89-53-14-12		 COL123-2
89-54-46-33		 COL124-1
89-53-32-23		 COL124-2
89-54-49-35		 COL125+1
73-58-19-14		 COL125^1
73-17-0-0		 COL126^1
74-18-0-0
COL127+1
73-58-15-10		 COL128+1
73-58-15-10		 COL129+1
74-59-16-11		 COL130+1
74-59-18-13		 COL131+1
73-58-20-15		 COL132+1
73-58-16-11		 COL133+1
73-58-15-10
COL134+1
74-59-15-10		 COL135+1
73-58-15-10