![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[ ]](/icons/compressed.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
![[IMG]](/icons/image2.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| 00all | 2018-05-14 22:10 | 353K | |
| 00all_test | 2018-05-14 22:10 | 39K | |
| M2k_list | 2019-05-04 07:50 | 24K | |
| l10_tex_2 | 2018-05-13 14:03 | 3.8K | |
| l10_tex_2.p | 2019-04-26 08:18 | 1.1K | |
| l10_tex_2.p.out | 2019-04-26 07:28 | 9.4K | |
| l10_tex_2.v | 2019-04-26 08:19 | 736 | |
| l10_tex_2_2019_4_26_5_28_37.json.p | 2019-04-26 07:28 | 5.5K | |
| l10_tex_2_2019_4_26_5_28_37.json.v | 2019-04-26 07:28 | 3.0K | |
| lcop.native.dbg1 | 2019-02-19 09:55 | 871K | |
| m2n.ucb.200k.tar.gz | 2019-04-26 07:42 | 4.5M | |
| m2n.ucb.200k.tree.tar.gz | 2019-02-19 08:52 | 219K | |
| m2n.ucb.200k.tree1.tar.gz | 2019-02-19 10:00 | 5.7M | |
| m2np_converted_noequal.tar.gz | 2020-02-24 16:18 | 380K | |
| m40.tgz | 2018-05-15 16:48 | 8.6M | |
| problems_small_np.tar.gz | 2019-02-21 16:57 | 194M | |
| r0.tar.gz | 2019-02-14 10:20 | 4.5M | |
| r0noeq.norm.tar.gz | 2020-02-24 16:13 | 951K | |
| r0noeq.tar.gz | 2020-02-24 16:13 | 2.4M | |
| reprove_92k.tar.gz | 2019-02-23 10:43 | 25M | |
| reprove_92k_cnf.tar.gz | 2019-02-23 10:47 | 34M | |
| reprove_92k_cnf_out.tar.gz | 2019-02-23 11:34 | 235M | |
| t17_lpspace2.pdf | 2019-04-02 21:54 | 112K | |
| t17_lpspace2.pg1 | 2019-04-02 21:53 | 111K | |
| t17_lpspace2.svg | 2019-04-02 22:01 | 372K | |
| value38.xgb | 2018-05-16 21:13 | 2.2M | |