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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]rusub_2__l6_rusub_22025-09-11 23:53 29K 
[ ]rusub_2__l7_rusub_22025-09-11 23:55 32K 
[ ]rusub_2__l8_rusub_22025-09-11 23:56 33K 
[ ]rusub_2__l21_rusub_22025-09-11 23:57 30K 
[ ]rusub_2__l28_rusub_22025-09-11 23:59 29K 
[ ]rusub_2__l30_rusub_22025-09-12 00:00 33K 
[ ]rusub_2__l32_rusub_22025-09-12 00:01 38K 
[ ]rusub_2__l34_rusub_22025-09-12 00:03 32K 
[ ]rusub_2__l36_rusub_22025-09-12 00:04 40K 
[ ]rusub_2__l38_rusub_22025-09-12 00:05 34K 
[ ]rusub_2__l40_rusub_22025-09-12 00:07 41K 
[ ]rusub_2__l49_rusub_22025-09-12 00:08 28K 
[ ]rusub_2__l50_rusub_22025-09-12 00:09 30K 
[ ]rusub_2__l51_rusub_22025-09-12 00:12 68K 
[ ]rusub_2__l53_rusub_22025-09-11 22:54 30K 
[ ]rusub_2__l62_rusub_22025-09-12 00:13 22K 
[ ]rusub_2__l64_rusub_22025-09-12 00:14 22K 
[ ]rusub_2__t1_rusub_22025-09-11 22:56 30K 
[ ]rusub_2__t2_rusub_22025-09-11 22:57 31K 
[ ]rusub_2__t3_rusub_22025-09-11 22:58 30K 
[ ]rusub_2__t4_rusub_22025-09-11 22:28 27K 
[ ]rusub_2__t5_rusub_22025-09-11 22:29 27K 
[ ]rusub_2__t6_rusub_22025-09-11 23:00 30K 
[ ]rusub_2__t7_rusub_22025-09-11 23:01 29K 
[ ]rusub_2__t8_rusub_22025-09-11 23:02 31K 
[ ]rusub_2__t9_rusub_22025-09-11 23:03 32K 
[ ]rusub_2__t10_rusub_22025-09-11 23:05 30K 
[ ]rusub_2__t11_rusub_22025-09-11 23:06 33K 
[ ]rusub_2__t12_rusub_22025-09-11 22:31 28K 
[ ]rusub_2__t13_rusub_22025-09-11 23:07 30K 
[ ]rusub_2__t14_rusub_22025-09-11 23:08 30K 
[ ]rusub_2__t15_rusub_22025-09-11 23:10 30K 
[ ]rusub_2__t16_rusub_22025-09-11 23:11 29K 
[ ]rusub_2__t17_rusub_22025-09-11 23:12 35K 
[ ]rusub_2__t18_rusub_22025-09-11 23:14 36K 
[ ]rusub_2__t19_rusub_22025-09-11 22:32 28K 
[ ]rusub_2__t20_rusub_22025-09-11 23:15 36K 
[ ]rusub_2__t21_rusub_22025-09-11 23:16 28K 
[ ]rusub_2__t22_rusub_22025-09-11 22:33 29K 
[ ]rusub_2__t23_rusub_22025-09-11 22:34 29K 
[ ]rusub_2__t24_rusub_22025-09-11 22:35 29K 
[ ]rusub_2__t25_rusub_22025-09-11 22:37 29K 
[ ]rusub_2__t26_rusub_22025-09-11 22:38 29K 
[ ]rusub_2__t27_rusub_22025-09-11 22:39 29K 
[ ]rusub_2__t28_rusub_22025-09-11 22:40 29K 
[ ]rusub_2__t29_rusub_22025-09-11 23:17 30K 
[ ]rusub_2__t30_rusub_22025-09-11 23:19 29K 
[ ]rusub_2__t31_rusub_22025-09-11 23:20 29K 
[ ]rusub_2__t32_rusub_22025-09-11 23:21 35K 
[ ]rusub_2__t33_rusub_22025-09-11 23:22 28K 
[ ]rusub_2__t34_rusub_22025-09-11 22:41 31K 
[ ]rusub_2__t35_rusub_22025-09-11 22:42 31K 
[ ]rusub_2__t36_rusub_22025-09-11 23:24 32K 
[ ]rusub_2__t37_rusub_22025-09-11 23:25 31K 
[ ]rusub_2__t38_rusub_22025-09-11 22:44 29K 
[ ]rusub_2__t39_rusub_22025-09-11 22:45 30K 
[ ]rusub_2__t40_rusub_22025-09-11 23:26 31K 
[ ]rusub_2__t41_rusub_22025-09-11 22:46 32K 
[ ]rusub_2__t42_rusub_22025-09-11 23:28 38K 
[ ]rusub_2__t43_rusub_22025-09-11 23:30 51K 
[ ]rusub_2__t44_rusub_22025-09-11 22:47 30K 
[ ]rusub_2__t45_rusub_22025-09-11 23:31 44K 
[ ]rusub_2__t46_rusub_22025-09-11 23:33 44K 
[ ]rusub_2__t47_rusub_22025-09-11 23:34 35K 
[ ]rusub_2__t48_rusub_22025-09-11 23:36 35K 
[ ]rusub_2__t49_rusub_22025-09-11 23:37 36K 
[ ]rusub_2__t50_rusub_22025-09-11 23:38 36K 
[ ]rusub_2__t51_rusub_22025-09-11 23:40 36K 
[ ]rusub_2__t52_rusub_22025-09-11 22:48 34K 
[ ]rusub_2__t53_rusub_22025-09-11 22:50 34K 
[ ]rusub_2__t54_rusub_22025-09-11 23:42 49K 
[ ]rusub_2__t55_rusub_22025-09-11 23:44 43K 
[ ]rusub_2__t56_rusub_22025-09-11 23:45 44K 
[ ]rusub_2__t57_rusub_22025-09-11 23:47 31K 
[ ]rusub_2__t58_rusub_22025-09-11 23:48 48K 
[ ]rusub_2__t59_rusub_22025-09-11 23:50 57K 
[ ]rusub_2__t60_rusub_22025-09-11 23:52 50K 
[ ]rusub_2__t61_rusub_22025-09-11 22:51 27K 
[ ]rusub_2__t62_rusub_22025-09-11 22:52 21K 
[ ]rusub_2__t63_rusub_22025-09-11 22:53 22K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80