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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]roughif1__l39_roughif12025-09-11 22:30 50K 
[ ]roughif1__l40_roughif12025-09-11 22:31 52K 
[ ]roughif1__l42_roughif12025-09-11 22:33 78K 
[ ]roughif1__l43_roughif12025-09-11 22:34 41K 
[ ]roughif1__l49_roughif12025-09-11 22:35 41K 
[ ]roughif1__l50_roughif12025-09-11 22:36 47K 
[ ]roughif1__l51_roughif12025-09-11 22:37 46K 
[ ]roughif1__l52_roughif12025-09-11 22:38 49K 
[ ]roughif1__l53_roughif12025-09-11 22:40 60K 
[ ]roughif1__s1_roughif12025-09-11 21:46 40K 
[ ]roughif1__t1_roughif12025-09-11 21:47 32K 
[ ]roughif1__t2_roughif12025-09-11 21:48 41K 
[ ]roughif1__t3_roughif12025-09-11 21:49 36K 
[ ]roughif1__t4_roughif12025-09-11 21:39 39K 
[ ]roughif1__t5_roughif12025-09-11 21:40 41K 
[ ]roughif1__t6_roughif12025-09-11 21:50 43K 
[ ]roughif1__t7_roughif12025-09-11 21:51 45K 
[ ]roughif1__t8_roughif12025-09-11 21:52 46K 
[ ]roughif1__t9_roughif12025-09-11 21:54 56K 
[ ]roughif1__t10_roughif12025-09-11 21:55 56K 
[ ]roughif1__t11_roughif12025-09-11 21:56 48K 
[ ]roughif1__t12_roughif12025-09-11 21:57 46K 
[ ]roughif1__t13_roughif12025-09-11 21:58 41K 
[ ]roughif1__t14_roughif12025-09-11 22:00 41K 
[ ]roughif1__t15_roughif12025-09-11 22:01 50K 
[ ]roughif1__t16_roughif12025-09-11 22:02 63K 
[ ]roughif1__t17_roughif12025-09-11 22:03 49K 
[ ]roughif1__t18_roughif12025-09-11 22:04 34K 
[ ]roughif1__t19_roughif12025-09-11 22:06 45K 
[ ]roughif1__t20_roughif12025-09-11 22:07 46K 
[ ]roughif1__t21_roughif12025-09-11 22:08 58K 
[ ]roughif1__t22_roughif12025-09-11 22:10 41K 
[ ]roughif1__t23_roughif12025-09-11 22:11 42K 
[ ]roughif1__t24_roughif12025-09-11 22:12 41K 
[ ]roughif1__t25_roughif12025-09-11 22:13 59K 
[ ]roughif1__t26_roughif12025-09-11 21:41 45K 
[ ]roughif1__t27_roughif12025-09-11 21:42 45K 
[ ]roughif1__t28_roughif12025-09-11 22:14 36K 
[ ]roughif1__t29_roughif12025-09-11 22:16 48K 
[ ]roughif1__t30_roughif12025-09-11 22:17 87K 
[ ]roughif1__t31_roughif12025-09-11 22:18 47K 
[ ]roughif1__t32_roughif12025-09-11 21:43 53K 
[ ]roughif1__t33_roughif12025-09-11 21:45 41K 
[ ]roughif1__t34_roughif12025-09-11 22:19 46K 
[ ]roughif1__t35_roughif12025-09-11 22:21 59K 
[ ]roughif1__t36_roughif12025-09-11 22:22 90K 
[ ]roughif1__t37_roughif12025-09-11 22:24 132K 
[ ]roughif1__t38_roughif12025-09-11 22:26 105K 
[ ]roughif1__t39_roughif12025-09-11 22:27 47K 
[ ]roughif1__t40_roughif12025-09-11 22:28 41K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80