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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]openlatt__l25_openlatt2025-09-12 02:20 21K 
[ ]openlatt__t1_openlatt2025-09-12 01:44 19K 
[ ]openlatt__t2_openlatt2025-09-12 01:45 21K 
[ ]openlatt__t3_openlatt2025-09-12 01:46 44K 
[ ]openlatt__t4_openlatt2025-09-12 01:37 31K 
[ ]openlatt__t5_openlatt2025-09-12 01:38 47K 
[ ]openlatt__t6_openlatt2025-09-12 01:47 42K 
[ ]openlatt__t7_openlatt2025-09-12 01:49 42K 
[ ]openlatt__t8_openlatt2025-09-12 01:50 45K 
[ ]openlatt__t9_openlatt2025-09-12 01:51 50K 
[ ]openlatt__t10_openlatt2025-09-12 01:52 19K 
[ ]openlatt__t11_openlatt2025-09-12 01:53 20K 
[ ]openlatt__t12_openlatt2025-09-12 01:54 21K 
[ ]openlatt__t13_openlatt2025-09-12 01:55 21K 
[ ]openlatt__t14_openlatt2025-09-12 01:57 29K 
[ ]openlatt__t15_openlatt2025-09-12 01:58 29K 
[ ]openlatt__t16_openlatt2025-09-12 01:59 19K 
[ ]openlatt__t17_openlatt2025-09-12 01:59 21K 
[ ]openlatt__t18_openlatt2025-09-12 02:01 33K 
[ ]openlatt__t19_openlatt2025-09-12 02:02 23K 
[ ]openlatt__t20_openlatt2025-09-12 02:03 49K 
[ ]openlatt__t21_openlatt2025-09-12 02:04 27K 
[ ]openlatt__t22_openlatt2025-09-12 02:06 28K 
[ ]openlatt__t23_openlatt2025-09-12 02:07 42K 
[ ]openlatt__t24_openlatt2025-09-12 01:39 32K 
[ ]openlatt__t25_openlatt2025-09-12 01:40 44K 
[ ]openlatt__t26_openlatt2025-09-12 02:08 40K 
[ ]openlatt__t27_openlatt2025-09-12 02:09 35K 
[ ]openlatt__t28_openlatt2025-09-12 02:11 37K 
[ ]openlatt__t29_openlatt2025-09-12 02:12 37K 
[ ]openlatt__t30_openlatt2025-09-12 02:13 38K 
[ ]openlatt__t31_openlatt2025-09-12 01:42 46K 
[ ]openlatt__t32_openlatt2025-09-12 02:15 46K 
[ ]openlatt__t33_openlatt2025-09-12 02:17 65K 
[ ]openlatt__t34_openlatt2025-09-12 01:43 49K 
[ ]openlatt__t35_openlatt2025-09-12 02:18 50K 
[ ]openlatt__t36_openlatt2025-09-12 02:20 49K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80