Index of /~mptp/mml5.63.1382/8.1.10_5.63.1382/mptp/problems_small_thf.orig2021/ringcat1

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]ringcat1__l6_ringcat12021-07-18 15:04 21K 
[ ]ringcat1__l12_ringcat12021-07-18 15:04 22K 
[ ]ringcat1__l13_ringcat12021-07-18 15:05 29K 
[ ]ringcat1__l14_ringcat12021-07-18 15:05 29K 
[ ]ringcat1__l15_ringcat12021-07-18 15:05 26K 
[ ]ringcat1__l18_ringcat12021-07-18 15:06 29K 
[ ]ringcat1__l19_ringcat12021-07-18 15:06 29K 
[ ]ringcat1__l57_ringcat12021-07-18 15:06 47K 
[ ]ringcat1__l58_ringcat12021-07-18 15:07 48K 
[ ]ringcat1__l59_ringcat12021-07-18 15:07 66K 
[ ]ringcat1__t1_ringcat12021-07-18 14:55 24K 
[ ]ringcat1__t2_ringcat12021-07-18 14:56 27K 
[ ]ringcat1__t3_ringcat12021-07-18 14:56 26K 
[ ]ringcat1__t4_ringcat12021-07-18 14:56 30K 
[ ]ringcat1__t5_ringcat12021-07-18 14:57 32K 
[ ]ringcat1__t6_ringcat12021-07-18 14:57 33K 
[ ]ringcat1__t7_ringcat12021-07-18 14:57 32K 
[ ]ringcat1__t8_ringcat12021-07-18 14:58 26K 
[ ]ringcat1__t9_ringcat12021-07-18 14:58 33K 
[ ]ringcat1__t10_ringcat12021-07-18 14:58 27K 
[ ]ringcat1__t11_ringcat12021-07-18 14:59 42K 
[ ]ringcat1__t12_ringcat12021-07-18 14:59 21K 
[ ]ringcat1__t13_ringcat12021-07-18 14:59 26K 
[ ]ringcat1__t14_ringcat12021-07-18 15:00 25K 
[ ]ringcat1__t15_ringcat12021-07-18 15:00 24K 
[ ]ringcat1__t16_ringcat12021-07-18 15:00 25K 
[ ]ringcat1__t17_ringcat12021-07-18 15:01 24K 
[ ]ringcat1__t18_ringcat12021-07-18 15:01 23K 
[ ]ringcat1__t19_ringcat12021-07-18 15:01 30K 
[ ]ringcat1__t20_ringcat12021-07-18 15:02 33K 
[ ]ringcat1__t21_ringcat12021-07-18 15:02 40K 
[ ]ringcat1__t22_ringcat12021-07-18 15:03 43K 
[ ]ringcat1__t24_ringcat12021-07-18 15:03 44K 
[ ]ringcat1__t25_ringcat12021-07-18 15:04 52K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80