Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_tl.bad_dt_f/jordan5a

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]jordan5a__l2_jordan5a2016-03-08 13:07 71K 
[ ]jordan5a__l5_jordan5a2017-01-05 20:54 104K 
[ ]jordan5a__l7_jordan5a2017-01-05 20:54 71K 
[ ]jordan5a__l8_jordan5a2017-01-05 20:54 71K 
[ ]jordan5a__l12_jordan5a2016-03-08 13:07 71K 
[ ]jordan5a__l18_jordan5a2017-01-05 20:54 54K 
[ ]jordan5a__l19_jordan5a2017-01-05 20:54 115K 
[ ]jordan5a__l30_jordan5a2016-03-08 13:07 63K 
[ ]jordan5a__t1_jordan5a2016-03-08 13:07 86K 
[ ]jordan5a__t2_jordan5a2016-03-08 13:07 114K 
[ ]jordan5a__t3_jordan5a2017-01-05 20:54 185K 
[ ]jordan5a__t4_jordan5a2016-03-08 13:07 86K 
[ ]jordan5a__t5_jordan5a2016-03-08 13:07 51K 
[ ]jordan5a__t6_jordan5a2016-03-08 13:07 74K 
[ ]jordan5a__t7_jordan5a2016-03-08 13:07 63K 
[ ]jordan5a__t8_jordan5a2016-03-08 13:07 87K 
[ ]jordan5a__t9_jordan5a2017-01-05 20:54 73K 
[ ]jordan5a__t10_jordan5a2017-01-05 20:54 105K 
[ ]jordan5a__t11_jordan5a2017-01-05 20:54 145K 
[ ]jordan5a__t12_jordan5a2017-01-05 20:54 74K 
[ ]jordan5a__t13_jordan5a2016-03-08 13:07 101K 
[ ]jordan5a__t14_jordan5a2016-03-08 13:07 76K 
[ ]jordan5a__t15_jordan5a2016-03-08 13:07 90K 
[ ]jordan5a__t16_jordan5a2016-03-08 13:07 71K 
[ ]jordan5a__t17_jordan5a2016-03-08 13:07 92K 
[ ]jordan5a__t18_jordan5a2016-03-08 13:07 94K 
[ ]jordan5a__t19_jordan5a2017-01-05 20:54 51K 
[ ]jordan5a__t20_jordan5a2017-01-05 20:54 86K 
[ ]jordan5a__t21_jordan5a2016-03-08 13:07 128K 
[ ]jordan5a__t22_jordan5a2016-03-08 13:07 127K 
[ ]jordan5a__t23_jordan5a2016-03-08 13:07 71K 
[ ]jordan5a__t24_jordan5a2016-03-08 13:07 73K 
[ ]jordan5a__t25_jordan5a2016-03-08 13:07 61K 
[ ]jordan5a__t26_jordan5a2017-01-05 20:54 90K 
[ ]jordan5a__t27_jordan5a2016-03-08 13:07 67K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80