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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]rlvect_2__t71_rlvect_2.vout2025-09-15 13:33 2.0K 
[ ]rlvect_2__t71_rlvect_22025-09-08 15:46 43K 
[ ]rlvect_2__t70_rlvect_2.vout2025-09-15 15:00 2.0K 
[ ]rlvect_2__t70_rlvect_22025-09-08 15:44 43K 
[ ]rlvect_2__t69_rlvect_2.vout2025-09-15 16:07 26K 
[ ]rlvect_2__t69_rlvect_2.vmin1out2025-09-15 19:50 23K 
[ ]rlvect_2__t69_rlvect_2.vmin12025-09-15 19:47 2.1K 
[ ]rlvect_2__t69_rlvect_2.depvmin12025-09-15 19:51 161  
[ ]rlvect_2__t69_rlvect_2.depv12025-09-15 19:46 161  
[ ]rlvect_2__t69_rlvect_22025-09-08 15:42 39K 
[ ]rlvect_2__t68_rlvect_2.vout2025-09-15 18:09 7.3K 
[ ]rlvect_2__t68_rlvect_22025-09-08 15:41 51K 
[ ]rlvect_2__t67_rlvect_2.vout2025-09-15 15:18 2.0K 
[ ]rlvect_2__t67_rlvect_22025-09-08 15:38 41K 
[ ]rlvect_2__t66_rlvect_2.vout2025-09-15 15:26 6.8K 
[ ]rlvect_2__t66_rlvect_22025-09-08 15:37 77K 
[ ]rlvect_2__t65_rlvect_2.vout2025-09-15 18:19 4.7K 
[ ]rlvect_2__t65_rlvect_22025-09-08 15:34 54K 
[ ]rlvect_2__t64_rlvect_2.vout2025-09-15 15:35 32K 
[ ]rlvect_2__t64_rlvect_2.vmin1out2025-09-15 19:50 35K 
[ ]rlvect_2__t64_rlvect_2.vmin12025-09-15 19:47 3.5K 
[ ]rlvect_2__t64_rlvect_2.depvmin12025-09-15 19:51 245  
[ ]rlvect_2__t64_rlvect_2.depv12025-09-15 19:46 245  
[ ]rlvect_2__t64_rlvect_22025-09-08 15:32 46K 
[ ]rlvect_2__t63_rlvect_2.vout2025-09-15 13:38 4.7K 
[ ]rlvect_2__t63_rlvect_22025-09-08 15:31 47K 
[ ]rlvect_2__t62_rlvect_2.vout2025-09-15 13:35 4.7K 
[ ]rlvect_2__t62_rlvect_22025-09-08 15:29 53K 
[ ]rlvect_2__t61_rlvect_2.vout2025-09-15 15:05 4.7K 
[ ]rlvect_2__t61_rlvect_22025-09-08 13:57 44K 
[ ]rlvect_2__t60_rlvect_2.vout2025-09-15 13:48 4.7K 
[ ]rlvect_2__t60_rlvect_22025-09-08 13:55 44K 
[ ]rlvect_2__t59_rlvect_2.vout2025-09-15 14:05 73K 
[ ]rlvect_2__t59_rlvect_2.vmin1out2025-09-15 19:49 24K 
[ ]rlvect_2__t59_rlvect_2.vmin12025-09-15 19:47 3.9K 
[ ]rlvect_2__t59_rlvect_2.depvmin12025-09-15 19:51 215  
[ ]rlvect_2__t59_rlvect_2.depv12025-09-15 19:46 215  
[ ]rlvect_2__t59_rlvect_22025-09-08 13:53 41K 
[ ]rlvect_2__t58_rlvect_2.vout2025-09-15 17:30 70K 
[ ]rlvect_2__t58_rlvect_2.vmin1out2025-09-15 19:50 22K 
[ ]rlvect_2__t58_rlvect_2.vmin12025-09-15 19:47 3.7K 
[ ]rlvect_2__t58_rlvect_2.depvmin12025-09-15 19:51 188  
[ ]rlvect_2__t58_rlvect_2.depv12025-09-15 19:46 188  
[ ]rlvect_2__t58_rlvect_22025-09-08 13:52 41K 
[ ]rlvect_2__t57_rlvect_2.vout2025-09-15 15:25 4.7K 
[ ]rlvect_2__t57_rlvect_22025-09-08 15:27 51K 
[ ]rlvect_2__t56_rlvect_2.vout2025-09-15 14:24 2.0K 
[ ]rlvect_2__t56_rlvect_22025-09-08 15:25 44K 
[ ]rlvect_2__t55_rlvect_2.vout2025-09-15 18:49 4.2K 
[ ]rlvect_2__t55_rlvect_22025-09-08 15:24 50K 
[ ]rlvect_2__t54_rlvect_2.vout2025-09-15 18:44 7.3K 
[ ]rlvect_2__t54_rlvect_22025-09-08 15:22 50K 
[ ]rlvect_2__t53_rlvect_2.vout2025-09-15 19:03 4.7K 
[ ]rlvect_2__t53_rlvect_22025-09-08 15:20 42K 
[ ]rlvect_2__t52_rlvect_2.vout2025-09-15 16:21 2.0K 
[ ]rlvect_2__t52_rlvect_22025-09-08 13:50 38K 
[ ]rlvect_2__t51_rlvect_2.vout2025-09-15 13:45 7.4K 
[ ]rlvect_2__t51_rlvect_22025-09-08 13:48 40K 
[ ]rlvect_2__t50_rlvect_2.vout2025-09-15 14:14 4.7K 
[ ]rlvect_2__t50_rlvect_22025-09-08 15:18 53K 
[ ]rlvect_2__t49_rlvect_2.vout2025-09-15 17:14 7.3K 
[ ]rlvect_2__t49_rlvect_22025-09-08 15:17 41K 
[ ]rlvect_2__t48_rlvect_2.vout2025-09-15 18:02 5.8K 
[ ]rlvect_2__t48_rlvect_22025-09-08 15:15 40K 
[ ]rlvect_2__t47_rlvect_2.vout2025-09-15 17:37 4.7K 
[ ]rlvect_2__t47_rlvect_22025-09-08 15:14 40K 
[ ]rlvect_2__t46_rlvect_2.vout2025-09-15 15:50 4.7K 
[ ]rlvect_2__t46_rlvect_22025-09-08 15:12 48K 
[ ]rlvect_2__t45_rlvect_2.vout2025-09-15 18:26 4.7K 
[ ]rlvect_2__t45_rlvect_22025-09-08 15:10 48K 
[ ]rlvect_2__t44_rlvect_2.vout2025-09-15 15:13 20K 
[ ]rlvect_2__t44_rlvect_2.vmin1out2025-09-15 19:49 20K 
[ ]rlvect_2__t44_rlvect_2.vmin12025-09-15 19:47 2.5K 
[ ]rlvect_2__t44_rlvect_2.depvmin12025-09-15 19:51 134  
[ ]rlvect_2__t44_rlvect_2.depv12025-09-15 19:46 134  
[ ]rlvect_2__t44_rlvect_22025-09-08 15:09 41K 
[ ]rlvect_2__t43_rlvect_2.vout2025-09-15 14:24 5.8K 
[ ]rlvect_2__t43_rlvect_22025-09-08 15:07 40K 
[ ]rlvect_2__t42_rlvect_2.vout2025-09-15 19:29 3.7K 
[ ]rlvect_2__t42_rlvect_22025-09-08 15:05 44K 
[ ]rlvect_2__t41_rlvect_2.vout2025-09-15 18:15 4.7K 
[ ]rlvect_2__t41_rlvect_22025-09-08 15:04 45K 
[ ]rlvect_2__t40_rlvect_2.vout2025-09-15 13:28 4.7K 
[ ]rlvect_2__t40_rlvect_22025-09-08 15:02 44K 
[ ]rlvect_2__t39_rlvect_2.vout2025-09-15 15:29 8.7K 
[ ]rlvect_2__t39_rlvect_2.vmin1out2025-09-15 19:48 11K 
[ ]rlvect_2__t39_rlvect_2.vmin12025-09-15 19:47 1.0K 
[ ]rlvect_2__t39_rlvect_2.depvmin12025-09-15 19:51 79  
[ ]rlvect_2__t39_rlvect_2.depv12025-09-15 19:46 104  
[ ]rlvect_2__t39_rlvect_22025-09-08 13:47 42K 
[ ]rlvect_2__t38_rlvect_2.vout2025-09-15 14:08 3.7K 
[ ]rlvect_2__t38_rlvect_22025-09-08 15:00 48K 
[ ]rlvect_2__t37_rlvect_2.vout2025-09-15 16:06 3.7K 
[ ]rlvect_2__t37_rlvect_22025-09-08 14:59 49K 
[ ]rlvect_2__t36_rlvect_2.vout2025-09-15 19:05 16K 
[ ]rlvect_2__t36_rlvect_2.vmin1out2025-09-15 19:50 30K 
[ ]rlvect_2__t36_rlvect_2.vmin12025-09-15 19:47 2.1K 
[ ]rlvect_2__t36_rlvect_2.depvmin12025-09-15 19:51 133  
[ ]rlvect_2__t36_rlvect_2.depv12025-09-15 19:46 133  
[ ]rlvect_2__t36_rlvect_22025-09-08 14:57 44K 
[ ]rlvect_2__t35_rlvect_2.vout2025-09-15 16:56 14K 
[ ]rlvect_2__t35_rlvect_2.vmin1out2025-09-15 19:48 19K 
[ ]rlvect_2__t35_rlvect_2.vmin12025-09-15 19:47 1.7K 
[ ]rlvect_2__t35_rlvect_2.depvmin12025-09-15 19:51 133  
[ ]rlvect_2__t35_rlvect_2.depv12025-09-15 19:46 133  
[ ]rlvect_2__t35_rlvect_22025-09-08 14:55 42K 
[ ]rlvect_2__t34_rlvect_2.vout2025-09-15 14:53 16K 
[ ]rlvect_2__t34_rlvect_2.vmin1out2025-09-15 19:51 15K 
[ ]rlvect_2__t34_rlvect_2.vmin12025-09-15 19:47 1.0K 
[ ]rlvect_2__t34_rlvect_2.depvmin12025-09-15 19:51 65  
[ ]rlvect_2__t34_rlvect_2.depv12025-09-15 19:46 65  
[ ]rlvect_2__t34_rlvect_22025-09-08 14:53 41K 
[ ]rlvect_2__t33_rlvect_2.vout2025-09-15 16:20 3.7K 
[ ]rlvect_2__t33_rlvect_22025-09-08 14:52 57K 
[ ]rlvect_2__t32_rlvect_2.vout2025-09-15 18:10 3.7K 
[ ]rlvect_2__t32_rlvect_22025-09-08 14:50 54K 
[ ]rlvect_2__t31_rlvect_2.vout2025-09-15 16:45 32K 
[ ]rlvect_2__t31_rlvect_2.vmin1out2025-09-15 19:47 23K 
[ ]rlvect_2__t31_rlvect_2.vmin12025-09-15 19:47 2.5K 
[ ]rlvect_2__t31_rlvect_2.depvmin12025-09-15 19:51 193  
[ ]rlvect_2__t31_rlvect_2.depv12025-09-15 19:46 193  
[ ]rlvect_2__t31_rlvect_22025-09-08 14:48 40K 
[ ]rlvect_2__t30_rlvect_2.vout2025-09-15 14:42 7.0K 
[ ]rlvect_2__t30_rlvect_2.vmin1out2025-09-15 19:49 6.7K 
[ ]rlvect_2__t30_rlvect_2.vmin12025-09-15 19:47 611  
[ ]rlvect_2__t30_rlvect_2.depvmin12025-09-15 19:51 26  
[ ]rlvect_2__t30_rlvect_2.depv12025-09-15 19:46 26  
[ ]rlvect_2__t30_rlvect_22025-09-08 13:45 36K 
[ ]rlvect_2__t29_rlvect_2.vout2025-09-15 18:11 3.7K 
[ ]rlvect_2__t29_rlvect_22025-09-08 14:46 109K 
[ ]rlvect_2__t28_rlvect_2.vout2025-09-15 19:39 4.7K 
[ ]rlvect_2__t28_rlvect_22025-09-08 14:43 47K 
[ ]rlvect_2__t27_rlvect_2.vout2025-09-15 14:20 4.7K 
[ ]rlvect_2__t27_rlvect_22025-09-08 14:41 48K 
[ ]rlvect_2__t26_rlvect_2.vout2025-09-15 13:42 4.7K 
[ ]rlvect_2__t26_rlvect_22025-09-08 14:39 49K 
[ ]rlvect_2__t25_rlvect_2.vout2025-09-15 15:36 50K 
[ ]rlvect_2__t25_rlvect_2.vmin1out2025-09-15 19:50 40K 
[ ]rlvect_2__t25_rlvect_2.vmin12025-09-15 19:47 4.1K 
[ ]rlvect_2__t25_rlvect_2.depvmin12025-09-15 19:51 375  
[ ]rlvect_2__t25_rlvect_2.depv12025-09-15 19:46 397  
[ ]rlvect_2__t25_rlvect_22025-09-08 14:38 44K 
[ ]rlvect_2__t24_rlvect_2.vout2025-09-15 13:35 7.3K 
[ ]rlvect_2__t24_rlvect_22025-09-08 14:36 43K 
[ ]rlvect_2__t23_rlvect_2.vout2025-09-15 14:19 32K 
[ ]rlvect_2__t23_rlvect_2.vmin1out2025-09-15 19:48 29K 
[ ]rlvect_2__t23_rlvect_2.vmin12025-09-15 19:47 2.6K 
[ ]rlvect_2__t23_rlvect_2.depvmin12025-09-15 19:51 252  
[ ]rlvect_2__t23_rlvect_2.depv12025-09-15 19:46 252  
[ ]rlvect_2__t23_rlvect_22025-09-08 14:34 40K 
[ ]rlvect_2__t22_rlvect_2.vout2025-09-15 15:20 9.8K 
[ ]rlvect_2__t22_rlvect_2.vmin1out2025-09-15 19:48 16K 
[ ]rlvect_2__t22_rlvect_2.vmin12025-09-15 19:47 1.2K 
[ ]rlvect_2__t22_rlvect_2.depvmin12025-09-15 19:51 99  
[ ]rlvect_2__t22_rlvect_2.depv12025-09-15 19:46 99  
[ ]rlvect_2__t22_rlvect_22025-09-08 14:33 39K 
[ ]rlvect_2__t21_rlvect_2.vout2025-09-15 14:27 11K 
[ ]rlvect_2__t21_rlvect_2.vmin1out2025-09-15 19:48 16K 
[ ]rlvect_2__t21_rlvect_2.vmin12025-09-15 19:47 1.1K 
[ ]rlvect_2__t21_rlvect_2.depvmin12025-09-15 19:51 65  
[ ]rlvect_2__t21_rlvect_2.depv12025-09-15 19:46 65  
[ ]rlvect_2__t21_rlvect_22025-09-08 14:31 39K 
[ ]rlvect_2__t20_rlvect_2.vout2025-09-15 14:28 22K 
[ ]rlvect_2__t20_rlvect_2.vmin1out2025-09-15 19:47 21K 
[ ]rlvect_2__t20_rlvect_2.vmin12025-09-15 19:47 1.7K 
[ ]rlvect_2__t20_rlvect_2.depvmin12025-09-15 19:51 192  
[ ]rlvect_2__t20_rlvect_2.depv12025-09-15 19:46 192  
[ ]rlvect_2__t20_rlvect_22025-09-08 14:30 37K 
[ ]rlvect_2__t19_rlvect_2.vout2025-09-15 15:24 26K 
[ ]rlvect_2__t19_rlvect_2.vmin1out2025-09-15 19:50 23K 
[ ]rlvect_2__t19_rlvect_2.vmin12025-09-15 19:47 1.3K 
[ ]rlvect_2__t19_rlvect_2.depvmin12025-09-15 19:51 126  
[ ]rlvect_2__t19_rlvect_2.depv12025-09-15 19:46 126  
[ ]rlvect_2__t19_rlvect_22025-09-08 14:28 37K 
[ ]rlvect_2__t18_rlvect_2.vout2025-09-15 16:48 2.0K 
[ ]rlvect_2__t18_rlvect_22025-09-08 13:44 48K 
[ ]rlvect_2__t17_rlvect_2.vout2025-09-15 15:20 2.0K 
[ ]rlvect_2__t17_rlvect_22025-09-08 14:26 49K 
[ ]rlvect_2__t16_rlvect_2.vout2025-09-15 16:55 21K 
[ ]rlvect_2__t16_rlvect_2.vmin1out2025-09-15 19:50 19K 
[ ]rlvect_2__t16_rlvect_2.vmin12025-09-15 19:47 2.0K 
[ ]rlvect_2__t16_rlvect_2.depvmin12025-09-15 19:51 182  
[ ]rlvect_2__t16_rlvect_2.depv12025-09-15 19:46 208  
[ ]rlvect_2__t16_rlvect_22025-09-08 14:24 47K 
[ ]rlvect_2__t15_rlvect_2.vout2025-09-15 15:23 7.3K 
[ ]rlvect_2__t15_rlvect_22025-09-08 14:23 50K 
[ ]rlvect_2__t14_rlvect_2.vout2025-09-15 14:22 7.3K 
[ ]rlvect_2__t14_rlvect_22025-09-08 14:21 45K 
[ ]rlvect_2__t13_rlvect_2.vout2025-09-15 18:03 7.3K 
[ ]rlvect_2__t13_rlvect_22025-09-08 14:19 51K 
[ ]rlvect_2__t12_rlvect_2.vout2025-09-15 14:51 7.3K 
[ ]rlvect_2__t12_rlvect_22025-09-08 14:18 53K 
[ ]rlvect_2__t11_rlvect_2.vout2025-09-15 13:31 7.3K 
[ ]rlvect_2__t11_rlvect_22025-09-08 14:16 44K 
[ ]rlvect_2__t10_rlvect_2.vout2025-09-15 18:28 7.4K 
[ ]rlvect_2__t10_rlvect_22025-09-08 14:15 44K 
[ ]rlvect_2__t9_rlvect_2.vout2025-09-15 15:01 40K 
[ ]rlvect_2__t9_rlvect_2.vmin1out2025-09-15 19:48 39K 
[ ]rlvect_2__t9_rlvect_2.vmin12025-09-15 19:47 3.1K 
[ ]rlvect_2__t9_rlvect_2.depvmin12025-09-15 19:51 329  
[ ]rlvect_2__t9_rlvect_2.depv12025-09-15 19:46 359  
[ ]rlvect_2__t9_rlvect_22025-09-08 14:13 40K 
[ ]rlvect_2__t8_rlvect_2.vout2025-09-15 16:13 26K 
[ ]rlvect_2__t8_rlvect_2.vmin1out2025-09-15 19:47 26K 
[ ]rlvect_2__t8_rlvect_2.vmin12025-09-15 19:47 2.4K 
[ ]rlvect_2__t8_rlvect_2.depvmin12025-09-15 19:51 250  
[ ]rlvect_2__t8_rlvect_2.depv12025-09-15 19:46 288  
[ ]rlvect_2__t8_rlvect_22025-09-08 14:11 38K 
[ ]rlvect_2__t7_rlvect_2.vout2025-09-15 18:17 6.8K 
[ ]rlvect_2__t7_rlvect_22025-09-08 14:10 48K 
[ ]rlvect_2__t6_rlvect_2.vout2025-09-15 17:53 6.8K 
[ ]rlvect_2__t6_rlvect_22025-09-08 14:08 142K 
[ ]rlvect_2__t5_rlvect_2.vout2025-09-15 13:42 7.3K 
[ ]rlvect_2__t5_rlvect_22025-09-08 14:05 48K 
[ ]rlvect_2__t4_rlvect_2.vout2025-09-15 17:24 48K 
[ ]rlvect_2__t4_rlvect_2.vmin1out2025-09-15 19:50 43K 
[ ]rlvect_2__t4_rlvect_2.vmin12025-09-15 19:47 2.8K 
[ ]rlvect_2__t4_rlvect_2.depvmin12025-09-15 19:51 234  
[ ]rlvect_2__t4_rlvect_2.depv12025-09-15 19:46 234  
[ ]rlvect_2__t4_rlvect_22025-09-08 14:03 39K 
[ ]rlvect_2__t3_rlvect_2.vout2025-09-15 15:03 48K 
[ ]rlvect_2__t3_rlvect_2.vmin1out2025-09-15 19:50 70K 
[ ]rlvect_2__t3_rlvect_2.vmin12025-09-15 19:47 2.9K 
[ ]rlvect_2__t3_rlvect_2.depvmin12025-09-15 19:51 218  
[ ]rlvect_2__t3_rlvect_2.depv12025-09-15 19:46 218  
[ ]rlvect_2__t3_rlvect_22025-09-08 14:02 43K 
[ ]rlvect_2__t2_rlvect_2.vout2025-09-15 14:15 7.3K 
[ ]rlvect_2__t2_rlvect_22025-09-08 14:00 81K 
[ ]rlvect_2__t1_rlvect_2.vout2025-09-15 16:33 4.3K 
[ ]rlvect_2__t1_rlvect_2.vmin1out2025-09-15 19:48 4.1K 
[ ]rlvect_2__t1_rlvect_2.vmin12025-09-15 19:47 434  
[ ]rlvect_2__t1_rlvect_2.depvmin12025-09-15 19:51 36  
[ ]rlvect_2__t1_rlvect_2.depv12025-09-15 19:46 36  
[ ]rlvect_2__t1_rlvect_22025-09-08 13:42 21K 
[ ]rlvect_2__l39_rlvect_2.vout2025-09-15 19:37 8.4K 
[ ]rlvect_2__l39_rlvect_22025-09-08 15:49 50K 
[ ]rlvect_2__l23_rlvect_2.vout2025-09-15 16:31 20K 
[ ]rlvect_2__l23_rlvect_2.vmin1out2025-09-15 19:49 19K 
[ ]rlvect_2__l23_rlvect_2.vmin12025-09-15 19:47 1.5K 
[ ]rlvect_2__l23_rlvect_2.depvmin12025-09-15 19:51 152  
[ ]rlvect_2__l23_rlvect_2.depv12025-09-15 19:46 152  
[ ]rlvect_2__l23_rlvect_22025-09-08 15:48 35K 
[ ]rlvect_2__l21_rlvect_2.vout2025-09-15 18:01 5.2K 
[ ]rlvect_2__l21_rlvect_2.vmin1out2025-09-15 19:50 4.5K 
[ ]rlvect_2__l21_rlvect_2.vmin12025-09-15 19:47 699  
[ ]rlvect_2__l21_rlvect_2.depvmin12025-09-15 19:51 110  
[ ]rlvect_2__l21_rlvect_2.depv12025-09-15 19:46 134  
[ ]rlvect_2__l21_rlvect_22025-09-08 13:58 18K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80