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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]ringcat1__l6_ringcat12017-03-01 15:17 8.7K 
[ ]ringcat1__l10_ringcat12017-03-01 15:17 11K 
[ ]ringcat1__l12_ringcat12017-03-01 15:17 9.6K 
[ ]ringcat1__l13_ringcat12017-03-01 15:17 11K 
[ ]ringcat1__l14_ringcat12017-03-01 15:17 11K 
[ ]ringcat1__l15_ringcat12017-03-01 15:17 10K 
[ ]ringcat1__l18_ringcat12017-03-01 15:17 11K 
[ ]ringcat1__l19_ringcat12017-03-01 15:17 10K 
[ ]ringcat1__l57_ringcat12017-03-01 15:17 20K 
[ ]ringcat1__l58_ringcat12017-03-01 15:17 20K 
[ ]ringcat1__l59_ringcat12017-03-01 15:17 25K 
[ ]ringcat1__t1_ringcat12017-03-01 15:17 9.0K 
[ ]ringcat1__t2_ringcat12017-03-01 15:17 10K 
[ ]ringcat1__t3_ringcat12017-03-01 15:17 9.9K 
[ ]ringcat1__t4_ringcat12017-03-01 15:17 11K 
[ ]ringcat1__t5_ringcat12017-03-01 15:17 12K 
[ ]ringcat1__t6_ringcat12017-03-01 15:17 11K 
[ ]ringcat1__t7_ringcat12017-03-01 15:17 11K 
[ ]ringcat1__t8_ringcat12017-03-01 15:17 11K 
[ ]ringcat1__t9_ringcat12017-03-01 15:17 12K 
[ ]ringcat1__t10_ringcat12017-03-01 15:17 10K 
[ ]ringcat1__t11_ringcat12017-03-01 15:17 15K 
[ ]ringcat1__t12_ringcat12017-03-01 15:17 9.1K 
[ ]ringcat1__t13_ringcat12017-03-01 15:17 9.8K 
[ ]ringcat1__t14_ringcat12017-03-01 15:17 9.5K 
[ ]ringcat1__t15_ringcat12017-03-01 15:17 11K 
[ ]ringcat1__t16_ringcat12017-03-01 15:17 12K 
[ ]ringcat1__t17_ringcat12017-03-01 15:17 9.5K 
[ ]ringcat1__t18_ringcat12017-03-01 15:17 11K 
[ ]ringcat1__t19_ringcat12017-03-01 15:17 12K 
[ ]ringcat1__t20_ringcat12017-03-01 15:17 12K 
[ ]ringcat1__t21_ringcat12017-03-01 15:17 17K 
[ ]ringcat1__t22_ringcat12017-03-01 15:17 18K 
[ ]ringcat1__t24_ringcat12017-03-01 15:17 18K 
[ ]ringcat1__t25_ringcat12017-03-01 15:17 20K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80