Index of /~mptp/8.1.15_5.94.1493/MPTP2/problems_small_thf/numeral2

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]numeral2__t1_numeral22025-09-13 08:44 75K 
[ ]numeral2__t2_numeral22025-09-13 08:45 58K 
[ ]numeral2__t3_numeral22025-09-13 08:47 79K 
[ ]numeral2__t4_numeral22025-09-13 08:48 69K 
[ ]numeral2__t5_numeral22025-09-13 08:50 71K 
[ ]numeral2__t6_numeral22025-09-13 08:52 75K 
[ ]numeral2__t7_numeral22025-09-13 08:53 57K 
[ ]numeral2__t8_numeral22025-09-13 08:55 57K 
[ ]numeral2__t9_numeral22025-09-13 08:57 114K 
[ ]numeral2__t10_numeral22025-09-13 08:59 111K 
[ ]numeral2__t11_numeral22025-09-13 09:01 100K 
[ ]numeral2__t12_numeral22025-09-13 09:03 132K 
[ ]numeral2__t13_numeral22025-09-13 09:05 293K 
[ ]numeral2__t14_numeral22025-09-13 09:07 53K 
[ ]numeral2__t15_numeral22025-09-13 09:07 2.9K 
[ ]numeral2__t16_numeral22025-09-13 09:09 126K 
[ ]numeral2__t17_numeral22025-09-13 09:11 101K 
[ ]numeral2__t18_numeral22025-09-13 09:13 76K 
[ ]numeral2__t19_numeral22025-09-13 09:15 149K 
[ ]numeral2__t20_numeral22025-09-13 09:17 536K 
[ ]numeral2__t21_numeral22025-09-13 09:19 1.1M 
[ ]numeral2__t22_numeral22025-09-13 09:21 59K 
[ ]numeral2__t23_numeral22025-09-13 09:23 177K 
[ ]numeral2__t24_numeral22025-09-13 09:24 189K 
[ ]numeral2__t25_numeral22025-09-13 09:26 156K 
[ ]numeral2__t26_numeral22025-09-13 09:28 173K 
[ ]numeral2__t27_numeral22025-09-13 09:30 169K 
[ ]numeral2__t28_numeral22025-09-13 09:32 152K 
[ ]numeral2__t29_numeral22025-09-13 09:34 216K 
[ ]numeral2__t30_numeral22025-09-13 09:35 190K 
[ ]numeral2__t31_numeral22025-09-13 09:37 164K 
[ ]numeral2__t32_numeral22025-09-13 09:39 201K 
[ ]numeral2__t33_numeral22025-09-13 09:41 172K 
[ ]numeral2__t34_numeral22025-09-13 09:43 189K 
[ ]numeral2__t35_numeral22025-09-13 09:45 182K 
[ ]numeral2__t36_numeral22025-09-13 09:47 211K 
[ ]numeral2__t37_numeral22025-09-13 09:49 116K 
[ ]numeral2__t38_numeral22025-09-13 09:51 193K 
[ ]numeral2__t39_numeral22025-09-13 09:53 143K 
[ ]numeral2__t40_numeral22025-09-13 09:54 86K 
[ ]numeral2__t41_numeral22025-09-13 09:56 112K 
[ ]numeral2__t42_numeral22025-09-13 09:58 78K 
[ ]numeral2__t43_numeral22025-09-13 10:01 709K 
[ ]numeral2__t44_numeral22025-09-13 10:03 151K 
[ ]numeral2__t45_numeral22025-09-13 10:04 78K 
[ ]numeral2__t46_numeral22025-09-13 10:06 146K 
[ ]numeral2__t47_numeral22025-09-13 10:08 90K 
[ ]numeral2__t48_numeral22025-09-13 10:10 118K 
[ ]numeral2__t49_numeral22025-09-13 10:12 77K 
[ ]numeral2__t50_numeral22025-09-13 10:14 141K 
[ ]numeral2__t51_numeral22025-09-13 10:15 78K 
[ ]numeral2__t52_numeral22025-09-13 10:17 127K 
[ ]numeral2__t53_numeral22025-09-13 10:19 78K 
[ ]numeral2__t54_numeral22025-09-13 10:21 126K 
[ ]numeral2__t55_numeral22025-09-13 10:22 91K 
[ ]numeral2__t56_numeral22025-09-13 10:24 137K 
[ ]numeral2__t57_numeral22025-09-13 10:26 91K 
[ ]numeral2__t58_numeral22025-09-13 10:28 123K 
[ ]numeral2__t59_numeral22025-09-13 10:30 90K 
[ ]numeral2__t60_numeral22025-09-13 10:32 137K 
[ ]numeral2__t61_numeral22025-09-13 10:34 78K 
[ ]numeral2__t62_numeral22025-09-13 10:36 133K 
[ ]numeral2__t63_numeral22025-09-13 10:37 87K 
[ ]numeral2__t64_numeral22025-09-13 10:39 133K 
[ ]numeral2__t65_numeral22025-09-13 10:41 78K 
[ ]numeral2__t66_numeral22025-09-13 10:43 120K 
[ ]numeral2__t67_numeral22025-09-13 10:45 78K 
[ ]numeral2__t68_numeral22025-09-13 10:47 120K 
[ ]numeral2__t69_numeral22025-09-13 10:48 87K 
[ ]numeral2__t70_numeral22025-09-13 10:50 137K 
[ ]numeral2__t71_numeral22025-09-13 10:52 90K 
[ ]numeral2__t72_numeral22025-09-13 10:54 120K 
[ ]numeral2__t73_numeral22025-09-13 10:56 87K 
[ ]numeral2__t74_numeral22025-09-13 10:58 131K 
[ ]numeral2__t75_numeral22025-09-13 11:00 78K 
[ ]numeral2__t76_numeral22025-09-13 11:02 124K 
[ ]numeral2__t77_numeral22025-09-13 11:03 78K 
[ ]numeral2__t78_numeral22025-09-13 11:05 130K 
[ ]numeral2__t79_numeral22025-09-13 11:07 78K 
[ ]numeral2__t80_numeral22025-09-13 11:09 123K 
[ ]numeral2__t81_numeral22025-09-13 11:11 78K 
[ ]numeral2__t82_numeral22025-09-13 11:13 129K 
[ ]numeral2__t83_numeral22025-09-13 11:15 87K 
[ ]numeral2__t84_numeral22025-09-13 11:17 114K 
[ ]numeral2__t85_numeral22025-09-13 11:19 86K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80