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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]pre_circ__s1_pre_circ2025-09-13 19:59 45K 
[ ]pre_circ__s2_pre_circ2025-09-13 20:01 41K 
[ ]pre_circ__s3_pre_circ2025-09-13 20:02 63K 
[ ]pre_circ__s4_pre_circ2025-09-13 20:04 64K 
[ ]pre_circ__s5_pre_circ2025-09-13 20:06 96K 
[ ]pre_circ__t2_pre_circ2025-09-13 20:07 70K 
[ ]pre_circ__t3_pre_circ2025-09-13 20:09 54K 
[ ]pre_circ__t4_pre_circ2025-09-13 20:10 67K 
[ ]pre_circ__t5_pre_circ2025-09-13 20:12 77K 
[ ]pre_circ__t6_pre_circ2025-09-13 20:14 62K 
[ ]pre_circ__t7_pre_circ2025-09-13 20:16 79K 
[ ]pre_circ__t8_pre_circ2025-09-13 20:17 73K 
[ ]pre_circ__t9_pre_circ2025-09-13 20:19 73K 
[ ]pre_circ__t10_pre_circ2025-09-13 20:21 72K 
[ ]pre_circ__t11_pre_circ2025-09-13 20:22 67K 
[ ]pre_circ__t12_pre_circ2025-09-13 20:24 72K 
[ ]pre_circ__t13_pre_circ2025-09-13 20:26 82K 
[ ]pre_circ__t14_pre_circ2025-09-13 20:28 85K 
[ ]pre_circ__t15_pre_circ2025-09-13 20:30 107K 
[ ]pre_circ__t16_pre_circ2025-09-13 20:32 87K 
[ ]pre_circ__t17_pre_circ2025-09-13 20:34 96K 
[ ]pre_circ__t18_pre_circ2025-09-13 20:36 76K 
[ ]pre_circ__t19_pre_circ2025-09-13 20:37 41K 
[ ]pre_circ__t20_pre_circ2025-09-13 20:39 48K 
[ ]pre_circ__t21_pre_circ2025-09-13 20:40 41K 
[ ]pre_circ__t22_pre_circ2025-09-13 20:41 54K 
[ ]pre_circ__t23_pre_circ2025-09-13 20:43 54K 
[ ]pre_circ__t24_pre_circ2025-09-13 20:44 67K 
[ ]pre_circ__t25_pre_circ2025-09-13 20:46 57K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80