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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]jordan16__t1_jordan162016-03-08 13:06 59K 
[   ]jordan16__t2_jordan162016-03-08 13:06 39K 
[   ]jordan16__t3_jordan162017-01-05 20:54 33K 
[   ]jordan16__t4_jordan162017-01-05 20:54 33K 
[   ]jordan16__t5_jordan162017-01-05 20:54 52K 
[   ]jordan16__t6_jordan162017-01-05 20:54 59K 
[   ]jordan16__t7_jordan162016-03-08 13:06 58K 
[   ]jordan16__t8_jordan162016-03-08 13:06 39K 
[   ]jordan16__t9_jordan162016-03-08 13:06 41K 
[   ]jordan16__t10_jordan162016-03-08 13:06 74K 
[   ]jordan16__t11_jordan162016-03-08 13:06 45K 
[   ]jordan16__t12_jordan162016-03-08 13:06 39K 
[   ]jordan16__t13_jordan162016-03-08 13:06 43K 
[   ]jordan16__t14_jordan162016-03-08 13:06 44K 
[   ]jordan16__t15_jordan162016-03-08 13:06 35K 
[   ]jordan16__t16_jordan162016-03-08 13:06 53K 
[   ]jordan16__t17_jordan162016-03-08 13:06 44K 
[   ]jordan16__t18_jordan162017-01-05 20:54 45K 
[   ]jordan16__t19_jordan162017-01-05 20:54 35K 
[   ]jordan16__t20_jordan162016-03-08 13:06 56K 
[   ]jordan16__t21_jordan162017-01-05 20:54 127K 
[   ]jordan16__t22_jordan162016-03-08 13:06 39K 
[   ]jordan16__t23_jordan162017-01-05 20:54 41K 
[   ]jordan16__t24_jordan162016-03-08 13:06 34K 

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