Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_gdfthf/ringcat1

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]ringcat1__l6_ringcat12019-08-24 23:59 41K 
[ ]ringcat1__l10_ringcat12019-08-24 23:59 48K 
[ ]ringcat1__l12_ringcat12019-08-24 23:59 30K 
[ ]ringcat1__l13_ringcat12019-08-24 23:59 55K 
[ ]ringcat1__l14_ringcat12019-08-24 23:59 51K 
[ ]ringcat1__l15_ringcat12019-08-24 23:59 48K 
[ ]ringcat1__l18_ringcat12019-08-24 23:59 61K 
[ ]ringcat1__l19_ringcat12019-08-24 23:59 50K 
[ ]ringcat1__l57_ringcat12019-08-25 00:01 92K 
[ ]ringcat1__l58_ringcat12019-08-25 00:01 110K 
[ ]ringcat1__l59_ringcat12019-08-25 00:02 208K 
[ ]ringcat1__t1_ringcat12019-08-24 23:59 103K 
[ ]ringcat1__t2_ringcat12019-08-24 23:59 46K 
[ ]ringcat1__t3_ringcat12019-08-24 23:59 34K 
[ ]ringcat1__t4_ringcat12019-08-24 23:59 59K 
[ ]ringcat1__t5_ringcat12019-08-24 23:59 91K 
[ ]ringcat1__t6_ringcat12019-08-24 23:59 75K 
[ ]ringcat1__t7_ringcat12019-08-25 00:00 81K 
[ ]ringcat1__t8_ringcat12019-08-25 00:00 42K 
[ ]ringcat1__t9_ringcat12019-08-25 00:00 108K 
[ ]ringcat1__t10_ringcat12019-08-25 00:00 57K 
[ ]ringcat1__t11_ringcat12019-08-25 00:00 86K 
[ ]ringcat1__t12_ringcat12019-08-25 00:00 29K 
[ ]ringcat1__t13_ringcat12019-08-25 00:00 52K 
[ ]ringcat1__t14_ringcat12019-08-25 00:00 40K 
[ ]ringcat1__t15_ringcat12019-08-25 00:00 88K 
[ ]ringcat1__t16_ringcat12019-08-25 00:00 72K 
[ ]ringcat1__t17_ringcat12019-08-25 00:00 29K 
[ ]ringcat1__t18_ringcat12019-08-25 00:00 39K 
[ ]ringcat1__t19_ringcat12019-08-25 00:00 57K 
[ ]ringcat1__t20_ringcat12019-08-25 00:01 63K 
[ ]ringcat1__t21_ringcat12019-08-25 00:01 67K 
[ ]ringcat1__t22_ringcat12019-08-25 00:01 89K 
[ ]ringcat1__t24_ringcat12019-08-25 00:01 149K 
[ ]ringcat1__t25_ringcat12019-08-25 00:02 103K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80