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

[ICO]NameLast modifiedSizeDescription

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

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