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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]rpr_1__l14_rpr_12024-07-26 17:56 14K 
[ ]rpr_1__l14_rpr_1.depv12024-08-03 10:19 348  
[ ]rpr_1__l14_rpr_1.depvmin12024-08-03 10:24 275  
[ ]rpr_1__l14_rpr_1.vmin12024-08-03 10:20 2.3K 
[ ]rpr_1__l14_rpr_1.vmin1out2024-08-03 10:23 14K 
[ ]rpr_1__l14_rpr_1.vout2024-08-03 07:09 38K 
[ ]rpr_1__t1_rpr_12024-07-26 17:16 11K 
[ ]rpr_1__t1_rpr_1.depv12024-08-03 10:19 132  
[ ]rpr_1__t1_rpr_1.depvmin12024-08-03 10:24 120  
[ ]rpr_1__t1_rpr_1.vmin12024-08-03 10:20 1.1K 
[ ]rpr_1__t1_rpr_1.vmin1out2024-08-03 10:22 20K 
[ ]rpr_1__t1_rpr_1.vout2024-08-03 09:06 23K 
[ ]rpr_1__t2_rpr_12024-07-26 17:17 12K 
[ ]rpr_1__t2_rpr_1.depv12024-08-03 10:19 219  
[ ]rpr_1__t2_rpr_1.depvmin12024-08-03 10:24 187  
[ ]rpr_1__t2_rpr_1.vmin12024-08-03 10:20 1.8K 
[ ]rpr_1__t2_rpr_1.vmin1out2024-08-03 10:20 19K 
[ ]rpr_1__t2_rpr_1.vout2024-08-03 05:25 20K 
[ ]rpr_1__t3_rpr_12024-07-26 17:17 12K 
[ ]rpr_1__t3_rpr_1.depv12024-08-03 10:19 219  
[ ]rpr_1__t3_rpr_1.depvmin12024-08-03 10:24 187  
[ ]rpr_1__t3_rpr_1.vmin12024-08-03 10:20 1.8K 
[ ]rpr_1__t3_rpr_1.vmin1out2024-08-03 10:20 19K 
[ ]rpr_1__t3_rpr_1.vout2024-08-03 05:20 20K 
[ ]rpr_1__t4_rpr_12024-07-26 17:10 11K 
[ ]rpr_1__t4_rpr_1.depv12024-08-03 10:19 61  
[ ]rpr_1__t4_rpr_1.depvmin12024-08-03 10:24 61  
[ ]rpr_1__t4_rpr_1.vmin12024-08-03 10:20 535  
[ ]rpr_1__t4_rpr_1.vmin1out2024-08-03 10:21 5.7K 
[ ]rpr_1__t4_rpr_1.vout2024-08-03 05:18 4.6K 
[ ]rpr_1__t5_rpr_12024-07-26 17:11 10K 
[ ]rpr_1__t5_rpr_1.depv12024-08-03 10:19 115  
[ ]rpr_1__t5_rpr_1.depvmin12024-08-03 10:24 115  
[ ]rpr_1__t5_rpr_1.vmin12024-08-03 10:20 1.1K 
[ ]rpr_1__t5_rpr_1.vmin1out2024-08-03 10:23 13K 
[ ]rpr_1__t5_rpr_1.vout2024-08-03 04:24 13K 
[ ]rpr_1__t6_rpr_12024-07-26 17:18 12K 
[ ]rpr_1__t6_rpr_1.depv12024-08-03 10:19 241  
[ ]rpr_1__t6_rpr_1.depvmin12024-08-03 10:24 163  
[ ]rpr_1__t6_rpr_1.vmin12024-08-03 10:20 1.9K 
[ ]rpr_1__t6_rpr_1.vmin1out2024-08-03 10:21 20K 
[ ]rpr_1__t6_rpr_1.vout2024-08-03 08:40 20K 
[ ]rpr_1__t7_rpr_12024-07-26 17:19 11K 
[ ]rpr_1__t7_rpr_1.depv12024-08-03 10:19 20  
[ ]rpr_1__t7_rpr_1.depvmin12024-08-03 10:24 20  
[ ]rpr_1__t7_rpr_1.vmin12024-08-03 10:20 322  
[ ]rpr_1__t7_rpr_1.vmin1out2024-08-03 10:21 3.4K 
[ ]rpr_1__t7_rpr_1.vout2024-08-03 08:30 3.5K 
[ ]rpr_1__t8_rpr_12024-07-26 17:20 17K 
[ ]rpr_1__t8_rpr_1.depv12024-08-03 10:19 153  
[ ]rpr_1__t8_rpr_1.depvmin12024-08-03 10:24 153  
[ ]rpr_1__t8_rpr_1.vmin12024-08-03 10:20 1.4K 
[ ]rpr_1__t8_rpr_1.vmin1out2024-08-03 10:21 18K 
[ ]rpr_1__t8_rpr_1.vout2024-08-03 09:36 20K 
[ ]rpr_1__t9_rpr_12024-07-26 17:21 15K 
[ ]rpr_1__t9_rpr_1.vout2024-08-03 06:00 4.7K 
[ ]rpr_1__t10_rpr_12024-07-26 17:22 11K 
[ ]rpr_1__t10_rpr_1.depv12024-08-03 10:19 154  
[ ]rpr_1__t10_rpr_1.depvmin12024-08-03 10:24 154  
[ ]rpr_1__t10_rpr_1.vmin12024-08-03 10:20 1.3K 
[ ]rpr_1__t10_rpr_1.vmin1out2024-08-03 10:20 13K 
[ ]rpr_1__t10_rpr_1.vout2024-08-03 05:00 14K 
[ ]rpr_1__t11_rpr_12024-07-26 17:23 13K 
[ ]rpr_1__t11_rpr_1.depv12024-08-03 10:19 109  
[ ]rpr_1__t11_rpr_1.depvmin12024-08-03 10:24 109  
[ ]rpr_1__t11_rpr_1.vmin12024-08-03 10:20 1.2K 
[ ]rpr_1__t11_rpr_1.vmin1out2024-08-03 10:22 19K 
[ ]rpr_1__t11_rpr_1.vout2024-08-03 09:22 18K 
[ ]rpr_1__t12_rpr_12024-07-26 17:23 12K 
[ ]rpr_1__t12_rpr_1.vout2024-08-03 05:33 4.7K 
[ ]rpr_1__t13_rpr_12024-07-26 17:24 13K 
[ ]rpr_1__t13_rpr_1.depv12024-08-03 10:19 329  
[ ]rpr_1__t13_rpr_1.depvmin12024-08-03 10:24 86  
[ ]rpr_1__t13_rpr_1.vmin12024-08-03 10:20 2.3K 
[ ]rpr_1__t13_rpr_1.vmin1out2024-08-03 10:22 6.7K 
[ ]rpr_1__t13_rpr_1.vout2024-08-03 06:56 17K 
[ ]rpr_1__t14_rpr_12024-07-26 17:12 13K 
[ ]rpr_1__t14_rpr_1.depv12024-08-03 10:19 62  
[ ]rpr_1__t14_rpr_1.depvmin12024-08-03 10:24 62  
[ ]rpr_1__t14_rpr_1.vmin12024-08-03 10:20 726  
[ ]rpr_1__t14_rpr_1.vmin1out2024-08-03 10:22 8.8K 
[ ]rpr_1__t14_rpr_1.vout2024-08-03 05:31 9.0K 
[ ]rpr_1__t15_rpr_12024-07-26 17:12 13K 
[ ]rpr_1__t15_rpr_1.depv12024-08-03 10:19 224  
[ ]rpr_1__t15_rpr_1.depvmin12024-08-03 10:24 180  
[ ]rpr_1__t15_rpr_1.vmin12024-08-03 10:20 1.4K 
[ ]rpr_1__t15_rpr_1.vmin1out2024-08-03 10:23 8.5K 
[ ]rpr_1__t15_rpr_1.vout2024-08-03 09:13 24K 
[ ]rpr_1__t16_rpr_12024-07-26 17:13 14K 
[ ]rpr_1__t16_rpr_1.depv12024-08-03 10:19 247  
[ ]rpr_1__t16_rpr_1.depvmin12024-08-03 10:24 247  
[ ]rpr_1__t16_rpr_1.vmin12024-08-03 10:20 1.7K 
[ ]rpr_1__t16_rpr_1.vmin1out2024-08-03 10:21 13K 
[ ]rpr_1__t16_rpr_1.vout2024-08-03 09:43 13K 
[ ]rpr_1__t18_rpr_12024-07-26 17:25 15K 
[ ]rpr_1__t18_rpr_1.depv12024-08-03 10:19 501  
[ ]rpr_1__t18_rpr_1.depvmin12024-08-03 10:24 442  
[ ]rpr_1__t18_rpr_1.vmin12024-08-03 10:20 3.8K 
[ ]rpr_1__t18_rpr_1.vmin1out2024-08-03 10:20 34K 
[ ]rpr_1__t18_rpr_1.vout2024-08-03 07:54 70K 
[ ]rpr_1__t21_rpr_12024-07-26 17:26 21K 
[ ]rpr_1__t21_rpr_1.vout2024-08-03 05:04 2.0K 
[ ]rpr_1__t22_rpr_12024-07-26 17:27 28K 
[ ]rpr_1__t22_rpr_1.vout2024-08-03 07:47 2.0K 
[ ]rpr_1__t23_rpr_12024-07-26 17:28 27K 
[ ]rpr_1__t23_rpr_1.vout2024-08-03 09:27 2.0K 
[ ]rpr_1__t24_rpr_12024-07-26 17:29 17K 
[ ]rpr_1__t24_rpr_1.depv12024-08-03 10:19 84  
[ ]rpr_1__t24_rpr_1.depvmin12024-08-03 10:24 84  
[ ]rpr_1__t24_rpr_1.vmin12024-08-03 10:20 892  
[ ]rpr_1__t24_rpr_1.vmin1out2024-08-03 10:22 8.0K 
[ ]rpr_1__t24_rpr_1.vout2024-08-03 07:42 8.6K 
[ ]rpr_1__t25_rpr_12024-07-26 17:30 33K 
[ ]rpr_1__t25_rpr_1.depv12024-08-03 10:19 106  
[ ]rpr_1__t25_rpr_1.depvmin12024-08-03 10:24 106  
[ ]rpr_1__t25_rpr_1.vmin12024-08-03 10:20 1.4K 
[ ]rpr_1__t25_rpr_1.vmin1out2024-08-03 10:22 13K 
[ ]rpr_1__t25_rpr_1.vout2024-08-03 10:12 15K 
[ ]rpr_1__t26_rpr_12024-07-26 17:31 22K 
[ ]rpr_1__t26_rpr_1.vout2024-08-03 06:26 2.0K 
[ ]rpr_1__t27_rpr_12024-07-26 17:32 27K 
[ ]rpr_1__t27_rpr_1.vout2024-08-03 08:45 2.0K 
[ ]rpr_1__t28_rpr_12024-07-26 17:33 26K 
[ ]rpr_1__t28_rpr_1.vout2024-08-03 09:56 2.0K 
[ ]rpr_1__t29_rpr_12024-07-26 17:34 27K 
[ ]rpr_1__t29_rpr_1.vout2024-08-03 04:56 2.0K 
[ ]rpr_1__t30_rpr_12024-07-26 17:34 22K 
[ ]rpr_1__t30_rpr_1.vout2024-08-03 08:27 2.0K 
[ ]rpr_1__t31_rpr_12024-07-26 17:35 19K 
[ ]rpr_1__t31_rpr_1.vout2024-08-03 04:44 1.9K 
[ ]rpr_1__t32_rpr_12024-07-26 17:36 15K 
[ ]rpr_1__t32_rpr_1.depv12024-08-03 10:19 400  
[ ]rpr_1__t32_rpr_1.depvmin12024-08-03 10:24 374  
[ ]rpr_1__t32_rpr_1.vmin12024-08-03 10:20 2.8K 
[ ]rpr_1__t32_rpr_1.vmin1out2024-08-03 10:20 19K 
[ ]rpr_1__t32_rpr_1.vout2024-08-03 08:30 43K 
[ ]rpr_1__t33_rpr_12024-07-26 17:37 16K 
[ ]rpr_1__t33_rpr_1.vout2024-08-03 09:42 2.0K 
[ ]rpr_1__t35_rpr_12024-07-26 17:38 16K 
[ ]rpr_1__t35_rpr_1.depv12024-08-03 10:19 390  
[ ]rpr_1__t35_rpr_1.depvmin12024-08-03 10:24 329  
[ ]rpr_1__t35_rpr_1.vmin12024-08-03 10:20 3.5K 
[ ]rpr_1__t35_rpr_1.vmin1out2024-08-03 10:22 29K 
[ ]rpr_1__t35_rpr_1.vout2024-08-03 06:11 33K 
[ ]rpr_1__t36_rpr_12024-07-26 17:39 33K 
[ ]rpr_1__t36_rpr_1.vout2024-08-03 09:32 2.0K 
[ ]rpr_1__t37_rpr_12024-07-26 17:40 33K 
[ ]rpr_1__t37_rpr_1.vout2024-08-03 07:28 2.0K 
[ ]rpr_1__t38_rpr_12024-07-26 17:41 18K 
[ ]rpr_1__t38_rpr_1.depv12024-08-03 10:19 347  
[ ]rpr_1__t38_rpr_1.depvmin12024-08-03 10:24 313  
[ ]rpr_1__t38_rpr_1.vmin12024-08-03 10:20 2.6K 
[ ]rpr_1__t38_rpr_1.vmin1out2024-08-03 10:22 18K 
[ ]rpr_1__t38_rpr_1.vout2024-08-03 04:39 20K 
[ ]rpr_1__t39_rpr_12024-07-26 17:42 22K 
[ ]rpr_1__t39_rpr_1.vout2024-08-03 07:00 2.0K 
[ ]rpr_1__t40_rpr_12024-07-26 17:43 40K 
[ ]rpr_1__t40_rpr_1.vout2024-08-03 05:32 2.0K 
[ ]rpr_1__t41_rpr_12024-07-26 17:43 16K 
[ ]rpr_1__t41_rpr_1.depv12024-08-03 10:19 276  
[ ]rpr_1__t41_rpr_1.depvmin12024-08-03 10:24 276  
[ ]rpr_1__t41_rpr_1.vmin12024-08-03 10:20 2.0K 
[ ]rpr_1__t41_rpr_1.vmin1out2024-08-03 10:23 16K 
[ ]rpr_1__t41_rpr_1.vout2024-08-03 09:43 18K 
[ ]rpr_1__t42_rpr_12024-07-26 17:14 16K 
[ ]rpr_1__t42_rpr_1.depv12024-08-03 10:19 81  
[ ]rpr_1__t42_rpr_1.depvmin12024-08-03 10:24 57  
[ ]rpr_1__t42_rpr_1.vmin12024-08-03 10:20 804  
[ ]rpr_1__t42_rpr_1.vmin1out2024-08-03 10:22 6.9K 
[ ]rpr_1__t42_rpr_1.vout2024-08-03 07:32 7.3K 
[ ]rpr_1__t43_rpr_12024-07-26 17:44 16K 
[ ]rpr_1__t43_rpr_1.depv12024-08-03 10:19 158  
[ ]rpr_1__t43_rpr_1.depvmin12024-08-03 10:24 134  
[ ]rpr_1__t43_rpr_1.vmin12024-08-03 10:20 1.5K 
[ ]rpr_1__t43_rpr_1.vmin1out2024-08-03 10:21 12K 
[ ]rpr_1__t43_rpr_1.vout2024-08-03 05:58 12K 
[ ]rpr_1__t44_rpr_12024-07-26 17:45 16K 
[ ]rpr_1__t44_rpr_1.vout2024-08-03 07:43 2.0K 
[ ]rpr_1__t45_rpr_12024-07-26 17:46 37K 
[ ]rpr_1__t45_rpr_1.depv12024-08-03 10:19 169  
[ ]rpr_1__t45_rpr_1.depvmin12024-08-03 10:24 169  
[ ]rpr_1__t45_rpr_1.vmin12024-08-03 10:20 1.6K 
[ ]rpr_1__t45_rpr_1.vmin1out2024-08-03 10:23 14K 
[ ]rpr_1__t45_rpr_1.vout2024-08-03 08:02 13K 
[ ]rpr_1__t47_rpr_12024-07-26 17:47 34K 
[ ]rpr_1__t47_rpr_1.vout2024-08-03 09:34 2.0K 
[ ]rpr_1__t48_rpr_12024-07-26 17:48 22K 
[ ]rpr_1__t48_rpr_1.vout2024-08-03 06:06 2.0K 
[ ]rpr_1__t49_rpr_12024-07-26 17:49 26K 
[ ]rpr_1__t49_rpr_1.vout2024-08-03 09:29 1.9K 
[ ]rpr_1__t50_rpr_12024-07-26 17:50 28K 
[ ]rpr_1__t50_rpr_1.depv12024-08-03 10:19 297  
[ ]rpr_1__t50_rpr_1.depvmin12024-08-03 10:24 227  
[ ]rpr_1__t50_rpr_1.vmin12024-08-03 10:20 2.8K 
[ ]rpr_1__t50_rpr_1.vmin1out2024-08-03 10:22 22K 
[ ]rpr_1__t50_rpr_1.vout2024-08-03 07:24 25K 
[ ]rpr_1__t51_rpr_12024-07-26 17:51 26K 
[ ]rpr_1__t51_rpr_1.vout2024-08-03 07:51 2.0K 
[ ]rpr_1__t52_rpr_12024-07-26 17:52 26K 
[ ]rpr_1__t52_rpr_1.vout2024-08-03 09:14 2.0K 
[ ]rpr_1__t53_rpr_12024-07-26 17:53 27K 
[ ]rpr_1__t53_rpr_1.vout2024-08-03 06:01 2.0K 
[ ]rpr_1__t54_rpr_12024-07-26 17:54 22K 
[ ]rpr_1__t54_rpr_1.vout2024-08-03 04:11 2.0K 
[ ]rpr_1__t55_rpr_12024-07-26 17:55 18K 
[ ]rpr_1__t55_rpr_1.vout2024-08-03 05:32 2.0K 
[ ]rpr_1__t56_rpr_12024-07-26 17:56 26K 
[ ]rpr_1__t56_rpr_1.vout2024-08-03 07:51 2.0K 
[ ]rpr_1__t57_rpr_12024-07-26 17:15 20K 
[ ]rpr_1__t57_rpr_1.depv12024-08-03 10:19 341  
[ ]rpr_1__t57_rpr_1.depvmin12024-08-03 10:24 341  
[ ]rpr_1__t57_rpr_1.vmin12024-08-03 10:20 2.7K 
[ ]rpr_1__t57_rpr_1.vmin1out2024-08-03 10:22 23K 
[ ]rpr_1__t57_rpr_1.vout2024-08-03 05:49 46K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80