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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]schems_1__s1_schems_12025-09-12 18:34 278  
[   ]schems_1__s2_schems_12025-09-12 18:34 331  
[   ]schems_1__s3_schems_12025-09-12 18:34 411  
[   ]schems_1__s4_schems_12025-09-12 18:34 413  
[   ]schems_1__s5_schems_12025-09-12 18:34 374  
[   ]schems_1__s6_schems_12025-09-12 18:34 443  
[   ]schems_1__s7_schems_12025-09-12 18:35 443  
[   ]schems_1__s8_schems_12025-09-12 18:35 682  
[   ]schems_1__s9_schems_12025-09-12 18:35 426  
[   ]schems_1__s10_schems_12025-09-12 18:35 437  
[   ]schems_1__s11_schems_12025-09-12 18:35 659  
[   ]schems_1__s12_schems_12025-09-12 18:36 339  
[   ]schems_1__s13_schems_12025-09-12 18:36 323  
[   ]schems_1__s14_schems_12025-09-12 18:36 323  
[   ]schems_1__s15_schems_12025-09-12 18:36 323  
[   ]schems_1__s16_schems_12025-09-12 18:36 339  

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