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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]lopban_2__l19_lopban_22016-03-08 13:07 104K 
[ ]lopban_2__l23_lopban_22016-03-08 13:07 102K 
[ ]lopban_2__l29_lopban_22016-03-08 13:07 105K 
[ ]lopban_2__t1_lopban_22016-03-08 13:07 55K 
[ ]lopban_2__t2_lopban_22017-01-05 20:54 113K 
[ ]lopban_2__t3_lopban_22016-03-08 13:07 62K 
[ ]lopban_2__t4_lopban_22016-03-08 13:07 54K 
[ ]lopban_2__t5_lopban_22016-03-08 13:07 56K 
[ ]lopban_2__t6_lopban_22016-03-08 13:07 65K 
[ ]lopban_2__t7_lopban_22016-03-08 13:07 86K 
[ ]lopban_2__t8_lopban_22016-03-08 13:07 97K 
[ ]lopban_2__t9_lopban_22016-03-08 13:07 108K 
[ ]lopban_2__t10_lopban_22016-03-08 13:07 107K 
[ ]lopban_2__t11_lopban_22016-03-08 13:07 110K 
[ ]lopban_2__t12_lopban_22016-03-08 13:07 90K 
[ ]lopban_2__t13_lopban_22016-03-08 13:07 114K 
[ ]lopban_2__t14_lopban_22016-03-08 13:07 95K 
[ ]lopban_2__t15_lopban_22016-03-08 13:07 126K 
[ ]lopban_2__t16_lopban_22016-03-08 13:07 84K 
[ ]lopban_2__t17_lopban_22016-03-08 13:07 68K 
[ ]lopban_2__t18_lopban_22017-01-05 20:54 96K 
[ ]lopban_2__t19_lopban_22016-03-08 13:07 128K 
[ ]lopban_2__t20_lopban_22016-03-08 13:07 125K 
[ ]lopban_2__t21_lopban_22016-03-08 13:07 86K 
[ ]lopban_2__t22_lopban_22016-03-08 13:07 84K 
[ ]lopban_2__t23_lopban_22016-03-08 13:07 87K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80