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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]realalg1__l9_realalg12025-09-12 07:45 321K 
[ ]realalg1__l13_realalg12025-09-12 07:47 93K 
[ ]realalg1__l28_realalg12025-09-12 07:50 82K 
[ ]realalg1__l29_realalg12025-09-12 07:52 118K 
[ ]realalg1__l30_realalg12025-09-12 07:55 78K 
[ ]realalg1__l31_realalg12025-09-12 07:57 69K 
[ ]realalg1__l32_realalg12025-09-12 08:00 125K 
[ ]realalg1__l35_realalg12025-09-12 06:24 62K 
[ ]realalg1__l36_realalg12025-09-12 06:26 62K 
[ ]realalg1__l41_realalg12025-09-12 08:03 85K 
[ ]realalg1__l42_realalg12025-09-12 08:05 66K 
[ ]realalg1__l43_realalg12025-09-12 08:08 126K 
[ ]realalg1__l52_realalg12025-09-12 08:11 160K 
[ ]realalg1__l53_realalg12025-09-12 08:13 80K 
[ ]realalg1__l67_realalg12025-09-12 08:16 116K 
[ ]realalg1__l68_realalg12025-09-12 08:19 95K 
[ ]realalg1__l81_realalg12025-09-12 08:21 112K 
[ ]realalg1__l85_realalg12025-09-12 08:24 129K 
[ ]realalg1__l86_realalg12025-09-12 08:27 146K 
[ ]realalg1__t1_realalg12025-09-12 05:56 32K 
[ ]realalg1__t2_realalg12025-09-12 06:27 32K 
[ ]realalg1__t3_realalg12025-09-12 06:28 32K 
[ ]realalg1__t4_realalg12025-09-12 05:57 33K 
[ ]realalg1__t5_realalg12025-09-12 06:31 71K 
[ ]realalg1__t6_realalg12025-09-12 06:33 120K 
[ ]realalg1__t7_realalg12025-09-12 06:36 108K 
[ ]realalg1__t8_realalg12025-09-12 06:38 102K 
[ ]realalg1__t9_realalg12025-09-12 06:41 105K 
[ ]realalg1__t10_realalg12025-09-12 06:43 110K 
[ ]realalg1__t11_realalg12025-09-12 06:46 97K 
[ ]realalg1__t12_realalg12025-09-12 06:49 139K 
[ ]realalg1__t13_realalg12025-09-12 06:52 147K 
[ ]realalg1__t14_realalg12025-09-12 06:53 36K 
[ ]realalg1__t15_realalg12025-09-12 06:55 41K 
[ ]realalg1__t16_realalg12025-09-12 06:56 40K 
[ ]realalg1__t17_realalg12025-09-12 05:59 65K 
[ ]realalg1__t18_realalg12025-09-12 06:58 66K 
[ ]realalg1__t19_realalg12025-09-12 07:01 83K 
[ ]realalg1__t20_realalg12025-09-12 07:03 91K 
[ ]realalg1__t21_realalg12025-09-12 07:06 107K 
[ ]realalg1__t22_realalg12025-09-12 07:08 106K 
[ ]realalg1__t23_realalg12025-09-12 07:11 94K 
[ ]realalg1__t24_realalg12025-09-12 07:13 67K 
[ ]realalg1__t25_realalg12025-09-12 07:15 70K 
[ ]realalg1__t26_realalg12025-09-12 07:18 96K 
[ ]realalg1__t27_realalg12025-09-12 07:20 113K 
[ ]realalg1__t28_realalg12025-09-12 07:23 162K 
[ ]realalg1__t29_realalg12025-09-12 07:26 90K 
[ ]realalg1__t30_realalg12025-09-12 06:01 70K 
[ ]realalg1__t31_realalg12025-09-12 06:03 76K 
[ ]realalg1__t32_realalg12025-09-12 06:06 77K 
[ ]realalg1__t33_realalg12025-09-12 07:28 73K 
[ ]realalg1__t34_realalg12025-09-12 07:30 76K 
[ ]realalg1__t35_realalg12025-09-12 06:08 83K 
[ ]realalg1__t36_realalg12025-09-12 07:33 113K 
[ ]realalg1__t37_realalg12025-09-12 06:10 80K 
[ ]realalg1__t38_realalg12025-09-12 07:36 169K 
[ ]realalg1__t39_realalg12025-09-12 06:13 71K 
[ ]realalg1__t40_realalg12025-09-12 07:39 153K 
[ ]realalg1__t41_realalg12025-09-12 06:15 77K 
[ ]realalg1__t42_realalg12025-09-12 06:17 80K 
[ ]realalg1__t43_realalg12025-09-12 06:19 77K 
[ ]realalg1__t44_realalg12025-09-12 06:22 80K 
[ ]realalg1__t45_realalg12025-09-12 07:42 239K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80