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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]heine__t1_heine2025-09-08 13:57 35K 
[   ]heine__t1_heine.vout2025-09-15 13:27 7.8K 
[   ]heine__t2_heine2025-09-08 13:58 35K 
[   ]heine__t2_heine.vout2025-09-15 18:39 7.2K 
[   ]heine__t3_heine2025-09-08 13:59 31K 
[   ]heine__t3_heine.vout2025-09-15 17:57 7.8K 
[   ]heine__t4_heine2025-09-08 14:02 206K 
[   ]heine__t4_heine.vout2025-09-15 14:59 3.6K 

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