Index of /~mptp/mml5.63.1382/MPTP2/problems/ringcat1

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]ringcat1__l6_ringcat12023-06-28 10:56 21K 
[ ]ringcat1__l12_ringcat12023-06-28 10:56 22K 
[ ]ringcat1__l13_ringcat12023-06-28 10:56 29K 
[ ]ringcat1__l14_ringcat12023-06-28 10:57 29K 
[ ]ringcat1__l15_ringcat12023-06-28 10:57 26K 
[ ]ringcat1__l18_ringcat12023-06-28 10:57 29K 
[ ]ringcat1__l19_ringcat12023-06-28 10:58 29K 
[ ]ringcat1__l57_ringcat12023-06-28 10:58 46K 
[ ]ringcat1__l58_ringcat12023-06-28 10:59 47K 
[ ]ringcat1__l59_ringcat12023-06-28 11:00 65K 
[ ]ringcat1__t1_ringcat12023-06-28 10:46 24K 
[ ]ringcat1__t2_ringcat12023-06-28 10:46 26K 
[ ]ringcat1__t3_ringcat12023-06-28 10:46 25K 
[ ]ringcat1__t4_ringcat12023-06-28 10:47 29K 
[ ]ringcat1__t5_ringcat12023-06-28 10:47 32K 
[ ]ringcat1__t6_ringcat12023-06-28 10:48 33K 
[ ]ringcat1__t7_ringcat12023-06-28 10:48 31K 
[ ]ringcat1__t8_ringcat12023-06-28 10:48 26K 
[ ]ringcat1__t9_ringcat12023-06-28 10:49 32K 
[ ]ringcat1__t10_ringcat12023-06-28 10:49 27K 
[ ]ringcat1__t11_ringcat12023-06-28 10:50 42K 
[ ]ringcat1__t12_ringcat12023-06-28 10:50 21K 
[ ]ringcat1__t13_ringcat12023-06-28 10:50 26K 
[ ]ringcat1__t14_ringcat12023-06-28 10:51 25K 
[ ]ringcat1__t15_ringcat12023-06-28 10:51 24K 
[ ]ringcat1__t16_ringcat12023-06-28 10:52 25K 
[ ]ringcat1__t17_ringcat12023-06-28 10:52 24K 
[ ]ringcat1__t18_ringcat12023-06-28 10:52 23K 
[ ]ringcat1__t19_ringcat12023-06-28 10:53 30K 
[ ]ringcat1__t20_ringcat12023-06-28 10:53 33K 
[ ]ringcat1__t21_ringcat12023-06-28 10:54 40K 
[ ]ringcat1__t22_ringcat12023-06-28 10:54 43K 
[ ]ringcat1__t24_ringcat12023-06-28 10:55 43K 
[ ]ringcat1__t25_ringcat12023-06-28 10:55 51K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80