TSTP Solution Domain: SEV

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