Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_from1/wellset1

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]wellset1__e2_3_12017-01-13 18:39 1.5K 
[   ]wellset1__e2_62017-01-13 18:39 5.8K 
[   ]wellset1__e4_62017-01-13 18:39 1.5K 
[   ]wellset1__e4_6_22017-01-13 18:39 1.7K 
[   ]wellset1__e5_82017-01-13 18:39 4.3K 
[   ]wellset1__e21_82017-01-13 18:39 2.4K 
[   ]wellset1__e24_82017-01-13 18:39 2.0K 
[   ]wellset1__e34_82017-01-13 18:39 6.3K 
[   ]wellset1__e48_82017-01-13 18:39 2.4K 

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