Index of /~mptp/8.1.15_5.94.1493/MPTP2/problems_small_thf/ringcat1

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]ringcat1__l6_ringcat12025-09-13 05:50 21K 
[ ]ringcat1__l12_ringcat12025-09-13 05:51 22K 
[ ]ringcat1__l13_ringcat12025-09-13 05:52 29K 
[ ]ringcat1__l14_ringcat12025-09-13 05:53 29K 
[ ]ringcat1__l15_ringcat12025-09-13 05:55 26K 
[ ]ringcat1__l18_ringcat12025-09-13 05:56 29K 
[ ]ringcat1__l19_ringcat12025-09-13 05:57 29K 
[ ]ringcat1__l57_ringcat12025-09-13 05:59 47K 
[ ]ringcat1__l58_ringcat12025-09-13 06:01 48K 
[ ]ringcat1__l59_ringcat12025-09-13 06:03 66K 
[ ]ringcat1__t1_ringcat12025-09-13 05:19 24K 
[ ]ringcat1__t2_ringcat12025-09-13 05:20 27K 
[ ]ringcat1__t3_ringcat12025-09-13 05:21 26K 
[ ]ringcat1__t4_ringcat12025-09-13 05:22 30K 
[ ]ringcat1__t5_ringcat12025-09-13 05:24 32K 
[ ]ringcat1__t6_ringcat12025-09-13 05:25 33K 
[ ]ringcat1__t7_ringcat12025-09-13 05:26 32K 
[ ]ringcat1__t8_ringcat12025-09-13 05:27 26K 
[ ]ringcat1__t9_ringcat12025-09-13 05:28 33K 
[ ]ringcat1__t10_ringcat12025-09-13 05:30 27K 
[ ]ringcat1__t11_ringcat12025-09-13 05:31 42K 
[ ]ringcat1__t12_ringcat12025-09-13 05:32 21K 
[ ]ringcat1__t13_ringcat12025-09-13 05:33 26K 
[ ]ringcat1__t14_ringcat12025-09-13 05:34 25K 
[ ]ringcat1__t15_ringcat12025-09-13 05:36 24K 
[ ]ringcat1__t16_ringcat12025-09-13 05:37 25K 
[ ]ringcat1__t17_ringcat12025-09-13 05:38 24K 
[ ]ringcat1__t18_ringcat12025-09-13 05:39 23K 
[ ]ringcat1__t19_ringcat12025-09-13 05:41 30K 
[ ]ringcat1__t20_ringcat12025-09-13 05:42 33K 
[ ]ringcat1__t21_ringcat12025-09-13 05:44 40K 
[ ]ringcat1__t22_ringcat12025-09-13 05:45 43K 
[ ]ringcat1__t24_ringcat12025-09-13 05:47 44K 
[ ]ringcat1__t25_ringcat12025-09-13 05:49 52K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80