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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]jordan19__l5_jordan192016-03-08 13:06 66K 
[   ]jordan19__l6_jordan192016-03-08 13:06 318K 
[   ]jordan19__t1_jordan192016-03-08 13:06 69K 
[   ]jordan19__t2_jordan192016-03-08 13:06 389K 
[   ]jordan19__t3_jordan192017-01-05 20:54 373K 
[   ]jordan19__t4_jordan192016-03-08 13:06 76K 
[   ]jordan19__t5_jordan192016-03-08 13:06 80K 
[   ]jordan19__t6_jordan192016-03-08 13:06 121K 
[   ]jordan19__t7_jordan192016-03-08 13:06 41K 
[   ]jordan19__t8_jordan192016-03-08 13:06 116K 
[   ]jordan19__t9_jordan192016-03-08 13:06 117K 
[   ]jordan19__t10_jordan192016-03-08 13:06 117K 
[   ]jordan19__t11_jordan192016-03-08 13:06 117K 
[   ]jordan19__t12_jordan192016-03-08 13:06 442K 
[   ]jordan19__t13_jordan192016-03-08 13:06 442K 
[   ]jordan19__t14_jordan192016-03-08 13:06 83K 
[   ]jordan19__t15_jordan192016-03-08 13:06 83K 
[   ]jordan19__t16_jordan192016-03-08 13:06 80K 
[   ]jordan19__t17_jordan192016-03-08 13:06 80K 
[   ]jordan19__t18_jordan192016-03-08 13:06 79K 
[   ]jordan19__t19_jordan192016-03-08 13:06 79K 
[   ]jordan19__t20_jordan192016-03-08 13:06 453K 
[   ]jordan19__t21_jordan192016-03-08 13:06 453K 
[   ]jordan19__t22_jordan192016-03-08 13:06 453K 
[   ]jordan19__t23_jordan192016-03-08 13:06 453K 
[   ]jordan19__t24_jordan192016-03-08 13:06 153K 
[   ]jordan19__t25_jordan192016-03-08 13:06 153K 
[   ]jordan19__t26_jordan192016-03-08 13:06 778K 
[   ]jordan19__t27_jordan192016-03-08 13:06 179K 

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