TSTP Solution Domain: SEV

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