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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]jordan16__t1_jordan162017-03-01 15:17 27K 
[ ]jordan16__t2_jordan162017-03-01 15:17 17K 
[ ]jordan16__t3_jordan162017-03-01 15:17 15K 
[ ]jordan16__t4_jordan162017-03-01 15:17 15K 
[ ]jordan16__t5_jordan162017-03-01 15:17 24K 
[ ]jordan16__t6_jordan162017-03-01 15:17 27K 
[ ]jordan16__t7_jordan162017-03-01 15:17 26K 
[ ]jordan16__t8_jordan162017-03-01 15:17 17K 
[ ]jordan16__t9_jordan162017-03-01 15:17 17K 
[ ]jordan16__t10_jordan162017-03-01 15:17 32K 
[ ]jordan16__t11_jordan162017-03-01 15:17 20K 
[ ]jordan16__t12_jordan162017-03-01 15:17 18K 
[ ]jordan16__t13_jordan162017-03-01 15:17 19K 
[ ]jordan16__t14_jordan162017-03-01 15:17 20K 
[ ]jordan16__t15_jordan162017-03-01 15:17 16K 
[ ]jordan16__t16_jordan162017-03-01 15:17 24K 
[ ]jordan16__t17_jordan162017-03-01 15:17 20K 
[ ]jordan16__t18_jordan162017-03-01 15:17 21K 
[ ]jordan16__t19_jordan162017-03-01 15:17 16K 
[ ]jordan16__t20_jordan162017-03-01 15:17 25K 
[ ]jordan16__t21_jordan162017-03-01 15:17 57K 
[ ]jordan16__t22_jordan162017-03-01 15:17 17K 
[ ]jordan16__t23_jordan162017-03-01 15:17 19K 
[ ]jordan16__t24_jordan162017-03-01 15:17 15K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80