ileanSeP solved : 313 (12.3%) proved : 309 refuted : 4 >600s: : 2058 errors (stack overflow) : 179 test conditions: Xeon 3.4 GHz, Mandrake 10.2, time limit: 600 sec. 2550 problems (2480 non-propositional, 70 propositional) (ILTP-Library v1.1.2) date: 1 Dec 2006 ATP-system : ileanSeP author : Jens Otten version : 1.0 programming language : Prolog compiler : ECLiPSe v 5.8 #70 description : Analytic sequent calculus with free variables (tableau-like) for first-order logic implemented in Prolog. Decides some propositional and first-order formulas. web-site : http://www.leancop.de/ileansep problem time in sec. AGT001+1 1.15 AGT001+2 4.90 AGT002+1 2.49 AGT002+2 8.19 AGT003+1 >600 AGT003+2 >600 AGT004+1 >600 AGT004+2 >600 AGT005+1 >600 AGT005+2 >600 AGT006+1 >600 AGT006+2 >600 AGT007+1 >600 AGT007+2 >600 AGT008+1 >600 AGT008+2 >600 AGT009+1 >600 AGT009+2 >600 AGT010+1 >600 AGT010+2 >600 AGT011+1 >600 AGT011+2 >600 AGT012+1 >600 AGT012+2 >600 AGT013+1 >600 AGT013+2 >600 AGT014+1 >600 AGT014+2 >600 AGT015+1 >600 AGT015+2 >600 AGT016+1 >600 AGT016+2 >600 AGT017+1 >600 AGT017+2 484.74 AGT018+1 >600 AGT018+2 >600 AGT019+1 >600 AGT019+2 >600 AGT020+1 >600 AGT020+2 >600 AGT021+1 >600 AGT021+2 >600 AGT022+1 >600 AGT022+2 >600 AGT023+1 >600 AGT023+2 >600 AGT024+1 >600 AGT024+2 >600 AGT025+1 >600 AGT025+2 >600 AGT026+1 >600 AGT026+2 >600 ALG014+1 stack ALG015+1 >600 ALG016+1 stack ALG017+1 stack ALG018+1 >600 ALG019+1 >600 ALG020+1 >600 ALG021+1 >600 ALG022+1 >600 ALG023+1 >600 ALG024+1 stack ALG025+1 >600 ALG026+1 >600 ALG027+1 >600 ALG028+1 stack ALG029+1 >600 ALG030+1 >600 ALG031+1 >600 ALG032+1 >600 ALG033+1 >600 ALG034+1 >600 ALG035+1 >600 ALG036+1 stack ALG037+1 >600 ALG038+1 stack ALG039+1 stack ALG040+1 >600 ALG041+1 >600 ALG042+1 >600 ALG043+1 >600 ALG044+1 >600 ALG045+1 >600 ALG046+1 stack ALG047+1 stack ALG048+1 >600 ALG049+1 >600 ALG050+1 >600 ALG051+1 >600 ALG052+1 >600 ALG053+1 >600 ALG054+1 >600 ALG055+1 >600 ALG056+1 >600 ALG057+1 >600 ALG058+1 >600 ALG059+1 >600 ALG060+1 >600 ALG061+1 >600 ALG062+1 >600 ALG063+1 >600 ALG064+1 >600 ALG065+1 >600 ALG066+1 >600 ALG067+1 >600 ALG068+1 >600 ALG069+1 >600 ALG070+1 >600 ALG071+1 >600 ALG072+1 >600 ALG073+1 >600 ALG074+1 >600 ALG075+1 >600 ALG076+1 >600 ALG077+1 >600 ALG078+1 >600 ALG079+1 >600 ALG080+1 >600 ALG081+1 >600 ALG082+1 >600 ALG083+1 >600 ALG084+1 >600 ALG085+1 >600 ALG086+1 >600 ALG087+1 >600 ALG088+1 >600 ALG089+1 >600 ALG090+1 >600 ALG091+1 >600 ALG092+1 >600 ALG093+1 >600 ALG094+1 >600 ALG095+1 >600 ALG096+1 >600 ALG097+1 stack ALG098+1 stack ALG099+1 stack ALG100+1 >600 ALG101+1 >600 ALG102+1 stack ALG103+1 >600 ALG104+1 stack ALG105+1 >600 ALG106+1 stack ALG107+1 >600 ALG108+1 stack ALG109+1 stack ALG110+1 stack ALG111+1 stack ALG112+1 >600 ALG113+1 >600 ALG114+1 stack ALG115+1 >600 ALG116+1 >600 ALG117+1 stack ALG118+1 >600 ALG119+1 >600 ALG120+1 stack ALG121+1 stack ALG122+1 stack ALG123+1 stack ALG124+1 >600 ALG125+1 stack ALG126+1 stack ALG127+1 stack ALG128+1 stack ALG129+1 stack ALG130+1 >600 ALG131+1 stack ALG132+1 >600 ALG133+1 stack ALG134+1 stack ALG135+1 stack ALG136+1 stack ALG137+1 >600 ALG138+1 >600 ALG139+1 stack ALG140+1 >600 ALG141+1 >600 ALG142+1 stack ALG143+1 >600 ALG144+1 stack ALG145+1 stack ALG146+1 stack ALG147+1 stack ALG148+1 stack ALG149+1 stack ALG150+1 stack ALG151+1 stack ALG152+1 stack ALG153+1 stack ALG154+1 >600 ALG155+1 >600 ALG156+1 >600 ALG157+1 >600 ALG158+1 >600 ALG159+1 >600 ALG160+1 >600 ALG161+1 stack ALG162+1 >600 ALG163+1 >600 ALG164+1 >600 ALG165+1 >600 ALG166+1 stack ALG167+1 stack ALG168+1 >600 ALG169+1 >600 ALG170+1 stack ALG171+1 stack ALG172+1 stack ALG173+1 stack ALG174+1 stack ALG175+1 >600 ALG176+1 >600 ALG177+1 >600 ALG178+1 >600 ALG179+1 >600 ALG180+1 >600 ALG181+1 >600 ALG182+1 >600 ALG183+1 >600 ALG184+1 >600 ALG185+1 >600 ALG186+1 >600 ALG187+1 >600 ALG188+1 >600 ALG189+1 >600 ALG190+1 stack ALG191+1 stack ALG192+1 >600 ALG193+1 >600 ALG194+1 >600 ALG195+1 stack ALG196+1 >600 ALG197+1 >600 ALG198+1 stack ALG199+1 >600 ALG200+1 >600 ALG201+1 >600 ALG202+1 >600 ALG203+1 >600 ALG204+1 >600 ALG205+1 >600 ALG206+1 >600 ALG207+1 >600 ALG208+1 >600 ALG209+1 >600 ALG210+1 >600 ALG210+2 >600 ALG211+1 >600 COM003+1 >600 COM003+2 >600 COM003+3 >600 CSR001+1 >600 CSR001+2 >600 CSR002+1 >600 CSR002+2 >600 CSR003+1 >600 CSR004+1 >600 CSR004+2 540.03 CSR005+1 >600 CSR005+2 >600 CSR006+1 >600 CSR007+1 >600 CSR008+1 >600 CSR009+1 >600 CSR010+1 >600 CSR011+1 >600 CSR012+1 >600 CSR013+1 >600 CSR014+1 >600 CSR015+1 >600 CSR016+1 >600 CSR017+1 >600 CSR018+1 >600 CSR019+1 >600 CSR020+1 >600 CSR021+1 >600 CSR022+1 >600 CSR023+1 >600 CSR024+1.009 >600 CSR024+1.010 >600 GEO080+1 3.74 GEO081+1 >600 GEO082+1 >600 GEO083+1 >600 GEO084+1 >600 GEO085+1 >600 GEO086+1 >600 GEO087+1 >600 GEO088+1 >600 GEO089+1 >600 GEO090+1 >600 GEO091+1 >600 GEO092+1 >600 GEO093+1 >600 GEO094+1 >600 GEO095+1 >600 GEO096+1 >600 GEO097+1 >600 GEO098+1 >600 GEO099+1 >600 GEO100+1 >600 GEO101+1 >600 GEO102+1 >600 GEO103+1 >600 GEO104+1 >600 GEO105+1 >600 GEO106+1 >600 GEO107+1 >600 GEO108+1 >600 GEO109+1 >600 GEO110+1 >600 GEO111+1 >600 GEO112+1 >600 GEO113+1 >600 GEO114+1 >600 GEO115+1 >600 GEO116+1 >600 GEO117+1 >600 GEO118+1 >600 GEO119+1 >600 GEO120+1 >600 GEO121+1 >600 GEO122+1 >600 GEO123+1 >600 GEO124+1 >600 GEO125+1 >600 GEO126+1 >600 GEO127+1 >600 GEO128+1 >600 GEO129+1 >600 GEO130+1 >600 GEO131+1 >600 GEO132+1 >600 GEO133+1 >600 GEO134+1 >600 GEO135+1 >600 GEO136+1 >600 GEO137+1 >600 GEO138+1 >600 GEO139+1 >600 GEO140+1 >600 GEO141+1 >600 GEO142+1 >600 GEO143+1 >600 GEO144+1 >600 GEO145+1 >600 GEO146+1 >600 GEO147+1 >600 GEO148+1 >600 GEO149+1 >600 GEO150+1 >600 GEO151+1 >600 GEO152+1 >600 GEO158+1 >600 GEO159+1 >600 GEO160+1 >600 GEO161+1 >600 GRA002+1 >600 GRA002+2 >600 GRA002+3 >600 GRA002+4 >600 GRA003+1 >600 GRA004+1 >600 GRA005+1 >600 GRA006+1 >600 GRA007+1 >600 GRA007+2 >600 GRA008+1 >600 GRA008+2 >600 GRA009+1 >600 GRA009+2 >600 GRA010+1 >600 GRA010+2 >600 GRA011+1 >600 GRA012+1 >600 GRP001+6 >600 GRP012+5 >600 GRP194+1 >600 GRP394+3 >600 GRP396+1 >600 HAL001+1 >600 HAL001+2 >600 HAL002+1 >600 HAL003+1 >600 HAL003+2 >600 HAL003+3 >600 HAL004+1 >600 HAL005+1 >600 HAL006+1 >600 KRS018+1 >600 KRS019+1 >600 KRS020+1 >600 KRS021+1 >600 KRS022+1 >600 KRS023+1 >600 KRS024+1 >600 KRS025+1 >600 KRS026+1 >600 KRS027+1 >600 KRS028+1 >600 KRS029+1 >600 KRS030+1 >600 KRS031+1 >600 KRS032+1 >600 KRS033+1 >600 KRS034+1 >600 KRS035+1 >600 KRS036+1 >600 KRS037+1 >600 KRS038+1 >600 KRS039+1 >600 KRS040+1 >600 KRS041+1 >600 KRS042+1 >600 KRS043+1 >600 KRS044+1 >600 KRS045+1 >600 KRS046+1 >600 KRS047+1 >600 KRS048+1 >600 KRS049+1 >600 KRS050+1 >600 KRS051+1 >600 KRS052+1 >600 KRS053+1 >600 KRS054+1 >600 KRS055+1 >600 KRS056+1 >600 KRS057+1 >600 KRS058+1 >600 KRS059+1 >600 KRS060+1 >600 KRS061+1 >600 KRS062+1 >600 KRS063+1 >600 KRS064+1 <0.01 KRS065+1 <0.01 KRS066+1 0.01 KRS067+1 >600 KRS068+1 >600 KRS069+1 >600 KRS070+1 >600 KRS071+1 >600 KRS072+1 >600 KRS073+1 >600 KRS074+1 >600 KRS075+1 >600 KRS076+1 >600 KRS077+1 >600 KRS078+1 >600 KRS079+1 >600 KRS080+1 >600 KRS081+1 >600 KRS082+1 >600 KRS083+1 >600 KRS084+1 >600 KRS085+1 >600 KRS086+1 >600 KRS087+1 >600 KRS088+1 >600 KRS089+1 >600 KRS090+1 stack KRS091+1 >600 KRS092+1 >600 KRS093+1 >600 KRS094+1 >600 KRS095+1 >600 KRS096+1 >600 KRS097+1 >600 KRS098+1 >600 KRS099+1 >600 KRS100+1 >600 KRS101+1 >600 KRS102+1 >600 KRS103+1 >600 KRS104+1 >600 KRS105+1 >600 KRS106+1 >600 KRS107+1 >600 KRS108+1 >600 KRS109+1 >600 KRS110+1 >600 KRS111+1 >600 KRS112+1 >600 KRS113+1 >600 KRS114+1 >600 KRS115+1 >600 KRS116+1 >600 KRS117+1 >600 KRS118+1 >600 KRS119+1 >600 KRS120+1 >600 KRS121+1 >600 KRS122+1 >600 KRS123+1 >600 KRS124+1 >600 KRS125+1 >600 KRS126+1 >600 KRS127+1 >600 KRS128+1 >600 KRS129+1 >600 KRS130+1 >600 KRS131+1 >600 KRS132+1 >600 KRS133+1 >600 KRS134+1 0.01 KRS135+1 35.93 KRS136+1 0.01 KRS137+1 0.02 KRS138+1 >600 KRS139+1 0.02 KRS140+1 >600 KRS141+1 63.43 KRS142+1 >600 KRS143+1 >600 KRS144+1 >600 KRS145+1 >600 KRS146+1 >600 KRS147+1 >600 KRS148+1 >600 KRS149+1 >600 KRS150+1 >600 KRS151+1 >600 KRS152+1 0.42 KRS153+1 >600 KRS154+1 >600 KRS155+1 >600 KRS156+1 >600 KRS157+1 >600 KRS158+1 >600 KRS159+1 >600 KRS160+1 1.92 KRS161+1 >600 KRS162+1 >600 KRS163+1 >600 KRS164+1 0.02 KRS165+1 0.01 KRS166+1 0.02 KRS167+1 >600 KRS168+1 0.01 KRS169+1 0.02 KRS170+1 0.03 KRS171+1 0.03 KRS172+1 >600 KRS173+1 >600 KRS174+1 >600 KRS175+1 >600 LCL181+1 >600 LCL230+1 >600 LCL354+1 >600 LCL414+1 >600 MGT001+1 >600 MGT002+1 >600 MGT003+1 >600 MGT004+1 >600 MGT005+1 >600 MGT005+2 >600 MGT006+1 >600 MGT007+1 >600 MGT008+1 >600 MGT009+1 >600 MGT010+1 >600 MGT011+1 >600 MGT012+1 >600 MGT013+1 >600 MGT014+1 >600 MGT015+1 >600 MGT016+1 >600 MGT017+1 >600 MGT018+1 >600 MGT019+2 >600 MGT020+1 >600 MGT021+1 >600 MGT022+1 >600 MGT022+2 >600 MGT023+1 >600 MGT023+2 >600 MGT024+1 >600 MGT025+1 >600 MGT026+1 >600 MGT027+1 >600 MGT028+1 >600 MGT029+1 >600 MGT030+1 >600 MGT031+1 >600 MGT032+2 >600 MGT033+1 >600 MGT033+2 >600 MGT034+1 >600 MGT034+2 >600 MGT035+1 >600 MGT035+2 >600 MGT036+1 >600 MGT036+2 >600 MGT036+3 >600 MGT037+1 >600 MGT037+2 >600 MGT038+1 >600 MGT038+2 >600 MGT039+1 >600 MGT039+2 >600 MGT040+1 >600 MGT040+2 >600 MGT041+2 >600 MGT042+1 >600 MGT043+1 >600 MGT044+1 >600 MGT045+1 >600 MGT046+1 >600 MGT047+1 >600 MGT048+1 >600 MGT049+1 >600 MGT050+1 >600 MGT051+1 >600 MGT052+1 >600 MGT053+1 >600 MGT054+1 >600 MGT055+1 >600 MGT056+1 >600 MGT057+1 >600 MGT058+1 >600 MGT059+1 >600 MGT060+1 >600 MGT061+1 >600 MGT062+1 >600 MGT063+1 >600 MGT064+1 >600 MGT065+1 >600 MGT066+1 >600 MSC009+1 >600 MSC010+1 >600 NLP001+1 <0.01 NLP002+1 >600 NLP003+1 >600 NLP004+1 >600 NLP005+1 >600 NLP006+1 >600 NLP007+1 >600 NLP008+1 >600 NLP009+1 >600 NLP011+1 >600 NLP012+1 >600 NLP013+1 >600 NLP014+1 >600 NLP015+1 >600 NLP016+1 >600 NLP017+1 >600 NLP018+1 >600 NLP019+1 >600 NLP020+1 >600 NLP021+1 >600 NLP022+1 >600 NLP023+1 >600 NLP024+1 >600 NLP025+1 >600 NLP026+1 >600 NLP027+1 >600 NLP028+1 >600 NLP029+1 >600 NLP030+1 >600 NLP031+1 >600 NLP032+1 >600 NLP033+1 >600 NLP034+1 >600 NLP035+1 >600 NLP036+1 >600 NLP037+1 >600 NLP038+1 >600 NLP039+1 >600 NLP040+1 >600 NLP041+1 >600 NLP042+1 >600 NLP043+1 >600 NLP044+1 >600 NLP045+1 >600 NLP046+1 >600 NLP047+1 >600 NLP048+1 >600 NLP049+1 >600 NLP050+1 >600 NLP051+1 >600 NLP052+1 >600 NLP053+1 >600 NLP054+1 >600 NLP055+1 >600 NLP056+1 >600 NLP057+1 >600 NLP058+1 >600 NLP059+1 >600 NLP060+1 >600 NLP061+1 >600 NLP062+1 >600 NLP063+1 >600 NLP064+1 >600 NLP065+1 >600 NLP066+1 >600 NLP067+1 >600 NLP068+1 >600 NLP069+1 >600 NLP070+1 >600 NLP071+1 >600 NLP072+1 >600 NLP073+1 >600 NLP074+1 >600 NLP075+1 >600 NLP076+1 >600 NLP077+1 >600 NLP078+1 >600 NLP079+1 >600 NLP080+1 >600 NLP081+1 >600 NLP082+1 >600 NLP083+1 >600 NLP084+1 >600 NLP085+1 >600 NLP086+1 >600 NLP087+1 >600 NLP088+1 >600 NLP089+1 >600 NLP090+1 >600 NLP091+1 >600 NLP092+1 >600 NLP093+1 >600 NLP094+1 >600 NLP095+1 >600 NLP096+1 >600 NLP097+1 >600 NLP098+1 >600 NLP099+1 >600 NLP100+1 >600 NLP101+1 >600 NLP102+1 >600 NLP103+1 >600 NLP104+1 >600 NLP105+1 >600 NLP106+1 >600 NLP107+1 >600 NLP108+1 >600 NLP109+1 >600 NLP110+1 >600 NLP111+1 >600 NLP112+1 >600 NLP113+1 >600 NLP114+1 >600 NLP115+1 >600 NLP116+1 >600 NLP117+1 2.27 NLP118+1 >600 NLP119+1 >600 NLP120+1 >600 NLP121+1 >600 NLP122+1 0.55 NLP123+1 >600 NLP124+1 >600 NLP125+1 >600 NLP126+1 >600 NLP127+1 >600 NLP128+1 >600 NLP129+1 >600 NLP130+1 >600 NLP131+1 >600 NLP132+1 >600 NLP133+1 >600 NLP134+1 >600 NLP135+1 >600 NLP136+1 >600 NLP137+1 >600 NLP138+1 >600 NLP139+1 >600 NLP140+1 >600 NLP141+1 >600 NLP142+1 >600 NLP143+1 >600 NLP144+1 >600 NLP145+1 >600 NLP146+1 >600 NLP147+1 >600 NLP148+1 >600 NLP149+1 >600 NLP150+1 >600 NLP151+1 >600 NLP152+1 >600 NLP153+1 >600 NLP154+1 >600 NLP155+1 >600 NLP156+1 >600 NLP157+1 >600 NLP158+1 >600 NLP159+1 >600 NLP160+1 >600 NLP161+1 >600 NLP162+1 >600 NLP163+1 >600 NLP164+1 >600 NLP165+1 >600 NLP166+1 >600 NLP167+1 >600 NLP168+1 >600 NLP169+1 >600 NLP170+1 >600 NLP171+1 >600 NLP172+1 >600 NLP173+1 >600 NLP174+1 >600 NLP175+1 >600 NLP176+1 >600 NLP177+1 >600 NLP178+1 >600 NLP179+1 >600 NLP180+1 >600 NLP181+1 >600 NLP182+1 >600 NLP183+1 >600 NLP184+1 >600 NLP185+1 >600 NLP186+1 >600 NLP187+1 >600 NLP188+1 >600 NLP189+1 >600 NLP190+1 >600 NLP191+1 >600 NLP192+1 >600 NLP193+1 >600 NLP194+1 >600 NLP195+1 >600 NLP196+1 >600 NLP197+1 >600 NLP198+1 >600 NLP199+1 >600 NLP200+1 >600 NLP201+1 >600 NLP202+1 >600 NLP203+1 >600 NLP204+1 >600 NLP205+1 >600 NLP206+1 >600 NLP207+1 >600 NLP208+1 >600 NLP209+1 >600 NLP210+1 >600 NLP211+1 >600 NLP212+1 >600 NLP213+1 >600 NLP214+1 >600 NLP215+1 >600 NLP216+1 >600 NLP217+1 >600 NLP218+1 >600 NLP219+1 >600 NLP220+1 >600 NLP221+1 >600 NLP222+1 >600 NLP223+1 >600 NLP224+1 >600 NLP225+1 >600 NLP226+1 >600 NLP227+1 >600 NLP228+1 >600 NLP229+1 >600 NLP230+1 >600 NLP231+1 >600 NLP232+1 >600 NLP233+1 >600 NLP234+1 >600 NLP235+1 >600 NLP236+1 >600 NLP237+1 >600 NLP238+1 >600 NLP239+1 >600 NLP240+1 >600 NLP241+1 >600 NLP242+1 >600 NLP243+1 >600 NLP244+1 >600 NLP245+1 >600 NLP246+1 >600 NLP247+1 >600 NLP248+1 >600 NLP249+1 >600 NLP250+1 >600 NLP251+1 >600 NLP252+1 >600 NLP253+1 >600 NLP254+1 >600 NLP255+1 >600 NLP256+1 >600 NLP257+1 >600 NLP258+1 >600 NLP259+1 >600 NUM290+1 >600 NUM291+1 >600 NUM292+1 >600 NUM293+1 >600 NUM294+1 >600 NUM295+1 >600 NUM296+1 >600 NUM297+1 >600 NUM298+1 >600 NUM299+1 >600 NUM300+1 >600 NUM301+1 >600 NUM302+1 >600 NUM303+1 >600 NUM304+1 >600 NUM305+1 >600 NUM306+1 >600 NUM307+1 >600 NUM308+1 >600 NUM309+1 >600 NUM310+1 >600 NUM311+1 >600 NUM312+1 >600 NUM313+1 >600 NUM314+1 >600 NUM315+1 >600 NUM316+1 >600 NUM317+1 >600 NUM318+1 >600 NUM319+1 >600 NUM320+1 >600 NUM321+1 >600 NUM322+1 >600 NUM323+1 >600 NUM324+1 >600 NUM325+1 >600 NUM326+1 >600 NUM327+1 >600 NUM328+1 >600 NUM329+1 >600 NUM330+1 >600 NUM331+1 >600 NUM332+1 >600 NUM333+1 >600 NUM334+1 >600 NUM335+1 >600 NUM336+1 >600 NUM337+1 >600 NUM338+1 >600 NUM339+1 >600 NUM340+1 >600 NUM341+1 >600 NUM342+1 >600 NUM343+1 >600 NUM344+1 >600 NUM345+1 >600 NUM346+1 >600 NUM347+1 >600 NUM348+1 >600 NUM349+1 >600 NUM350+1 >600 NUM351+1 >600 NUM352+1 >600 NUM353+1 >600 NUM354+1 >600 NUM355+1 >600 NUM356+1 >600 NUM357+1 >600 NUM358+1 >600 NUM359+1 >600 NUM360+1 >600 NUM361+1 >600 NUM362+1 >600 NUM363+1 >600 NUM364+1 >600 NUM365+1 >600 NUM366+1 >600 NUM367+1 >600 NUM368+1 >600 NUM369+1 >600 NUM370+1 >600 NUM371+1 >600 NUM372+1 >600 NUM373+1 >600 PLA024+1 >600 PLA025+1 >600 PLA026+1 >600 PLA027+1 >600 PLA028+1 >600 PLA029+2 >600 PUZ001+1 >600 PUZ005+1 >600 PUZ031+1 >600 PUZ047+1 >600 PUZ060+1 >600 PUZ061+1 >600 SET002+3 4.09 SET002+4 >600 SET008+3 >600 SET009+3 >600 SET010+3 >600 SET011+3 >600 SET012+4 >600 SET013+4 >600 SET014+3 >600 SET014+4 >600 SET015+4 >600 SET016+1 >600 SET016+4 >600 SET017+1 >600 SET018+1 >600 SET018+4 >600 SET019+4 3.72 SET020+1 >600 SET024+1 >600 SET025+1 >600 SET027+1 >600 SET027+3 >600 SET027+4 >600 SET043+1 <0.01 SET044+1 7.76 SET045+1 0.02 SET046+1 0.10 SET047+1 >600 SET054+1 135.69 SET055+1 >600 SET056+1 >600 SET060+1 >600 SET061+1 297.88 SET062+1 >600 SET062+3 0.58 SET062+4 >600 SET063+1 >600 SET063+3 2.61 SET063+4 >600 SET064+1 >600 SET065+1 >600 SET066+1 >600 SET067+1 >600 SET069+1 >600 SET071+1 >600 SET072+1 >600 SET073+1 >600 SET074+1 >600 SET076+1 >600 SET077+1 >600 SET079+1 >600 SET081+1 >600 SET082+1 >600 SET083+1 >600 SET084+1 >600 SET086+1 >600 SET090+1 >600 SET091+1 >600 SET093+1 >600 SET094+1 >600 SET095+1 >600 SET095+4 >600 SET096+1 >600 SET097+1 >600 SET098+1 >600 SET099+1 >600 SET101+1 >600 SET102+1 >600 SET103+1 >600 SET104+1 >600 SET105+1 >600 SET108+1 >600 SET113+1 >600 SET117+1 >600 SET119+1 >600 SET120+1 >600 SET121+1 >600 SET122+1 >600 SET143+3 >600 SET143+4 >600 SET144+3 >600 SET146+3 >600 SET148+3 4.08 SET148+4 >600 SET155+4 >600 SET156+4 >600 SET159+3 >600 SET159+4 >600 SET162+3 >600 SET162+4 >600 SET169+3 >600 SET169+4 >600 SET171+3 >600 SET171+4 >600 SET173+3 >600 SET175+3 >600 SET183+3 >600 SET185+3 >600 SET194+3 >600 SET196+3 >600 SET199+3 >600 SET199+4 >600 SET200+3 >600 SET201+3 >600 SET347+4 >600 SET351+4 >600 SET352+4 >600 SET355+4 >600 SET358+4 >600 SET366+4 >600 SET372+4 >600 SET573+3 >600 SET574+3 0.01 SET575+3 0.01 SET576+3 >600 SET577+3 >600 SET578+3 >600 SET579+3 >600 SET580+3 >600 SET581+3 >600 SET582+3 >600 SET583+3 0.05 SET584+3 >600 SET585+3 >600 SET586+3 >600 SET587+3 >600 SET588+3 >600 SET589+3 >600 SET590+3 >600 SET591+3 >600 SET592+3 >600 SET593+3 >600 SET594+3 >600 SET595+3 >600 SET595+4 >600 SET596+3 >600 SET597+3 >600 SET598+3 >600 SET599+3 >600 SET600+3 >600 SET601+3 >600 SET602+3 5.85 SET602+4 >600 SET603+3 >600 SET603+4 >600 SET604+3 7.28 SET605+3 >600 SET606+3 >600 SET607+3 >600 SET608+3 >600 SET609+3 >600 SET610+3 >600 SET611+3 >600 SET612+3 >600 SET613+3 >600 SET614+3 >600 SET615+3 >600 SET616+3 >600 SET617+3 >600 SET618+3 >600 SET619+3 >600 SET620+3 >600 SET621+3 >600 SET622+3 >600 SET623+3 >600 SET624+3 >600 SET625+3 >600 SET626+3 >600 SET627+3 >600 SET628+3 >600 SET629+3 >600 SET630+3 >600 SET631+3 >600 SET632+3 >600 SET633+3 >600 SET634+3 >600 SET635+3 >600 SET636+3 >600 SET637+3 >600 SET638+3 >600 SET639+3 >600 SET640+3 >600 SET641+3 >600 SET642+3 >600 SET643+3 >600 SET644+3 >600 SET645+3 >600 SET646+3 >600 SET647+3 >600 SET648+3 >600 SET649+3 >600 SET650+3 >600 SET651+3 >600 SET652+3 >600 SET653+3 >600 SET654+3 >600 SET655+3 >600 SET656+3 >600 SET657+3 >600 SET658+3 >600 SET659+3 >600 SET660+3 >600 SET661+3 >600 SET662+3 >600 SET663+3 >600 SET664+3 >600 SET665+3 >600 SET666+3 >600 SET667+3 >600 SET668+3 >600 SET669+3 >600 SET670+3 >600 SET671+3 >600 SET672+3 >600 SET673+3 >600 SET674+3 >600 SET675+3 >600 SET676+3 >600 SET677+3 >600 SET678+3 >600 SET679+3 >600 SET680+3 >600 SET681+3 >600 SET682+3 >600 SET683+3 >600 SET684+3 >600 SET685+3 >600 SET686+3 >600 SET687+4 3.21 SET688+4 >600 SET689+4 >600 SET690+4 >600 SET691+4 >600 SET692+4 >600 SET693+4 >600 SET694+4 >600 SET695+4 >600 SET696+4 >600 SET697+4 >600 SET698+4 >600 SET699+4 >600 SET700+4 >600 SET701+4 >600 SET702+4 >600 SET703+4 >600 SET704+4 >600 SET705+4 >600 SET706+4 >600 SET707+4 >600 SET708+4 >600 SET709+4 >600 SET710+4 >600 SET711+4 >600 SET712+4 >600 SET713+4 >600 SET714+4 >600 SET715+4 >600 SET716+4 >600 SET717+4 >600 SET718+4 >600 SET719+4 >600 SET720+4 >600 SET721+4 >600 SET722+4 >600 SET723+4 >600 SET724+4 >600 SET725+4 >600 SET726+4 >600 SET727+4 >600 SET728+4 >600 SET729+4 >600 SET730+4 >600 SET731+4 >600 SET732+4 >600 SET733+4 >600 SET734+4 >600 SET735+4 >600 SET736+4 >600 SET737+4 >600 SET738+4 >600 SET739+4 >600 SET740+4 >600 SET741+4 >600 SET742+4 >600 SET743+4 >600 SET744+4 >600 SET745+4 >600 SET746+4 >600 SET747+4 >600 SET748+4 >600 SET749+4 >600 SET750+4 >600 SET751+4 >600 SET752+4 >600 SET753+4 >600 SET754+4 >600 SET755+4 >600 SET756+4 >600 SET757+4 >600 SET758+4 >600 SET759+4 >600 SET760+4 >600 SET761+4 >600 SET762+4 >600 SET763+4 >600 SET764+4 >600 SET765+4 >600 SET766+4 >600 SET767+4 >600 SET768+4 >600 SET769+4 >600 SET770+4 >600 SET771+4 >600 SET772+4 >600 SET773+4 >600 SET774+4 >600 SET775+4 >600 SET776+4 >600 SET781+3 >600 SET783+1 >600 SET784+1 >600 SET785+1 >600 SET786+1 0.11 SET788+1 >600 SWC001+1 >600 SWC002+1 >600 SWC003+1 >600 SWC004+1 >600 SWC005+1 >600 SWC006+1 >600 SWC007+1 >600 SWC008+1 >600 SWC009+1 >600 SWC010+1 >600 SWC011+1 >600 SWC012+1 >600 SWC013+1 >600 SWC014+1 >600 SWC015+1 >600 SWC016+1 >600 SWC017+1 >600 SWC018+1 >600 SWC019+1 >600 SWC020+1 >600 SWC021+1 >600 SWC022+1 >600 SWC023+1 >600 SWC024+1 >600 SWC025+1 >600 SWC026+1 >600 SWC027+1 >600 SWC028+1 >600 SWC029+1 >600 SWC030+1 >600 SWC031+1 >600 SWC032+1 >600 SWC033+1 >600 SWC034+1 >600 SWC035+1 >600 SWC036+1 >600 SWC037+1 >600 SWC038+1 >600 SWC039+1 >600 SWC040+1 >600 SWC041+1 >600 SWC042+1 >600 SWC043+1 >600 SWC044+1 >600 SWC045+1 >600 SWC046+1 >600 SWC047+1 >600 SWC048+1 >600 SWC049+1 >600 SWC050+1 >600 SWC051+1 >600 SWC052+1 >600 SWC053+1 >600 SWC054+1 >600 SWC055+1 >600 SWC056+1 >600 SWC057+1 >600 SWC058+1 >600 SWC059+1 >600 SWC060+1 >600 SWC061+1 >600 SWC062+1 >600 SWC063+1 >600 SWC064+1 >600 SWC065+1 >600 SWC066+1 >600 SWC067+1 >600 SWC068+1 >600 SWC069+1 >600 SWC070+1 >600 SWC071+1 >600 SWC072+1 >600 SWC073+1 >600 SWC074+1 >600 SWC075+1 >600 SWC076+1 >600 SWC077+1 >600 SWC078+1 >600 SWC079+1 >600 SWC080+1 >600 SWC081+1 >600 SWC082+1 >600 SWC083+1 >600 SWC084+1 >600 SWC085+1 >600 SWC086+1 >600 SWC087+1 >600 SWC088+1 >600 SWC089+1 >600 SWC090+1 >600 SWC091+1 >600 SWC092+1 >600 SWC093+1 >600 SWC094+1 >600 SWC095+1 >600 SWC096+1 >600 SWC097+1 >600 SWC098+1 >600 SWC099+1 >600 SWC100+1 >600 SWC101+1 >600 SWC102+1 >600 SWC103+1 >600 SWC104+1 >600 SWC105+1 >600 SWC106+1 >600 SWC107+1 >600 SWC108+1 >600 SWC109+1 >600 SWC110+1 >600 SWC111+1 >600 SWC112+1 >600 SWC113+1 >600 SWC114+1 >600 SWC115+1 >600 SWC116+1 >600 SWC117+1 >600 SWC118+1 >600 SWC119+1 >600 SWC120+1 >600 SWC121+1 >600 SWC122+1 >600 SWC123+1 >600 SWC124+1 >600 SWC125+1 >600 SWC126+1 >600 SWC127+1 >600 SWC128+1 0.02 SWC129+1 >600 SWC130+1 >600 SWC131+1 >600 SWC132+1 >600 SWC133+1 >600 SWC134+1 >600 SWC135+1 >600 SWC136+1 >600 SWC137+1 >600 SWC138+1 >600 SWC139+1 >600 SWC140+1 >600 SWC141+1 >600 SWC142+1 >600 SWC143+1 >600 SWC144+1 >600 SWC145+1 >600 SWC146+1 >600 SWC147+1 >600 SWC148+1 >600 SWC149+1 >600 SWC150+1 >600 SWC151+1 >600 SWC152+1 >600 SWC153+1 >600 SWC154+1 >600 SWC155+1 >600 SWC156+1 >600 SWC157+1 >600 SWC158+1 >600 SWC159+1 >600 SWC160+1 >600 SWC161+1 >600 SWC162+1 >600 SWC163+1 >600 SWC164+1 >600 SWC165+1 >600 SWC166+1 >600 SWC167+1 >600 SWC168+1 >600 SWC169+1 >600 SWC170+1 >600 SWC171+1 >600 SWC172+1 >600 SWC173+1 >600 SWC174+1 >600 SWC175+1 >600 SWC176+1 >600 SWC177+1 >600 SWC178+1 >600 SWC179+1 >600 SWC180+1 >600 SWC181+1 >600 SWC182+1 >600 SWC183+1 >600 SWC184+1 >600 SWC185+1 >600 SWC186+1 >600 SWC187+1 >600 SWC188+1 >600 SWC189+1 >600 SWC190+1 >600 SWC191+1 >600 SWC192+1 >600 SWC193+1 >600 SWC194+1 >600 SWC195+1 >600 SWC196+1 >600 SWC197+1 >600 SWC198+1 >600 SWC199+1 >600 SWC200+1 >600 SWC201+1 >600 SWC202+1 >600 SWC203+1 >600 SWC204+1 >600 SWC205+1 >600 SWC206+1 >600 SWC207+1 >600 SWC208+1 >600 SWC209+1 >600 SWC210+1 >600 SWC211+1 >600 SWC212+1 >600 SWC213+1 >600 SWC214+1 >600 SWC215+1 >600 SWC216+1 >600 SWC217+1 >600 SWC218+1 >600 SWC219+1 >600 SWC220+1 >600 SWC221+1 >600 SWC222+1 >600 SWC223+1 >600 SWC224+1 >600 SWC225+1 >600 SWC226+1 >600 SWC227+1 >600 SWC228+1 >600 SWC229+1 >600 SWC230+1 >600 SWC231+1 >600 SWC232+1 >600 SWC233+1 >600 SWC234+1 >600 SWC235+1 >600 SWC236+1 >600 SWC237+1 >600 SWC238+1 >600 SWC239+1 >600 SWC240+1 >600 SWC241+1 >600 SWC242+1 >600 SWC243+1 >600 SWC244+1 >600 SWC245+1 >600 SWC246+1 >600 SWC247+1 >600 SWC248+1 >600 SWC249+1 >600 SWC250+1 >600 SWC251+1 >600 SWC252+1 >600 SWC253+1 >600 SWC254+1 >600 SWC255+1 >600 SWC256+1 >600 SWC257+1 >600 SWC258+1 >600 SWC259+1 >600 SWC260+1 >600 SWC261+1 >600 SWC262+1 >600 SWC263+1 >600 SWC264+1 >600 SWC265+1 >600 SWC266+1 >600 SWC267+1 >600 SWC268+1 >600 SWC269+1 >600 SWC270+1 >600 SWC271+1 >600 SWC272+1 >600 SWC273+1 >600 SWC274+1 >600 SWC275+1 >600 SWC276+1 >600 SWC277+1 >600 SWC278+1 >600 SWC279+1 >600 SWC280+1 >600 SWC281+1 >600 SWC282+1 >600 SWC283+1 >600 SWC284+1 >600 SWC285+1 >600 SWC286+1 >600 SWC287+1 >600 SWC288+1 >600 SWC289+1 >600 SWC290+1 >600 SWC291+1 >600 SWC292+1 >600 SWC293+1 >600 SWC294+1 >600 SWC295+1 >600 SWC296+1 >600 SWC297+1 >600 SWC298+1 >600 SWC299+1 >600 SWC300+1 >600 SWC301+1 >600 SWC302+1 >600 SWC303+1 >600 SWC304+1 >600 SWC305+1 >600 SWC306+1 >600 SWC307+1 >600 SWC308+1 >600 SWC309+1 >600 SWC310+1 >600 SWC311+1 >600 SWC312+1 >600 SWC313+1 >600 SWC314+1 >600 SWC315+1 >600 SWC316+1 >600 SWC317+1 >600 SWC318+1 >600 SWC319+1 >600 SWC320+1 >600 SWC321+1 >600 SWC322+1 >600 SWC323+1 >600 SWC324+1 >600 SWC325+1 >600 SWC326+1 >600 SWC327+1 >600 SWC328+1 >600 SWC329+1 >600 SWC330+1 >600 SWC331+1 >600 SWC332+1 >600 SWC333+1 >600 SWC334+1 >600 SWC335+1 >600 SWC336+1 >600 SWC337+1 >600 SWC338+1 >600 SWC339+1 >600 SWC340+1 >600 SWC341+1 >600 SWC342+1 >600 SWC343+1 >600 SWC344+1 >600 SWC345+1 >600 SWC346+1 >600 SWC347+1 >600 SWC348+1 >600 SWC349+1 >600 SWC350+1 >600 SWC351+1 >600 SWC352+1 >600 SWC353+1 >600 SWC354+1 >600 SWC355+1 >600 SWC356+1 >600 SWC357+1 >600 SWC358+1 >600 SWC359+1 >600 SWC360+1 >600 SWC361+1 >600 SWC362+1 >600 SWC363+1 >600 SWC364+1 >600 SWC365+1 >600 SWC366+1 >600 SWC367+1 >600 SWC368+1 >600 SWC369+1 >600 SWC370+1 >600 SWC371+1 >600 SWC372+1 >600 SWC373+1 >600 SWC374+1 >600 SWC375+1 >600 SWC376+1 >600 SWC377+1 >600 SWC378+1 >600 SWC379+1 >600 SWC380+1 >600 SWC381+1 >600 SWC382+1 >600 SWC383+1 >600 SWC384+1 >600 SWC385+1 >600 SWC386+1 >600 SWC387+1 >600 SWC388+1 >600 SWC389+1 >600 SWC390+1 >600 SWC391+1 >600 SWC392+1 >600 SWC393+1 >600 SWC394+1 >600 SWC395+1 >600 SWC396+1 >600 SWC397+1 >600 SWC398+1 >600 SWC399+1 >600 SWC400+1 >600 SWC401+1 >600 SWC402+1 >600 SWC403+1 >600 SWC404+1 >600 SWC405+1 >600 SWC406+1 >600 SWC407+1 >600 SWC408+1 >600 SWC409+1 >600 SWC410+1 >600 SWC411+1 >600 SWC412+1 >600 SWC413+1 >600 SWC414+1 >600 SWC415+1 >600 SWC416+1 >600 SWC417+1 >600 SWC418+1 >600 SWC419+1 >600 SWC420+1 >600 SWC421+1 >600 SWC422+1 >600 SWC423+1 >600 SWV010+1 >600 SWV011+1 <0.01 SWV012+1 >600 SWV013+1 >600 SWV014+1 >600 SWV015+1 >600 SWV016+1 >600 SWV017+1 >600 SWV018+1 >600 SWV022+1 >600 SWV023+1 >600 SWV024+1 >600 SWV025+1 >600 SWV026+1 >600 SWV027+1 >600 SWV028+1 >600 SWV029+1 >600 SWV030+1 >600 SWV031+1 >600 SWV032+1 >600 SWV033+1 >600 SWV034+1 >600 SWV035+1 >600 SWV036+1 >600 SWV037+1 >600 SWV038+1 >600 SWV039+1 >600 SWV040+1 >600 SWV041+1 >600 SWV042+1 >600 SWV043+1 >600 SWV044+1 >600 SWV045+1 >600 SWV046+1 >600 SWV047+1 >600 SWV048+1 >600 SWV049+1 >600 SWV050+1 >600 SWV051+1 >600 SWV052+1 >600 SWV053+1 >600 SWV054+1 >600 SWV055+1 >600 SWV056+1 >600 SWV057+1 >600 SWV058+1 >600 SWV059+1 >600 SWV060+1 >600 SWV061+1 >600 SWV062+1 >600 SWV063+1 >600 SWV064+1 >600 SWV065+1 >600 SWV066+1 >600 SWV067+1 >600 SWV068+1 >600 SWV069+1 >600 SWV070+1 >600 SWV071+1 >600 SWV072+1 >600 SWV073+1 >600 SWV074+1 >600 SWV075+1 >600 SWV076+1 >600 SWV077+1 >600 SWV078+1 >600 SWV079+1 >600 SWV080+1 >600 SWV081+1 >600 SWV082+1 >600 SWV083+1 >600 SWV084+1 >600 SWV085+1 >600 SWV086+1 >600 SWV087+1 >600 SWV088+1 >600 SWV089+1 >600 SWV090+1 >600 SWV091+1 >600 SWV092+1 >600 SWV093+1 >600 SWV094+1 >600 SWV095+1 >600 SWV096+1 >600 SWV097+1 >600 SWV098+1 >600 SWV099+1 >600 SWV100+1 >600 SWV101+1 >600 SWV102+1 >600 SWV103+1 >600 SWV104+1 >600 SWV105+1 >600 SWV106+1 >600 SWV107+1 >600 SWV108+1 >600 SWV109+1 >600 SWV110+1 >600 SWV111+1 >600 SWV112+1 >600 SWV113+1 >600 SWV114+1 >600 SWV115+1 >600 SWV116+1 >600 SWV117+1 >600 SWV118+1 >600 SWV119+1 >600 SWV120+1 >600 SWV121+1 >600 SWV122+1 >600 SWV123+1 >600 SWV124+1 >600 SWV125+1 >600 SWV126+1 >600 SWV127+1 >600 SWV128+1 >600 SWV129+1 >600 SWV130+1 >600 SWV131+1 >600 SWV132+1 >600 SWV133+1 >600 SWV134+1 >600 SWV135+1 >600 SWV136+1 >600 SWV137+1 >600 SWV138+1 >600 SWV139+1 >600 SWV140+1 >600 SWV141+1 >600 SWV142+1 >600 SWV143+1 >600 SWV144+1 >600 SWV145+1 >600 SWV146+1 >600 SWV147+1 >600 SWV148+1 >600 SWV149+1 >600 SWV150+1 >600 SWV151+1 >600 SWV152+1 >600 SWV153+1 >600 SWV154+1 >600 SWV155+1 >600 SWV156+1 >600 SWV157+1 >600 SWV158+1 >600 SWV159+1 >600 SWV160+1 >600 SWV161+1 >600 SWV162+1 >600 SWV163+1 >600 SWV164+1 >600 SWV165+1 >600 SWV166+1 >600 SWV167+1 >600 SWV168+1 >600 SWV169+1 >600 SWV170+1 >600 SWV171+1 >600 SWV172+1 >600 SWV173+1 >600 SWV174+1 >600 SWV175+1 >600 SWV176+1 >600 SWV177+1 >600 SWV178+1 >600 SWV179+1 >600 SWV180+1 >600 SWV181+1 >600 SWV182+1 >600 SWV183+1 >600 SWV184+1 >600 SWV185+1 >600 SWV186+1 >600 SWV187+1 >600 SWV188+1 >600 SWV189+1 >600 SWV190+1 >600 SWV191+1 >600 SWV192+1 >600 SWV193+1 >600 SWV194+1 >600 SWV195+1 >600 SWV196+1 >600 SWV197+1 >600 SWV198+1 >600 SWV199+1 >600 SWV200+1 >600 SWV201+1 >600 SWV202+1 >600 SWV203+1 >600 SWV204+1 >600 SWV205+1 >600 SWV206+1 >600 SWV207+1 >600 SWV208+1 >600 SWV209+1 >600 SWV210+1 >600 SWV211+1 >600 SWV212+1 >600 SWV213+1 >600 SWV214+1 >600 SWV215+1 >600 SWV216+1 >600 SWV217+1 >600 SWV218+1 >600 SWV219+1 >600 SWV220+1 >600 SWV221+1 >600 SWV222+1 >600 SWV223+1 >600 SWV224+1 >600 SWV225+1 >600 SWV226+1 >600 SWV227+1 >600 SWV228+1 >600 SWV229+1 >600 SWV230+1 >600 SWV231+1 >600 SWV232+1 >600 SYN001+1 >600 SYN007+1.014 >600 SYN036+1 0.37 SYN036+2 >600 SYN040+1 >600 SYN041+1 <0.01 SYN044+1 <0.01 SYN045+1 <0.01 SYN046+1 >600 SYN047+1 >600 SYN048+1 >600 SYN049+1 >600 SYN050+1 0.21 SYN051+1 >600 SYN052+1 <0.01 SYN053+1 >600 SYN054+1 >600 SYN055+1 152.23 SYN056+1 >600 SYN057+1 >600 SYN058+1 0.05 SYN059+1 <0.01 SYN060+1 >600 SYN061+1 0.02 SYN062+1 >600 SYN063+1 >600 SYN064+1 >600 SYN065+1 >600 SYN066+1 4.53 SYN067+1 >600 SYN068+1 5.09 SYN069+1 >600 SYN070+1 >600 SYN071+1 >600 SYN072+1 >600 SYN073+1 >600 SYN074+1 >600 SYN075+1 >600 SYN076+1 >600 SYN077+1 >600 SYN078+1 >600 SYN079+1 <0.01 SYN080+1 0.79 SYN081+1 >600 SYN082+1 <0.01 SYN083+1 >600 SYN084+1 >600 SYN315+1 >600 SYN316+1 >600 SYN317+1 >600 SYN318+1 >600 SYN319+1 >600 SYN320+1 >600 SYN321+1 <0.01 SYN322+1 >600 SYN323+1 0.04 SYN324+1 >600 SYN325+1 >600 SYN326+1 >600 SYN327+1 >600 SYN328+1 >600 SYN329+1 >600 SYN330+1 >600 SYN331+1 >600 SYN332+1 >600 SYN333+1 >600 SYN334+1 >600 SYN335+1 >600 SYN336+1 >600 SYN337+1 >600 SYN338+1 >600 SYN339+1 >600 SYN340+1 >600 SYN341+1 >600 SYN342+1 >600 SYN343+1 >600 SYN344+1 >600 SYN345+1 >600 SYN346+1 <0.01 SYN347+1 >600 SYN348+1 >600 SYN349+1 >600 SYN350+1 >600 SYN351+1 >600 SYN352+1 >600 SYN353+1 >600 SYN354+1 >600 SYN355+1 >600 SYN356+1 0.57 SYN357+1 <0.01 SYN358+1 <0.01 SYN359+1 445.09 SYN360+1 0.01 SYN361+1 348.90 SYN362+1 0.01 SYN363+1 0.04 SYN364+1 >600 SYN365+1 16.20 SYN366+1 2.46 SYN367+1 <0.01 SYN368+1 >600 SYN369+1 >600 SYN370+1 >600 SYN371+1 <0.01 SYN372+1 >600 SYN373+1 >600 SYN374+1 <0.01 SYN375+1 0.01 SYN376+1 >600 SYN377+1 <0.01 SYN378+1 >600 SYN379+1 0.01 SYN380+1 >600 SYN381+1 0.80 SYN382+1 <0.01 SYN383+1 >600 SYN384+1 >600 SYN385+1 >600 SYN386+1 >600 SYN387+1 (<0.01) SYN388+1 >600 SYN389+1 >600 SYN390+1 <0.01 SYN391+1 <0.01 SYN392+1 >600 SYN393+1 >600 SYN394+1 <0.01 SYN395+1 <0.01 SYN396+1 >600 SYN397+1 <0.01 SYN398+1 <0.01 SYN399+1 <0.01 SYN400+1 <0.01 SYN401+1 <0.01 SYN402+1 <0.01 SYN403+1 <0.01 SYN404+1 <0.01 SYN405+1 <0.01 SYN406+1 <0.01 SYN407+1 >600 SYN408+1 <0.01 SYN409+1 <0.01 SYN410+1 <0.01 SYN411+1 >600 SYN412+1 <0.01 SYN413+1 0.03 SYN414+1 >600 SYN415+1 >600 SYN416+1 (<0.01) SYN417+1 >600 SYN418+1 stack SYN419+1 stack SYN420+1 stack SYN421+1 stack SYN422+1 stack SYN423+1 stack SYN424+1 stack SYN425+1 stack SYN426+1 stack SYN427+1 stack SYN428+1 stack SYN429+1 stack SYN430+1 stack SYN431+1 stack SYN432+1 stack SYN433+1 stack SYN434+1 stack SYN435+1 stack SYN436+1 stack SYN437+1 stack SYN438+1 stack SYN439+1 stack SYN440+1 stack SYN441+1 stack SYN442+1 stack SYN443+1 stack SYN444+1 stack SYN445+1 stack SYN446+1 stack SYN447+1 stack SYN448+1 stack SYN449+1 stack SYN450+1 stack SYN451+1 stack SYN452+1 stack SYN453+1 stack SYN454+1 stack SYN455+1 stack SYN456+1 stack SYN457+1 stack SYN458+1 stack SYN459+1 stack SYN460+1 stack SYN461+1 stack SYN462+1 stack SYN463+1 stack SYN464+1 stack SYN465+1 stack SYN466+1 stack SYN467+1 stack SYN468+1 stack SYN469+1 stack SYN470+1 stack SYN471+1 stack SYN472+1 stack SYN473+1 stack SYN474+1 stack SYN475+1 stack SYN476+1 stack SYN477+1 stack SYN478+1 stack SYN479+1 stack SYN480+1 stack SYN481+1 stack SYN482+1 stack SYN483+1 stack SYN484+1 stack SYN485+1 stack SYN486+1 stack SYN487+1 stack SYN488+1 stack SYN489+1 stack SYN490+1 stack SYN491+1 >600 SYN492+1 >600 SYN493+1 >600 SYN494+1 >600 SYN495+1 stack SYN496+1 >600 SYN497+1 stack SYN498+1 stack SYN499+1 stack SYN500+1 stack SYN501+1 stack SYN502+1 stack SYN503+1 stack SYN504+1 stack SYN505+1 stack SYN506+1 stack SYN507+1 stack SYN508+1 stack SYN509+1 stack SYN510+1 stack SYN511+1 stack SYN512+1 stack SYN513+1 stack SYN514+1 stack SYN515+1 >600 SYN516+1 >600 SYN517+1 >600 SYN518+1 stack SYN519+1 stack SYN520+1 stack SYN521+1 >600 SYN522+1 >600 SYN523+1 >600 SYN524+1 >600 SYN525+1 >600 SYN526+1 >600 SYN527+1 stack SYN528+1 stack SYN529+1 stack SYN530+1 >600 SYN531+1 stack SYN532+1 stack SYN533+1 stack SYN534+1 stack SYN535+1 stack SYN536+1 stack SYN537+1 stack SYN538+1 stack SYN539+1 stack SYN540+1 stack SYN541+1 stack SYN542+1 stack SYN543+1 stack SYN544+1 stack SYN545+1 stack SYN546+1 stack SYN547+1 stack SYN548+1 >600 SYN549+1 >600 SYN550+1 >600 SYN551+1 >600 SYN551+2 >600 SYN551+3 >600 SYN721+1 16.14 SYN722+1 0.02 SYN723+1 >600 SYN724+1 <0.01 SYN725+1 >600 SYN726+1 >600 SYN727+1 0.04 SYN728+1 >600 SYN729+1 16.18 SYN730+1 >600 SYN731+1 >600 SYN732+1 >600 SYN733+1 <0.01 SYN915+1 <0.01 SYN916+1 (<0.01) SYN917+1 >600 SYN918+1 >600 SYN919+1 2.95 SYN920+1 >600 SYN921+1 >600 SYN922+1 <0.01 SYN923+1 <0.01 SYN924+1 <0.01 SYN925+1 >600 SYN926+1 <0.01 SYN927+1 <0.01 SYN928+1 <0.01 SYN929+1 <0.01 SYN930+1 >600 SYN931+1 <0.01 SYN932+1 <0.01 SYN933+1 <0.01 SYN934+1 >600 SYN935+1 >600 SYN936+1 <0.01 SYN937+1 <0.01 SYN938+1 >600 SYN939+1 >600 SYN940+1 >600 SYN941+1 >600 SYN942+1 >600 SYN943+1 0.14 SYN944+1 2.61 SYN945+1 <0.01 SYN946+1 <0.01 SYN947+1 <0.01 SYN948+1 <0.01 SYN949+1 2.49 SYN950+1 >600 SYN951+1 >600 SYN952+1 <0.01 SYN953+1 <0.01 SYN954+1 >600 SYN955+1 0.01 SYN956+1 <0.01 SYN957+1 <0.01 SYN958+1 <0.01 SYN959+1 <0.01 SYN960+1 <0.01 SYN961+1 <0.01 SYN962+1 <0.01 SYN963+1 <0.01 SYN964+1 <0.01 SYN965+1 >600 SYN966+1 >600 SYN967+1 >600 SYN968+1 >600 SYN969+1 <0.01 SYN970+1 <0.01 SYN971+1 >600 SYN972+1 <0.01 SYN973+1 <0.01 SYN974+1 <0.01 SYN975+1 <0.01 SYN976+1 <0.01 SYN977+1 (<0.01) SYN978+1 <0.01 SYN979+1 <0.01 SYN980+1 <0.01 SYN981+1 <0.01 TOP020+1 >600 TOP021+1 44.06 TOP022+1 >600 GEJ001+1 >600 GEJ001+2 >600 GEJ001+3 >600 GEJ001+4 >600 GEJ002+1 >600 GEJ002+2 0.15 GEJ003+1 >600 GEJ003+2 >600 GEJ004+1 >600 GEJ004+2 >600 GEJ004+3 >600 GEJ004+4 >600 GEJ005+1 >600 GEJ005+2 >600 GEJ005+3 >600 GEJ005+4 >600 GEJ006+1 >600 GEJ006+2 >600 GEJ007+1 >600 GEJ007+2 47.02 GEJ007+3 >600 GEJ007+4 0.55 GEJ008+1 >600 GEJ008+2 >600 GEJ008+3 >600 GEJ009+1 >600 GEJ009+2 38.85 GEJ009+3 >600 GEJ009+4 0.26 GEJ010+1 >600 GEJ010+2 >600 GEJ010+3 >600 GEJ010+4 >600 GEJ011+1 >600 GEJ011+2 >600 GEJ012+1 >600 GEJ012+2 >600 GEJ013+1 >600 GEJ013+2 >600 GEJ014+1 >600 GEJ014+2 >600 GEJ015+1 >600 GEJ015+2 >600 GEJ016+1 >600 GEJ016+2 >600 GEJ017+1 >600 GEJ017+2 >600 GEJ018+1 >600 GEJ018+2 >600 GEJ019+1 >600 GEJ019+2 >600 GEJ020+1 >600 GEJ020+2 >600 GEJ021+1 >600 GEJ021+2 >600 GEJ022+1 >600 GEJ022+2 >600 GEJ023+1 >600 GEJ023+2 >600 GEJ024+1 >600 GEJ024+2 >600 GEJ025+1 >600 GEJ025+2 >600 GEJ026+1 >600 GEJ026+2 >600 GEJ027+1 >600 GEJ027+2 >600 GEJ028+1 >600 GEJ028+2 >600 GEJ029+1 >600 GEJ029+2 >600 GEJ030+1 >600 GEJ030+2 >600 GEJ031+1 >600 GEJ031+2 >600 GEJ032+1 >600 GEJ032+2 >600 GEJ033+1 >600 GEJ033+2 >600 GEJ034+1 >600 GEJ034+2 >600 GEJ035+1 >600 GEJ035+2 >600 GEJ036+1 >600 GEJ036+2 >600 GEJ037+1 >600 GEJ037+2 >600 GEJ038+1 0.01 GEJ038+2 0.01 GEJ039+1 377.72 GEJ039+2 205.10 GEJ040+1 >600 GEJ040+2 >600 GPJ001+1 >600 GPJ001+2 >600 GPJ001+3 >600 GPJ002+1 >600 GPJ003+1 >600 SYJ001+1.002 <0.01 SYJ001+1.004 0.28 SYJ001+1.006 >600 SYJ001+1.008 >600 SYJ001+1.010 >600 SYJ001+1.012 >600 SYJ001+1.014 >600 SYJ001+1.016 >600 SYJ002+1.002 <0.01 SYJ002+1.004 2.70 SYJ002+1.006 >600 SYJ002+1.008 >600 SYJ002+1.010 >600 SYJ002+1.012 >600 SYJ002+1.014 >600 SYJ002+1.016 >600 SYJ003+1.002 <0.01 SYJ003+1.004 >600 SYJ003+1.006 >600 SYJ003+1.008 >600 SYJ003+1.010 >600 SYJ003+1.012 >600 SYJ003+1.014 >600 SYJ003+1.016 >600 SYJ004+1.002 >600 SYJ004+1.004 >600 SYJ004+1.006 >600 SYJ004+1.008 >600 SYJ004+1.010 >600 SYJ004+1.012 >600 SYJ004+1.014 >600 SYJ004+1.016 >600 SYJ013+1 >600 SYJ014+1 >600 SYJ015+1 >600 SYJ016+1 <0.01 SYJ017+1 <0.01 SYJ018+1 0.02 SYJ019+1 <0.01 SYJ020+1 554.45 SYJ021+1 9.99 SYJ022+1 0.01 SYJ023+1 0.01 SYJ024+1 0.02 SYJ025+1 <0.01 SYJ026+1 0.01 SYJ027+1 7.59 SYJ028+1 0.08 SYJ029+1 0.10 SYJ030+1 3.04 SYJ031+1 1.41 SYJ032+1 0.04 SYJ033+1 >600 SYJ034+1 <0.01 SYJ035+1 <0.01 SYJ036+1 0.05 SYJ037+1 3.63 SYJ038+1 0.01 SYJ039+1 0.21 SYJ101+1 <0.01 SYJ102+1 <0.01 SYJ103+1 <0.01 SYJ104+1 <0.01 SYJ105+1.002 <0.01 SYJ105+1.003 <0.01 SYJ105+1.004 0.02 SYJ106+1 0.01 SYJ107+1.001 <0.01 SYJ107+1.002 <0.01 SYJ107+1.003 <0.01 SYJ107+1.004 0.03 SYJ108+1 <0.01 SYJ109+1 <0.01 SYJ110+1 0.07 SYJ111+1 0.01 SYJ112+1 <0.01 SYJ113+1 0.07 SYJ114+1 0.06 SYJ115+1 <0.01 SYJ116+1.001 <0.01 SYJ116+1.002 >600 SYJ116+1.003 >600 SYJ116+1.004 >600 SYJ117+1 <0.01 SYJ118+1 >600 SYJ119+1 <0.01 SYJ120+1 <0.01 SYJ121+1 0.01 SYJ122+1 <0.01 SYJ123+1 0.02 SYJ124+1 0.02 SYJ125+1 >600 SYJ201+1.002 0.08 SYJ201+1.006 >600 SYJ201+1.010 >600 SYJ202+1.002 <0.01 SYJ202+1.006 stack SYJ202+1.010 stack SYJ203+1.002 <0.01 SYJ203+1.006 393.92 SYJ203+1.010 >600 SYJ204+1.002 <0.01 SYJ204+1.006 >600 SYJ204+1.010 >600 SYJ205+1.002 <0.01 SYJ205+1.006 0.30 SYJ205+1.010 282.45 SYJ206+1.002 <0.01 SYJ206+1.006 >600 SYJ206+1.010 >600 SYJ207+1.002 >600 SYJ207+1.006 >600 SYJ207+1.010 >600 SYJ208+1.002 >600 SYJ208+1.006 >600 SYJ208+1.010 stack SYJ209+1.002 >600 SYJ209+1.006 >600 SYJ209+1.010 >600 SYJ210+1.002 >600 SYJ210+1.006 >600 SYJ210+1.010 >600 SYJ211+1.002 >600 SYJ211+1.006 >600 SYJ211+1.010 >600 SYJ212+1.002 >600 SYJ212+1.006 >600 SYJ212+1.010 >600 abbreviations: stack - stack overflow 123.45 - proved in 123.45 sec. (123.45) - refuted in 123.45 sec.