TSTP Solution Domain: SEV

NumberOfSystems-NumberAttempted-NumberSuccessful-NumberOutputSolutions
SEV000^5
99-22-16-11		 SEV001^5
99-22-12-9		 SEV002^5
99-22-17-11		 SEV003^5
99-22-4-2		 SEV004^5
99-22-4-2		 SEV005^5
99-22-4-2		 SEV006^5
99-22-16-12
SEV007^5
99-24-0-0		 SEV008^5
99-22-19-12		 SEV009^5
99-22-19-12		 SEV010^5
99-22-12-10		 SEV011^5
99-22-14-11		 SEV012^5
99-22-20-13		 SEV013^5
99-22-21-13
SEV014^5
99-22-21-14		 SEV015^5
99-22-21-14		 SEV016^5
99-23-4-4		 SEV017^5
99-22-21-14		 SEV018^5
99-23-5-5		 SEV019^5
99-22-18-13		 SEV020^5
99-24-4-3
SEV021^5
99-22-4-4		 SEV021^6
98-22-7-6		 SEV021^7
98-22-1-1		 SEV022^5
99-24-0-0		 SEV023^5
99-23-4-4		 SEV024^5
99-22-1-1		 SEV025^5
99-24-1-1
SEV026^5
99-24-0-0		 SEV027^5
99-23-2-2		 SEV028^5
99-22-17-12		 SEV029^5
99-24-5-3		 SEV030^5
99-24-0-0		 SEV031^5
99-22-19-12		 SEV032^5
99-23-2-2
SEV033^5
99-24-0-0		 SEV034^5
99-22-19-13		 SEV035^5
99-24-0-0		 SEV037^5
99-22-15-10		 SEV038^5
99-24-0-0		 SEV039^5
99-24-0-0		 SEV040^5
99-22-18-12
SEV041^5
99-22-11-8		 SEV042^5
99-22-0-0		 SEV043^5
99-22-21-14		 SEV044^5
99-22-19-12		 SEV045^5
99-22-18-13		 SEV046^5
99-22-17-12		 SEV047^5
99-22-21-14
SEV048^5
99-22-19-13		 SEV049^5
99-22-20-13		 SEV050^5
99-22-3-2		 SEV051^5
99-22-21-14		 SEV052^5
99-22-14-11		 SEV053^5
99-22-21-14		 SEV054^5
99-22-16-11
SEV055^5
99-22-17-11		 SEV056^5
99-22-19-13		 SEV057^5
99-22-18-12		 SEV058^5
99-22-16-11		 SEV059^5
99-22-21-14		 SEV060^5
99-22-19-13		 SEV061^5
99-22-20-13
SEV062^5
99-22-20-13		 SEV063^5
99-22-19-12		 SEV064^5
99-22-11-9		 SEV065^5
99-22-18-12		 SEV066^5
99-22-12-9		 SEV067^5
99-22-19-13		 SEV068^5
99-22-1-0
SEV069^6
99-22-1-0		 SEV070^5
99-22-19-12		 SEV071^5
99-22-4-1		 SEV072^5
99-22-7-5		 SEV074^5
99-22-8-6		 SEV075^5
99-22-0-0		 SEV076^5
99-22-21-14
SEV079^5
99-22-20-13		 SEV080^5
99-22-17-11		 SEV081^5
99-22-18-12		 SEV082^5
99-22-14-11		 SEV083^5
99-22-14-11		 SEV084^5
99-22-13-11		 SEV085^5
99-22-12-9
SEV086^5
99-22-15-11		 SEV087^5
99-22-13-10		 SEV088^5
99-22-18-12		 SEV089^5
99-22-9-8		 SEV090^5
99-24-1-1		 SEV091^5
99-22-18-12		 SEV092^5
99-24-0-0
SEV093^5
99-23-0-0		 SEV094^5
99-22-10-9		 SEV095^5
99-22-15-10		 SEV096^5
99-22-20-13		 SEV097^5
99-22-21-14		 SEV098^5
99-24-2-1		 SEV099^5
99-24-0-0
SEV100^5
99-22-12-10		 SEV101^5
99-22-12-10		 SEV102^5
99-23-3-3		 SEV103^5
99-24-0-0		 SEV104^5
99-22-20-12		 SEV105^5
99-24-0-0		 SEV106^5
99-22-4-4
SEV107^5
99-22-20-13		 SEV108^5
99-22-13-8		 SEV109^5
99-22-19-13		 SEV113^5
99-22-3-1		 SEV114^5
99-24-0-0		 SEV115^5
99-24-0-0		 SEV116^5
99-22-18-12
SEV117^5
99-24-0-0		 SEV118^5
99-24-0-0		 SEV119^5
99-22-15-11		 SEV120^5
99-22-19-12		 SEV121^5
99-22-17-11		 SEV122^5
99-22-21-14		 SEV123^5
99-22-16-11
SEV124^5
99-22-11-8		 SEV125^5
99-23-5-5		 SEV126^5
99-22-19-13		 SEV127^5
99-22-20-13		 SEV128^5
99-22-14-10		 SEV129^5
99-22-12-8		 SEV130^5
99-23-4-4
SEV131^5
99-22-21-14		 SEV132^5
99-24-0-0		 SEV133^5
99-24-0-0		 SEV134^5
99-22-21-14		 SEV135^5
99-22-21-14		 SEV136^5
99-22-20-13		 SEV137^5
99-22-20-13
SEV138^5
99-22-20-13		 SEV140^5
99-22-19-13		 SEV141^5
99-22-11-8		 SEV143^5
99-22-0-0		 SEV144^5
99-23-0-0		 SEV146^5
99-22-19-13		 SEV148^5
99-22-14-9
SEV149^5
99-22-18-12		 SEV150^5
99-22-6-6		 SEV152^5
99-22-14-10		 SEV153^5
99-22-14-10		 SEV154^5
99-22-14-10		 SEV155^5
99-22-13-9		 SEV156^5
99-22-14-10
SEV157^5
99-22-13-9		 SEV158^5
99-22-15-11		 SEV159^5
99-22-21-14		 SEV160^5
99-22-21-14		 SEV161^5
99-22-21-14		 SEV162^5
99-22-16-10		 SEV163^5
99-22-21-14
SEV164^5
99-22-16-12		 SEV165^5
99-22-7-6		 SEV166^5
99-22-18-12		 SEV167^5
99-22-13-9		 SEV168^5
99-22-21-14		 SEV169^5
99-22-19-12		 SEV170^5
99-22-4-3
SEV171^5
99-22-12-9		 SEV172^5
99-24-4-3		 SEV173^5
99-24-4-3		 SEV174^5
99-22-9-6		 SEV175^5
99-22-18-12		 SEV176^5
99-22-18-12		 SEV177^5
99-22-18-11
SEV179^5
99-22-18-11		 SEV180^5
99-24-6-3		 SEV181^5
99-22-18-11		 SEV182^5
99-24-0-0		 SEV183^5
99-22-0-0		 SEV184^5
99-24-0-0		 SEV185^5
99-22-20-13
SEV186^5
99-22-20-13		 SEV187^5
99-22-20-13		 SEV188^5
99-22-20-13		 SEV189^5
99-22-18-11		 SEV190^5
99-22-11-8		 SEV191^5
99-22-16-11		 SEV192^5
99-22-9-4
SEV193^5
99-24-0-0		 SEV194^5
99-22-20-13		 SEV195^5
99-22-14-11		 SEV196^5
99-22-17-11		 SEV197^5
99-22-20-14		 SEV198^5
99-24-2-2		 SEV199^5
99-22-9-7
SEV200^5
99-22-20-13		 SEV203^5
99-22-6-5		 SEV204^5
99-22-6-5		 SEV205^5
99-24-0-0		 SEV206^5
99-23-1-1		 SEV207^5
99-23-1-1		 SEV208^5
99-22-13-9
SEV209^5
99-24-0-0		 SEV210^5
99-22-11-7		 SEV211^5
99-24-0-0		 SEV212^5
99-22-11-7		 SEV213^5
99-24-0-0		 SEV214^5
99-22-19-12		 SEV215^5
99-24-0-0
SEV216^5
99-24-0-0		 SEV217^5
99-24-0-0		 SEV218^5
99-22-18-13		 SEV219^5
99-24-0-0		 SEV220^5
99-22-20-13		 SEV221^5
99-22-18-12		 SEV222^5
99-22-17-12
SEV223^5
99-22-14-9		 SEV224^5
99-22-8-4		 SEV225^5
99-22-21-14		 SEV226^5
99-24-2-1		 SEV227^5
99-22-19-12		 SEV228^5
99-22-19-13		 SEV229^5
99-22-19-11
SEV230^5
99-22-21-14		 SEV231^5
99-22-19-12		 SEV232^5
99-22-21-14		 SEV233^5
99-22-20-12		 SEV234^5
99-22-0-0		 SEV235^5
99-22-20-12		 SEV236^5
99-22-19-13
SEV237^5
99-22-0-0		 SEV238^5
99-22-17-10		 SEV239^5
99-22-18-12		 SEV240^5
99-22-21-14		 SEV241^5
99-22-20-13		 SEV242^5
99-22-16-12		 SEV243^5
99-22-13-9
SEV244^6
99-22-12-9		 SEV245^5
99-22-18-12		 SEV245^6
99-22-18-12		 SEV246^5
99-22-13-10		 SEV246^6
99-22-13-9		 SEV248^5
99-23-5-5		 SEV249^5
99-22-0-0
SEV250^5
99-24-0-0		 SEV251^5
99-24-4-3		 SEV252^5
99-22-13-9		 SEV253^5
99-22-0-0		 SEV254^5
99-22-14-9		 SEV256^5
99-22-17-11		 SEV257^5
99-22-16-11
SEV258^5
99-22-18-12		 SEV259^5
99-22-18-12		 SEV260^5
99-22-13-9		 SEV261^5
99-22-15-10		 SEV262^5
99-22-0-0		 SEV263^5
99-24-0-0		 SEV264^5
99-24-0-0
SEV265^5
99-24-0-0		 SEV266^5
99-22-0-0		 SEV267^5
99-22-14-8		 SEV268^5
99-24-0-0		 SEV269^5
99-24-0-0		 SEV270^5
99-24-0-0		 SEV271^5
99-24-0-0
SEV272^5
99-22-17-12		 SEV273^5
99-22-15-10		 SEV274^5
99-24-0-0		 SEV275^5
99-24-0-0		 SEV276^5
99-24-2-2		 SEV277^5
99-24-0-0		 SEV278^5
99-24-0-0
SEV279^5
99-24-0-0		 SEV280^5
99-24-0-0		 SEV281^5
99-24-0-0		 SEV282^5
98-21-17-12		 SEV285^5
99-22-20-13		 SEV286^5
99-22-21-14		 SEV288^5
99-22-19-13
SEV289^5
98-21-16-11		 SEV290^5
99-22-19-13		 SEV291^5
98-21-5-3		 SEV292^5
98-21-13-9		 SEV293^5
98-21-12-9		 SEV294^5
98-21-0-0		 SEV295^5
98-21-5-4
SEV296^5
98-23-1-1		 SEV297^5
98-23-0-0		 SEV298^5
99-24-2-1		 SEV299^5
98-21-16-11		 SEV300^5
98-21-12-10		 SEV301^5
98-23-0-0		 SEV302^5
98-21-14-9
SEV303^5
98-21-14-9		 SEV304^5
98-23-4-3		 SEV305^5
99-22-1-0		 SEV305^6
99-22-1-0		 SEV306^5
99-22-1-0		 SEV308^5
99-22-1-0		 SEV309^5
99-22-1-0
SEV310^5
99-22-16-12		 SEV311^5
99-22-17-12		 SEV312^5
99-22-1-0		 SEV313^5
99-24-0-0		 SEV314^5
99-24-0-0		 SEV315^5
99-24-0-0		 SEV316^5
99-24-0-0
SEV317^5
99-22-7-6		 SEV318^5
99-22-6-6		 SEV319^5
99-22-6-6		 SEV319^6
99-22-6-6		 SEV321^5
99-23-6-6		 SEV322^5
99-24-6-3		 SEV323^5
99-24-6-3
SEV324^5
99-24-6-3		 SEV325^5
99-24-6-3		 SEV326^5
99-24-6-3		 SEV327^5
99-24-6-3		 SEV328^5
99-24-6-3		 SEV329^5
99-24-6-3		 SEV330^5
99-24-6-3
SEV331^5
99-24-6-3		 SEV332^5
99-24-6-3		 SEV333^5
99-24-6-3		 SEV334^5
99-24-6-3		 SEV335^5
99-24-6-3		 SEV336^5
99-24-6-3		 SEV337^5
99-24-6-3
SEV338^5
99-24-6-3		 SEV339^5
99-24-6-3		 SEV340^5
99-24-6-3		 SEV341^5
99-24-6-3		 SEV342^5
99-24-6-3		 SEV343^5
99-24-6-3		 SEV344^5
99-24-6-3
SEV345^5
99-24-6-3		 SEV346^5
99-24-6-3		 SEV347^5
99-24-6-3		 SEV348^5
99-24-5-3		 SEV349^5
99-24-5-3		 SEV350^5
99-24-6-3		 SEV351^5
99-24-6-3
SEV352^5
99-24-6-3		 SEV354^5
99-24-4-3		 SEV355^5
99-24-6-3		 SEV356^5
99-24-6-3		 SEV357^5
99-24-5-3		 SEV358^5
99-24-6-3		 SEV359^5
99-24-4-3
SEV360^5
99-24-6-3		 SEV361^5
99-24-6-3		 SEV362^5
99-24-6-3		 SEV363^5
99-24-6-3		 SEV364^5
99-24-6-3		 SEV365^5
99-24-6-3		 SEV366^5
99-24-6-3
SEV368^5
99-24-6-3		 SEV369^5
99-24-6-3		 SEV370^5
99-24-6-3		 SEV371^5
99-24-6-3		 SEV372^5
99-24-6-3		 SEV373^5
99-24-6-3		 SEV374^5
99-24-4-3
SEV375^5
99-24-4-3		 SEV376^5
99-24-6-3		 SEV377^5
99-24-6-3		 SEV378^5
99-24-4-3		 SEV379^5
99-24-6-3		 SEV380^5
99-24-4-3		 SEV381^5
99-24-4-3
SEV382^5
99-22-14-10		 SEV383^5
99-22-19-13		 SEV384^5
99-22-14-10		 SEV385^5
99-22-18-12		 SEV386^5
99-22-19-12		 SEV387^5
99-22-19-11		 SEV388^5
99-22-21-14
SEV389^5
99-22-20-13		 SEV390^5
99-22-20-13		 SEV391^5
99-22-19-12		 SEV392^5
99-22-20-13		 SEV393^5
99-22-20-13		 SEV394^5
99-22-19-12		 SEV396^5
99-22-19-12
SEV397^5
99-22-21-13		 SEV398^5
99-22-20-13		 SEV399^5
99-22-1-0		 SEV400^5
99-22-8-6		 SEV401^5
99-22-20-13		 SEV402^5
99-22-0-0		 SEV403^5
99-22-0-0
SEV404^5
99-22-0-0		 SEV405^5
99-22-20-14		 SEV406^5
99-22-18-11		 SEV408^5
99-22-20-14		 SEV409^5
99-22-19-13		 SEV410^5
99-22-21-14		 SEV411^5
99-22-21-14
SEV412^5
99-22-21-14		 SEV413^5
99-22-21-14		 SEV414^5
99-22-2-1		 SEV416^5
99-22-21-14		 SEV417^5
99-22-17-11		 SEV418^5
99-24-0-0		 SEV419^5
99-24-0-0
SEV420^1
99-22-14-10		 SEV421_1
99-15-12-11		 SEV422_1
99-15-9-9		 SEV423_1
99-15-2-2		 SEV424_1
99-15-4-4		 SEV425_1
99-15-4-4		 SEV426_1
99-15-2-2
SEV427^1
99-22-20-13		 SEV428^1
99-22-16-11		 SEV429^1
99-22-10-9		 SEV430^1
99-22-13-9		 SEV431^1
99-22-12-10		 SEV432^1
99-22-16-12		 SEV433^1
99-22-17-10
SEV434^1
99-22-17-11		 SEV434_8
87-6-5-5		 SEV435+1
89-65-0-0		 SEV436-1
89-51-24-20		 SEV437+1
89-65-0-0		 SEV438+1
89-65-0-0		 SEV439+1
89-65-0-0
SEV440^1
90-23-5-4		 SEV441^1
90-23-5-4		 SEV442^1
89-1-0-0		 SEV443^1
89-1-0-0		 SEV444^1
89-9-7-5		 SEV445^1
89-9-7-4		 SEV446^1
89-9-8-5
SEV447^1
89-9-8-5		 SEV448^1
89-9-6-3		 SEV449^1
89-9-8-5		 SEV450^1
89-9-5-3		 SEV451^1
89-9-6-3		 SEV452^1
89-9-5-3		 SEV453^1
89-9-5-3
SEV454^1
89-9-5-3		 SEV455^1
89-9-3-1		 SEV456^1
89-9-0-0		 SEV457^1
89-9-8-5		 SEV458^1
89-9-5-3		 SEV459^1
89-9-8-5		 SEV460^1
89-9-5-3
SEV461^1
89-9-6-3		 SEV462^1
89-9-1-1		 SEV463^1
89-9-5-3		 SEV464^1
89-9-0-0		 SEV465^1
89-9-8-5		 SEV466^1
89-9-3-3		 SEV467^1
89-9-2-2
SEV468^1
89-9-0-0		 SEV469^1
89-9-0-0		 SEV470^1
89-9-0-0		 SEV471^1
89-9-3-3		 SEV472^1
89-9-8-5		 SEV473^1
89-9-0-0		 SEV474^1
89-9-2-2
SEV475^1
89-9-5-3		 SEV476^1
89-9-8-5		 SEV477^1
89-9-0-0		 SEV478^1
89-9-6-3		 SEV479^1
89-9-0-0		 SEV480^1
89-9-2-2		 SEV481^1
89-9-5-3
SEV482^1
89-9-3-3		 SEV483^1
89-9-0-0		 SEV484^1
89-9-0-0		 SEV485^1
89-9-7-4		 SEV486^1
89-9-8-5		 SEV487^1
89-9-7-4		 SEV488^1
89-9-5-3
SEV489^1
89-9-7-4		 SEV490^1
89-9-0-0		 SEV491^1
89-9-5-3		 SEV492^1
89-9-8-5		 SEV493^1
89-9-8-5		 SEV494^1
89-9-9-6		 SEV495^1
89-9-0-0
SEV496^1
89-9-0-0		 SEV497^1
89-9-6-3		 SEV498^1
89-9-6-4		 SEV499^1
89-9-0-0		 SEV500^1
89-9-0-0		 SEV501^1
89-9-1-0		 SEV502^1
89-9-6-3
SEV503^1
89-9-2-2		 SEV504^1
89-9-8-5		 SEV505^1
89-9-6-3		 SEV506^1
89-9-8-5		 SEV507^1
89-9-6-3		 SEV508^1
89-9-6-3		 SEV509^1
89-9-0-0
SEV510^1
89-9-8-5		 SEV511^1
89-9-0-0		 SEV512^1
89-9-6-3		 SEV513^1
89-9-6-3		 SEV514^1
89-9-8-5		 SEV515+1
88-61-49-38		 SEV516+1
88-64-12-11
SEV517+1
88-61-26-22		 SEV518+1
88-63-0-0		 SEV519+1
88-63-1-1		 SEV520+1
88-63-0-0		 SEV521+1
88-61-20-16		 SEV522+1
88-61-3-3		 SEV523^1
85-20-0-0
SEV524^1
85-20-6-6		 SEV525^1
84-20-0-0		 SEV526^1
85-21-2-2		 SEV527^1
86-21-0-0		 SEV528^1
84-20-0-0		 SEV529^1
86-21-5-4		 SEV530^1
84-20-0-0
SEV531^1
84-20-0-0		 SEV532^1
84-20-0-0		 SEV533+1
79-58-0-0		 SEV534+1
79-58-1-1		 SEV535+1
79-58-5-4		 SEV536+1
79-58-5-4		 SEV537+1
79-58-7-6
SEV538+1
79-58-8-7		 SEV539+1
79-58-11-10		 SEV540+1
79-58-9-8		 SEV541+1
79-58-7-6		 SEV542+1
79-58-16-15		 SEV543+1
79-58-1-1		 SEV544+1
79-58-1-1
SEV545+1
79-58-1-1		 SEV546+1
79-58-7-7		 SEV547+1
79-58-5-5		 SEV548+1
79-58-4-4		 SEV549+1
79-58-8-8		 SEV550+1
79-58-8-8		 SEV551+1
79-58-11-10
SEV552+1
79-58-11-10		 SEV553+1
79-58-1-1		 SEV554+1
79-58-8-7		 SEV555+1
79-58-6-5		 SEV556+1
79-58-5-5		 SEV557+1
79-58-6-5		 SEV558+1
79-58-7-6
SEV559+1
79-58-5-4		 SEV560+1
79-58-5-4		 SEV561+1
79-58-7-6		 SEV562+1
79-58-10-9		 SEV563+1
79-58-9-8		 SEV564+1
79-58-6-5		 SEV565+1
79-58-10-9
SEV566+1
79-58-11-10		 SEV567+1
79-58-13-12		 SEV568+1
79-58-11-10		 SEV569+1
79-58-14-13		 SEV570+1
79-58-15-14		 SEV571+1
79-58-14-13		 SEV572+1
79-58-14-13
SEV573+1
79-58-2-2		 SEV574+1
79-58-1-1		 SEV575+1
79-58-6-5		 SEV576+1
79-58-5-4		 SEV577+1
79-58-4-4		 SEV578+1
79-58-7-7		 SEV579+1
79-58-11-10
SEV580+1
79-58-12-11		 SEV581+1
79-58-9-8		 SEV582+1
79-58-14-13		 SEV583^1
82-3-0-0		 SEV584^1
82-3-0-0		 SEV585^1
82-3-0-0		 SEV586^1
82-3-0-0
SEV587^1
82-3-0-0		 SEV588^1
82-3-0-0		 SEV589^1
82-3-0-0		 SEV590^1
82-3-0-0		 SEV591^1
82-3-0-0		 SEV592^1
82-3-0-0		 SEV593^1
82-3-1-0
SEV594^1
82-3-1-0		 SEV595^1
82-3-1-0		 SEV596^1
82-3-1-0		 SEV597^1
82-3-1-0		 SEV598^1
82-3-1-0		 SEV599^1
82-3-1-0		 SEV600^1
82-3-0-0
SEV601^1
82-3-0-0		 SEV602^1
82-3-0-0