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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]ring_5__l1_ring_52024-07-27 22:33 66K 
[ ]ring_5__l1_ring_5.vout2024-08-03 04:23 4.7K 
[ ]ring_5__l2_ring_52024-07-27 22:36 71K 
[ ]ring_5__l2_ring_5.depv12024-08-03 10:19 147  
[ ]ring_5__l2_ring_5.depvmin12024-08-03 10:24 147  
[ ]ring_5__l2_ring_5.vmin12024-08-03 10:19 1.5K 
[ ]ring_5__l2_ring_5.vmin1out2024-08-03 10:22 14K 
[ ]ring_5__l2_ring_5.vout2024-08-03 05:06 19K 
[ ]ring_5__l6_ring_52024-07-27 22:38 58K 
[ ]ring_5__l6_ring_5.depv12024-08-03 10:19 331  
[ ]ring_5__l6_ring_5.depvmin12024-08-03 10:24 320  
[ ]ring_5__l6_ring_5.vmin12024-08-03 10:19 3.4K 
[ ]ring_5__l6_ring_5.vmin1out2024-08-03 10:21 33K 
[ ]ring_5__l6_ring_5.vout2024-08-03 10:12 35K 
[ ]ring_5__l7_ring_52024-07-27 22:40 73K 
[ ]ring_5__l7_ring_5.vout2024-08-03 04:59 4.7K 
[ ]ring_5__l13_ring_52024-07-27 22:42 70K 
[ ]ring_5__l13_ring_5.vout2024-08-03 10:17 7.3K 
[ ]ring_5__l27_ring_52024-07-27 22:45 146K 
[ ]ring_5__l27_ring_5.vout2024-08-03 09:33 6.8K 
[ ]ring_5__l29_ring_52024-07-27 22:47 53K 
[ ]ring_5__l29_ring_5.vout2024-08-03 08:52 7.3K 
[ ]ring_5__l37_ring_52024-07-27 22:49 48K 
[ ]ring_5__l37_ring_5.vout2024-08-03 05:41 2.0K 
[ ]ring_5__l47_ring_52024-07-27 22:51 93K 
[ ]ring_5__l47_ring_5.vout2024-08-03 04:24 4.7K 
[ ]ring_5__l54_ring_52024-07-27 22:54 71K 
[ ]ring_5__l54_ring_5.vout2024-08-03 06:10 7.8K 
[ ]ring_5__l55_ring_52024-07-27 22:56 71K 
[ ]ring_5__l55_ring_5.vout2024-08-03 08:52 7.8K 
[ ]ring_5__l57_ring_52024-07-27 22:58 79K 
[ ]ring_5__l57_ring_5.vout2024-08-03 05:31 7.3K 
[ ]ring_5__l66_ring_52024-07-27 23:02 149K 
[ ]ring_5__l66_ring_5.vout2024-08-03 07:08 4.7K 
[ ]ring_5__l67_ring_52024-07-27 23:05 142K 
[ ]ring_5__l67_ring_5.vout2024-08-03 06:54 5.8K 
[ ]ring_5__l71_ring_52024-07-27 23:08 155K 
[ ]ring_5__l71_ring_5.vout2024-08-03 09:54 4.7K 
[ ]ring_5__l72_ring_52024-07-27 23:11 160K 
[ ]ring_5__l72_ring_5.vout2024-08-03 05:27 4.7K 
[ ]ring_5__t1_ring_52024-07-27 19:45 96K 
[ ]ring_5__t1_ring_5.vout2024-08-03 09:51 4.7K 
[ ]ring_5__t2_ring_52024-07-27 19:47 68K 
[ ]ring_5__t2_ring_5.depv12024-08-03 10:19 157  
[ ]ring_5__t2_ring_5.depvmin12024-08-03 10:24 157  
[ ]ring_5__t2_ring_5.vmin12024-08-03 10:19 1.6K 
[ ]ring_5__t2_ring_5.vmin1out2024-08-03 10:22 16K 
[ ]ring_5__t2_ring_5.vout2024-08-03 08:27 22K 
[ ]ring_5__t3_ring_52024-07-27 19:36 65K 
[ ]ring_5__t3_ring_5.depv12024-08-03 10:19 20  
[ ]ring_5__t3_ring_5.depvmin12024-08-03 10:24 20  
[ ]ring_5__t3_ring_5.vmin12024-08-03 10:19 647  
[ ]ring_5__t3_ring_5.vmin1out2024-08-03 10:23 7.6K 
[ ]ring_5__t3_ring_5.vout2024-08-03 08:40 12K 
[ ]ring_5__t4_ring_52024-07-27 19:50 72K 
[ ]ring_5__t4_ring_5.depv12024-08-03 10:19 132  
[ ]ring_5__t4_ring_5.depvmin12024-08-03 10:24 132  
[ ]ring_5__t4_ring_5.vmin12024-08-03 10:19 3.1K 
[ ]ring_5__t4_ring_5.vmin1out2024-08-03 10:20 38K 
[ ]ring_5__t4_ring_5.vout2024-08-03 05:51 39K 
[ ]ring_5__t5_ring_52024-07-27 19:52 78K 
[ ]ring_5__t5_ring_5.vout2024-08-03 04:59 4.7K 
[ ]ring_5__t6_ring_52024-07-27 19:55 83K 
[ ]ring_5__t6_ring_5.vout2024-08-03 06:48 5.8K 
[ ]ring_5__t7_ring_52024-07-27 19:57 95K 
[ ]ring_5__t7_ring_5.vout2024-08-03 08:15 4.7K 
[ ]ring_5__t8_ring_52024-07-27 20:00 111K 
[ ]ring_5__t8_ring_5.vout2024-08-03 10:09 5.8K 
[ ]ring_5__t9_ring_52024-07-27 20:03 86K 
[ ]ring_5__t9_ring_5.vout2024-08-03 04:59 7.3K 
[ ]ring_5__t10_ring_52024-07-27 20:05 134K 
[ ]ring_5__t10_ring_5.vout2024-08-03 07:46 4.7K 
[ ]ring_5__t11_ring_52024-07-27 20:08 87K 
[ ]ring_5__t11_ring_5.vout2024-08-03 04:54 4.7K 
[ ]ring_5__t12_ring_52024-07-27 20:11 84K 
[ ]ring_5__t12_ring_5.vout2024-08-03 08:38 4.7K 
[ ]ring_5__t13_ring_52024-07-27 20:13 98K 
[ ]ring_5__t13_ring_5.vout2024-08-03 05:02 4.7K 
[ ]ring_5__t14_ring_52024-07-27 20:16 82K 
[ ]ring_5__t14_ring_5.vout2024-08-03 09:43 4.7K 
[ ]ring_5__t15_ring_52024-07-27 20:18 89K 
[ ]ring_5__t15_ring_5.vout2024-08-03 09:10 4.7K 
[ ]ring_5__t16_ring_52024-07-27 20:21 79K 
[ ]ring_5__t16_ring_5.depv12024-08-03 10:19 266  
[ ]ring_5__t16_ring_5.depvmin12024-08-03 10:24 238  
[ ]ring_5__t16_ring_5.vmin12024-08-03 10:19 6.4K 
[ ]ring_5__t16_ring_5.vmin1out2024-08-03 10:23 111K 
[ ]ring_5__t16_ring_5.vout2024-08-03 07:13 76K 
[ ]ring_5__t17_ring_52024-07-27 20:24 101K 
[ ]ring_5__t17_ring_5.vout2024-08-03 09:42 4.7K 
[ ]ring_5__t18_ring_52024-07-27 20:26 78K 
[ ]ring_5__t18_ring_5.vout2024-08-03 05:19 7.3K 
[ ]ring_5__t19_ring_52024-07-27 20:28 69K 
[ ]ring_5__t19_ring_5.vout2024-08-03 07:56 8.3K 
[ ]ring_5__t20_ring_52024-07-27 20:31 104K 
[ ]ring_5__t20_ring_5.vout2024-08-03 08:21 6.2K 
[ ]ring_5__t21_ring_52024-07-27 20:34 105K 
[ ]ring_5__t21_ring_5.vout2024-08-03 09:55 4.7K 
[ ]ring_5__t22_ring_52024-07-27 20:36 71K 
[ ]ring_5__t22_ring_5.depv12024-08-03 10:19 22  
[ ]ring_5__t22_ring_5.depvmin12024-08-03 10:24 22  
[ ]ring_5__t22_ring_5.vmin12024-08-03 10:19 1.2K 
[ ]ring_5__t22_ring_5.vmin1out2024-08-03 10:21 20K 
[ ]ring_5__t22_ring_5.vout2024-08-03 07:51 30K 
[ ]ring_5__t23_ring_52024-07-27 20:38 49K 
[ ]ring_5__t23_ring_5.depv12024-08-03 10:19 209  
[ ]ring_5__t23_ring_5.depvmin12024-08-03 10:24 185  
[ ]ring_5__t23_ring_5.vmin12024-08-03 10:19 2.1K 
[ ]ring_5__t23_ring_5.vmin1out2024-08-03 10:20 23K 
[ ]ring_5__t23_ring_5.vout2024-08-03 10:01 31K 
[ ]ring_5__t24_ring_52024-07-27 20:39 49K 
[ ]ring_5__t24_ring_5.vout2024-08-03 06:24 7.3K 
[ ]ring_5__t25_ring_52024-07-27 19:38 47K 
[ ]ring_5__t25_ring_5.depv12024-08-03 10:19 46  
[ ]ring_5__t25_ring_5.depvmin12024-08-03 10:24 22  
[ ]ring_5__t25_ring_5.vmin12024-08-03 10:19 632  
[ ]ring_5__t25_ring_5.vmin1out2024-08-03 10:23 10K 
[ ]ring_5__t25_ring_5.vout2024-08-03 08:36 11K 
[ ]ring_5__t26_ring_52024-07-27 20:41 49K 
[ ]ring_5__t26_ring_5.vout2024-08-03 09:15 4.7K 
[ ]ring_5__t27_ring_52024-07-27 20:43 49K 
[ ]ring_5__t27_ring_5.depv12024-08-03 10:19 305  
[ ]ring_5__t27_ring_5.depvmin12024-08-03 10:24 174  
[ ]ring_5__t27_ring_5.vmin12024-08-03 10:19 2.9K 
[ ]ring_5__t27_ring_5.vmin1out2024-08-03 10:20 31K 
[ ]ring_5__t27_ring_5.vout2024-08-03 08:38 39K 
[ ]ring_5__t28_ring_52024-07-27 20:44 48K 
[ ]ring_5__t28_ring_5.vout2024-08-03 09:56 4.7K 
[ ]ring_5__t29_ring_52024-07-27 20:46 52K 
[ ]ring_5__t29_ring_5.vout2024-08-03 08:13 7.3K 
[ ]ring_5__t30_ring_52024-07-27 20:48 63K 
[ ]ring_5__t30_ring_5.vout2024-08-03 06:00 5.3K 
[ ]ring_5__t31_ring_52024-07-27 20:49 69K 
[ ]ring_5__t31_ring_5.vout2024-08-03 06:03 4.7K 
[ ]ring_5__t32_ring_52024-07-27 20:52 95K 
[ ]ring_5__t32_ring_5.vout2024-08-03 04:07 4.7K 
[ ]ring_5__t33_ring_52024-07-27 20:55 112K 
[ ]ring_5__t33_ring_5.vout2024-08-03 08:07 6.8K 
[ ]ring_5__t34_ring_52024-07-27 20:57 109K 
[ ]ring_5__t34_ring_5.vout2024-08-03 07:36 4.7K 
[ ]ring_5__t35_ring_52024-07-27 21:00 80K 
[ ]ring_5__t35_ring_5.depv12024-08-03 10:19 153  
[ ]ring_5__t35_ring_5.depvmin12024-08-03 10:24 141  
[ ]ring_5__t35_ring_5.vmin12024-08-03 10:19 3.3K 
[ ]ring_5__t35_ring_5.vmin1out2024-08-03 10:22 34K 
[ ]ring_5__t35_ring_5.vout2024-08-03 05:38 45K 
[ ]ring_5__t36_ring_52024-07-27 21:02 88K 
[ ]ring_5__t36_ring_5.vout2024-08-03 08:04 4.7K 
[ ]ring_5__t37_ring_52024-07-27 21:05 79K 
[ ]ring_5__t37_ring_5.vout2024-08-03 05:35 4.7K 
[ ]ring_5__t38_ring_52024-07-27 21:07 87K 
[ ]ring_5__t38_ring_5.vout2024-08-03 07:45 4.7K 
[ ]ring_5__t39_ring_52024-07-27 21:10 89K 
[ ]ring_5__t39_ring_5.depv12024-08-03 10:19 204  
[ ]ring_5__t39_ring_5.depvmin12024-08-03 10:24 192  
[ ]ring_5__t39_ring_5.vmin12024-08-03 10:19 3.8K 
[ ]ring_5__t39_ring_5.vmin1out2024-08-03 10:20 64K 
[ ]ring_5__t39_ring_5.vout2024-08-03 05:10 98K 
[ ]ring_5__t40_ring_52024-07-27 21:13 92K 
[ ]ring_5__t40_ring_5.vout2024-08-03 06:50 4.7K 
[ ]ring_5__t41_ring_52024-07-27 21:15 83K 
[ ]ring_5__t41_ring_5.vout2024-08-03 05:47 4.7K 
[ ]ring_5__t42_ring_52024-07-27 21:18 160K 
[ ]ring_5__t42_ring_5.vout2024-08-03 05:48 4.6K 
[ ]ring_5__t43_ring_52024-07-27 19:40 64K 
[ ]ring_5__t43_ring_5.depv12024-08-03 10:19 22  
[ ]ring_5__t43_ring_5.depvmin12024-08-03 10:24 22  
[ ]ring_5__t43_ring_5.vmin12024-08-03 10:19 351  
[ ]ring_5__t43_ring_5.vmin1out2024-08-03 10:20 4.0K 
[ ]ring_5__t43_ring_5.vout2024-08-03 04:09 4.1K 
[ ]ring_5__t44_ring_52024-07-27 21:20 87K 
[ ]ring_5__t44_ring_5.vout2024-08-03 07:55 2.0K 
[ ]ring_5__t45_ring_52024-07-27 21:23 117K 
[ ]ring_5__t45_ring_5.vout2024-08-03 05:37 5.8K 
[ ]ring_5__t46_ring_52024-07-27 21:27 119K 
[ ]ring_5__t46_ring_5.vout2024-08-03 06:27 4.7K 
[ ]ring_5__t47_ring_52024-07-27 21:29 95K 
[ ]ring_5__t47_ring_5.vout2024-08-03 05:39 4.7K 
[ ]ring_5__t48_ring_52024-07-27 21:32 101K 
[ ]ring_5__t48_ring_5.vout2024-08-03 05:23 4.7K 
[ ]ring_5__t49_ring_52024-07-27 21:35 88K 
[ ]ring_5__t49_ring_5.vout2024-08-03 08:34 9.8K 
[ ]ring_5__t50_ring_52024-07-27 19:42 75K 
[ ]ring_5__t50_ring_5.depv12024-08-03 10:19 22  
[ ]ring_5__t50_ring_5.depvmin12024-08-03 10:24 22  
[ ]ring_5__t50_ring_5.vmin12024-08-03 10:19 743  
[ ]ring_5__t50_ring_5.vmin1out2024-08-03 10:22 8.9K 
[ ]ring_5__t50_ring_5.vout2024-08-03 09:55 14K 
[ ]ring_5__t51_ring_52024-07-27 21:37 117K 
[ ]ring_5__t51_ring_5.vout2024-08-03 09:56 4.7K 
[ ]ring_5__t52_ring_52024-07-27 21:40 129K 
[ ]ring_5__t52_ring_5.vout2024-08-03 05:43 4.7K 
[ ]ring_5__t53_ring_52024-07-27 21:43 109K 
[ ]ring_5__t53_ring_5.vout2024-08-03 08:37 4.7K 
[ ]ring_5__t54_ring_52024-07-27 21:46 96K 
[ ]ring_5__t54_ring_5.depv12024-08-03 10:19 107  
[ ]ring_5__t54_ring_5.depvmin12024-08-03 10:24 107  
[ ]ring_5__t54_ring_5.vmin12024-08-03 10:19 4.8K 
[ ]ring_5__t54_ring_5.vmin1out2024-08-03 10:23 125K 
[ ]ring_5__t54_ring_5.vout2024-08-03 06:04 88K 
[ ]ring_5__t55_ring_52024-07-27 21:48 88K 
[ ]ring_5__t55_ring_5.vout2024-08-03 08:23 4.7K 
[ ]ring_5__t56_ring_52024-07-27 21:51 86K 
[ ]ring_5__t56_ring_5.depv12024-08-03 10:19 45  
[ ]ring_5__t56_ring_5.depvmin12024-08-03 10:24 45  
[ ]ring_5__t56_ring_5.vmin12024-08-03 10:19 2.4K 
[ ]ring_5__t56_ring_5.vmin1out2024-08-03 10:21 31K 
[ ]ring_5__t56_ring_5.vout2024-08-03 06:38 55K 
[ ]ring_5__t57_ring_52024-07-27 21:54 95K 
[ ]ring_5__t57_ring_5.vout2024-08-03 06:17 4.7K 
[ ]ring_5__t58_ring_52024-07-27 21:56 112K 
[ ]ring_5__t58_ring_5.vout2024-08-03 09:12 4.7K 
[ ]ring_5__t59_ring_52024-07-27 22:00 173K 
[ ]ring_5__t59_ring_5.vout2024-08-03 08:51 5.8K 
[ ]ring_5__t60_ring_52024-07-27 22:03 90K 
[ ]ring_5__t60_ring_5.vout2024-08-03 04:48 4.7K 
[ ]ring_5__t61_ring_52024-07-27 22:05 98K 
[ ]ring_5__t61_ring_5.vout2024-08-03 06:10 4.7K 
[ ]ring_5__t62_ring_52024-07-27 22:08 106K 
[ ]ring_5__t62_ring_5.vout2024-08-03 08:44 4.7K 
[ ]ring_5__t63_ring_52024-07-27 22:11 104K 
[ ]ring_5__t63_ring_5.vout2024-08-03 07:31 7.3K 
[ ]ring_5__t64_ring_52024-07-27 22:14 160K 
[ ]ring_5__t64_ring_5.vout2024-08-03 09:26 4.7K 
[ ]ring_5__t65_ring_52024-07-27 22:17 104K 
[ ]ring_5__t65_ring_5.vout2024-08-03 07:05 4.7K 
[ ]ring_5__t66_ring_52024-07-27 22:20 160K 
[ ]ring_5__t66_ring_5.vout2024-08-03 08:18 4.7K 
[ ]ring_5__t67_ring_52024-07-27 22:23 143K 
[ ]ring_5__t67_ring_5.vout2024-08-03 08:26 7.3K 
[ ]ring_5__t68_ring_52024-07-27 22:26 145K 
[ ]ring_5__t68_ring_5.vout2024-08-03 09:28 4.7K 
[ ]ring_5__t69_ring_52024-07-27 22:29 95K 
[ ]ring_5__t69_ring_5.vout2024-08-03 09:30 7.3K 
[ ]ring_5__t70_ring_52024-07-27 22:32 106K 
[ ]ring_5__t70_ring_5.vout2024-08-03 09:56 7.3K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80