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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]field_5__t1_field_52025-09-14 01:54 37K 
[ ]field_5__t2_field_52025-09-14 01:55 37K 
[ ]field_5__t3_field_52025-09-14 01:56 39K 
[ ]field_5__t4_field_52025-09-14 01:57 38K 
[ ]field_5__t5_field_52025-09-14 01:58 111K 
[ ]field_5__t6_field_52025-09-14 02:00 74K 
[ ]field_5__t7_field_52025-09-14 02:01 39K 
[ ]field_5__t8_field_52025-09-14 02:02 34K 
[ ]field_5__t9_field_52025-09-14 02:03 148K 
[ ]field_5__t10_field_52025-09-14 02:05 38K 
[ ]field_5__t11_field_52025-09-14 02:06 38K 
[ ]field_5__t12_field_52025-09-14 02:08 155K 
[ ]field_5__t13_field_52025-09-14 02:11 156K 
[ ]field_5__t14_field_52025-09-14 02:13 169K 
[ ]field_5__t15_field_52025-09-14 02:16 173K 
[ ]field_5__t16_field_52025-09-14 02:18 200K 
[ ]field_5__t17_field_52025-09-14 02:23 412K 
[ ]field_5__t18_field_52025-09-14 02:26 365K 
[ ]field_5__t19_field_52025-09-14 02:30 296K 
[ ]field_5__t20_field_52025-09-14 02:34 401K 
[ ]field_5__t21_field_52025-09-14 02:37 316K 
[ ]field_5__t22_field_52025-09-14 02:41 369K 
[ ]field_5__t23_field_52025-09-14 02:44 288K 
[ ]field_5__t24_field_52025-09-14 02:47 213K 
[ ]field_5__t25_field_52025-09-14 02:49 206K 
[ ]field_5__t26_field_52025-09-14 02:53 363K 
[ ]field_5__t27_field_52025-09-14 02:54 62K 
[ ]field_5__t28_field_52025-09-14 02:57 216K 
[ ]field_5__t29_field_52025-09-14 03:00 189K 
[ ]field_5__t30_field_52025-09-14 03:03 255K 
[ ]field_5__t31_field_52025-09-14 03:07 332K 
[ ]field_5__l17_field_52025-09-14 03:09 231K 
[ ]field_5__l19_field_52025-09-14 03:13 297K 
[ ]field_5__l29_field_52025-09-14 03:16 279K 
[ ]field_5__l30_field_52025-09-14 03:19 285K 
[ ]field_5__l42_field_52025-09-14 03:24 415K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80