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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]prefer_1__l8_prefer_12025-09-13 14:24 18K 
[ ]prefer_1__l19_prefer_12025-09-13 13:24 19K 
[ ]prefer_1__l45_prefer_12025-09-13 14:26 38K 
[ ]prefer_1__l47_prefer_12025-09-13 14:27 38K 
[ ]prefer_1__l69_prefer_12025-09-13 14:29 40K 
[ ]prefer_1__l70_prefer_12025-09-13 14:30 37K 
[ ]prefer_1__t1_prefer_12025-09-13 13:25 17K 
[ ]prefer_1__t2_prefer_12025-09-13 13:26 17K 
[ ]prefer_1__t3_prefer_12025-09-13 13:27 23K 
[ ]prefer_1__t4_prefer_12025-09-13 13:27 23K 
[ ]prefer_1__t5_prefer_12025-09-13 13:28 15K 
[ ]prefer_1__t6_prefer_12025-09-13 13:29 19K 
[ ]prefer_1__t7_prefer_12025-09-13 13:30 18K 
[ ]prefer_1__t8_prefer_12025-09-13 13:32 31K 
[ ]prefer_1__t9_prefer_12025-09-13 13:33 19K 
[ ]prefer_1__t10_prefer_12025-09-13 13:34 19K 
[ ]prefer_1__t11_prefer_12025-09-13 13:35 33K 
[ ]prefer_1__t12_prefer_12025-09-13 13:36 35K 
[ ]prefer_1__t13_prefer_12025-09-13 13:37 19K 
[ ]prefer_1__t14_prefer_12025-09-13 13:38 38K 
[ ]prefer_1__t15_prefer_12025-09-13 13:39 30K 
[ ]prefer_1__t16_prefer_12025-09-13 13:40 30K 
[ ]prefer_1__t17_prefer_12025-09-13 13:41 29K 
[ ]prefer_1__t18_prefer_12025-09-13 13:42 30K 
[ ]prefer_1__t19_prefer_12025-09-13 13:22 19K 
[ ]prefer_1__t20_prefer_12025-09-13 13:43 19K 
[ ]prefer_1__t21_prefer_12025-09-13 13:44 30K 
[ ]prefer_1__t22_prefer_12025-09-13 13:45 19K 
[ ]prefer_1__t23_prefer_12025-09-13 13:45 16K 
[ ]prefer_1__t24_prefer_12025-09-13 13:46 34K 
[ ]prefer_1__t25_prefer_12025-09-13 13:23 30K 
[ ]prefer_1__t26_prefer_12025-09-13 13:48 40K 
[ ]prefer_1__t27_prefer_12025-09-13 13:49 20K 
[ ]prefer_1__t28_prefer_12025-09-13 13:49 29K 
[ ]prefer_1__t29_prefer_12025-09-13 13:51 48K 
[ ]prefer_1__t30_prefer_12025-09-13 13:52 38K 
[ ]prefer_1__t31_prefer_12025-09-13 13:53 19K 
[ ]prefer_1__t32_prefer_12025-09-13 13:54 30K 
[ ]prefer_1__t33_prefer_12025-09-13 13:55 19K 
[ ]prefer_1__t34_prefer_12025-09-13 13:56 37K 
[ ]prefer_1__t35_prefer_12025-09-13 13:57 31K 
[ ]prefer_1__t36_prefer_12025-09-13 13:57 1.5K 
[ ]prefer_1__t37_prefer_12025-09-13 13:59 36K 
[ ]prefer_1__t38_prefer_12025-09-13 14:00 33K 
[ ]prefer_1__t39_prefer_12025-09-13 14:01 51K 
[ ]prefer_1__t40_prefer_12025-09-13 14:03 55K 
[ ]prefer_1__t41_prefer_12025-09-13 14:04 50K 
[ ]prefer_1__t42_prefer_12025-09-13 14:06 47K 
[ ]prefer_1__t43_prefer_12025-09-13 14:07 53K 
[ ]prefer_1__t44_prefer_12025-09-13 14:09 48K 
[ ]prefer_1__t45_prefer_12025-09-13 14:10 53K 
[ ]prefer_1__t46_prefer_12025-09-13 14:11 43K 
[ ]prefer_1__t47_prefer_12025-09-13 14:13 45K 
[ ]prefer_1__t48_prefer_12025-09-13 14:14 43K 
[ ]prefer_1__t49_prefer_12025-09-13 14:15 48K 
[ ]prefer_1__t50_prefer_12025-09-13 14:16 43K 
[ ]prefer_1__t51_prefer_12025-09-13 14:17 42K 
[ ]prefer_1__t52_prefer_12025-09-13 14:19 48K 
[ ]prefer_1__t53_prefer_12025-09-13 14:20 39K 
[ ]prefer_1__t54_prefer_12025-09-13 14:22 64K 
[ ]prefer_1__t55_prefer_12025-09-13 14:23 65K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80