Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_isof_tls1/grsolv_1

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]grsolv_1__t1_grsolv_12017-01-13 17:45 47K 
[   ]grsolv_1__t2_grsolv_12017-01-13 17:45 58K 
[   ]grsolv_1__t3_grsolv_12017-01-13 17:45 92K 
[   ]grsolv_1__t4_grsolv_12017-01-13 17:45 92K 
[   ]grsolv_1__t5_grsolv_12017-01-13 17:45 89K 
[   ]grsolv_1__t6_grsolv_12017-01-13 17:45 62K 
[   ]grsolv_1__t7_grsolv_12017-01-13 17:45 75K 
[   ]grsolv_1__t8_grsolv_12017-01-13 17:45 52K 
[   ]grsolv_1__t9_grsolv_12017-01-13 17:45 54K 
[   ]grsolv_1__t10_grsolv_12017-01-13 17:45 53K 
[   ]grsolv_1__t11_grsolv_12017-01-13 17:45 70K 
[   ]grsolv_1__t12_grsolv_12017-01-13 17:45 55K 
[   ]grsolv_1__t13_grsolv_12017-01-13 17:45 72K 
[   ]grsolv_1__t14_grsolv_12017-01-13 17:45 46K 
[   ]grsolv_1__t15_grsolv_12017-01-13 17:45 78K 
[   ]grsolv_1__t16_grsolv_12017-01-13 17:45 125K 

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