Index of /~mptp/7.13.01_4.181.1147/mptp/problems_notypes/conlat_2

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]conlat_2__l19_conlat_22017-03-01 15:25 11K 
[ ]conlat_2__l20_conlat_22017-03-01 15:25 16K 
[ ]conlat_2__l21_conlat_22017-03-01 15:25 7.5K 
[ ]conlat_2__t1_conlat_22017-03-01 15:25 19K 
[ ]conlat_2__t2_conlat_22017-03-01 15:25 9.3K 
[ ]conlat_2__t3_conlat_22017-03-01 15:25 9.4K 
[ ]conlat_2__t4_conlat_22017-03-01 15:25 18K 
[ ]conlat_2__t5_conlat_22017-03-01 15:25 19K 
[ ]conlat_2__t6_conlat_22017-03-01 15:25 20K 
[ ]conlat_2__t7_conlat_22017-03-01 15:25 24K 
[ ]conlat_2__t8_conlat_22017-03-01 15:25 25K 
[ ]conlat_2__t9_conlat_22017-03-01 15:25 22K 
[ ]conlat_2__t10_conlat_22017-03-01 15:25 22K 
[ ]conlat_2__t11_conlat_22017-03-01 15:25 17K 
[ ]conlat_2__t12_conlat_22017-03-01 15:25 24K 
[ ]conlat_2__t13_conlat_22017-03-01 15:25 21K 
[ ]conlat_2__t14_conlat_22017-03-01 15:25 36K 
[ ]conlat_2__t15_conlat_22017-03-01 15:25 22K 
[ ]conlat_2__t16_conlat_22017-03-01 15:25 19K 
[ ]conlat_2__t17_conlat_22017-03-01 15:25 6.7K 
[ ]conlat_2__t18_conlat_22017-03-01 15:25 11K 
[ ]conlat_2__t19_conlat_22017-03-01 15:25 11K 
[ ]conlat_2__t20_conlat_22017-03-01 15:25 8.6K 
[ ]conlat_2__t21_conlat_22017-03-01 15:25 25K 
[ ]conlat_2__t22_conlat_22017-03-01 15:25 18K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80