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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]latticea__l6_latticea2025-09-12 07:25 21K 
[ ]latticea__l39_latticea2025-09-12 07:26 17K 
[ ]latticea__t1_latticea2025-09-12 06:46 13K 
[ ]latticea__t2_latticea2025-09-12 06:48 29K 
[ ]latticea__t3_latticea2025-09-12 06:49 28K 
[ ]latticea__t4_latticea2025-09-12 06:49 22K 
[ ]latticea__t5_latticea2025-09-12 06:51 38K 
[ ]latticea__t6_latticea2025-09-12 06:52 39K 
[ ]latticea__t7_latticea2025-09-12 06:53 41K 
[ ]latticea__t8_latticea2025-09-12 06:54 37K 
[ ]latticea__t9_latticea2025-09-12 06:55 37K 
[ ]latticea__t10_latticea2025-09-12 06:57 36K 
[ ]latticea__t11_latticea2025-09-12 06:58 19K 
[ ]latticea__t12_latticea2025-09-12 06:58 20K 
[ ]latticea__t13_latticea2025-09-12 06:59 21K 
[ ]latticea__t14_latticea2025-09-12 07:00 21K 
[ ]latticea__t15_latticea2025-09-12 07:01 27K 
[ ]latticea__t16_latticea2025-09-12 07:03 26K 
[ ]latticea__t17_latticea2025-09-12 07:04 30K 
[ ]latticea__t18_latticea2025-09-12 07:05 31K 
[ ]latticea__t19_latticea2025-09-12 07:07 39K 
[ ]latticea__t20_latticea2025-09-12 07:08 27K 
[ ]latticea__t21_latticea2025-09-12 07:09 28K 
[ ]latticea__t22_latticea2025-09-12 07:10 27K 
[ ]latticea__t23_latticea2025-09-12 07:11 24K 
[ ]latticea__t24_latticea2025-09-12 07:12 20K 
[ ]latticea__t25_latticea2025-09-12 07:13 20K 
[ ]latticea__t26_latticea2025-09-12 07:14 23K 
[ ]latticea__t27_latticea2025-09-12 07:15 23K 
[ ]latticea__t28_latticea2025-09-12 07:16 31K 
[ ]latticea__t29_latticea2025-09-12 07:17 21K 
[ ]latticea__t30_latticea2025-09-12 07:18 21K 
[ ]latticea__t31_latticea2025-09-12 07:19 22K 
[ ]latticea__t32_latticea2025-09-12 07:20 22K 
[ ]latticea__t33_latticea2025-09-12 07:22 54K 
[ ]latticea__t34_latticea2025-09-12 07:24 57K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80