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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]ringcat1__l6_ringcat12025-09-09 22:45 12K 
[ ]ringcat1__l6_ringcat1.vout2025-09-15 15:31 2.0K 
[ ]ringcat1__l12_ringcat12025-09-09 22:46 13K 
[ ]ringcat1__l12_ringcat1.depv12025-09-15 19:47 37  
[ ]ringcat1__l12_ringcat1.depvmin12025-09-15 19:51 37  
[ ]ringcat1__l12_ringcat1.vmin12025-09-15 19:47 380  
[ ]ringcat1__l12_ringcat1.vmin1out2025-09-15 19:50 3.8K 
[ ]ringcat1__l12_ringcat1.vout2025-09-15 18:35 3.8K 
[ ]ringcat1__l13_ringcat12025-09-09 22:47 18K 
[ ]ringcat1__l13_ringcat1.depv12025-09-15 19:47 49  
[ ]ringcat1__l13_ringcat1.depvmin12025-09-15 19:51 49  
[ ]ringcat1__l13_ringcat1.vmin12025-09-15 19:47 1.9K 
[ ]ringcat1__l13_ringcat1.vmin1out2025-09-15 19:51 74K 
[ ]ringcat1__l13_ringcat1.vout2025-09-15 15:38 56K 
[ ]ringcat1__l14_ringcat12025-09-09 22:48 18K 
[ ]ringcat1__l14_ringcat1.depv12025-09-15 19:47 164  
[ ]ringcat1__l14_ringcat1.depvmin12025-09-15 19:51 149  
[ ]ringcat1__l14_ringcat1.vmin12025-09-15 19:47 4.0K 
[ ]ringcat1__l14_ringcat1.vmin1out2025-09-15 19:48 67K 
[ ]ringcat1__l14_ringcat1.vout2025-09-15 16:21 128K 
[ ]ringcat1__l15_ringcat12025-09-09 22:49 16K 
[ ]ringcat1__l15_ringcat1.depv12025-09-15 19:47 206  
[ ]ringcat1__l15_ringcat1.depvmin12025-09-15 19:51 191  
[ ]ringcat1__l15_ringcat1.vmin12025-09-15 19:47 5.3K 
[ ]ringcat1__l15_ringcat1.vmin1out2025-09-15 19:50 105K 
[ ]ringcat1__l15_ringcat1.vout2025-09-15 18:43 93K 
[ ]ringcat1__l18_ringcat12025-09-09 22:50 18K 
[ ]ringcat1__l18_ringcat1.depv12025-09-15 19:47 117  
[ ]ringcat1__l18_ringcat1.depvmin12025-09-15 19:51 117  
[ ]ringcat1__l18_ringcat1.vmin12025-09-15 19:47 2.6K 
[ ]ringcat1__l18_ringcat1.vmin1out2025-09-15 19:48 79K 
[ ]ringcat1__l18_ringcat1.vout2025-09-15 18:05 29K 
[ ]ringcat1__l19_ringcat12025-09-09 22:51 18K 
[ ]ringcat1__l19_ringcat1.depv12025-09-15 19:47 26  
[ ]ringcat1__l19_ringcat1.depvmin12025-09-15 19:51 26  
[ ]ringcat1__l19_ringcat1.vmin12025-09-15 19:47 1.4K 
[ ]ringcat1__l19_ringcat1.vmin1out2025-09-15 19:48 58K 
[ ]ringcat1__l19_ringcat1.vout2025-09-15 17:18 15K 
[ ]ringcat1__l57_ringcat12025-09-09 22:53 28K 
[ ]ringcat1__l57_ringcat1.vout2025-09-15 18:24 4.1K 
[ ]ringcat1__l58_ringcat12025-09-09 22:54 28K 
[ ]ringcat1__l58_ringcat1.vout2025-09-15 19:19 4.1K 
[ ]ringcat1__l59_ringcat12025-09-09 22:57 41K 
[ ]ringcat1__l59_ringcat1.vout2025-09-15 16:01 7.4K 
[ ]ringcat1__t1_ringcat12025-09-09 22:16 14K 
[ ]ringcat1__t1_ringcat1.vout2025-09-15 13:38 2.0K 
[ ]ringcat1__t2_ringcat12025-09-09 22:17 16K 
[ ]ringcat1__t2_ringcat1.depv12025-09-15 19:47 67  
[ ]ringcat1__t2_ringcat1.depvmin12025-09-15 19:51 67  
[ ]ringcat1__t2_ringcat1.vmin12025-09-15 19:47 2.9K 
[ ]ringcat1__t2_ringcat1.vmin1out2025-09-15 19:47 81K 
[ ]ringcat1__t2_ringcat1.vout2025-09-15 18:02 70K 
[ ]ringcat1__t3_ringcat12025-09-09 22:18 16K 
[ ]ringcat1__t3_ringcat1.depv12025-09-15 19:47 116  
[ ]ringcat1__t3_ringcat1.depvmin12025-09-15 19:51 116  
[ ]ringcat1__t3_ringcat1.vmin12025-09-15 19:47 2.4K 
[ ]ringcat1__t3_ringcat1.vmin1out2025-09-15 19:47 38K 
[ ]ringcat1__t3_ringcat1.vout2025-09-15 15:13 26K 
[ ]ringcat1__t4_ringcat12025-09-09 22:19 18K 
[ ]ringcat1__t4_ringcat1.depv12025-09-15 19:47 129  
[ ]ringcat1__t4_ringcat1.depvmin12025-09-15 19:51 129  
[ ]ringcat1__t4_ringcat1.vmin12025-09-15 19:47 3.7K 
[ ]ringcat1__t4_ringcat1.vmin1out2025-09-15 19:50 161K 
[ ]ringcat1__t4_ringcat1.vout2025-09-15 15:31 85K 
[ ]ringcat1__t5_ringcat12025-09-09 22:20 20K 
[ ]ringcat1__t5_ringcat1.vout2025-09-15 14:32 4.1K 
[ ]ringcat1__t6_ringcat12025-09-09 22:21 21K 
[ ]ringcat1__t6_ringcat1.vout2025-09-15 13:28 4.1K 
[ ]ringcat1__t7_ringcat12025-09-09 22:22 20K 
[ ]ringcat1__t7_ringcat1.vout2025-09-15 14:20 4.1K 
[ ]ringcat1__t8_ringcat12025-09-09 22:23 16K 
[ ]ringcat1__t8_ringcat1.vout2025-09-15 19:46 3.2K 
[ ]ringcat1__t9_ringcat12025-09-09 22:24 20K 
[ ]ringcat1__t9_ringcat1.vout2025-09-15 15:40 4.1K 
[ ]ringcat1__t10_ringcat12025-09-09 22:26 17K 
[ ]ringcat1__t10_ringcat1.depv12025-09-15 19:47 67  
[ ]ringcat1__t10_ringcat1.depvmin12025-09-15 19:51 67  
[ ]ringcat1__t10_ringcat1.vmin12025-09-15 19:47 2.4K 
[ ]ringcat1__t10_ringcat1.vmin1out2025-09-15 19:47 84K 
[ ]ringcat1__t10_ringcat1.vout2025-09-15 16:34 25K 
[ ]ringcat1__t11_ringcat12025-09-09 22:27 26K 
[ ]ringcat1__t11_ringcat1.vout2025-09-15 15:24 4.7K 
[ ]ringcat1__t12_ringcat12025-09-09 22:28 12K 
[ ]ringcat1__t12_ringcat1.depv12025-09-15 19:47 49  
[ ]ringcat1__t12_ringcat1.depvmin12025-09-15 19:51 49  
[ ]ringcat1__t12_ringcat1.vmin12025-09-15 19:47 508  
[ ]ringcat1__t12_ringcat1.vmin1out2025-09-15 19:51 7.2K 
[ ]ringcat1__t12_ringcat1.vout2025-09-15 14:54 7.2K 
[ ]ringcat1__t13_ringcat12025-09-09 22:29 16K 
[ ]ringcat1__t13_ringcat1.depv12025-09-15 19:47 127  
[ ]ringcat1__t13_ringcat1.depvmin12025-09-15 19:51 127  
[ ]ringcat1__t13_ringcat1.vmin12025-09-15 19:47 2.6K 
[ ]ringcat1__t13_ringcat1.vmin1out2025-09-15 19:50 72K 
[ ]ringcat1__t13_ringcat1.vout2025-09-15 16:36 44K 
[ ]ringcat1__t14_ringcat12025-09-09 22:30 15K 
[ ]ringcat1__t14_ringcat1.depv12025-09-15 19:47 82  
[ ]ringcat1__t14_ringcat1.depvmin12025-09-15 19:51 82  
[ ]ringcat1__t14_ringcat1.vmin12025-09-15 19:47 1.4K 
[ ]ringcat1__t14_ringcat1.vmin1out2025-09-15 19:49 15K 
[ ]ringcat1__t14_ringcat1.vout2025-09-15 15:08 29K 
[ ]ringcat1__t15_ringcat12025-09-09 22:31 14K 
[ ]ringcat1__t15_ringcat1.depv12025-09-15 19:47 160  
[ ]ringcat1__t15_ringcat1.depvmin12025-09-15 19:51 160  
[ ]ringcat1__t15_ringcat1.vmin12025-09-15 19:47 1.8K 
[ ]ringcat1__t15_ringcat1.vmin1out2025-09-15 19:49 38K 
[ ]ringcat1__t15_ringcat1.vout2025-09-15 14:45 46K 
[ ]ringcat1__t16_ringcat12025-09-09 22:32 14K 
[ ]ringcat1__t16_ringcat1.depv12025-09-15 19:47 113  
[ ]ringcat1__t16_ringcat1.depvmin12025-09-15 19:51 113  
[ ]ringcat1__t16_ringcat1.vmin12025-09-15 19:47 2.0K 
[ ]ringcat1__t16_ringcat1.vmin1out2025-09-15 19:48 35K 
[ ]ringcat1__t16_ringcat1.vout2025-09-15 18:44 26K 
[ ]ringcat1__t17_ringcat12025-09-09 22:34 14K 
[ ]ringcat1__t17_ringcat1.depv12025-09-15 19:47 62  
[ ]ringcat1__t17_ringcat1.depvmin12025-09-15 19:51 62  
[ ]ringcat1__t17_ringcat1.vmin12025-09-15 19:47 583  
[ ]ringcat1__t17_ringcat1.vmin1out2025-09-15 19:48 11K 
[ ]ringcat1__t17_ringcat1.vout2025-09-15 14:04 7.5K 
[ ]ringcat1__t18_ringcat12025-09-09 22:35 13K 
[ ]ringcat1__t18_ringcat1.depv12025-09-15 19:47 85  
[ ]ringcat1__t18_ringcat1.depvmin12025-09-15 19:51 85  
[ ]ringcat1__t18_ringcat1.vmin12025-09-15 19:47 1.4K 
[ ]ringcat1__t18_ringcat1.vmin1out2025-09-15 19:50 20K 
[ ]ringcat1__t18_ringcat1.vout2025-09-15 19:35 19K 
[ ]ringcat1__t19_ringcat12025-09-09 22:36 18K 
[ ]ringcat1__t19_ringcat1.vout2025-09-15 15:55 4.1K 
[ ]ringcat1__t20_ringcat12025-09-09 22:37 21K 
[ ]ringcat1__t20_ringcat1.vout2025-09-15 16:27 4.1K 
[ ]ringcat1__t21_ringcat12025-09-09 22:39 24K 
[ ]ringcat1__t21_ringcat1.vout2025-09-15 18:04 4.1K 
[ ]ringcat1__t22_ringcat12025-09-09 22:40 26K 
[ ]ringcat1__t22_ringcat1.vout2025-09-15 16:49 4.1K 
[ ]ringcat1__t24_ringcat12025-09-09 22:42 26K 
[ ]ringcat1__t24_ringcat1.vout2025-09-15 18:51 4.1K 
[ ]ringcat1__t25_ringcat12025-09-09 22:44 32K 
[ ]ringcat1__t25_ringcat1.vout2025-09-15 17:50 8.4K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80