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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]margrel1__t1_margrel12016-03-08 13:07 23K 
[   ]margrel1__t2_margrel12016-03-08 13:07 24K 
[   ]margrel1__t3_margrel12016-03-08 13:07 23K 
[   ]margrel1__t4_margrel12016-03-08 13:07 25K 
[   ]margrel1__t5_margrel12016-03-08 13:07 26K 
[   ]margrel1__t6_margrel12016-03-08 13:07 38K 
[   ]margrel1__t7_margrel12016-03-08 13:07 39K 
[   ]margrel1__t8_margrel12016-03-08 13:07 46K 
[   ]margrel1__t9_margrel12016-03-08 13:07 38K 
[   ]margrel1__t11_margrel12016-03-08 13:07 39K 
[   ]margrel1__t12_margrel12016-03-08 13:07 34K 
[   ]margrel1__t13_margrel12016-03-08 13:07 28K 
[   ]margrel1__t14_margrel12016-03-08 13:07 31K 
[   ]margrel1__t15_margrel12016-03-08 13:07 29K 
[   ]margrel1__t16_margrel12016-03-08 13:07 29K 
[   ]margrel1__t17_margrel12016-03-08 13:07 28K 
[   ]margrel1__t18_margrel12016-03-08 13:07 49K 
[   ]margrel1__t19_margrel12016-03-08 13:07 45K 
[   ]margrel1__t20_margrel12017-01-05 20:54 55K 
[   ]margrel1__t21_margrel12016-03-08 13:07 37K 
[   ]margrel1__t22_margrel12017-01-05 20:54 44K 

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