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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]midsp_1__t1_midsp_12025-09-13 15:56 15K 
[ ]midsp_1__t2_midsp_12025-09-13 15:57 16K 
[ ]midsp_1__t3_midsp_12025-09-13 15:57 17K 
[ ]midsp_1__t4_midsp_12025-09-13 16:13 17K 
[ ]midsp_1__t5_midsp_12025-09-13 16:14 16K 
[ ]midsp_1__t6_midsp_12025-09-13 16:14 16K 
[ ]midsp_1__t7_midsp_12025-09-13 16:15 17K 
[ ]midsp_1__t8_midsp_12025-09-13 16:16 17K 
[ ]midsp_1__t9_midsp_12025-09-13 15:58 16K 
[ ]midsp_1__t10_midsp_12025-09-13 15:59 16K 
[ ]midsp_1__t11_midsp_12025-09-13 16:00 16K 
[ ]midsp_1__t12_midsp_12025-09-13 16:00 16K 
[ ]midsp_1__t13_midsp_12025-09-13 16:01 17K 
[ ]midsp_1__t14_midsp_12025-09-13 16:02 16K 
[ ]midsp_1__t15_midsp_12025-09-13 16:17 17K 
[ ]midsp_1__t16_midsp_12025-09-13 16:02 17K 
[ ]midsp_1__t17_midsp_12025-09-13 16:17 18K 
[ ]midsp_1__t18_midsp_12025-09-13 16:18 18K 
[ ]midsp_1__t19_midsp_12025-09-13 16:03 21K 
[ ]midsp_1__t20_midsp_12025-09-13 16:04 21K 
[ ]midsp_1__t21_midsp_12025-09-13 16:05 20K 
[ ]midsp_1__t22_midsp_12025-09-13 16:05 12K 
[ ]midsp_1__t23_midsp_12025-09-13 16:06 12K 
[ ]midsp_1__t24_midsp_12025-09-13 16:06 12K 
[ ]midsp_1__t25_midsp_12025-09-13 16:19 16K 
[ ]midsp_1__t26_midsp_12025-09-13 16:20 16K 
[ ]midsp_1__t27_midsp_12025-09-13 16:20 18K 
[ ]midsp_1__t28_midsp_12025-09-13 16:21 17K 
[ ]midsp_1__t29_midsp_12025-09-13 16:22 23K 
[ ]midsp_1__t30_midsp_12025-09-13 16:07 14K 
[ ]midsp_1__t31_midsp_12025-09-13 16:23 24K 
[ ]midsp_1__t32_midsp_12025-09-13 16:24 25K 
[ ]midsp_1__t33_midsp_12025-09-13 16:25 27K 
[ ]midsp_1__t34_midsp_12025-09-13 16:26 25K 
[ ]midsp_1__t35_midsp_12025-09-13 16:27 18K 
[ ]midsp_1__t36_midsp_12025-09-13 16:08 21K 
[ ]midsp_1__t37_midsp_12025-09-13 16:09 22K 
[ ]midsp_1__t38_midsp_12025-09-13 16:09 20K 
[ ]midsp_1__t39_midsp_12025-09-13 16:28 26K 
[ ]midsp_1__t40_midsp_12025-09-13 16:29 21K 
[ ]midsp_1__t41_midsp_12025-09-13 16:29 22K 
[ ]midsp_1__t42_midsp_12025-09-13 16:30 25K 
[ ]midsp_1__t43_midsp_12025-09-13 16:31 18K 
[ ]midsp_1__t44_midsp_12025-09-13 16:32 21K 
[ ]midsp_1__t45_midsp_12025-09-13 16:33 21K 
[ ]midsp_1__t46_midsp_12025-09-13 16:34 23K 
[ ]midsp_1__t47_midsp_12025-09-13 16:35 16K 
[ ]midsp_1__t48_midsp_12025-09-13 16:35 13K 
[ ]midsp_1__t49_midsp_12025-09-13 16:36 15K 
[ ]midsp_1__t50_midsp_12025-09-13 16:37 15K 
[ ]midsp_1__t51_midsp_12025-09-13 16:38 17K 
[ ]midsp_1__t52_midsp_12025-09-13 16:39 17K 
[ ]midsp_1__t53_midsp_12025-09-13 16:10 20K 
[ ]midsp_1__t54_midsp_12025-09-13 16:11 22K 
[ ]midsp_1__t55_midsp_12025-09-13 16:12 21K 
[ ]midsp_1__t56_midsp_12025-09-13 16:40 30K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80