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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]toprealc__t1_toprealc2025-09-12 14:52 52K 
[ ]toprealc__t2_toprealc2025-09-12 14:53 72K 
[ ]toprealc__t3_toprealc2025-09-12 14:55 69K 
[ ]toprealc__t4_toprealc2025-09-12 14:56 87K 
[ ]toprealc__t5_toprealc2025-09-12 14:58 73K 
[ ]toprealc__t6_toprealc2025-09-12 14:59 112K 
[ ]toprealc__t7_toprealc2025-09-12 15:01 112K 
[ ]toprealc__t8_toprealc2025-09-12 15:03 84K 
[ ]toprealc__t9_toprealc2025-09-12 15:04 107K 
[ ]toprealc__t10_toprealc2025-09-12 15:06 90K 
[ ]toprealc__t11_toprealc2025-09-12 15:08 186K 
[ ]toprealc__t12_toprealc2025-09-12 15:10 148K 
[ ]toprealc__t13_toprealc2025-09-12 15:12 148K 
[ ]toprealc__t14_toprealc2025-09-12 15:15 129K 
[ ]toprealc__t15_toprealc2025-09-12 15:18 190K 
[ ]toprealc__t16_toprealc2025-09-12 15:21 163K 
[ ]toprealc__t17_toprealc2025-09-12 15:23 170K 
[ ]toprealc__t18_toprealc2025-09-12 15:24 119K 
[ ]toprealc__t19_toprealc2025-09-12 14:46 63K 
[ ]toprealc__t20_toprealc2025-09-12 15:26 115K 
[ ]toprealc__t21_toprealc2025-09-12 15:28 121K 
[ ]toprealc__t22_toprealc2025-09-12 15:30 91K 
[ ]toprealc__t23_toprealc2025-09-12 15:33 171K 
[ ]toprealc__t24_toprealc2025-09-12 15:34 56K 
[ ]toprealc__t25_toprealc2025-09-12 15:37 149K 
[ ]toprealc__t26_toprealc2025-09-12 15:40 227K 
[ ]toprealc__t27_toprealc2025-09-12 15:41 56K 
[ ]toprealc__t28_toprealc2025-09-12 15:43 58K 
[ ]toprealc__t29_toprealc2025-09-12 15:45 101K 
[ ]toprealc__t30_toprealc2025-09-12 15:47 127K 
[ ]toprealc__t31_toprealc2025-09-12 15:49 105K 
[ ]toprealc__t32_toprealc2025-09-12 15:51 124K 
[ ]toprealc__t33_toprealc2025-09-12 15:53 128K 
[ ]toprealc__t34_toprealc2025-09-12 15:56 127K 
[ ]toprealc__t35_toprealc2025-09-12 15:58 106K 
[ ]toprealc__t36_toprealc2025-09-12 14:48 94K 
[ ]toprealc__t37_toprealc2025-09-12 16:00 107K 
[ ]toprealc__t38_toprealc2025-09-12 14:51 94K 
[ ]toprealc__t39_toprealc2025-09-12 16:03 134K 
[ ]toprealc__t40_toprealc2025-09-12 16:05 160K 
[ ]toprealc__t41_toprealc2025-09-12 16:08 116K 
[ ]toprealc__t42_toprealc2025-09-12 16:10 126K 
[ ]toprealc__t43_toprealc2025-09-12 16:13 119K 
[ ]toprealc__t44_toprealc2025-09-12 16:15 139K 
[ ]toprealc__t45_toprealc2025-09-12 16:18 119K 
[ ]toprealc__t46_toprealc2025-09-12 16:21 136K 
[ ]toprealc__t47_toprealc2025-09-12 16:23 112K 
[ ]toprealc__t48_toprealc2025-09-12 16:25 110K 
[ ]toprealc__t49_toprealc2025-09-12 16:28 164K 
[ ]toprealc__t50_toprealc2025-09-12 16:31 200K 
[ ]toprealc__t51_toprealc2025-09-12 16:34 149K 
[ ]toprealc__t52_toprealc2025-09-12 16:37 179K 
[ ]toprealc__t53_toprealc2025-09-12 16:40 117K 
[ ]toprealc__t54_toprealc2025-09-12 16:42 144K 
[ ]toprealc__t55_toprealc2025-09-12 16:46 279K 
[ ]toprealc__t56_toprealc2025-09-12 16:49 150K 
[ ]toprealc__t57_toprealc2025-09-12 16:51 108K 
[ ]toprealc__t58_toprealc2025-09-12 16:54 124K 
[ ]toprealc__t59_toprealc2025-09-12 16:56 138K 
[ ]toprealc__t60_toprealc2025-09-12 16:59 175K 
[ ]toprealc__t61_toprealc2025-09-12 17:01 125K 
[ ]toprealc__t62_toprealc2025-09-12 17:04 139K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80