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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]euclid_9__l30_euclid_92025-09-12 18:47 117K 
[ ]euclid_9__t1_euclid_92025-09-12 17:34 74K 
[ ]euclid_9__t2_euclid_92025-09-12 17:41 82K 
[ ]euclid_9__t3_euclid_92025-09-12 17:42 85K 
[ ]euclid_9__t4_euclid_92025-09-12 17:44 177K 
[ ]euclid_9__t5_euclid_92025-09-12 17:47 161K 
[ ]euclid_9__t6_euclid_92025-09-12 17:49 108K 
[ ]euclid_9__t7_euclid_92025-09-12 17:36 98K 
[ ]euclid_9__t8_euclid_92025-09-12 17:52 198K 
[ ]euclid_9__t9_euclid_92025-09-12 17:54 231K 
[ ]euclid_9__t10_euclid_92025-09-12 17:57 146K 
[ ]euclid_9__t11_euclid_92025-09-12 18:00 118K 
[ ]euclid_9__t12_euclid_92025-09-12 17:39 94K 
[ ]euclid_9__t13_euclid_92025-09-12 18:03 115K 
[ ]euclid_9__t14_euclid_92025-09-12 18:05 189K 
[ ]euclid_9__t15_euclid_92025-09-12 18:08 227K 
[ ]euclid_9__t16_euclid_92025-09-12 18:11 195K 
[ ]euclid_9__t17_euclid_92025-09-12 18:14 121K 
[ ]euclid_9__t18_euclid_92025-09-12 18:16 115K 
[ ]euclid_9__t19_euclid_92025-09-12 18:19 130K 
[ ]euclid_9__t20_euclid_92025-09-12 18:22 180K 
[ ]euclid_9__t21_euclid_92025-09-12 18:25 194K 
[ ]euclid_9__t22_euclid_92025-09-12 18:27 163K 
[ ]euclid_9__t23_euclid_92025-09-12 18:30 107K 
[ ]euclid_9__t24_euclid_92025-09-12 18:32 98K 
[ ]euclid_9__t25_euclid_92025-09-12 18:35 112K 
[ ]euclid_9__t26_euclid_92025-09-12 18:38 166K 
[ ]euclid_9__t27_euclid_92025-09-12 18:42 191K 
[ ]euclid_9__t28_euclid_92025-09-12 18:44 111K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80