TSTP Solution Domain: ALG

NumberOfSystems-NumberAttempted-NumberSuccessful-NumberOutputSolutions

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