Index of /~mptp/mml5.63.1382/MPTP2/problems_small/heine

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]heine__t1_heine2021-07-18 04:06 32K 
[   ]heine__t1_heine.vout2021-07-25 20:54 7.8K 
[   ]heine__t2_heine2021-07-18 04:06 32K 
[   ]heine__t2_heine.vout2021-07-25 19:07 6.7K 
[   ]heine__t3_heine2021-07-18 04:07 28K 
[   ]heine__t3_heine.vout2021-07-25 20:25 7.8K 
[   ]heine__t4_heine2021-07-18 04:08 201K 
[   ]heine__t4_heine.vout2021-07-25 17:00 3.6K 

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