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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]number12__l52_number122025-09-13 18:04 318K 
[ ]number12__t1_number122025-09-13 15:57 134K 
[ ]number12__t2_number122025-09-13 15:59 1.1M 
[ ]number12__t3_number122025-09-13 16:02 540K 
[ ]number12__t4_number122025-09-13 16:04 259K 
[ ]number12__t5_number122025-09-13 16:06 371K 
[ ]number12__t6_number122025-09-13 16:08 576K 
[ ]number12__t7_number122025-09-13 16:09 281K 
[ ]number12__t8_number122025-09-13 16:12 307K 
[ ]number12__t9_number122025-09-13 16:14 110K 
[ ]number12__t10_number122025-09-13 16:17 662K 
[ ]number12__t11_number122025-09-13 16:20 1.8M 
[ ]number12__t12_number122025-09-13 16:22 327K 
[ ]number12__t13_number122025-09-13 15:51 86K 
[ ]number12__t14_number122025-09-13 16:24 263K 
[ ]number12__t15_number122025-09-13 16:26 2.0M 
[ ]number12__t16_number122025-09-13 16:28 283K 
[ ]number12__t17_number122025-09-13 16:30 283K 
[ ]number12__t18_number122025-09-13 16:32 343K 
[ ]number12__t19_number122025-09-13 16:34 343K 
[ ]number12__t20_number122025-09-13 16:36 448K 
[ ]number12__t21_number122025-09-13 16:38 318K 
[ ]number12__t22_number122025-09-13 16:40 362K 
[ ]number12__t23_number122025-09-13 16:42 110K 
[ ]number12__t24_number122025-09-13 16:44 102K 
[ ]number12__t25_number122025-09-13 16:45 126K 
[ ]number12__t26_number122025-09-13 16:47 167K 
[ ]number12__t27_number122025-09-13 15:53 102K 
[ ]number12__t28_number122025-09-13 16:49 104K 
[ ]number12__t29_number122025-09-13 16:51 123K 
[ ]number12__t30_number122025-09-13 16:53 103K 
[ ]number12__t31_number122025-09-13 16:55 103K 
[ ]number12__t32_number122025-09-13 16:57 104K 
[ ]number12__t33_number122025-09-13 16:59 105K 
[ ]number12__t34_number122025-09-13 17:01 104K 
[ ]number12__t35_number122025-09-13 17:02 104K 
[ ]number12__t36_number122025-09-13 17:04 104K 
[ ]number12__t37_number122025-09-13 17:07 1.1M 
[ ]number12__t38_number122025-09-13 15:55 122K 
[ ]number12__t39_number122025-09-13 17:11 2.7M 
[ ]number12__t40_number122025-09-13 17:15 7.6M 
[ ]number12__t41_number122025-09-13 17:17 1.1M 
[ ]number12__t42_number122025-09-13 17:20 206K 
[ ]number12__t43_number122025-09-13 17:22 212K 
[ ]number12__t44_number122025-09-13 17:24 459K 
[ ]number12__t45_number122025-09-13 17:26 196K 
[ ]number12__t46_number122025-09-13 17:28 320K 
[ ]number12__t47_number122025-09-13 17:30 265K 
[ ]number12__t48_number122025-09-13 17:32 368K 
[ ]number12__t49_number122025-09-13 17:34 326K 
[ ]number12__t50_number122025-09-13 17:36 166K 
[ ]number12__t51_number122025-09-13 17:38 318K 
[ ]number12__t52_number122025-09-13 17:40 208K 
[ ]number12__t53_number122025-09-13 17:43 193K 
[ ]number12__t54_number122025-09-13 17:45 190K 
[ ]number12__t55_number122025-09-13 17:47 152K 
[ ]number12__t56_number122025-09-13 17:49 376K 
[ ]number12__t57_number122025-09-13 17:51 188K 
[ ]number12__t58_number122025-09-13 17:53 115K 
[ ]number12__t59_number122025-09-13 17:55 311K 
[ ]number12__t60_number122025-09-13 17:57 97K 
[ ]number12__t61_number122025-09-13 17:59 567K 
[ ]number12__t62_number122025-09-13 18:01 394K 
[ ]number12__t63_number122025-09-13 18:03 318K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80