TSTP Solution Domain: SEV

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