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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]jordan11__l1_jordan112017-01-13 19:23 180K 
[   ]jordan11__l2_jordan112017-01-13 19:23 396K 
[   ]jordan11__t1_jordan112017-01-13 19:23 62K 
[   ]jordan11__t2_jordan112017-01-13 19:23 115K 
[   ]jordan11__t3_jordan112017-01-13 19:23 184K 
[   ]jordan11__t4_jordan112017-01-13 19:23 275K 
[   ]jordan11__t5_jordan112017-01-13 19:23 420K 
[   ]jordan11__t6_jordan112017-01-13 19:23 95K 
[   ]jordan11__t7_jordan112017-01-13 19:23 122K 
[   ]jordan11__t8_jordan112017-01-13 19:23 97K 
[   ]jordan11__t9_jordan112017-01-13 19:23 91K 
[   ]jordan11__t10_jordan112017-01-13 19:23 212K 
[   ]jordan11__t11_jordan112017-01-13 19:23 82K 
[   ]jordan11__t12_jordan112017-01-13 19:23 89K 
[   ]jordan11__t13_jordan112017-01-13 19:23 82K 
[   ]jordan11__t14_jordan112017-01-13 19:23 77K 
[   ]jordan11__t15_jordan112017-01-13 19:23 68K 
[   ]jordan11__t16_jordan112017-01-13 19:23 64K 
[   ]jordan11__t17_jordan112017-01-13 19:23 66K 

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