TSTP Solution Domain: SEV

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