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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]pscomp_1__l1_pscomp_12024-07-27 19:47 41K 
[ ]pscomp_1__l1_pscomp_1.vout2024-08-03 04:19 7.9K 
[ ]pscomp_1__l2_pscomp_12024-07-27 19:48 58K 
[ ]pscomp_1__l2_pscomp_1.vout2024-08-03 07:16 1.1K 
[ ]pscomp_1__l36_pscomp_12024-07-27 19:50 63K 
[ ]pscomp_1__l36_pscomp_1.vout2024-08-03 04:34 3.2K 
[ ]pscomp_1__t1_pscomp_12024-07-27 17:30 45K 
[ ]pscomp_1__t1_pscomp_1.vout2024-08-03 07:03 7.3K 
[ ]pscomp_1__t2_pscomp_12024-07-27 17:32 43K 
[ ]pscomp_1__t2_pscomp_1.vout2024-08-03 06:56 1.1K 
[ ]pscomp_1__t3_pscomp_12024-07-27 17:34 43K 
[ ]pscomp_1__t3_pscomp_1.vout2024-08-03 05:37 7.3K 
[ ]pscomp_1__t4_pscomp_12024-07-27 17:35 48K 
[ ]pscomp_1__t4_pscomp_1.vout2024-08-03 04:47 7.3K 
[ ]pscomp_1__t5_pscomp_12024-07-27 17:37 43K 
[ ]pscomp_1__t5_pscomp_1.vout2024-08-03 06:49 1.1K 
[ ]pscomp_1__t6_pscomp_12024-07-27 17:38 43K 
[ ]pscomp_1__t6_pscomp_1.vout2024-08-03 06:47 6.8K 
[ ]pscomp_1__t7_pscomp_12024-07-27 17:40 41K 
[ ]pscomp_1__t7_pscomp_1.vout2024-08-03 06:13 1.1K 
[ ]pscomp_1__t8_pscomp_12024-07-27 17:41 37K 
[ ]pscomp_1__t8_pscomp_1.vout2024-08-03 10:15 7.3K 
[ ]pscomp_1__t9_pscomp_12024-07-27 17:43 38K 
[ ]pscomp_1__t9_pscomp_1.vout2024-08-03 05:40 1.1K 
[ ]pscomp_1__t10_pscomp_12024-07-27 17:44 39K 
[ ]pscomp_1__t10_pscomp_1.vout2024-08-03 07:31 1.2K 
[ ]pscomp_1__t11_pscomp_12024-07-27 17:46 60K 
[ ]pscomp_1__t11_pscomp_1.vout2024-08-03 05:39 3.7K 
[ ]pscomp_1__t12_pscomp_12024-07-27 17:48 38K 
[ ]pscomp_1__t12_pscomp_1.vout2024-08-03 08:00 6.8K 
[ ]pscomp_1__t13_pscomp_12024-07-27 17:49 38K 
[ ]pscomp_1__t13_pscomp_1.vout2024-08-03 09:14 6.8K 
[ ]pscomp_1__t14_pscomp_12024-07-27 17:51 42K 
[ ]pscomp_1__t14_pscomp_1.vout2024-08-03 05:33 1.1K 
[ ]pscomp_1__t15_pscomp_12024-07-27 17:53 86K 
[ ]pscomp_1__t15_pscomp_1.vout2024-08-03 05:23 4.7K 
[ ]pscomp_1__t16_pscomp_12024-07-27 17:55 55K 
[ ]pscomp_1__t16_pscomp_1.vout2024-08-03 09:35 6.8K 
[ ]pscomp_1__t17_pscomp_12024-07-27 17:57 55K 
[ ]pscomp_1__t17_pscomp_1.vout2024-08-03 08:05 6.8K 
[ ]pscomp_1__t18_pscomp_12024-07-27 19:39 49K 
[ ]pscomp_1__t18_pscomp_1.vout2024-08-03 05:00 7.3K 
[ ]pscomp_1__t19_pscomp_12024-07-27 19:41 50K 
[ ]pscomp_1__t19_pscomp_1.vout2024-08-03 06:01 6.8K 
[ ]pscomp_1__t20_pscomp_12024-07-27 19:43 49K 
[ ]pscomp_1__t20_pscomp_1.vout2024-08-03 06:01 7.3K 
[ ]pscomp_1__t21_pscomp_12024-07-27 19:45 50K 
[ ]pscomp_1__t21_pscomp_1.vout2024-08-03 04:49 6.8K 
[ ]pscomp_1__t22_pscomp_12024-07-27 17:59 57K 
[ ]pscomp_1__t22_pscomp_1.depv12024-08-03 10:19 255  
[ ]pscomp_1__t22_pscomp_1.depvmin12024-08-03 10:24 242  
[ ]pscomp_1__t22_pscomp_1.vmin12024-08-03 10:20 2.7K 
[ ]pscomp_1__t22_pscomp_1.vmin1out2024-08-03 10:21 27K 
[ ]pscomp_1__t22_pscomp_1.vout2024-08-03 07:25 25K 
[ ]pscomp_1__t23_pscomp_12024-07-27 18:01 57K 
[ ]pscomp_1__t23_pscomp_1.depv12024-08-03 10:19 255  
[ ]pscomp_1__t23_pscomp_1.depvmin12024-08-03 10:24 242  
[ ]pscomp_1__t23_pscomp_1.vmin12024-08-03 10:20 2.7K 
[ ]pscomp_1__t23_pscomp_1.vmin1out2024-08-03 10:22 27K 
[ ]pscomp_1__t23_pscomp_1.vout2024-08-03 07:31 25K 
[ ]pscomp_1__t24_pscomp_12024-07-27 17:21 62K 
[ ]pscomp_1__t24_pscomp_1.depv12024-08-03 10:19 75  
[ ]pscomp_1__t24_pscomp_1.depvmin12024-08-03 10:24 75  
[ ]pscomp_1__t24_pscomp_1.vmin12024-08-03 10:20 1.9K 
[ ]pscomp_1__t24_pscomp_1.vmin1out2024-08-03 10:20 19K 
[ ]pscomp_1__t24_pscomp_1.vout2024-08-03 09:57 18K 
[ ]pscomp_1__t25_pscomp_12024-07-27 18:03 60K 
[ ]pscomp_1__t25_pscomp_1.depv12024-08-03 10:19 95  
[ ]pscomp_1__t25_pscomp_1.depvmin12024-08-03 10:24 95  
[ ]pscomp_1__t25_pscomp_1.vmin12024-08-03 10:20 1.0K 
[ ]pscomp_1__t25_pscomp_1.vmin1out2024-08-03 10:23 6.5K 
[ ]pscomp_1__t25_pscomp_1.vout2024-08-03 09:42 7.9K 
[ ]pscomp_1__t26_pscomp_12024-07-27 18:05 60K 
[ ]pscomp_1__t26_pscomp_1.depv12024-08-03 10:19 95  
[ ]pscomp_1__t26_pscomp_1.depvmin12024-08-03 10:24 95  
[ ]pscomp_1__t26_pscomp_1.vmin12024-08-03 10:20 1.0K 
[ ]pscomp_1__t26_pscomp_1.vmin1out2024-08-03 10:21 6.5K 
[ ]pscomp_1__t26_pscomp_1.vout2024-08-03 06:07 7.9K 
[ ]pscomp_1__t27_pscomp_12024-07-27 18:07 60K 
[ ]pscomp_1__t27_pscomp_1.depv12024-08-03 10:19 95  
[ ]pscomp_1__t27_pscomp_1.depvmin12024-08-03 10:24 95  
[ ]pscomp_1__t27_pscomp_1.vmin12024-08-03 10:20 1.0K 
[ ]pscomp_1__t27_pscomp_1.vmin1out2024-08-03 10:23 6.7K 
[ ]pscomp_1__t27_pscomp_1.vout2024-08-03 08:48 7.9K 
[ ]pscomp_1__t28_pscomp_12024-07-27 18:10 60K 
[ ]pscomp_1__t28_pscomp_1.depv12024-08-03 10:19 95  
[ ]pscomp_1__t28_pscomp_1.depvmin12024-08-03 10:24 95  
[ ]pscomp_1__t28_pscomp_1.vmin12024-08-03 10:20 1.0K 
[ ]pscomp_1__t28_pscomp_1.vmin1out2024-08-03 10:20 6.7K 
[ ]pscomp_1__t28_pscomp_1.vout2024-08-03 08:43 7.9K 
[ ]pscomp_1__t29_pscomp_12024-07-27 18:12 66K 
[ ]pscomp_1__t29_pscomp_1.depv12024-08-03 10:19 162  
[ ]pscomp_1__t29_pscomp_1.depvmin12024-08-03 10:24 162  
[ ]pscomp_1__t29_pscomp_1.vmin12024-08-03 10:20 2.3K 
[ ]pscomp_1__t29_pscomp_1.vmin1out2024-08-03 10:20 18K 
[ ]pscomp_1__t29_pscomp_1.vout2024-08-03 09:10 25K 
[ ]pscomp_1__t30_pscomp_12024-07-27 18:14 70K 
[ ]pscomp_1__t30_pscomp_1.vout2024-08-03 09:30 6.8K 
[ ]pscomp_1__t31_pscomp_12024-07-27 18:17 69K 
[ ]pscomp_1__t31_pscomp_1.vout2024-08-03 06:43 4.1K 
[ ]pscomp_1__t32_pscomp_12024-07-27 18:19 69K 
[ ]pscomp_1__t32_pscomp_1.vout2024-08-03 08:00 7.3K 
[ ]pscomp_1__t33_pscomp_12024-07-27 18:21 70K 
[ ]pscomp_1__t33_pscomp_1.depv12024-08-03 10:19 290  
[ ]pscomp_1__t33_pscomp_1.depvmin12024-08-03 10:24 290  
[ ]pscomp_1__t33_pscomp_1.vmin12024-08-03 10:20 4.5K 
[ ]pscomp_1__t33_pscomp_1.vmin1out2024-08-03 10:22 41K 
[ ]pscomp_1__t33_pscomp_1.vout2024-08-03 08:03 48K 
[ ]pscomp_1__t34_pscomp_12024-07-27 18:24 69K 
[ ]pscomp_1__t34_pscomp_1.vout2024-08-03 08:49 4.1K 
[ ]pscomp_1__t35_pscomp_12024-07-27 18:26 73K 
[ ]pscomp_1__t35_pscomp_1.vout2024-08-03 05:16 6.8K 
[ ]pscomp_1__t36_pscomp_12024-07-27 18:28 68K 
[ ]pscomp_1__t36_pscomp_1.depv12024-08-03 10:19 224  
[ ]pscomp_1__t36_pscomp_1.depvmin12024-08-03 10:24 224  
[ ]pscomp_1__t36_pscomp_1.vmin12024-08-03 10:20 2.6K 
[ ]pscomp_1__t36_pscomp_1.vmin1out2024-08-03 10:21 27K 
[ ]pscomp_1__t36_pscomp_1.vout2024-08-03 08:02 30K 
[ ]pscomp_1__t37_pscomp_12024-07-27 18:31 66K 
[ ]pscomp_1__t37_pscomp_1.depv12024-08-03 10:19 161  
[ ]pscomp_1__t37_pscomp_1.depvmin12024-08-03 10:24 161  
[ ]pscomp_1__t37_pscomp_1.vmin12024-08-03 10:20 2.3K 
[ ]pscomp_1__t37_pscomp_1.vmin1out2024-08-03 10:22 18K 
[ ]pscomp_1__t37_pscomp_1.vout2024-08-03 05:13 25K 
[ ]pscomp_1__t38_pscomp_12024-07-27 18:33 70K 
[ ]pscomp_1__t38_pscomp_1.vout2024-08-03 06:50 6.8K 
[ ]pscomp_1__t39_pscomp_12024-07-27 18:35 69K 
[ ]pscomp_1__t39_pscomp_1.vout2024-08-03 09:22 4.1K 
[ ]pscomp_1__t40_pscomp_12024-07-27 18:38 69K 
[ ]pscomp_1__t40_pscomp_1.vout2024-08-03 04:54 7.3K 
[ ]pscomp_1__t41_pscomp_12024-07-27 18:40 70K 
[ ]pscomp_1__t41_pscomp_1.depv12024-08-03 10:19 289  
[ ]pscomp_1__t41_pscomp_1.depvmin12024-08-03 10:24 289  
[ ]pscomp_1__t41_pscomp_1.vmin12024-08-03 10:20 4.5K 
[ ]pscomp_1__t41_pscomp_1.vmin1out2024-08-03 10:22 42K 
[ ]pscomp_1__t41_pscomp_1.vout2024-08-03 07:32 48K 
[ ]pscomp_1__t42_pscomp_12024-07-27 18:43 69K 
[ ]pscomp_1__t42_pscomp_1.vout2024-08-03 04:10 4.1K 
[ ]pscomp_1__t43_pscomp_12024-07-27 18:45 73K 
[ ]pscomp_1__t43_pscomp_1.vout2024-08-03 06:23 6.8K 
[ ]pscomp_1__t44_pscomp_12024-07-27 18:47 68K 
[ ]pscomp_1__t44_pscomp_1.depv12024-08-03 10:19 224  
[ ]pscomp_1__t44_pscomp_1.depvmin12024-08-03 10:24 224  
[ ]pscomp_1__t44_pscomp_1.vmin12024-08-03 10:20 2.6K 
[ ]pscomp_1__t44_pscomp_1.vmin1out2024-08-03 10:21 27K 
[ ]pscomp_1__t44_pscomp_1.vout2024-08-03 05:15 30K 
[ ]pscomp_1__t45_pscomp_12024-07-27 18:50 66K 
[ ]pscomp_1__t45_pscomp_1.depv12024-08-03 10:19 162  
[ ]pscomp_1__t45_pscomp_1.depvmin12024-08-03 10:24 162  
[ ]pscomp_1__t45_pscomp_1.vmin12024-08-03 10:20 2.3K 
[ ]pscomp_1__t45_pscomp_1.vmin1out2024-08-03 10:23 18K 
[ ]pscomp_1__t45_pscomp_1.vout2024-08-03 04:41 25K 
[ ]pscomp_1__t46_pscomp_12024-07-27 18:52 70K 
[ ]pscomp_1__t46_pscomp_1.vout2024-08-03 05:42 6.8K 
[ ]pscomp_1__t47_pscomp_12024-07-27 18:54 69K 
[ ]pscomp_1__t47_pscomp_1.vout2024-08-03 09:32 4.1K 
[ ]pscomp_1__t48_pscomp_12024-07-27 18:57 69K 
[ ]pscomp_1__t48_pscomp_1.vout2024-08-03 04:19 7.3K 
[ ]pscomp_1__t49_pscomp_12024-07-27 18:59 70K 
[ ]pscomp_1__t49_pscomp_1.depv12024-08-03 10:19 290  
[ ]pscomp_1__t49_pscomp_1.depvmin12024-08-03 10:24 290  
[ ]pscomp_1__t49_pscomp_1.vmin12024-08-03 10:20 4.5K 
[ ]pscomp_1__t49_pscomp_1.vmin1out2024-08-03 10:21 41K 
[ ]pscomp_1__t49_pscomp_1.vout2024-08-03 08:03 48K 
[ ]pscomp_1__t50_pscomp_12024-07-27 19:01 69K 
[ ]pscomp_1__t50_pscomp_1.vout2024-08-03 06:44 4.1K 
[ ]pscomp_1__t51_pscomp_12024-07-27 19:04 73K 
[ ]pscomp_1__t51_pscomp_1.vout2024-08-03 08:17 6.8K 
[ ]pscomp_1__t52_pscomp_12024-07-27 19:06 68K 
[ ]pscomp_1__t52_pscomp_1.depv12024-08-03 10:19 224  
[ ]pscomp_1__t52_pscomp_1.depvmin12024-08-03 10:24 224  
[ ]pscomp_1__t52_pscomp_1.vmin12024-08-03 10:20 2.6K 
[ ]pscomp_1__t52_pscomp_1.vmin1out2024-08-03 10:21 27K 
[ ]pscomp_1__t52_pscomp_1.vout2024-08-03 08:54 30K 
[ ]pscomp_1__t53_pscomp_12024-07-27 19:08 66K 
[ ]pscomp_1__t53_pscomp_1.depv12024-08-03 10:19 161  
[ ]pscomp_1__t53_pscomp_1.depvmin12024-08-03 10:24 161  
[ ]pscomp_1__t53_pscomp_1.vmin12024-08-03 10:20 2.3K 
[ ]pscomp_1__t53_pscomp_1.vmin1out2024-08-03 10:20 18K 
[ ]pscomp_1__t53_pscomp_1.vout2024-08-03 06:00 25K 
[ ]pscomp_1__t54_pscomp_12024-07-27 19:11 70K 
[ ]pscomp_1__t54_pscomp_1.vout2024-08-03 04:22 6.8K 
[ ]pscomp_1__t55_pscomp_12024-07-27 19:13 69K 
[ ]pscomp_1__t55_pscomp_1.vout2024-08-03 04:34 4.1K 
[ ]pscomp_1__t56_pscomp_12024-07-27 19:15 69K 
[ ]pscomp_1__t56_pscomp_1.vout2024-08-03 05:58 7.3K 
[ ]pscomp_1__t57_pscomp_12024-07-27 19:18 70K 
[ ]pscomp_1__t57_pscomp_1.depv12024-08-03 10:19 289  
[ ]pscomp_1__t57_pscomp_1.depvmin12024-08-03 10:24 289  
[ ]pscomp_1__t57_pscomp_1.vmin12024-08-03 10:20 4.5K 
[ ]pscomp_1__t57_pscomp_1.vmin1out2024-08-03 10:20 42K 
[ ]pscomp_1__t57_pscomp_1.vout2024-08-03 07:20 48K 
[ ]pscomp_1__t58_pscomp_12024-07-27 19:20 69K 
[ ]pscomp_1__t58_pscomp_1.vout2024-08-03 07:19 4.1K 
[ ]pscomp_1__t59_pscomp_12024-07-27 19:23 73K 
[ ]pscomp_1__t59_pscomp_1.vout2024-08-03 09:36 6.8K 
[ ]pscomp_1__t60_pscomp_12024-07-27 19:25 68K 
[ ]pscomp_1__t60_pscomp_1.depv12024-08-03 10:19 224  
[ ]pscomp_1__t60_pscomp_1.depvmin12024-08-03 10:24 224  
[ ]pscomp_1__t60_pscomp_1.vmin12024-08-03 10:20 2.6K 
[ ]pscomp_1__t60_pscomp_1.vmin1out2024-08-03 10:21 27K 
[ ]pscomp_1__t60_pscomp_1.vout2024-08-03 09:52 30K 
[ ]pscomp_1__t61_pscomp_12024-07-27 19:27 67K 
[ ]pscomp_1__t61_pscomp_1.vout2024-08-03 09:23 3.8K 
[ ]pscomp_1__t62_pscomp_12024-07-27 19:30 67K 
[ ]pscomp_1__t62_pscomp_1.vout2024-08-03 05:40 3.8K 
[ ]pscomp_1__t63_pscomp_12024-07-27 19:32 67K 
[ ]pscomp_1__t63_pscomp_1.vout2024-08-03 08:23 3.8K 
[ ]pscomp_1__t64_pscomp_12024-07-27 19:35 67K 
[ ]pscomp_1__t64_pscomp_1.vout2024-08-03 04:46 3.8K 
[ ]pscomp_1__t65_pscomp_12024-07-27 19:37 48K 
[ ]pscomp_1__t65_pscomp_1.depv12024-08-03 10:19 92  
[ ]pscomp_1__t65_pscomp_1.depvmin12024-08-03 10:24 92  
[ ]pscomp_1__t65_pscomp_1.vmin12024-08-03 10:20 1.7K 
[ ]pscomp_1__t65_pscomp_1.vmin1out2024-08-03 10:22 20K 
[ ]pscomp_1__t65_pscomp_1.vout2024-08-03 07:59 15K 
[ ]pscomp_1__t66_pscomp_12024-07-27 17:23 60K 
[ ]pscomp_1__t66_pscomp_1.depv12024-08-03 10:19 144  
[ ]pscomp_1__t66_pscomp_1.depvmin12024-08-03 10:24 144  
[ ]pscomp_1__t66_pscomp_1.vmin12024-08-03 10:20 2.4K 
[ ]pscomp_1__t66_pscomp_1.vmin1out2024-08-03 10:22 21K 
[ ]pscomp_1__t66_pscomp_1.vout2024-08-03 05:05 24K 
[ ]pscomp_1__t67_pscomp_12024-07-27 17:25 60K 
[ ]pscomp_1__t67_pscomp_1.depv12024-08-03 10:19 144  
[ ]pscomp_1__t67_pscomp_1.depvmin12024-08-03 10:24 144  
[ ]pscomp_1__t67_pscomp_1.vmin12024-08-03 10:20 2.4K 
[ ]pscomp_1__t67_pscomp_1.vmin1out2024-08-03 10:21 21K 
[ ]pscomp_1__t67_pscomp_1.vout2024-08-03 07:54 24K 
[ ]pscomp_1__t68_pscomp_12024-07-27 17:27 60K 
[ ]pscomp_1__t68_pscomp_1.depv12024-08-03 10:19 145  
[ ]pscomp_1__t68_pscomp_1.depvmin12024-08-03 10:24 145  
[ ]pscomp_1__t68_pscomp_1.vmin12024-08-03 10:20 2.4K 
[ ]pscomp_1__t68_pscomp_1.vmin1out2024-08-03 10:22 21K 
[ ]pscomp_1__t68_pscomp_1.vout2024-08-03 08:47 24K 
[ ]pscomp_1__t69_pscomp_12024-07-27 17:29 60K 
[ ]pscomp_1__t69_pscomp_1.depv12024-08-03 10:19 199  
[ ]pscomp_1__t69_pscomp_1.depvmin12024-08-03 10:24 199  
[ ]pscomp_1__t69_pscomp_1.vmin12024-08-03 10:20 2.9K 
[ ]pscomp_1__t69_pscomp_1.vmin1out2024-08-03 10:21 29K 
[ ]pscomp_1__t69_pscomp_1.vout2024-08-03 04:22 34K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80