Index of /~mptp/1147/MPTP2/problems_thf_tls1/goboard2

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]goboard2__t1_goboard22017-01-13 19:14 78K 
[   ]goboard2__t2_goboard22017-01-13 19:14 288K 
[   ]goboard2__t3_goboard22017-01-13 19:14 111K 
[   ]goboard2__t4_goboard22017-01-13 19:14 204K 
[   ]goboard2__t5_goboard22017-01-13 19:14 105K 
[   ]goboard2__t6_goboard22017-01-13 19:14 92K 
[   ]goboard2__t7_goboard22017-01-13 19:14 85K 
[   ]goboard2__t8_goboard22017-01-13 19:14 115K 
[   ]goboard2__t9_goboard22017-01-13 19:14 69K 
[   ]goboard2__t10_goboard22017-01-13 19:14 69K 
[   ]goboard2__t11_goboard22017-01-13 19:14 96K 
[   ]goboard2__t12_goboard22017-01-13 19:14 250K 
[   ]goboard2__t13_goboard22017-01-13 19:14 81K 
[   ]goboard2__t14_goboard22017-01-13 19:14 90K 
[   ]goboard2__t15_goboard22017-01-13 19:14 211K 
[   ]goboard2__t16_goboard22017-01-13 19:14 101K 
[   ]goboard2__t17_goboard22017-01-13 19:14 211K 
[   ]goboard2__t18_goboard22017-01-13 19:14 101K 

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