Index of /~mptp/mml5.63.1382/MPTP2/problems_small/pscomp_1

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]pscomp_1__l1_pscomp_12021-07-18 00:09 38K 
[ ]pscomp_1__l1_pscomp_1.vout2021-07-25 19:16 8.4K 
[ ]pscomp_1__l2_pscomp_12021-07-18 00:10 55K 
[ ]pscomp_1__l2_pscomp_1.vout2021-07-25 15:16 1.1K 
[ ]pscomp_1__l36_pscomp_12021-07-18 00:10 59K 
[ ]pscomp_1__l36_pscomp_1.vout2021-07-25 18:33 3.2K 
[ ]pscomp_1__t1_pscomp_12021-07-17 23:20 41K 
[ ]pscomp_1__t1_pscomp_1.vout2021-07-25 18:59 7.3K 
[ ]pscomp_1__t2_pscomp_12021-07-17 23:21 39K 
[ ]pscomp_1__t2_pscomp_1.vout2021-07-25 18:26 1.1K 
[ ]pscomp_1__t3_pscomp_12021-07-17 23:21 40K 
[ ]pscomp_1__t3_pscomp_1.vout2021-07-25 19:41 6.8K 
[ ]pscomp_1__t4_pscomp_12021-07-17 23:22 45K 
[ ]pscomp_1__t4_pscomp_1.vout2021-07-25 16:45 7.3K 
[ ]pscomp_1__t5_pscomp_12021-07-17 23:23 39K 
[ ]pscomp_1__t5_pscomp_1.vout2021-07-25 20:06 1.1K 
[ ]pscomp_1__t6_pscomp_12021-07-17 23:23 40K 
[ ]pscomp_1__t6_pscomp_1.vout2021-07-25 19:01 6.8K 
[ ]pscomp_1__t7_pscomp_12021-07-17 23:24 37K 
[ ]pscomp_1__t7_pscomp_1.vout2021-07-25 14:59 1.1K 
[ ]pscomp_1__t8_pscomp_12021-07-17 23:24 33K 
[ ]pscomp_1__t8_pscomp_1.vout2021-07-25 18:38 7.3K 
[ ]pscomp_1__t9_pscomp_12021-07-17 23:25 33K 
[ ]pscomp_1__t9_pscomp_1.vout2021-07-25 15:12 2.0K 
[ ]pscomp_1__t10_pscomp_12021-07-17 23:25 36K 
[ ]pscomp_1__t10_pscomp_1.vout2021-07-25 17:30 2.0K 
[ ]pscomp_1__t11_pscomp_12021-07-17 23:26 57K 
[ ]pscomp_1__t11_pscomp_1.vout2021-07-25 15:23 3.7K 
[ ]pscomp_1__t12_pscomp_12021-07-17 23:26 33K 
[ ]pscomp_1__t12_pscomp_1.vout2021-07-25 14:40 7.3K 
[ ]pscomp_1__t13_pscomp_12021-07-17 23:27 33K 
[ ]pscomp_1__t13_pscomp_1.vout2021-07-25 18:50 6.8K 
[ ]pscomp_1__t14_pscomp_12021-07-17 23:28 38K 
[ ]pscomp_1__t14_pscomp_1.vout2021-07-25 17:29 1.1K 
[ ]pscomp_1__t15_pscomp_12021-07-17 23:28 83K 
[ ]pscomp_1__t15_pscomp_1.vout2021-07-25 20:25 4.7K 
[ ]pscomp_1__t16_pscomp_12021-07-17 23:29 51K 
[ ]pscomp_1__t16_pscomp_1.vout2021-07-25 19:25 6.8K 
[ ]pscomp_1__t17_pscomp_12021-07-17 23:30 51K 
[ ]pscomp_1__t17_pscomp_1.vout2021-07-25 15:23 7.3K 
[ ]pscomp_1__t18_pscomp_12021-07-18 00:06 45K 
[ ]pscomp_1__t18_pscomp_1.vout2021-07-25 18:41 7.3K 
[ ]pscomp_1__t19_pscomp_12021-07-18 00:07 47K 
[ ]pscomp_1__t19_pscomp_1.vout2021-07-25 18:31 6.8K 
[ ]pscomp_1__t20_pscomp_12021-07-18 00:08 45K 
[ ]pscomp_1__t20_pscomp_1.vout2021-07-25 16:07 7.3K 
[ ]pscomp_1__t21_pscomp_12021-07-18 00:09 47K 
[ ]pscomp_1__t21_pscomp_1.vout2021-07-25 16:20 6.8K 
[ ]pscomp_1__t22_pscomp_12021-07-17 23:30 52K 
[ ]pscomp_1__t22_pscomp_1.depv12021-07-25 20:57 255  
[ ]pscomp_1__t22_pscomp_1.depvmin12021-07-25 21:03 242  
[ ]pscomp_1__t22_pscomp_1.vmin12021-07-25 20:57 2.7K 
[ ]pscomp_1__t22_pscomp_1.vmin1out2021-07-25 21:02 27K 
[ ]pscomp_1__t22_pscomp_1.vout2021-07-25 15:13 25K 
[ ]pscomp_1__t23_pscomp_12021-07-17 23:31 52K 
[ ]pscomp_1__t23_pscomp_1.depv12021-07-25 20:57 255  
[ ]pscomp_1__t23_pscomp_1.depvmin12021-07-25 21:03 242  
[ ]pscomp_1__t23_pscomp_1.vmin12021-07-25 20:57 2.7K 
[ ]pscomp_1__t23_pscomp_1.vmin1out2021-07-25 20:58 27K 
[ ]pscomp_1__t23_pscomp_1.vout2021-07-25 19:33 25K 
[ ]pscomp_1__t24_pscomp_12021-07-17 23:17 58K 
[ ]pscomp_1__t24_pscomp_1.depv12021-07-25 20:57 75  
[ ]pscomp_1__t24_pscomp_1.depvmin12021-07-25 21:03 75  
[ ]pscomp_1__t24_pscomp_1.vmin12021-07-25 20:57 1.9K 
[ ]pscomp_1__t24_pscomp_1.vmin1out2021-07-25 20:58 19K 
[ ]pscomp_1__t24_pscomp_1.vout2021-07-25 19:36 18K 
[ ]pscomp_1__t25_pscomp_12021-07-17 23:32 56K 
[ ]pscomp_1__t25_pscomp_1.depv12021-07-25 20:57 95  
[ ]pscomp_1__t25_pscomp_1.depvmin12021-07-25 21:03 95  
[ ]pscomp_1__t25_pscomp_1.vmin12021-07-25 20:57 1.0K 
[ ]pscomp_1__t25_pscomp_1.vmin1out2021-07-25 21:00 6.5K 
[ ]pscomp_1__t25_pscomp_1.vout2021-07-25 20:05 7.9K 
[ ]pscomp_1__t26_pscomp_12021-07-17 23:33 56K 
[ ]pscomp_1__t26_pscomp_1.depv12021-07-25 20:57 95  
[ ]pscomp_1__t26_pscomp_1.depvmin12021-07-25 21:03 95  
[ ]pscomp_1__t26_pscomp_1.vmin12021-07-25 20:57 1.0K 
[ ]pscomp_1__t26_pscomp_1.vmin1out2021-07-25 20:58 6.5K 
[ ]pscomp_1__t26_pscomp_1.vout2021-07-25 16:42 7.9K 
[ ]pscomp_1__t27_pscomp_12021-07-17 23:34 56K 
[ ]pscomp_1__t27_pscomp_1.depv12021-07-25 20:57 95  
[ ]pscomp_1__t27_pscomp_1.depvmin12021-07-25 21:03 95  
[ ]pscomp_1__t27_pscomp_1.vmin12021-07-25 20:57 1.0K 
[ ]pscomp_1__t27_pscomp_1.vmin1out2021-07-25 20:59 6.7K 
[ ]pscomp_1__t27_pscomp_1.vout2021-07-25 17:32 7.9K 
[ ]pscomp_1__t28_pscomp_12021-07-17 23:34 56K 
[ ]pscomp_1__t28_pscomp_1.depv12021-07-25 20:57 95  
[ ]pscomp_1__t28_pscomp_1.depvmin12021-07-25 21:03 95  
[ ]pscomp_1__t28_pscomp_1.vmin12021-07-25 20:57 1.0K 
[ ]pscomp_1__t28_pscomp_1.vmin1out2021-07-25 21:00 6.7K 
[ ]pscomp_1__t28_pscomp_1.vout2021-07-25 16:25 7.9K 
[ ]pscomp_1__t29_pscomp_12021-07-17 23:35 62K 
[ ]pscomp_1__t29_pscomp_1.depv12021-07-25 20:57 162  
[ ]pscomp_1__t29_pscomp_1.depvmin12021-07-25 21:03 162  
[ ]pscomp_1__t29_pscomp_1.vmin12021-07-25 20:57 2.3K 
[ ]pscomp_1__t29_pscomp_1.vmin1out2021-07-25 20:58 18K 
[ ]pscomp_1__t29_pscomp_1.vout2021-07-25 17:33 25K 
[ ]pscomp_1__t30_pscomp_12021-07-17 23:36 66K 
[ ]pscomp_1__t30_pscomp_1.vout2021-07-25 17:58 7.3K 
[ ]pscomp_1__t31_pscomp_12021-07-17 23:37 65K 
[ ]pscomp_1__t31_pscomp_1.vout2021-07-25 16:56 4.1K 
[ ]pscomp_1__t32_pscomp_12021-07-17 23:38 65K 
[ ]pscomp_1__t32_pscomp_1.vout2021-07-25 16:05 7.3K 
[ ]pscomp_1__t33_pscomp_12021-07-17 23:39 66K 
[ ]pscomp_1__t33_pscomp_1.depv12021-07-25 20:57 290  
[ ]pscomp_1__t33_pscomp_1.depvmin12021-07-25 21:03 290  
[ ]pscomp_1__t33_pscomp_1.vmin12021-07-25 20:57 4.5K 
[ ]pscomp_1__t33_pscomp_1.vmin1out2021-07-25 20:59 41K 
[ ]pscomp_1__t33_pscomp_1.vout2021-07-25 15:57 48K 
[ ]pscomp_1__t34_pscomp_12021-07-17 23:39 65K 
[ ]pscomp_1__t34_pscomp_1.vout2021-07-25 20:47 4.2K 
[ ]pscomp_1__t35_pscomp_12021-07-17 23:40 69K 
[ ]pscomp_1__t35_pscomp_1.vout2021-07-25 19:21 6.8K 
[ ]pscomp_1__t36_pscomp_12021-07-17 23:41 64K 
[ ]pscomp_1__t36_pscomp_1.depv12021-07-25 20:57 224  
[ ]pscomp_1__t36_pscomp_1.depvmin12021-07-25 21:03 224  
[ ]pscomp_1__t36_pscomp_1.vmin12021-07-25 20:57 2.6K 
[ ]pscomp_1__t36_pscomp_1.vmin1out2021-07-25 21:00 27K 
[ ]pscomp_1__t36_pscomp_1.vout2021-07-25 18:25 30K 
[ ]pscomp_1__t37_pscomp_12021-07-17 23:42 62K 
[ ]pscomp_1__t37_pscomp_1.depv12021-07-25 20:57 161  
[ ]pscomp_1__t37_pscomp_1.depvmin12021-07-25 21:03 161  
[ ]pscomp_1__t37_pscomp_1.vmin12021-07-25 20:57 2.3K 
[ ]pscomp_1__t37_pscomp_1.vmin1out2021-07-25 20:59 18K 
[ ]pscomp_1__t37_pscomp_1.vout2021-07-25 15:28 25K 
[ ]pscomp_1__t38_pscomp_12021-07-17 23:43 66K 
[ ]pscomp_1__t38_pscomp_1.vout2021-07-25 17:49 6.8K 
[ ]pscomp_1__t39_pscomp_12021-07-17 23:44 65K 
[ ]pscomp_1__t39_pscomp_1.vout2021-07-25 17:27 4.1K 
[ ]pscomp_1__t40_pscomp_12021-07-17 23:44 65K 
[ ]pscomp_1__t40_pscomp_1.vout2021-07-25 20:08 7.3K 
[ ]pscomp_1__t41_pscomp_12021-07-17 23:45 66K 
[ ]pscomp_1__t41_pscomp_1.depv12021-07-25 20:57 289  
[ ]pscomp_1__t41_pscomp_1.depvmin12021-07-25 21:03 289  
[ ]pscomp_1__t41_pscomp_1.vmin12021-07-25 20:57 4.5K 
[ ]pscomp_1__t41_pscomp_1.vmin1out2021-07-25 20:59 78K 
[ ]pscomp_1__t41_pscomp_1.vout2021-07-25 16:16 48K 
[ ]pscomp_1__t42_pscomp_12021-07-17 23:46 65K 
[ ]pscomp_1__t42_pscomp_1.vout2021-07-25 17:31 4.1K 
[ ]pscomp_1__t43_pscomp_12021-07-17 23:47 69K 
[ ]pscomp_1__t43_pscomp_1.vout2021-07-25 16:26 6.8K 
[ ]pscomp_1__t44_pscomp_12021-07-17 23:48 64K 
[ ]pscomp_1__t44_pscomp_1.depv12021-07-25 20:57 224  
[ ]pscomp_1__t44_pscomp_1.depvmin12021-07-25 21:03 224  
[ ]pscomp_1__t44_pscomp_1.vmin12021-07-25 20:57 2.6K 
[ ]pscomp_1__t44_pscomp_1.vmin1out2021-07-25 20:59 27K 
[ ]pscomp_1__t44_pscomp_1.vout2021-07-25 16:33 30K 
[ ]pscomp_1__t45_pscomp_12021-07-17 23:49 62K 
[ ]pscomp_1__t45_pscomp_1.depv12021-07-25 20:57 162  
[ ]pscomp_1__t45_pscomp_1.depvmin12021-07-25 21:03 162  
[ ]pscomp_1__t45_pscomp_1.vmin12021-07-25 20:57 2.3K 
[ ]pscomp_1__t45_pscomp_1.vmin1out2021-07-25 20:59 18K 
[ ]pscomp_1__t45_pscomp_1.vout2021-07-25 15:20 25K 
[ ]pscomp_1__t46_pscomp_12021-07-17 23:50 66K 
[ ]pscomp_1__t46_pscomp_1.vout2021-07-25 17:19 6.8K 
[ ]pscomp_1__t47_pscomp_12021-07-17 23:50 65K 
[ ]pscomp_1__t47_pscomp_1.vout2021-07-25 20:48 4.1K 
[ ]pscomp_1__t48_pscomp_12021-07-17 23:51 65K 
[ ]pscomp_1__t48_pscomp_1.vout2021-07-25 17:26 7.3K 
[ ]pscomp_1__t49_pscomp_12021-07-17 23:52 66K 
[ ]pscomp_1__t49_pscomp_1.depv12021-07-25 20:57 290  
[ ]pscomp_1__t49_pscomp_1.depvmin12021-07-25 21:03 290  
[ ]pscomp_1__t49_pscomp_1.vmin12021-07-25 20:57 4.5K 
[ ]pscomp_1__t49_pscomp_1.vmin1out2021-07-25 21:01 41K 
[ ]pscomp_1__t49_pscomp_1.vout2021-07-25 19:45 48K 
[ ]pscomp_1__t50_pscomp_12021-07-17 23:53 65K 
[ ]pscomp_1__t50_pscomp_1.vout2021-07-25 18:51 4.1K 
[ ]pscomp_1__t51_pscomp_12021-07-17 23:54 69K 
[ ]pscomp_1__t51_pscomp_1.vout2021-07-25 16:45 6.8K 
[ ]pscomp_1__t52_pscomp_12021-07-17 23:54 64K 
[ ]pscomp_1__t52_pscomp_1.depv12021-07-25 20:57 224  
[ ]pscomp_1__t52_pscomp_1.depvmin12021-07-25 21:03 224  
[ ]pscomp_1__t52_pscomp_1.vmin12021-07-25 20:57 2.6K 
[ ]pscomp_1__t52_pscomp_1.vmin1out2021-07-25 20:58 27K 
[ ]pscomp_1__t52_pscomp_1.vout2021-07-25 19:22 30K 
[ ]pscomp_1__t53_pscomp_12021-07-17 23:55 62K 
[ ]pscomp_1__t53_pscomp_1.depv12021-07-25 20:57 161  
[ ]pscomp_1__t53_pscomp_1.depvmin12021-07-25 21:03 161  
[ ]pscomp_1__t53_pscomp_1.vmin12021-07-25 20:57 2.3K 
[ ]pscomp_1__t53_pscomp_1.vmin1out2021-07-25 20:58 18K 
[ ]pscomp_1__t53_pscomp_1.vout2021-07-25 15:05 25K 
[ ]pscomp_1__t54_pscomp_12021-07-17 23:56 66K 
[ ]pscomp_1__t54_pscomp_1.vout2021-07-25 17:46 6.8K 
[ ]pscomp_1__t55_pscomp_12021-07-17 23:57 65K 
[ ]pscomp_1__t55_pscomp_1.vout2021-07-25 16:05 4.2K 
[ ]pscomp_1__t56_pscomp_12021-07-17 23:58 65K 
[ ]pscomp_1__t56_pscomp_1.vout2021-07-25 16:40 7.3K 
[ ]pscomp_1__t57_pscomp_12021-07-17 23:59 66K 
[ ]pscomp_1__t57_pscomp_1.depv12021-07-25 20:57 289  
[ ]pscomp_1__t57_pscomp_1.depvmin12021-07-25 21:03 289  
[ ]pscomp_1__t57_pscomp_1.vmin12021-07-25 20:57 4.5K 
[ ]pscomp_1__t57_pscomp_1.vmin1out2021-07-25 20:59 42K 
[ ]pscomp_1__t57_pscomp_1.vout2021-07-25 19:04 48K 
[ ]pscomp_1__t58_pscomp_12021-07-17 23:59 65K 
[ ]pscomp_1__t58_pscomp_1.vout2021-07-25 18:37 4.1K 
[ ]pscomp_1__t59_pscomp_12021-07-18 00:00 69K 
[ ]pscomp_1__t59_pscomp_1.vout2021-07-25 15:57 6.8K 
[ ]pscomp_1__t60_pscomp_12021-07-18 00:01 64K 
[ ]pscomp_1__t60_pscomp_1.depv12021-07-25 20:57 224  
[ ]pscomp_1__t60_pscomp_1.depvmin12021-07-25 21:03 224  
[ ]pscomp_1__t60_pscomp_1.vmin12021-07-25 20:57 2.6K 
[ ]pscomp_1__t60_pscomp_1.vmin1out2021-07-25 21:00 27K 
[ ]pscomp_1__t60_pscomp_1.vout2021-07-25 20:29 30K 
[ ]pscomp_1__t61_pscomp_12021-07-18 00:02 63K 
[ ]pscomp_1__t61_pscomp_1.vout2021-07-25 17:36 3.8K 
[ ]pscomp_1__t62_pscomp_12021-07-18 00:03 63K 
[ ]pscomp_1__t62_pscomp_1.vout2021-07-25 19:42 3.8K 
[ ]pscomp_1__t63_pscomp_12021-07-18 00:04 63K 
[ ]pscomp_1__t63_pscomp_1.vout2021-07-25 17:45 3.8K 
[ ]pscomp_1__t64_pscomp_12021-07-18 00:04 63K 
[ ]pscomp_1__t64_pscomp_1.vout2021-07-25 17:01 3.8K 
[ ]pscomp_1__t65_pscomp_12021-07-18 00:05 44K 
[ ]pscomp_1__t65_pscomp_1.depv12021-07-25 20:57 92  
[ ]pscomp_1__t65_pscomp_1.depvmin12021-07-25 21:03 92  
[ ]pscomp_1__t65_pscomp_1.vmin12021-07-25 20:57 1.7K 
[ ]pscomp_1__t65_pscomp_1.vmin1out2021-07-25 21:01 20K 
[ ]pscomp_1__t65_pscomp_1.vout2021-07-25 15:37 15K 
[ ]pscomp_1__t66_pscomp_12021-07-17 23:18 55K 
[ ]pscomp_1__t66_pscomp_1.depv12021-07-25 20:57 144  
[ ]pscomp_1__t66_pscomp_1.depvmin12021-07-25 21:03 144  
[ ]pscomp_1__t66_pscomp_1.vmin12021-07-25 20:57 2.4K 
[ ]pscomp_1__t66_pscomp_1.vmin1out2021-07-25 20:58 21K 
[ ]pscomp_1__t66_pscomp_1.vout2021-07-25 17:39 24K 
[ ]pscomp_1__t67_pscomp_12021-07-17 23:18 55K 
[ ]pscomp_1__t67_pscomp_1.depv12021-07-25 20:57 144  
[ ]pscomp_1__t67_pscomp_1.depvmin12021-07-25 21:03 144  
[ ]pscomp_1__t67_pscomp_1.vmin12021-07-25 20:57 2.4K 
[ ]pscomp_1__t67_pscomp_1.vmin1out2021-07-25 21:01 21K 
[ ]pscomp_1__t67_pscomp_1.vout2021-07-25 15:11 24K 
[ ]pscomp_1__t68_pscomp_12021-07-17 23:19 55K 
[ ]pscomp_1__t68_pscomp_1.depv12021-07-25 20:57 145  
[ ]pscomp_1__t68_pscomp_1.depvmin12021-07-25 21:03 145  
[ ]pscomp_1__t68_pscomp_1.vmin12021-07-25 20:57 2.4K 
[ ]pscomp_1__t68_pscomp_1.vmin1out2021-07-25 21:02 21K 
[ ]pscomp_1__t68_pscomp_1.vout2021-07-25 20:40 24K 
[ ]pscomp_1__t69_pscomp_12021-07-17 23:20 55K 
[ ]pscomp_1__t69_pscomp_1.depv12021-07-25 20:57 199  
[ ]pscomp_1__t69_pscomp_1.depvmin12021-07-25 21:03 199  
[ ]pscomp_1__t69_pscomp_1.vmin12021-07-25 20:57 2.9K 
[ ]pscomp_1__t69_pscomp_1.vmin1out2021-07-25 20:59 29K 
[ ]pscomp_1__t69_pscomp_1.vout2021-07-25 20:51 34K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80