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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]ringcat1__l6_ringcat12021-07-17 19:05 12K 
[ ]ringcat1__l6_ringcat1.vout2021-07-25 15:57 2.0K 
[ ]ringcat1__l12_ringcat12021-07-17 19:05 13K 
[ ]ringcat1__l12_ringcat1.depv12021-07-25 20:57 37  
[ ]ringcat1__l12_ringcat1.depvmin12021-07-25 21:03 37  
[ ]ringcat1__l12_ringcat1.vmin12021-07-25 20:57 380  
[ ]ringcat1__l12_ringcat1.vmin1out2021-07-25 21:01 3.8K 
[ ]ringcat1__l12_ringcat1.vout2021-07-25 20:43 3.8K 
[ ]ringcat1__l13_ringcat12021-07-17 19:06 18K 
[ ]ringcat1__l13_ringcat1.depv12021-07-25 20:57 49  
[ ]ringcat1__l13_ringcat1.depvmin12021-07-25 21:03 49  
[ ]ringcat1__l13_ringcat1.vmin12021-07-25 20:57 1.9K 
[ ]ringcat1__l13_ringcat1.vmin1out2021-07-25 20:57 74K 
[ ]ringcat1__l13_ringcat1.vout2021-07-25 17:00 56K 
[ ]ringcat1__l14_ringcat12021-07-17 19:06 18K 
[ ]ringcat1__l14_ringcat1.depv12021-07-25 20:57 164  
[ ]ringcat1__l14_ringcat1.depvmin12021-07-25 21:03 149  
[ ]ringcat1__l14_ringcat1.vmin12021-07-25 20:57 4.0K 
[ ]ringcat1__l14_ringcat1.vmin1out2021-07-25 21:01 67K 
[ ]ringcat1__l14_ringcat1.vout2021-07-25 15:00 128K 
[ ]ringcat1__l15_ringcat12021-07-17 19:07 16K 
[ ]ringcat1__l15_ringcat1.depv12021-07-25 20:57 206  
[ ]ringcat1__l15_ringcat1.depvmin12021-07-25 21:03 191  
[ ]ringcat1__l15_ringcat1.vmin12021-07-25 20:57 5.3K 
[ ]ringcat1__l15_ringcat1.vmin1out2021-07-25 21:01 105K 
[ ]ringcat1__l15_ringcat1.vout2021-07-25 14:54 93K 
[ ]ringcat1__l18_ringcat12021-07-17 19:07 18K 
[ ]ringcat1__l18_ringcat1.depv12021-07-25 20:57 117  
[ ]ringcat1__l18_ringcat1.depvmin12021-07-25 21:03 117  
[ ]ringcat1__l18_ringcat1.vmin12021-07-25 20:57 2.6K 
[ ]ringcat1__l18_ringcat1.vmin1out2021-07-25 21:00 79K 
[ ]ringcat1__l18_ringcat1.vout2021-07-25 19:38 29K 
[ ]ringcat1__l19_ringcat12021-07-17 19:07 18K 
[ ]ringcat1__l19_ringcat1.depv12021-07-25 20:57 26  
[ ]ringcat1__l19_ringcat1.depvmin12021-07-25 21:03 26  
[ ]ringcat1__l19_ringcat1.vmin12021-07-25 20:57 1.4K 
[ ]ringcat1__l19_ringcat1.vmin1out2021-07-25 20:58 58K 
[ ]ringcat1__l19_ringcat1.vout2021-07-25 19:44 15K 
[ ]ringcat1__l57_ringcat12021-07-17 19:08 28K 
[ ]ringcat1__l57_ringcat1.vout2021-07-25 20:19 4.1K 
[ ]ringcat1__l58_ringcat12021-07-17 19:09 28K 
[ ]ringcat1__l58_ringcat1.vout2021-07-25 18:46 4.1K 
[ ]ringcat1__l59_ringcat12021-07-17 19:09 41K 
[ ]ringcat1__l59_ringcat1.vout2021-07-25 17:22 7.4K 
[ ]ringcat1__t1_ringcat12021-07-17 18:54 14K 
[ ]ringcat1__t1_ringcat1.vout2021-07-25 14:39 2.0K 
[ ]ringcat1__t2_ringcat12021-07-17 18:55 16K 
[ ]ringcat1__t2_ringcat1.depv12021-07-25 20:57 67  
[ ]ringcat1__t2_ringcat1.depvmin12021-07-25 21:03 67  
[ ]ringcat1__t2_ringcat1.vmin12021-07-25 20:57 2.9K 
[ ]ringcat1__t2_ringcat1.vmin1out2021-07-25 20:58 81K 
[ ]ringcat1__t2_ringcat1.vout2021-07-25 20:25 70K 
[ ]ringcat1__t3_ringcat12021-07-17 18:55 16K 
[ ]ringcat1__t3_ringcat1.depv12021-07-25 20:57 116  
[ ]ringcat1__t3_ringcat1.depvmin12021-07-25 21:03 116  
[ ]ringcat1__t3_ringcat1.vmin12021-07-25 20:57 2.4K 
[ ]ringcat1__t3_ringcat1.vmin1out2021-07-25 21:01 38K 
[ ]ringcat1__t3_ringcat1.vout2021-07-25 16:11 26K 
[ ]ringcat1__t4_ringcat12021-07-17 18:55 18K 
[ ]ringcat1__t4_ringcat1.depv12021-07-25 20:57 129  
[ ]ringcat1__t4_ringcat1.depvmin12021-07-25 21:03 129  
[ ]ringcat1__t4_ringcat1.vmin12021-07-25 20:57 3.7K 
[ ]ringcat1__t4_ringcat1.vmin1out2021-07-25 20:57 161K 
[ ]ringcat1__t4_ringcat1.vout2021-07-25 14:39 85K 
[ ]ringcat1__t5_ringcat12021-07-17 18:56 20K 
[ ]ringcat1__t5_ringcat1.vout2021-07-25 18:22 4.1K 
[ ]ringcat1__t6_ringcat12021-07-17 18:56 21K 
[ ]ringcat1__t6_ringcat1.vout2021-07-25 17:19 4.1K 
[ ]ringcat1__t7_ringcat12021-07-17 18:57 20K 
[ ]ringcat1__t7_ringcat1.vout2021-07-25 19:05 4.1K 
[ ]ringcat1__t8_ringcat12021-07-17 18:57 16K 
[ ]ringcat1__t8_ringcat1.vout2021-07-25 16:08 3.2K 
[ ]ringcat1__t9_ringcat12021-07-17 18:58 20K 
[ ]ringcat1__t9_ringcat1.vout2021-07-25 16:20 4.1K 
[ ]ringcat1__t10_ringcat12021-07-17 18:58 17K 
[ ]ringcat1__t10_ringcat1.depv12021-07-25 20:57 67  
[ ]ringcat1__t10_ringcat1.depvmin12021-07-25 21:03 67  
[ ]ringcat1__t10_ringcat1.vmin12021-07-25 20:57 2.4K 
[ ]ringcat1__t10_ringcat1.vmin1out2021-07-25 21:02 84K 
[ ]ringcat1__t10_ringcat1.vout2021-07-25 14:32 25K 
[ ]ringcat1__t11_ringcat12021-07-17 18:58 26K 
[ ]ringcat1__t11_ringcat1.vout2021-07-25 15:12 4.7K 
[ ]ringcat1__t12_ringcat12021-07-17 18:59 12K 
[ ]ringcat1__t12_ringcat1.depv12021-07-25 20:57 49  
[ ]ringcat1__t12_ringcat1.depvmin12021-07-25 21:03 49  
[ ]ringcat1__t12_ringcat1.vmin12021-07-25 20:57 508  
[ ]ringcat1__t12_ringcat1.vmin1out2021-07-25 20:59 7.2K 
[ ]ringcat1__t12_ringcat1.vout2021-07-25 17:40 7.2K 
[ ]ringcat1__t13_ringcat12021-07-17 18:59 16K 
[ ]ringcat1__t13_ringcat1.depv12021-07-25 20:57 127  
[ ]ringcat1__t13_ringcat1.depvmin12021-07-25 21:03 127  
[ ]ringcat1__t13_ringcat1.vmin12021-07-25 20:57 2.6K 
[ ]ringcat1__t13_ringcat1.vmin1out2021-07-25 21:01 72K 
[ ]ringcat1__t13_ringcat1.vout2021-07-25 14:41 44K 
[ ]ringcat1__t14_ringcat12021-07-17 19:00 15K 
[ ]ringcat1__t14_ringcat1.depv12021-07-25 20:57 82  
[ ]ringcat1__t14_ringcat1.depvmin12021-07-25 21:03 82  
[ ]ringcat1__t14_ringcat1.vmin12021-07-25 20:57 1.4K 
[ ]ringcat1__t14_ringcat1.vmin1out2021-07-25 21:02 15K 
[ ]ringcat1__t14_ringcat1.vout2021-07-25 19:19 29K 
[ ]ringcat1__t15_ringcat12021-07-17 19:00 14K 
[ ]ringcat1__t15_ringcat1.depv12021-07-25 20:57 160  
[ ]ringcat1__t15_ringcat1.depvmin12021-07-25 21:03 160  
[ ]ringcat1__t15_ringcat1.vmin12021-07-25 20:57 1.8K 
[ ]ringcat1__t15_ringcat1.vmin1out2021-07-25 21:02 38K 
[ ]ringcat1__t15_ringcat1.vout2021-07-25 18:16 46K 
[ ]ringcat1__t16_ringcat12021-07-17 19:01 14K 
[ ]ringcat1__t16_ringcat1.depv12021-07-25 20:57 113  
[ ]ringcat1__t16_ringcat1.depvmin12021-07-25 21:03 113  
[ ]ringcat1__t16_ringcat1.vmin12021-07-25 20:57 2.0K 
[ ]ringcat1__t16_ringcat1.vmin1out2021-07-25 21:02 35K 
[ ]ringcat1__t16_ringcat1.vout2021-07-25 15:04 26K 
[ ]ringcat1__t17_ringcat12021-07-17 19:01 14K 
[ ]ringcat1__t17_ringcat1.depv12021-07-25 20:57 62  
[ ]ringcat1__t17_ringcat1.depvmin12021-07-25 21:03 62  
[ ]ringcat1__t17_ringcat1.vmin12021-07-25 20:57 583  
[ ]ringcat1__t17_ringcat1.vmin1out2021-07-25 20:59 11K 
[ ]ringcat1__t17_ringcat1.vout2021-07-25 16:49 7.5K 
[ ]ringcat1__t18_ringcat12021-07-17 19:01 13K 
[ ]ringcat1__t18_ringcat1.depv12021-07-25 20:57 85  
[ ]ringcat1__t18_ringcat1.depvmin12021-07-25 21:03 85  
[ ]ringcat1__t18_ringcat1.vmin12021-07-25 20:57 1.4K 
[ ]ringcat1__t18_ringcat1.vmin1out2021-07-25 21:00 20K 
[ ]ringcat1__t18_ringcat1.vout2021-07-25 20:51 19K 
[ ]ringcat1__t19_ringcat12021-07-17 19:02 18K 
[ ]ringcat1__t19_ringcat1.vout2021-07-25 16:48 4.1K 
[ ]ringcat1__t20_ringcat12021-07-17 19:02 21K 
[ ]ringcat1__t20_ringcat1.vout2021-07-25 20:39 4.1K 
[ ]ringcat1__t21_ringcat12021-07-17 19:03 24K 
[ ]ringcat1__t21_ringcat1.vout2021-07-25 15:17 4.1K 
[ ]ringcat1__t22_ringcat12021-07-17 19:03 26K 
[ ]ringcat1__t22_ringcat1.vout2021-07-25 14:32 4.1K 
[ ]ringcat1__t24_ringcat12021-07-17 19:04 26K 
[ ]ringcat1__t24_ringcat1.vout2021-07-25 15:45 4.1K 
[ ]ringcat1__t25_ringcat12021-07-17 19:05 32K 
[ ]ringcat1__t25_ringcat1.vout2021-07-25 18:31 8.4K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80