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