ILTP-v1.1-prop-statistics ------------------------- 274 propositional problems date: Jul 15 2006 Domain Theorems Non-Theorems UnsolvedOpen Intuit. Rating 0.0 0.01-0.33 0.34-0.66 0.67-0.99 1.00 LCL 0 2 0 0 2 0 0 0 0 SYN 7 13 0 0 19 0 0 1 0 SYJ 121 94 37 0 139 23 28 25 37 Sum 128 109 37 0 160 23 28 26 37 Rating 0.0 0.01-0.33 0.34-0.66 0.67-0.99 1.00 Sum Theorem 97 13 16 2 0 128 Non-Theorem 63 10 12 24 0 109 Unsolved 0 0 0 0 37 37 Open 0 0 0 0 0 0 Sum 160 23 28 26 37 274 problem intuit. status intuit. rating LCL181+1 Non-Theorem 0.00 LCL230+1 Non-Theorem 0.00 SYN001+1 Non-Theorem 0.00 SYN007+1.014 Non-Theorem 0.75 SYN040+1 Non-Theorem 0.00 SYN041+1 Theorem 0.00 SYN044+1 Theorem 0.00 SYN045+1 Theorem 0.00 SYN046+1 Non-Theorem 0.00 SYN047+1 Non-Theorem 0.00 SYN387+1 Non-Theorem 0.00 SYN388+1 Non-Theorem 0.00 SYN389+1 Non-Theorem 0.00 SYN390+1 Theorem 0.00 SYN391+1 Theorem 0.00 SYN392+1 Non-Theorem 0.00 SYN393+1 Non-Theorem 0.00 SYN416+1 Non-Theorem 0.00 SYN915+1 Theorem 0.00 SYN916+1 Non-Theorem 0.00 SYN977+1 Non-Theorem 0.00 SYN978+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 SYJ201+1.001 Theorem 0.00 SYJ201+1.002 Theorem 0.00 SYJ201+1.003 Theorem 0.00 SYJ201+1.004 Theorem 0.00 SYJ201+1.005 Theorem 0.00 SYJ201+1.006 Theorem 0.00 SYJ201+1.007 Theorem 0.00 SYJ201+1.008 Theorem 0.00 SYJ201+1.009 Theorem 0.00 SYJ201+1.010 Theorem 0.00 SYJ201+1.011 Theorem 0.00 SYJ201+1.012 Theorem 0.00 SYJ201+1.013 Theorem 0.00 SYJ201+1.014 Theorem 0.00 SYJ201+1.015 Theorem 0.00 SYJ201+1.016 Theorem 0.00 SYJ201+1.017 Theorem 0.00 SYJ201+1.018 Theorem 0.00 SYJ201+1.019 Theorem 0.00 SYJ201+1.020 Theorem 0.00 SYJ202+1.001 Theorem 0.00 SYJ202+1.002 Theorem 0.00 SYJ202+1.003 Theorem 0.00 SYJ202+1.004 Theorem 0.00 SYJ202+1.005 Theorem 0.25 SYJ202+1.006 Theorem 0.25 SYJ202+1.007 Theorem 0.50 SYJ202+1.008 Theorem 0.75 SYJ202+1.009 Theorem 0.75 SYJ202+1.010 Unsolved 1.00 SYJ202+1.011 Unsolved 1.00 SYJ202+1.012 Unsolved 1.00 SYJ202+1.013 Unsolved 1.00 SYJ202+1.014 Unsolved 1.00 SYJ202+1.015 Unsolved 1.00 SYJ202+1.016 Unsolved 1.00 SYJ202+1.017 Unsolved 1.00 SYJ202+1.018 Unsolved 1.00 SYJ202+1.019 Unsolved 1.00 SYJ202+1.020 Unsolved 1.00 SYJ203+1.001 Theorem 0.00 SYJ203+1.002 Theorem 0.00 SYJ203+1.003 Theorem 0.00 SYJ203+1.004 Theorem 0.00 SYJ203+1.005 Theorem 0.00 SYJ203+1.006 Theorem 0.00 SYJ203+1.007 Theorem 0.00 SYJ203+1.008 Theorem 0.00 SYJ203+1.009 Theorem 0.00 SYJ203+1.010 Theorem 0.00 SYJ203+1.011 Theorem 0.00 SYJ203+1.012 Theorem 0.00 SYJ203+1.013 Theorem 0.00 SYJ203+1.014 Theorem 0.00 SYJ203+1.015 Theorem 0.00 SYJ203+1.016 Theorem 0.00 SYJ203+1.017 Theorem 0.00 SYJ203+1.018 Theorem 0.00 SYJ203+1.019 Theorem 0.00 SYJ203+1.020 Theorem 0.00 SYJ204+1.001 Theorem 0.00 SYJ204+1.002 Theorem 0.00 SYJ204+1.003 Theorem 0.00 SYJ204+1.004 Theorem 0.00 SYJ204+1.005 Theorem 0.00 SYJ204+1.006 Theorem 0.00 SYJ204+1.007 Theorem 0.00 SYJ204+1.008 Theorem 0.00 SYJ204+1.009 Theorem 0.00 SYJ204+1.010 Theorem 0.00 SYJ204+1.011 Theorem 0.00 SYJ204+1.012 Theorem 0.00 SYJ204+1.013 Theorem 0.00 SYJ204+1.014 Theorem 0.00 SYJ204+1.015 Theorem 0.00 SYJ204+1.016 Theorem 0.00 SYJ204+1.017 Theorem 0.00 SYJ204+1.018 Theorem 0.00 SYJ204+1.019 Theorem 0.00 SYJ204+1.020 Theorem 0.00 SYJ205+1.001 Theorem 0.00 SYJ205+1.002 Theorem 0.00 SYJ205+1.003 Theorem 0.00 SYJ205+1.004 Theorem 0.00 SYJ205+1.005 Theorem 0.00 SYJ205+1.006 Theorem 0.00 SYJ205+1.007 Theorem 0.00 SYJ205+1.008 Theorem 0.00 SYJ205+1.009 Theorem 0.00 SYJ205+1.010 Theorem 0.25 SYJ205+1.011 Theorem 0.25 SYJ205+1.012 Theorem 0.25 SYJ205+1.013 Theorem 0.25 SYJ205+1.014 Theorem 0.25 SYJ205+1.015 Theorem 0.50 SYJ205+1.016 Theorem 0.50 SYJ205+1.017 Theorem 0.50 SYJ205+1.018 Theorem 0.50 SYJ205+1.019 Theorem 0.50 SYJ205+1.020 Theorem 0.50 SYJ206+1.001 Theorem 0.00 SYJ206+1.002 Theorem 0.00 SYJ206+1.003 Theorem 0.00 SYJ206+1.004 Theorem 0.00 SYJ206+1.005 Theorem 0.00 SYJ206+1.006 Theorem 0.25 SYJ206+1.007 Theorem 0.25 SYJ206+1.008 Theorem 0.25 SYJ206+1.009 Theorem 0.25 SYJ206+1.010 Theorem 0.25 SYJ206+1.011 Theorem 0.25 SYJ206+1.012 Theorem 0.50 SYJ206+1.013 Theorem 0.50 SYJ206+1.014 Theorem 0.50 SYJ206+1.015 Theorem 0.50 SYJ206+1.016 Theorem 0.50 SYJ206+1.017 Theorem 0.50 SYJ206+1.018 Theorem 0.50 SYJ206+1.019 Theorem 0.50 SYJ206+1.020 Theorem 0.50 SYJ207+1.001 Non-Theorem 0.00 SYJ207+1.002 Non-Theorem 0.00 SYJ207+1.003 Non-Theorem 0.00 SYJ207+1.004 Non-Theorem 0.25 SYJ207+1.005 Non-Theorem 0.75 SYJ207+1.006 Non-Theorem 0.75 SYJ207+1.007 Non-Theorem 0.75 SYJ207+1.008 Unsolved 1.00 SYJ207+1.009 Unsolved 1.00 SYJ207+1.010 Unsolved 1.00 SYJ207+1.011 Unsolved 1.00 SYJ207+1.012 Unsolved 1.00 SYJ207+1.013 Unsolved 1.00 SYJ207+1.014 Unsolved 1.00 SYJ207+1.015 Unsolved 1.00 SYJ207+1.016 Unsolved 1.00 SYJ207+1.017 Unsolved 1.00 SYJ207+1.018 Unsolved 1.00 SYJ207+1.019 Unsolved 1.00 SYJ207+1.020 Unsolved 1.00 SYJ208+1.001 Non-Theorem 0.00 SYJ208+1.002 Non-Theorem 0.00 SYJ208+1.003 Non-Theorem 0.00 SYJ208+1.004 Non-Theorem 0.00 SYJ208+1.005 Non-Theorem 0.00 SYJ208+1.006 Non-Theorem 0.25 SYJ208+1.007 Non-Theorem 0.50 SYJ208+1.008 Non-Theorem 0.50 SYJ208+1.009 Non-Theorem 0.75 SYJ208+1.010 Non-Theorem 0.75 SYJ208+1.011 Non-Theorem 0.75 SYJ208+1.012 Non-Theorem 0.75 SYJ208+1.013 Non-Theorem 0.75 SYJ208+1.014 Non-Theorem 0.75 SYJ208+1.015 Non-Theorem 0.75 SYJ208+1.016 Non-Theorem 0.75 SYJ208+1.017 Non-Theorem 0.75 SYJ208+1.018 Unsolved 1.00 SYJ208+1.019 Unsolved 1.00 SYJ208+1.020 Unsolved 1.00 SYJ209+1.001 Non-Theorem 0.00 SYJ209+1.002 Non-Theorem 0.00 SYJ209+1.003 Non-Theorem 0.00 SYJ209+1.004 Non-Theorem 0.00 SYJ209+1.005 Non-Theorem 0.00 SYJ209+1.006 Non-Theorem 0.00 SYJ209+1.007 Non-Theorem 0.00 SYJ209+1.008 Non-Theorem 0.00 SYJ209+1.009 Non-Theorem 0.00 SYJ209+1.010 Non-Theorem 0.00 SYJ209+1.011 Unsolved 1.00 SYJ209+1.012 Unsolved 1.00 SYJ209+1.013 Unsolved 1.00 SYJ209+1.014 Unsolved 1.00 SYJ209+1.015 Unsolved 1.00 SYJ209+1.016 Unsolved 1.00 SYJ209+1.017 Unsolved 1.00 SYJ209+1.018 Unsolved 1.00 SYJ209+1.019 Unsolved 1.00 SYJ209+1.020 Unsolved 1.00 SYJ210+1.001 Non-Theorem 0.00 SYJ210+1.002 Non-Theorem 0.00 SYJ210+1.003 Non-Theorem 0.00 SYJ210+1.004 Non-Theorem 0.00 SYJ210+1.005 Non-Theorem 0.00 SYJ210+1.006 Non-Theorem 0.00 SYJ210+1.007 Non-Theorem 0.00 SYJ210+1.008 Non-Theorem 0.00 SYJ210+1.009 Non-Theorem 0.00 SYJ210+1.010 Non-Theorem 0.00 SYJ210+1.011 Non-Theorem 0.00 SYJ210+1.012 Non-Theorem 0.00 SYJ210+1.013 Non-Theorem 0.00 SYJ210+1.014 Non-Theorem 0.00 SYJ210+1.015 Non-Theorem 0.00 SYJ210+1.016 Non-Theorem 0.00 SYJ210+1.017 Non-Theorem 0.00 SYJ210+1.018 Non-Theorem 0.00 SYJ210+1.019 Non-Theorem 0.00 SYJ210+1.020 Non-Theorem 0.00 SYJ211+1.001 Non-Theorem 0.00 SYJ211+1.002 Non-Theorem 0.00 SYJ211+1.003 Non-Theorem 0.00 SYJ211+1.004 Non-Theorem 0.00 SYJ211+1.005 Non-Theorem 0.25 SYJ211+1.006 Non-Theorem 0.25 SYJ211+1.007 Non-Theorem 0.25 SYJ211+1.008 Non-Theorem 0.25 SYJ211+1.009 Non-Theorem 0.50 SYJ211+1.010 Non-Theorem 0.75 SYJ211+1.011 Non-Theorem 0.75 SYJ211+1.012 Non-Theorem 0.75 SYJ211+1.013 Non-Theorem 0.75 SYJ211+1.014 Non-Theorem 0.75 SYJ211+1.015 Non-Theorem 0.75 SYJ211+1.016 Non-Theorem 0.75 SYJ211+1.017 Non-Theorem 0.75 SYJ211+1.018 Non-Theorem 0.75 SYJ211+1.019 Non-Theorem 0.75 SYJ211+1.020 Non-Theorem 0.75 SYJ212+1.001 Non-Theorem 0.00 SYJ212+1.002 Non-Theorem 0.00 SYJ212+1.003 Non-Theorem 0.00 SYJ212+1.004 Non-Theorem 0.00 SYJ212+1.005 Non-Theorem 0.00 SYJ212+1.006 Non-Theorem 0.00 SYJ212+1.007 Non-Theorem 0.00 SYJ212+1.008 Non-Theorem 0.25 SYJ212+1.009 Non-Theorem 0.25 SYJ212+1.010 Non-Theorem 0.25 SYJ212+1.011 Non-Theorem 0.25 SYJ212+1.012 Non-Theorem 0.50 SYJ212+1.013 Non-Theorem 0.50 SYJ212+1.014 Non-Theorem 0.50 SYJ212+1.015 Non-Theorem 0.50 SYJ212+1.016 Non-Theorem 0.50 SYJ212+1.017 Non-Theorem 0.50 SYJ212+1.018 Non-Theorem 0.50 SYJ212+1.019 Non-Theorem 0.50 SYJ212+1.020 Non-Theorem 0.50