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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]conlat_2__l19_conlat_22016-03-08 13:05 25K 
[   ]conlat_2__l20_conlat_22017-01-05 20:54 39K 
[   ]conlat_2__l21_conlat_22016-03-08 13:05 17K 
[   ]conlat_2__t1_conlat_22016-03-08 13:05 48K 
[   ]conlat_2__t2_conlat_22017-01-05 20:54 19K 
[   ]conlat_2__t3_conlat_22017-01-05 20:54 19K 
[   ]conlat_2__t4_conlat_22017-01-05 20:54 40K 
[   ]conlat_2__t5_conlat_22017-01-05 20:54 45K 
[   ]conlat_2__t6_conlat_22017-01-05 20:54 45K 
[   ]conlat_2__t7_conlat_22017-01-05 20:54 54K 
[   ]conlat_2__t8_conlat_22017-01-05 20:54 55K 
[   ]conlat_2__t9_conlat_22017-01-05 20:54 49K 
[   ]conlat_2__t10_conlat_22017-01-05 20:54 50K 
[   ]conlat_2__t11_conlat_22016-03-08 13:05 39K 
[   ]conlat_2__t12_conlat_22017-01-05 20:54 52K 
[   ]conlat_2__t13_conlat_22017-01-05 20:54 48K 
[   ]conlat_2__t14_conlat_22017-01-05 20:54 75K 
[   ]conlat_2__t15_conlat_22017-01-05 20:54 50K 
[   ]conlat_2__t16_conlat_22017-01-05 20:54 45K 
[   ]conlat_2__t17_conlat_22016-03-08 13:05 14K 
[   ]conlat_2__t18_conlat_22017-01-05 20:54 24K 
[   ]conlat_2__t19_conlat_22017-01-05 20:54 24K 
[   ]conlat_2__t20_conlat_22016-03-08 13:05 20K 
[   ]conlat_2__t21_conlat_22016-03-08 13:05 57K 
[   ]conlat_2__t22_conlat_22016-03-08 13:05 40K 

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