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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]goboard2__t1_goboard22017-01-12 22:19 78K 
[   ]goboard2__t2_goboard22017-01-12 22:19 273K 
[   ]goboard2__t3_goboard22017-01-12 22:19 109K 
[   ]goboard2__t4_goboard22017-01-12 22:19 196K 
[   ]goboard2__t5_goboard22017-01-12 22:19 103K 
[   ]goboard2__t6_goboard22017-01-12 22:19 91K 
[   ]goboard2__t7_goboard22017-01-12 22:19 85K 
[   ]goboard2__t8_goboard22017-01-12 22:19 113K 
[   ]goboard2__t9_goboard22017-01-12 22:19 68K 
[   ]goboard2__t10_goboard22017-01-12 22:19 68K 
[   ]goboard2__t11_goboard22017-01-12 22:19 96K 
[   ]goboard2__t12_goboard22017-01-12 22:19 242K 
[   ]goboard2__t13_goboard22017-01-12 22:19 81K 
[   ]goboard2__t14_goboard22017-01-12 22:19 90K 
[   ]goboard2__t15_goboard22017-01-12 22:19 203K 
[   ]goboard2__t16_goboard22017-01-12 22:19 101K 
[   ]goboard2__t17_goboard22017-01-12 22:19 203K 
[   ]goboard2__t18_goboard22017-01-12 22:19 101K 

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