Index of /~mptp/8.1.15_5.94.1493/MPTP2/problems_small/scheme1

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]scheme1__t1_scheme12025-09-08 17:40 22K 
[   ]scheme1__t1_scheme1.vout2025-09-15 15:03 7.3K 
[   ]scheme1__t2_scheme12025-09-08 17:41 28K 
[   ]scheme1__t2_scheme1.vout2025-09-15 18:09 7.3K 
[   ]scheme1__t3_scheme12025-09-08 17:42 35K 
[   ]scheme1__t3_scheme1.vout2025-09-15 15:06 7.3K 
[   ]scheme1__t4_scheme12025-09-08 17:43 44K 
[   ]scheme1__t4_scheme1.vout2025-09-15 14:29 7.3K 

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