TSTP Solution Domain: ALG

NumberOfSystems-NumberAttempted-NumberSuccessful-NumberOutputSolutions

ALG001-1
86-51-1-1
ALG001-2
86-51-0-0
ALG001-3
86-51-0-0
ALG001^5
85-18-18-11
ALG002-1
86-51-42-28
ALG003-1
86-51-13-12
ALG004-1
86-51-15-13
ALG005-1
86-59-29-25
ALG006-1
86-59-39-31
ALG007-1
86-59-36-28
ALG008-1
86-54-10-10
ALG008-10
74-53-8-8
ALG009-1
86-51-0-0
ALG010-1
86-51-4-3
ALG011-1
86-51-39-29
ALG012-1
86-51-28-22
ALG013-1
86-51-0-0
ALG014+1
86-58-47-35
ALG014^7
84-18-0-0
ALG015+1
86-58-33-25
ALG015^7
84-18-0-0
ALG016+1
86-58-33-25
ALG016^7
84-18-0-0
ALG017+1
86-58-48-35
ALG017^7
84-18-8-5
ALG018+1
86-58-39-31
ALG018^7
84-18-0-0
ALG019+1
86-58-38-30
ALG020+1
86-58-39-30
ALG020^7
84-18-0-0
ALG021+1
86-58-37-28
ALG021^7
84-18-0-0
ALG022+1
86-58-35-26
ALG022^7
84-18-0-0
ALG023+1
86-58-34-25
ALG023^7
84-18-0-0
ALG024+1
86-58-27-20
ALG025+1
86-58-45-33
ALG026+1
86-58-29-21
ALG027+1
86-58-25-17
ALG028+1
86-58-45-33
ALG029+1
86-58-41-33
ALG030+1
86-58-41-33
ALG030-10
74-51-34-30
ALG031+1
86-58-34-26
ALG032+1
86-58-33-25
ALG033+1
86-58-34-25
ALG034+1
86-58-14-8
ALG035+1
86-58-13-8
ALG036+1
86-58-47-35
ALG037+1
86-58-35-27
ALG038+1
86-58-34-26
ALG039+1
86-58-48-35
ALG040+1
86-58-39-31
ALG041+1
86-58-38-30
ALG042+1
86-58-39-30
ALG043+1
86-58-43-32
ALG044+1
86-58-40-29
ALG045+1
86-58-34-26
ALG046+1
86-58-30-22
ALG047+1
86-58-16-11
ALG048+1
86-58-27-18
ALG049+1
86-58-26-18
ALG050+1
86-58-20-13
ALG051+1
86-58-28-19
ALG052+1
86-58-16-9
ALG053+1
86-58-22-15
ALG054+1
86-58-40-30
ALG055+1
86-58-31-22
ALG056+1
86-58-29-22
ALG057+1
86-58-25-19
ALG058+1
86-58-31-21
ALG059+1
86-58-30-21
ALG060+1
86-58-27-20
ALG061+1
86-58-36-28
ALG062+1
86-58-32-22
ALG063+1
86-58-33-24
ALG064+1
86-58-30-21
ALG065+1
86-58-40-29
ALG066+1
86-58-34-24
ALG067+1
86-58-36-26
ALG068+1
86-58-35-25
ALG069+1
86-58-41-31
ALG069-10
74-51-33-29
ALG070+1
86-58-40-32
ALG071+1
86-58-32-26
ALG072+1
86-58-23-18
ALG073+1
86-58-39-31
ALG074+1
86-58-33-25
ALG075+1
86-58-35-27
ALG076+1
86-58-35-27
ALG077+1
86-58-36-28
ALG078+1
86-58-35-27
ALG079+1
86-58-35-27
ALG080+1
86-58-35-27
ALG081+1
86-58-36-28
ALG082+1
86-58-35-27
ALG083+1
86-58-35-27
ALG084+1
86-58-35-27
ALG085+1
86-58-35-27
ALG086+1
86-58-36-28
ALG087+1
86-58-37-29
ALG088+1
86-58-37-29
ALG089+1
86-58-36-28
ALG090+1
86-58-41-30
ALG091+1
86-58-40-28
ALG092+1
86-58-38-27
ALG093+1
86-58-36-26
ALG094+1
86-58-42-30
ALG095+1
86-58-37-26
ALG096+1
86-58-24-17
ALG097+1
86-58-27-19
ALG098+1
86-58-16-10
ALG099+1
86-58-25-17
ALG100+1
86-58-19-12
ALG101+1
86-58-17-9
ALG102+1
86-58-28-21
ALG103+1
86-58-26-20
ALG104+1
86-58-21-14
ALG105+1
86-58-32-24
ALG106+1
86-58-28-21
ALG107+1
86-58-31-23
ALG108+1
86-58-25-19
ALG109+1
86-58-24-18
ALG110+1
86-58-34-25
ALG111+1
86-58-36-27
ALG112+1
86-58-30-22
ALG113+1
86-58-36-27
ALG114+1
86-58-35-26
ALG115+1
86-58-31-23
ALG116+1
86-58-32-24
ALG117+1
86-58-34-26
ALG118+1
86-58-32-23
ALG119+1
86-58-28-20
ALG120+1
86-58-28-21
ALG121+1
86-58-34-25
ALG122+1
86-58-29-20
ALG123+1
86-58-32-23
ALG124+1
86-58-31-23
ALG125+1
86-58-33-24
ALG126+1
86-58-31-23
ALG127+1
86-58-27-20
ALG128+1
86-58-25-18
ALG129+1
86-58-24-18
ALG130+1
86-58-30-22
ALG131+1
86-58-20-12
ALG132+1
86-58-22-15
ALG133+1
86-58-29-20
ALG134+1
86-58-20-12
ALG135+1
86-58-29-22
ALG136+1
86-58-30-24
ALG137+1
86-58-23-16
ALG138+1
86-58-41-31
ALG139+1
86-58-34-26
ALG140+1
86-58-19-13
ALG141+1
86-58-23-16
ALG142+1
86-58-31-23
ALG143+1
86-58-20-13
ALG144+1
86-58-17-10
ALG145+1
86-58-25-18
ALG146+1
86-58-27-20
ALG147+1
86-58-26-17
ALG148+1
86-58-28-21
ALG149+1
86-58-23-16
ALG150+1
86-58-22-15
ALG151+1
86-58-21-14
ALG152+1
86-58-28-20
ALG153+1
86-58-25-17
ALG154+1
86-58-25-19
ALG155+1
86-58-26-19
ALG156+1
86-58-26-19
ALG157+1
86-58-19-11
ALG158+1
86-58-26-18
ALG159+1
86-58-26-18
ALG160+1
86-58-26-19
ALG161+1
86-58-22-14
ALG162+1
86-58-27-19
ALG163+1
86-58-21-13
ALG164+1
86-58-20-13
ALG165+1
86-58-20-13
ALG166+1
86-58-29-22
ALG167+1
86-58-29-22
ALG168+1
86-58-31-23
ALG169+1
86-58-31-23
ALG170+1
86-58-33-25
ALG171+1
86-58-47-34
ALG172+1
86-58-39-30
ALG173+1
86-58-47-34
ALG174+1
86-58-39-30
ALG175+1
86-58-41-32
ALG176+1
86-58-41-31
ALG177+1
86-58-40-30
ALG178+1
86-58-40-32
ALG179+1
86-58-40-31
ALG180+1
86-58-35-27
ALG181+1
86-58-35-27
ALG182+1
86-58-35-27
ALG183+1
86-58-35-27
ALG184+1
86-58-35-27
ALG185+1
86-58-32-24
ALG186+1
86-58-38-28
ALG187+1
86-58-38-28
ALG188+1
86-58-41-30
ALG189+1
86-58-41-30
ALG190+1
86-58-18-11
ALG191+1
86-58-17-9
ALG192+1
86-58-29-20
ALG193+1
86-58-30-22
ALG194+1
86-58-44-32
ALG195+1
86-58-22-15
ALG196+1
86-58-17-12
ALG197+1
86-58-22-16
ALG198+1
86-58-49-35
ALG199+1
86-58-45-32
ALG200+1
86-58-47-34
ALG201+1
86-58-46-36
ALG202+1
86-58-46-36
ALG203+1
86-58-39-30
ALG204+1
86-58-37-29
ALG205+1
86-58-34-26
ALG206+1
86-58-35-27
ALG207+1
86-58-34-25
ALG208+1
86-58-38-28
ALG209+1
86-58-35-26
ALG210+1
86-58-35-29
ALG210+2
86-58-37-30
ALG211+1
86-58-51-39
ALG212+1
86-58-1-1
ALG212-10
65-47-1-1
ALG213+1
86-58-1-1
ALG213-10
65-47-0-0
ALG214+1
86-58-32-24
ALG214+2
86-58-5-5
ALG214+3
86-58-4-4
ALG214+4
86-58-3-3
ALG215+1
86-58-30-24
ALG215+2
86-58-6-6
ALG215+3
86-58-5-5
ALG215+4
86-58-5-5
ALG216+1
86-58-36-28
ALG216+2
86-58-11-11
ALG216+3
86-58-9-8
ALG216+4
86-58-6-6
ALG217+1
86-58-4-4
ALG217+2
86-58-1-1
ALG217+3
86-58-1-1
ALG217+4
86-61-0-0
ALG218+1
86-58-22-18
ALG218+2
86-58-1-1
ALG218+3
86-58-0-0
ALG218+4
86-58-3-3
ALG219+1
86-58-35-26
ALG219+2
86-58-14-14
ALG219+3
86-58-10-10
ALG219+4
86-58-10-10
ALG220+1
86-58-36-26
ALG220+2
86-58-4-4
ALG220+3
86-58-5-5
ALG220+4
86-58-5-5
ALG221+1
86-61-0-0
ALG221+2
86-61-0-0
ALG221+3
86-61-0-0
ALG221+4
86-61-0-0
ALG222+1
86-58-25-18
ALG222+2
86-58-5-5
ALG222+3
86-58-6-6
ALG222+4
86-58-5-5
ALG223+1
86-58-22-17
ALG223+2
86-58-4-4
ALG223+3
86-58-3-3
ALG223+4
86-58-2-2
ALG224+1
86-58-19-14
ALG224+2
86-58-4-4
ALG224+3
86-58-3-3
ALG224+4
86-58-2-2
ALG225+1
86-58-17-13
ALG225+2
86-58-2-2
ALG225+3
86-58-0-0
ALG225+4
86-58-0-0
ALG226+1
86-58-18-13
ALG226+2
86-58-12-12
ALG226+3
86-58-8-8
ALG226+4
86-58-11-11
ALG227+1
86-58-40-31
ALG227+2
86-58-7-7
ALG227+3
86-58-6-6
ALG227+4
86-58-5-5
ALG228+1
86-58-0-0
ALG228+2
86-58-0-0
ALG228+3
86-58-0-0
ALG228+4
86-58-0-0
ALG229+1
86-58-0-0
ALG229+2
86-61-0-0
ALG229+3
86-61-0-0
ALG229+4
86-61-0-0
ALG230+1
86-58-0-0
ALG230+2
86-61-0-0
ALG230+3
86-61-0-0
ALG230+4
86-62-0-0
ALG231+1
86-58-0-0
ALG231+2
86-58-2-2
ALG231+3
86-58-2-2
ALG231+4
86-59-2-2
ALG232+1
86-58-0-0
ALG232+2
86-58-1-1
ALG232+3
86-58-0-0
ALG232+4
86-58-0-0
ALG233+1
86-58-0-0
ALG233+2
86-61-0-0
ALG233+3
86-61-0-0
ALG233+4
86-61-0-0
ALG234+1
86-58-0-0
ALG234+2
86-58-0-0
ALG234+3
86-58-0-0
ALG234+4
86-58-0-0
ALG235-1
84-57-41-32
ALG236-1
84-57-33-28
ALG237-1
84-57-0-0
ALG238-1
84-57-0-0
ALG239-1
84-57-1-1
ALG240-1
84-57-20-16
ALG241-1
84-57-0-0
ALG242-1
84-57-0-0
ALG243-1
84-57-0-0
ALG244-1
84-57-0-0
ALG245-1
84-57-23-19
ALG246-1
84-57-8-8
ALG247^2
85-18-8-5
ALG248^1
85-18-0-0
ALG248^2
85-20-2-1
ALG248^3
85-18-15-9
ALG249^3
85-18-15-9
ALG250^3
85-18-16-10
ALG251^1
85-18-3-3
ALG251^2
85-18-9-6
ALG251^3
85-18-8-6
ALG252^1
85-18-0-0
ALG252^2
85-18-0-0
ALG253^1
85-18-8-6
ALG253^2
85-18-14-9
ALG254^1
85-18-18-11
ALG254^2
85-18-18-11
ALG255^1
85-18-18-11
ALG256^1
85-18-14-9
ALG256^2
85-18-16-9
ALG257^1
85-18-15-10
ALG257^2
85-18-17-10
ALG258^1
85-18-10-8
ALG258^2
85-18-9-7
ALG259^1
85-18-15-10
ALG259^2
85-18-16-10
ALG260^1
85-18-15-10
ALG260^2
85-18-17-10
ALG261^1
85-18-14-9
ALG261^2
85-18-17-10
ALG262^2
85-18-11-8
ALG263^1
85-18-15-9
ALG263^3
85-18-15-9
ALG264^1
85-18-14-9
ALG264^3
85-18-14-9
ALG265^2
85-18-6-3
ALG266^1
85-18-0-0
ALG266^2
85-18-11-8
ALG267^1
85-18-9-5
ALG267^2
85-18-12-8
ALG268^1
85-18-0-0
ALG268^2
85-18-11-8
ALG268^3
85-18-9-6
ALG268^4
85-18-11-8
ALG268^5
85-18-0-0
ALG268^6
85-18-0-0
ALG269^1
85-18-0-0
ALG269^2
85-18-2-1
ALG269^3
85-18-4-3
ALG269^4
85-20-1-1
ALG270^5
85-18-17-11
ALG271^5
85-18-10-8
ALG272^5
85-18-9-7
ALG273^5
85-18-8-6
ALG274^5
85-18-9-6
ALG275^5
85-20-2-1
ALG276^5
85-18-8-6
ALG277^5
85-18-12-8
ALG278^5
85-18-12-8
ALG279^5
85-18-13-8
ALG280^5
85-18-13-9
ALG281^5
85-18-15-9
ALG282^5
85-18-12-8
ALG283^5
85-18-13-9
ALG284^5
85-18-13-9
ALG285^5
85-18-11-8
ALG286^5
85-18-17-10
ALG287^5
85-18-15-10
ALG288^5
85-20-0-0
ALG289^5
85-20-0-0
ALG290^5
85-18-8-5
ALG291^5
85-20-0-0
ALG292^5
85-18-5-2
ALG293^5
85-20-0-0
ALG294^5
85-18-9-6
ALG295^5
85-20-0-0
ALG296^5
85-20-0-0
ALG297^5
85-20-0-0
ALG298^5
85-18-14-9
ALG299-1
84-60-20-14
ALG300-1
84-60-19-14
ALG301-1
84-60-0-0
ALG302-1
84-60-20-14
ALG303-1
84-52-3-3
ALG304-1
84-52-3-3
ALG305-1
84-52-6-6
ALG306-1
84-52-6-6
ALG307-1
84-52-6-6
ALG308-1
84-52-4-4
ALG309-1
84-52-4-4
ALG310-1
84-52-2-2
ALG311-1
84-52-3-3
ALG312-1
84-52-3-3
ALG313-1
84-52-4-4
ALG314-1
84-52-3-3
ALG315-1
84-52-2-2
ALG316-1
84-52-5-5
ALG317-1
84-52-2-2
ALG318-1
84-52-5-5
ALG319-1
84-52-5-5
ALG320-1
84-52-2-2
ALG321-1
84-52-2-2
ALG322-1
84-52-1-1
ALG323-1
84-52-4-4
ALG324-1
84-52-1-1
ALG325-1
84-52-4-4
ALG326-1
84-52-4-4
ALG327-1
84-52-3-3
ALG328-1
84-52-1-1
ALG329-1
84-52-1-1
ALG330-1
84-52-1-1
ALG331-1
84-52-4-4
ALG332-1
84-52-3-3
ALG333-1
84-52-1-1
ALG334-1
84-52-3-3
ALG335-1
84-49-1-0
ALG336-1
84-49-1-0
ALG337-1
84-49-12-12
ALG338-1
84-49-1-0
ALG339-1
84-49-22-18
ALG340-1
84-49-24-21
ALG341-1
84-49-35-23
ALG342-1
84-49-22-17
ALG343-1
84-49-0-0
ALG344-1
84-49-0-0
ALG345-1
84-49-0-0
ALG346-1
84-49-6-4
ALG347-1
84-49-21-17
ALG348-1
84-49-33-22
ALG349-1
84-49-10-9
ALG350-1
84-49-39-27
ALG351-1
84-49-0-0
ALG352-1
84-49-0-0
ALG353-1
84-49-37-24
ALG354-1
84-49-36-24
ALG355-1
84-49-6-4
ALG356-1
84-49-18-15
ALG357-1
84-49-0-0
ALG358-1
84-49-0-0
ALG359-1
84-49-17-14
ALG360-1
84-49-8-6
ALG361-1
84-49-37-25
ALG362-1
84-49-26-20
ALG363-1
84-49-33-22
ALG364-1
84-49-0-0
ALG365-1
84-49-42-28
ALG366-1
84-49-1-0
ALG367-1
84-49-20-15
ALG368-1
84-49-22-19
ALG369-1
84-49-35-23
ALG370-1
84-49-31-22
ALG371-1
84-49-35-23
ALG372-1
84-49-32-25
ALG373-1
84-49-31-23
ALG374-1
84-49-14-11
ALG375-1
84-49-16-14
ALG376-1
84-49-27-19
ALG377-1
84-49-34-24
ALG378-1
84-49-8-6
ALG379-1
84-49-24-20
ALG380-1
84-49-18-18
ALG381-1
84-49-0-0
ALG382-1
84-49-36-25
ALG383-1
84-49-30-20
ALG384-1
84-49-37-25
ALG385-1
84-49-13-11
ALG386-1
84-49-28-21
ALG387-1
84-49-23-19
ALG388-1
84-49-0-0
ALG389-1
84-49-0-0
ALG390-1
84-49-0-0
ALG391-1
84-49-30-23
ALG392-1
84-49-0-0
ALG393-1
84-49-0-0
ALG394-1
84-49-0-0
ALG395-1
84-49-31-24
ALG396-1
84-49-38-27
ALG397-1
84-49-41-27
ALG398-1
84-49-19-16
ALG399-1
84-49-39-27
ALG400-1
84-49-24-20
ALG401-1
84-49-17-15
ALG402-1
84-49-20-20
ALG403-1
84-49-0-0
ALG404-1
84-49-18-15
ALG405-1
84-49-35-25
ALG406-1
84-49-31-22
ALG407-1
84-49-22-13
ALG408-1
84-49-7-5
ALG409-1
84-49-16-11
ALG410-1
84-49-38-28
ALG411-1
84-49-0-0
ALG412-1
84-49-8-8
ALG413-1
84-49-14-12
ALG414-1
84-49-38-26
ALG415-1
84-49-0-0
ALG416-1
84-49-0-0
ALG417-1
84-49-31-24
ALG418-1
84-49-0-0
ALG419-1
84-49-10-8
ALG420-1
84-49-0-0
ALG421-1
84-49-17-14
ALG422-1
84-49-0-0
ALG423-1
84-49-0-0
ALG424-1
84-49-29-20
ALG425-1
84-49-40-27
ALG426-1
84-49-11-11
ALG427-1
84-49-10-10
ALG428-1
84-49-23-20
ALG429-1
84-49-22-17
ALG430-1
84-49-0-0
ALG431-1
84-49-9-9
ALG432-1
84-49-22-19
ALG433-1
84-49-0-0
ALG434-1
84-49-38-26
ALG435-1
84-49-0-0
ALG436-1
84-49-36-23
ALG437-1
84-49-9-8
ALG438-1
84-49-35-25
ALG439-1
84-49-29-22
ALG440-1
83-49-20-17
ALG441-1
83-49-9-9
ALG441-10
74-51-3-3
ALG442-1
83-49-2-2
ALG443+1
75-59-17-14
ALG444^1
76-19-6-3