Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_isof_tls/goboard2

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]goboard2__t1_goboard22017-01-13 00:45 121K 
[   ]goboard2__t2_goboard22017-01-13 00:45 324K 
[   ]goboard2__t3_goboard22017-01-13 00:45 159K 
[   ]goboard2__t4_goboard22017-01-13 00:45 251K 
[   ]goboard2__t5_goboard22017-01-13 00:45 151K 
[   ]goboard2__t6_goboard22017-01-13 00:45 138K 
[   ]goboard2__t7_goboard22017-01-13 00:45 132K 
[   ]goboard2__t8_goboard22017-01-13 00:45 163K 
[   ]goboard2__t9_goboard22017-01-13 00:45 109K 
[   ]goboard2__t10_goboard22017-01-13 00:45 109K 
[   ]goboard2__t11_goboard22017-01-13 00:45 149K 
[   ]goboard2__t12_goboard22017-01-13 00:45 315K 
[   ]goboard2__t13_goboard22017-01-13 00:45 127K 
[   ]goboard2__t14_goboard22017-01-13 00:45 139K 
[   ]goboard2__t15_goboard22017-01-13 00:45 263K 
[   ]goboard2__t16_goboard22017-01-13 00:45 156K 
[   ]goboard2__t17_goboard22017-01-13 00:45 263K 
[   ]goboard2__t18_goboard22017-01-13 00:45 156K 

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