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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]struct_0__t1_struct_02025-09-11 18:01 20K 
[ ]struct_0__t2_struct_02025-09-11 18:02 23K 
[ ]struct_0__t3_struct_02025-09-11 18:03 18K 
[ ]struct_0__t4_struct_02025-09-11 18:01 24K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80