Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/ring_4

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]ring_4__l3_ring_42024-07-27 04:31 80K 
[ ]ring_4__l3_ring_4.vout2024-08-03 07:22 4.7K 
[ ]ring_4__l4_ring_42024-07-27 04:33 101K 
[ ]ring_4__l4_ring_4.vout2024-08-03 06:57 5.8K 
[ ]ring_4__l5_ring_42024-07-27 04:34 50K 
[ ]ring_4__l5_ring_4.vout2024-08-03 09:46 4.7K 
[ ]ring_4__l9_ring_42024-07-27 04:37 117K 
[ ]ring_4__l9_ring_4.vout2024-08-03 07:08 4.7K 
[ ]ring_4__l22_ring_42024-07-27 04:38 30K 
[ ]ring_4__l22_ring_4.vout2024-08-03 04:44 7.3K 
[ ]ring_4__l23_ring_42024-07-27 04:40 31K 
[ ]ring_4__l23_ring_4.vout2024-08-03 07:50 5.8K 
[ ]ring_4__l46_ring_42024-07-27 04:43 262K 
[ ]ring_4__l46_ring_4.vout2024-08-03 07:49 5.2K 
[ ]ring_4__l47_ring_42024-07-27 04:45 81K 
[ ]ring_4__l47_ring_4.vout2024-08-03 07:58 4.7K 
[ ]ring_4__l62_ring_42024-07-27 04:50 135K 
[ ]ring_4__l62_ring_4.vout2024-08-03 08:32 3.6K 
[ ]ring_4__l63_ring_42024-07-27 04:53 141K 
[ ]ring_4__l63_ring_4.vout2024-08-03 09:59 3.7K 
[ ]ring_4__l64_ring_42024-07-27 04:56 126K 
[ ]ring_4__l64_ring_4.vout2024-08-03 05:22 7.3K 
[ ]ring_4__l65_ring_42024-07-27 04:58 124K 
[ ]ring_4__l65_ring_4.vout2024-08-03 07:31 7.3K 
[ ]ring_4__l68_ring_42024-07-27 04:48 124K 
[ ]ring_4__l68_ring_4.vout2024-08-03 05:10 4.7K 
[ ]ring_4__t1_ring_42024-07-27 02:32 79K 
[ ]ring_4__t1_ring_4.vout2024-08-03 09:47 4.7K 
[ ]ring_4__t2_ring_42024-07-27 02:35 125K 
[ ]ring_4__t2_ring_4.vout2024-08-03 09:54 4.7K 
[ ]ring_4__t3_ring_42024-07-27 02:37 100K 
[ ]ring_4__t3_ring_4.vout2024-08-03 04:34 4.7K 
[ ]ring_4__t4_ring_42024-07-27 02:40 91K 
[ ]ring_4__t4_ring_4.vout2024-08-03 06:17 4.7K 
[ ]ring_4__t5_ring_42024-07-27 02:42 106K 
[ ]ring_4__t5_ring_4.vout2024-08-03 07:05 4.7K 
[ ]ring_4__t6_ring_42024-07-27 02:44 103K 
[ ]ring_4__t6_ring_4.vout2024-08-03 06:58 4.7K 
[ ]ring_4__t7_ring_42024-07-27 02:47 103K 
[ ]ring_4__t7_ring_4.vout2024-08-03 08:50 4.7K 
[ ]ring_4__t8_ring_42024-07-27 02:49 63K 
[ ]ring_4__t8_ring_4.vout2024-08-03 09:02 4.7K 
[ ]ring_4__t9_ring_42024-07-27 02:51 34K 
[ ]ring_4__t9_ring_4.vout2024-08-03 06:15 4.1K 
[ ]ring_4__t10_ring_42024-07-27 02:53 71K 
[ ]ring_4__t10_ring_4.vout2024-08-03 09:02 4.7K 
[ ]ring_4__t11_ring_42024-07-27 02:54 27K 
[ ]ring_4__t11_ring_4.vout2024-08-03 08:36 4.1K 
[ ]ring_4__t12_ring_42024-07-27 02:57 85K 
[ ]ring_4__t12_ring_4.vout2024-08-03 09:09 4.7K 
[ ]ring_4__t13_ring_42024-07-27 02:20 30K 
[ ]ring_4__t13_ring_4.depv12024-08-03 10:19 22  
[ ]ring_4__t13_ring_4.depvmin12024-08-03 10:24 22  
[ ]ring_4__t13_ring_4.vmin12024-08-03 10:20 349  
[ ]ring_4__t13_ring_4.vmin1out2024-08-03 10:22 3.3K 
[ ]ring_4__t13_ring_4.vout2024-08-03 09:07 3.4K 
[ ]ring_4__t14_ring_42024-07-27 02:21 32K 
[ ]ring_4__t14_ring_4.depv12024-08-03 10:19 132  
[ ]ring_4__t14_ring_4.depvmin12024-08-03 10:24 132  
[ ]ring_4__t14_ring_4.vmin12024-08-03 10:20 1.5K 
[ ]ring_4__t14_ring_4.vmin1out2024-08-03 10:22 12K 
[ ]ring_4__t14_ring_4.vout2024-08-03 04:52 13K 
[ ]ring_4__t15_ring_42024-07-27 02:59 87K 
[ ]ring_4__t15_ring_4.vout2024-08-03 05:14 5.8K 
[ ]ring_4__t16_ring_42024-07-27 03:01 46K 
[ ]ring_4__t16_ring_4.vout2024-08-03 05:00 5.8K 
[ ]ring_4__t17_ring_42024-07-27 03:04 69K 
[ ]ring_4__t17_ring_4.vout2024-08-03 09:25 5.8K 
[ ]ring_4__t18_ring_42024-07-27 03:06 82K 
[ ]ring_4__t18_ring_4.vout2024-08-03 09:16 5.8K 
[ ]ring_4__t19_ring_42024-07-27 03:09 58K 
[ ]ring_4__t19_ring_4.depv12024-08-03 10:19 123  
[ ]ring_4__t19_ring_4.depvmin12024-08-03 10:24 100  
[ ]ring_4__t19_ring_4.vmin12024-08-03 10:20 2.0K 
[ ]ring_4__t19_ring_4.vmin1out2024-08-03 10:22 19K 
[ ]ring_4__t19_ring_4.vout2024-08-03 09:02 26K 
[ ]ring_4__t20_ring_42024-07-27 03:11 85K 
[ ]ring_4__t20_ring_4.vout2024-08-03 06:01 4.7K 
[ ]ring_4__t21_ring_42024-07-27 03:13 80K 
[ ]ring_4__t21_ring_4.vout2024-08-03 04:57 5.8K 
[ ]ring_4__t22_ring_42024-07-27 03:16 93K 
[ ]ring_4__t22_ring_4.vout2024-08-03 08:27 5.8K 
[ ]ring_4__t23_ring_42024-07-27 03:18 104K 
[ ]ring_4__t23_ring_4.vout2024-08-03 09:21 4.7K 
[ ]ring_4__t24_ring_42024-07-27 03:21 96K 
[ ]ring_4__t24_ring_4.vout2024-08-03 05:39 4.7K 
[ ]ring_4__t25_ring_42024-07-27 03:24 113K 
[ ]ring_4__t25_ring_4.vout2024-08-03 07:25 4.7K 
[ ]ring_4__t26_ring_42024-07-27 03:26 113K 
[ ]ring_4__t26_ring_4.vout2024-08-03 08:43 4.7K 
[ ]ring_4__t27_ring_42024-07-27 03:29 102K 
[ ]ring_4__t27_ring_4.vout2024-08-03 06:09 4.7K 
[ ]ring_4__t28_ring_42024-07-27 03:31 81K 
[ ]ring_4__t28_ring_4.depv12024-08-03 10:19 430  
[ ]ring_4__t28_ring_4.depvmin12024-08-03 10:24 400  
[ ]ring_4__t28_ring_4.vmin12024-08-03 10:20 8.1K 
[ ]ring_4__t28_ring_4.vmin1out2024-08-03 10:21 102K 
[ ]ring_4__t28_ring_4.vout2024-08-03 09:53 99K 
[ ]ring_4__t29_ring_42024-07-27 03:34 133K 
[ ]ring_4__t29_ring_4.vout2024-08-03 07:07 4.7K 
[ ]ring_4__t30_ring_42024-07-27 03:36 113K 
[ ]ring_4__t30_ring_4.vout2024-08-03 06:45 4.7K 
[ ]ring_4__t31_ring_42024-07-27 02:23 58K 
[ ]ring_4__t31_ring_4.depv12024-08-03 10:19 147  
[ ]ring_4__t31_ring_4.depvmin12024-08-03 10:24 147  
[ ]ring_4__t31_ring_4.vmin12024-08-03 10:20 3.4K 
[ ]ring_4__t31_ring_4.vmin1out2024-08-03 10:23 25K 
[ ]ring_4__t31_ring_4.vout2024-08-03 04:07 49K 
[ ]ring_4__t32_ring_42024-07-27 03:38 46K 
[ ]ring_4__t32_ring_4.depv12024-08-03 10:19 69  
[ ]ring_4__t32_ring_4.depvmin12024-08-03 10:24 69  
[ ]ring_4__t32_ring_4.vmin12024-08-03 10:20 1.4K 
[ ]ring_4__t32_ring_4.vmin1out2024-08-03 10:20 21K 
[ ]ring_4__t32_ring_4.vout2024-08-03 08:23 11K 
[ ]ring_4__t33_ring_42024-07-27 02:25 61K 
[ ]ring_4__t33_ring_4.depv12024-08-03 10:19 337  
[ ]ring_4__t33_ring_4.depvmin12024-08-03 10:24 337  
[ ]ring_4__t33_ring_4.vmin12024-08-03 10:20 5.5K 
[ ]ring_4__t33_ring_4.vmin1out2024-08-03 10:20 82K 
[ ]ring_4__t33_ring_4.vout2024-08-03 08:59 49K 
[ ]ring_4__t34_ring_42024-07-27 02:27 74K 
[ ]ring_4__t34_ring_4.depv12024-08-03 10:19 22  
[ ]ring_4__t34_ring_4.depvmin12024-08-03 10:24 22  
[ ]ring_4__t34_ring_4.vmin12024-08-03 10:20 1.3K 
[ ]ring_4__t34_ring_4.vmin1out2024-08-03 10:21 35K 
[ ]ring_4__t34_ring_4.vout2024-08-03 05:37 21K 
[ ]ring_4__t35_ring_42024-07-27 03:41 133K 
[ ]ring_4__t35_ring_4.vout2024-08-03 06:53 4.7K 
[ ]ring_4__t36_ring_42024-07-27 03:44 126K 
[ ]ring_4__t36_ring_4.vout2024-08-03 10:00 4.7K 
[ ]ring_4__t37_ring_42024-07-27 03:47 170K 
[ ]ring_4__t37_ring_4.vout2024-08-03 06:32 4.7K 
[ ]ring_4__t38_ring_42024-07-27 03:49 105K 
[ ]ring_4__t38_ring_4.depv12024-08-03 10:19 57  
[ ]ring_4__t38_ring_4.depvmin12024-08-03 10:24 33  
[ ]ring_4__t38_ring_4.vmin12024-08-03 10:20 1.3K 
[ ]ring_4__t38_ring_4.vmin1out2024-08-03 10:22 17K 
[ ]ring_4__t38_ring_4.vout2024-08-03 08:35 28K 
[ ]ring_4__t39_ring_42024-07-27 03:51 105K 
[ ]ring_4__t39_ring_4.depv12024-08-03 10:19 57  
[ ]ring_4__t39_ring_4.depvmin12024-08-03 10:24 33  
[ ]ring_4__t39_ring_4.vmin12024-08-03 10:20 1.3K 
[ ]ring_4__t39_ring_4.vmin1out2024-08-03 10:21 28K 
[ ]ring_4__t39_ring_4.vout2024-08-03 06:45 50K 
[ ]ring_4__t40_ring_42024-07-27 03:54 143K 
[ ]ring_4__t40_ring_4.vout2024-08-03 05:51 4.7K 
[ ]ring_4__t41_ring_42024-07-27 03:57 145K 
[ ]ring_4__t41_ring_4.vout2024-08-03 08:28 4.7K 
[ ]ring_4__t42_ring_42024-07-27 04:00 249K 
[ ]ring_4__t42_ring_4.vout2024-08-03 08:51 4.7K 
[ ]ring_4__t43_ring_42024-07-27 04:03 202K 
[ ]ring_4__t43_ring_4.vout2024-08-03 07:17 8.3K 
[ ]ring_4__t44_ring_42024-07-27 04:06 243K 
[ ]ring_4__t44_ring_4.vout2024-08-03 07:59 4.7K 
[ ]ring_4__t45_ring_42024-07-27 04:09 150K 
[ ]ring_4__t45_ring_4.vout2024-08-03 07:40 4.7K 
[ ]ring_4__t46_ring_42024-07-27 04:12 162K 
[ ]ring_4__t46_ring_4.vout2024-08-03 08:30 4.7K 
[ ]ring_4__t47_ring_42024-07-27 04:15 165K 
[ ]ring_4__t47_ring_4.vout2024-08-03 06:54 7.3K 
[ ]ring_4__t48_ring_42024-07-27 04:18 121K 
[ ]ring_4__t48_ring_4.depv12024-08-03 10:19 585  
[ ]ring_4__t48_ring_4.depvmin12024-08-03 10:24 585  
[ ]ring_4__t48_ring_4.vmin12024-08-03 10:20 16K 
[ ]ring_4__t48_ring_4.vmin1out2024-08-03 10:23 330K 
[ ]ring_4__t48_ring_4.vout2024-08-03 09:52 132K 
[ ]ring_4__t49_ring_42024-07-27 04:20 81K 
[ ]ring_4__t49_ring_4.vout2024-08-03 04:26 4.7K 
[ ]ring_4__t50_ring_42024-07-27 04:23 111K 
[ ]ring_4__t50_ring_4.vout2024-08-03 07:40 4.7K 
[ ]ring_4__t51_ring_42024-07-27 02:30 110K 
[ ]ring_4__t51_ring_4.vout2024-08-03 07:56 4.7K 
[ ]ring_4__t52_ring_42024-07-27 04:26 136K 
[ ]ring_4__t52_ring_4.vout2024-08-03 09:36 4.7K 
[ ]ring_4__t53_ring_42024-07-27 04:28 134K 
[ ]ring_4__t53_ring_4.vout2024-08-03 08:58 4.7K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80