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