TSTP Solution Domain: ALG

NumberOfSystems-NumberAttempted-NumberSuccessful-NumberOutputSolutions

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