Index of /~mptp/mml5.63.1382/8.1.10_5.63.1382/mptp/problems_small_thf.orig2021/numeral2

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]numeral2__l25_numeral22021-07-18 16:29 63K 
[ ]numeral2__l26_numeral22021-07-18 16:30 140K 
[ ]numeral2__l27_numeral22021-07-18 16:30 203K 
[ ]numeral2__l28_numeral22021-07-18 16:31 79K 
[ ]numeral2__t1_numeral22021-07-18 15:49 75K 
[ ]numeral2__t2_numeral22021-07-18 15:50 58K 
[ ]numeral2__t3_numeral22021-07-18 15:50 78K 
[ ]numeral2__t4_numeral22021-07-18 15:51 69K 
[ ]numeral2__t5_numeral22021-07-18 15:51 71K 
[ ]numeral2__t6_numeral22021-07-18 15:51 76K 
[ ]numeral2__t7_numeral22021-07-18 15:52 57K 
[ ]numeral2__t8_numeral22021-07-18 15:52 57K 
[ ]numeral2__t9_numeral22021-07-18 15:53 115K 
[ ]numeral2__t10_numeral22021-07-18 15:53 116K 
[ ]numeral2__t11_numeral22021-07-18 15:54 101K 
[ ]numeral2__t12_numeral22021-07-18 15:54 133K 
[ ]numeral2__t13_numeral22021-07-18 15:55 277K 
[ ]numeral2__t14_numeral22021-07-18 15:55 53K 
[ ]numeral2__t15_numeral22021-07-18 15:55 3.0K 
[ ]numeral2__t16_numeral22021-07-18 15:56 128K 
[ ]numeral2__t17_numeral22021-07-18 15:57 102K 
[ ]numeral2__t18_numeral22021-07-18 15:57 77K 
[ ]numeral2__t19_numeral22021-07-18 15:58 150K 
[ ]numeral2__t20_numeral22021-07-18 15:58 385K 
[ ]numeral2__t21_numeral22021-07-18 15:59 787K 
[ ]numeral2__t22_numeral22021-07-18 15:59 60K 
[ ]numeral2__t23_numeral22021-07-18 15:59 160K 
[ ]numeral2__t24_numeral22021-07-18 16:00 169K 
[ ]numeral2__t25_numeral22021-07-18 16:00 127K 
[ ]numeral2__t26_numeral22021-07-18 16:01 139K 
[ ]numeral2__t27_numeral22021-07-18 16:01 133K 
[ ]numeral2__t28_numeral22021-07-18 16:02 118K 
[ ]numeral2__t29_numeral22021-07-18 16:02 166K 
[ ]numeral2__t30_numeral22021-07-18 16:03 149K 
[ ]numeral2__t31_numeral22021-07-18 16:03 130K 
[ ]numeral2__t32_numeral22021-07-18 16:04 158K 
[ ]numeral2__t33_numeral22021-07-18 16:04 133K 
[ ]numeral2__t34_numeral22021-07-18 16:05 142K 
[ ]numeral2__t35_numeral22021-07-18 16:05 140K 
[ ]numeral2__t36_numeral22021-07-18 16:06 155K 
[ ]numeral2__t37_numeral22021-07-18 16:06 117K 
[ ]numeral2__t38_numeral22021-07-18 16:07 192K 
[ ]numeral2__t39_numeral22021-07-18 16:07 138K 
[ ]numeral2__t40_numeral22021-07-18 16:08 86K 
[ ]numeral2__t41_numeral22021-07-18 16:08 110K 
[ ]numeral2__t42_numeral22021-07-18 16:09 78K 
[ ]numeral2__t43_numeral22021-07-18 16:09 583K 
[ ]numeral2__t44_numeral22021-07-18 16:10 144K 
[ ]numeral2__t45_numeral22021-07-18 16:10 78K 
[ ]numeral2__t46_numeral22021-07-18 16:11 138K 
[ ]numeral2__t47_numeral22021-07-18 16:11 90K 
[ ]numeral2__t48_numeral22021-07-18 16:12 114K 
[ ]numeral2__t49_numeral22021-07-18 16:12 77K 
[ ]numeral2__t50_numeral22021-07-18 16:13 133K 
[ ]numeral2__t51_numeral22021-07-18 16:13 77K 
[ ]numeral2__t52_numeral22021-07-18 16:14 123K 
[ ]numeral2__t53_numeral22021-07-18 16:14 78K 
[ ]numeral2__t54_numeral22021-07-18 16:15 122K 
[ ]numeral2__t55_numeral22021-07-18 16:15 91K 
[ ]numeral2__t56_numeral22021-07-18 16:15 129K 
[ ]numeral2__t57_numeral22021-07-18 16:16 90K 
[ ]numeral2__t58_numeral22021-07-18 16:16 118K 
[ ]numeral2__t59_numeral22021-07-18 16:17 89K 
[ ]numeral2__t60_numeral22021-07-18 16:17 129K 
[ ]numeral2__t61_numeral22021-07-18 16:18 77K 
[ ]numeral2__t62_numeral22021-07-18 16:18 125K 
[ ]numeral2__t63_numeral22021-07-18 16:19 87K 
[ ]numeral2__t64_numeral22021-07-18 16:19 127K 
[ ]numeral2__t65_numeral22021-07-18 16:20 77K 
[ ]numeral2__t66_numeral22021-07-18 16:20 115K 
[ ]numeral2__t67_numeral22021-07-18 16:21 77K 
[ ]numeral2__t68_numeral22021-07-18 16:21 115K 
[ ]numeral2__t69_numeral22021-07-18 16:22 86K 
[ ]numeral2__t70_numeral22021-07-18 16:22 126K 
[ ]numeral2__t71_numeral22021-07-18 16:23 90K 
[ ]numeral2__t72_numeral22021-07-18 16:23 113K 
[ ]numeral2__t73_numeral22021-07-18 16:23 86K 
[ ]numeral2__t74_numeral22021-07-18 16:24 123K 
[ ]numeral2__t75_numeral22021-07-18 16:24 77K 
[ ]numeral2__t76_numeral22021-07-18 16:25 119K 
[ ]numeral2__t77_numeral22021-07-18 16:25 78K 
[ ]numeral2__t78_numeral22021-07-18 16:26 123K 
[ ]numeral2__t79_numeral22021-07-18 16:26 77K 
[ ]numeral2__t80_numeral22021-07-18 16:27 118K 
[ ]numeral2__t81_numeral22021-07-18 16:27 78K 
[ ]numeral2__t82_numeral22021-07-18 16:28 121K 
[ ]numeral2__t83_numeral22021-07-18 16:28 86K 
[ ]numeral2__t84_numeral22021-07-18 16:29 109K 
[ ]numeral2__t85_numeral22021-07-18 16:29 85K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80