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