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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]lagra4sq__l8_lagra4sq2025-09-13 12:45 34K 
[   ]lagra4sq__l9_lagra4sq2025-09-13 12:46 30K 
[   ]lagra4sq__l19_lagra4sq2025-09-13 12:47 71K 
[   ]lagra4sq__l21_lagra4sq2025-09-13 12:48 37K 
[   ]lagra4sq__t1_lagra4sq2025-09-13 12:19 78K 
[   ]lagra4sq__t2_lagra4sq2025-09-13 12:21 282K 
[   ]lagra4sq__t3_lagra4sq2025-09-13 12:23 282K 
[   ]lagra4sq__t4_lagra4sq2025-09-13 12:25 296K 
[   ]lagra4sq__t5_lagra4sq2025-09-13 12:27 296K 
[   ]lagra4sq__t6_lagra4sq2025-09-13 12:30 703K 
[   ]lagra4sq__t7_lagra4sq2025-09-13 12:31 234K 
[   ]lagra4sq__t8_lagra4sq2025-09-13 12:32 36K 
[   ]lagra4sq__t9_lagra4sq2025-09-13 12:33 34K 
[   ]lagra4sq__t10_lagra4sq2025-09-13 12:34 252K 
[   ]lagra4sq__t11_lagra4sq2025-09-13 12:35 26K 
[   ]lagra4sq__t12_lagra4sq2025-09-13 12:36 438K 
[   ]lagra4sq__t13_lagra4sq2025-09-13 12:19 24K 
[   ]lagra4sq__t14_lagra4sq2025-09-13 12:37 31K 
[   ]lagra4sq__t15_lagra4sq2025-09-13 12:38 79K 
[   ]lagra4sq__t16_lagra4sq2025-09-13 12:40 82K 
[   ]lagra4sq__t17_lagra4sq2025-09-13 12:42 305K 
[   ]lagra4sq__t18_lagra4sq2025-09-13 12:44 86K 

Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80