Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_tl.bad_dt_f/jordan11

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]jordan11__l1_jordan112016-03-08 13:06 177K 
[   ]jordan11__l2_jordan112017-01-05 20:54 379K 
[   ]jordan11__t1_jordan112016-03-08 13:06 62K 
[   ]jordan11__t2_jordan112016-03-08 13:06 114K 
[   ]jordan11__t3_jordan112016-03-08 13:06 178K 
[   ]jordan11__t4_jordan112016-03-08 13:06 260K 
[   ]jordan11__t5_jordan112016-03-08 13:06 397K 
[   ]jordan11__t6_jordan112016-03-08 13:06 94K 
[   ]jordan11__t7_jordan112016-03-08 13:06 121K 
[   ]jordan11__t8_jordan112016-03-08 13:06 96K 
[   ]jordan11__t9_jordan112016-03-08 13:06 91K 
[   ]jordan11__t10_jordan112017-01-05 20:54 204K 
[   ]jordan11__t11_jordan112016-03-08 13:06 82K 
[   ]jordan11__t12_jordan112016-03-08 13:06 89K 
[   ]jordan11__t13_jordan112017-01-05 20:54 81K 
[   ]jordan11__t14_jordan112016-03-08 13:06 77K 
[   ]jordan11__t15_jordan112016-03-08 13:06 68K 
[   ]jordan11__t16_jordan112016-03-08 13:06 63K 
[   ]jordan11__t17_jordan112016-03-08 13:06 66K 

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