Index of /~mptp/mml5.63.1382/MPTP2/problems/numeral2

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]numeral2__l25_numeral22023-06-28 14:51 64K 
[ ]numeral2__l26_numeral22023-06-28 14:51 145K 
[ ]numeral2__l27_numeral22023-06-28 14:52 210K 
[ ]numeral2__l28_numeral22023-06-28 14:52 81K 
[ ]numeral2__t1_numeral22023-06-28 14:03 75K 
[ ]numeral2__t2_numeral22023-06-28 14:04 58K 
[ ]numeral2__t3_numeral22023-06-28 14:04 79K 
[ ]numeral2__t4_numeral22023-06-28 14:05 69K 
[ ]numeral2__t5_numeral22023-06-28 14:05 71K 
[ ]numeral2__t6_numeral22023-06-28 14:06 76K 
[ ]numeral2__t7_numeral22023-06-28 14:06 57K 
[ ]numeral2__t8_numeral22023-06-28 14:07 57K 
[ ]numeral2__t9_numeral22023-06-28 14:07 114K 
[ ]numeral2__t10_numeral22023-06-28 14:08 116K 
[ ]numeral2__t11_numeral22023-06-28 14:09 101K 
[ ]numeral2__t12_numeral22023-06-28 14:09 134K 
[ ]numeral2__t13_numeral22023-06-28 14:10 286K 
[ ]numeral2__t14_numeral22023-06-28 14:10 53K 
[ ]numeral2__t15_numeral22023-06-28 14:11 3.0K 
[ ]numeral2__t16_numeral22023-06-28 14:11 129K 
[ ]numeral2__t17_numeral22023-06-28 14:12 102K 
[ ]numeral2__t18_numeral22023-06-28 14:12 77K 
[ ]numeral2__t19_numeral22023-06-28 14:13 150K 
[ ]numeral2__t20_numeral22023-06-28 14:14 398K 
[ ]numeral2__t21_numeral22023-06-28 14:14 818K 
[ ]numeral2__t22_numeral22023-06-28 14:15 60K 
[ ]numeral2__t23_numeral22023-06-28 14:15 165K 
[ ]numeral2__t24_numeral22023-06-28 14:16 174K 
[ ]numeral2__t25_numeral22023-06-28 14:16 130K 
[ ]numeral2__t26_numeral22023-06-28 14:17 143K 
[ ]numeral2__t27_numeral22023-06-28 14:18 137K 
[ ]numeral2__t28_numeral22023-06-28 14:18 120K 
[ ]numeral2__t29_numeral22023-06-28 14:19 171K 
[ ]numeral2__t30_numeral22023-06-28 14:19 153K 
[ ]numeral2__t31_numeral22023-06-28 14:20 133K 
[ ]numeral2__t32_numeral22023-06-28 14:20 163K 
[ ]numeral2__t33_numeral22023-06-28 14:21 136K 
[ ]numeral2__t34_numeral22023-06-28 14:22 146K 
[ ]numeral2__t35_numeral22023-06-28 14:22 144K 
[ ]numeral2__t36_numeral22023-06-28 14:23 160K 
[ ]numeral2__t37_numeral22023-06-28 14:23 118K 
[ ]numeral2__t38_numeral22023-06-28 14:24 197K 
[ ]numeral2__t39_numeral22023-06-28 14:25 140K 
[ ]numeral2__t40_numeral22023-06-28 14:25 86K 
[ ]numeral2__t41_numeral22023-06-28 14:26 111K 
[ ]numeral2__t42_numeral22023-06-28 14:26 78K 
[ ]numeral2__t43_numeral22023-06-28 14:27 604K 
[ ]numeral2__t44_numeral22023-06-28 14:28 146K 
[ ]numeral2__t45_numeral22023-06-28 14:28 78K 
[ ]numeral2__t46_numeral22023-06-28 14:29 140K 
[ ]numeral2__t47_numeral22023-06-28 14:29 90K 
[ ]numeral2__t48_numeral22023-06-28 14:30 115K 
[ ]numeral2__t49_numeral22023-06-28 14:30 77K 
[ ]numeral2__t50_numeral22023-06-28 14:31 135K 
[ ]numeral2__t51_numeral22023-06-28 14:31 77K 
[ ]numeral2__t52_numeral22023-06-28 14:32 124K 
[ ]numeral2__t53_numeral22023-06-28 14:33 78K 
[ ]numeral2__t54_numeral22023-06-28 14:33 123K 
[ ]numeral2__t55_numeral22023-06-28 14:34 91K 
[ ]numeral2__t56_numeral22023-06-28 14:34 130K 
[ ]numeral2__t57_numeral22023-06-28 14:35 90K 
[ ]numeral2__t58_numeral22023-06-28 14:35 119K 
[ ]numeral2__t59_numeral22023-06-28 14:36 89K 
[ ]numeral2__t60_numeral22023-06-28 14:36 130K 
[ ]numeral2__t61_numeral22023-06-28 14:37 77K 
[ ]numeral2__t62_numeral22023-06-28 14:37 126K 
[ ]numeral2__t63_numeral22023-06-28 14:38 87K 
[ ]numeral2__t64_numeral22023-06-28 14:39 128K 
[ ]numeral2__t65_numeral22023-06-28 14:39 77K 
[ ]numeral2__t66_numeral22023-06-28 14:40 116K 
[ ]numeral2__t67_numeral22023-06-28 14:40 77K 
[ ]numeral2__t68_numeral22023-06-28 14:41 116K 
[ ]numeral2__t69_numeral22023-06-28 14:41 87K 
[ ]numeral2__t70_numeral22023-06-28 14:42 128K 
[ ]numeral2__t71_numeral22023-06-28 14:42 90K 
[ ]numeral2__t72_numeral22023-06-28 14:43 114K 
[ ]numeral2__t73_numeral22023-06-28 14:44 86K 
[ ]numeral2__t74_numeral22023-06-28 14:44 125K 
[ ]numeral2__t75_numeral22023-06-28 14:45 77K 
[ ]numeral2__t76_numeral22023-06-28 14:45 120K 
[ ]numeral2__t77_numeral22023-06-28 14:46 78K 
[ ]numeral2__t78_numeral22023-06-28 14:46 125K 
[ ]numeral2__t79_numeral22023-06-28 14:47 77K 
[ ]numeral2__t80_numeral22023-06-28 14:47 119K 
[ ]numeral2__t81_numeral22023-06-28 14:48 78K 
[ ]numeral2__t82_numeral22023-06-28 14:48 123K 
[ ]numeral2__t83_numeral22023-06-28 14:49 86K 
[ ]numeral2__t84_numeral22023-06-28 14:50 110K 
[ ]numeral2__t85_numeral22023-06-28 14:50 85K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80