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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]c0sp3__l35_c0sp32024-07-27 00:45 30K 
[ ]c0sp3__l35_c0sp3.vout2024-08-03 06:01 7.3K 
[ ]c0sp3__l41_c0sp32024-07-27 00:43 67K 
[ ]c0sp3__l41_c0sp3.vout2024-08-03 08:18 7.2K 
[ ]c0sp3__t1_c0sp32024-07-26 22:34 48K 
[ ]c0sp3__t1_c0sp3.vout2024-08-03 05:47 6.7K 
[ ]c0sp3__t2_c0sp32024-07-26 22:36 49K 
[ ]c0sp3__t2_c0sp3.vout2024-08-03 05:31 3.6K 
[ ]c0sp3__t3_c0sp32024-07-26 22:38 28K 
[ ]c0sp3__t3_c0sp3.vout2024-08-03 06:41 2.0K 
[ ]c0sp3__t4_c0sp32024-07-26 22:39 26K 
[ ]c0sp3__t4_c0sp3.depv12024-08-03 10:19 110  
[ ]c0sp3__t4_c0sp3.depvmin12024-08-03 10:24 110  
[ ]c0sp3__t4_c0sp3.vmin12024-08-03 10:20 3.1K 
[ ]c0sp3__t4_c0sp3.vmin1out2024-08-03 10:23 71K 
[ ]c0sp3__t4_c0sp3.vout2024-08-03 06:22 83K 
[ ]c0sp3__t5_c0sp32024-07-26 22:41 51K 
[ ]c0sp3__t5_c0sp3.vout2024-08-03 08:26 7.2K 
[ ]c0sp3__t6_c0sp32024-07-26 22:13 37K 
[ ]c0sp3__t6_c0sp3.depv12024-08-03 10:19 110  
[ ]c0sp3__t6_c0sp3.depvmin12024-08-03 10:24 110  
[ ]c0sp3__t6_c0sp3.vmin12024-08-03 10:20 3.4K 
[ ]c0sp3__t6_c0sp3.vmin1out2024-08-03 10:20 68K 
[ ]c0sp3__t6_c0sp3.vout2024-08-03 08:48 59K 
[ ]c0sp3__t7_c0sp32024-07-26 22:43 50K 
[ ]c0sp3__t7_c0sp3.vout2024-08-03 09:55 7.2K 
[ ]c0sp3__t8_c0sp32024-07-26 22:46 47K 
[ ]c0sp3__t8_c0sp3.vout2024-08-03 09:52 7.2K 
[ ]c0sp3__t9_c0sp32024-07-26 22:47 42K 
[ ]c0sp3__t9_c0sp3.vout2024-08-03 05:06 7.2K 
[ ]c0sp3__t10_c0sp32024-07-26 22:49 46K 
[ ]c0sp3__t10_c0sp3.vout2024-08-03 07:32 7.3K 
[ ]c0sp3__t11_c0sp32024-07-26 22:52 62K 
[ ]c0sp3__t11_c0sp3.vout2024-08-03 04:21 7.8K 
[ ]c0sp3__t12_c0sp32024-07-26 22:15 36K 
[ ]c0sp3__t12_c0sp3.depv12024-08-03 10:19 127  
[ ]c0sp3__t12_c0sp3.depvmin12024-08-03 10:24 127  
[ ]c0sp3__t12_c0sp3.vmin12024-08-03 10:20 4.3K 
[ ]c0sp3__t12_c0sp3.vmin1out2024-08-03 10:22 91K 
[ ]c0sp3__t12_c0sp3.vout2024-08-03 05:29 92K 
[ ]c0sp3__t13_c0sp32024-07-26 22:54 62K 
[ ]c0sp3__t13_c0sp3.vout2024-08-03 04:33 6.7K 
[ ]c0sp3__t14_c0sp32024-07-26 22:57 59K 
[ ]c0sp3__t14_c0sp3.vout2024-08-03 09:53 7.2K 
[ ]c0sp3__t15_c0sp32024-07-26 22:17 42K 
[ ]c0sp3__t15_c0sp3.depv12024-08-03 10:19 160  
[ ]c0sp3__t15_c0sp3.depvmin12024-08-03 10:24 151  
[ ]c0sp3__t15_c0sp3.vmin12024-08-03 10:20 5.6K 
[ ]c0sp3__t15_c0sp3.vmin1out2024-08-03 10:20 73K 
[ ]c0sp3__t15_c0sp3.vout2024-08-03 09:18 57K 
[ ]c0sp3__t16_c0sp32024-07-26 22:58 42K 
[ ]c0sp3__t16_c0sp3.vout2024-08-03 08:07 7.3K 
[ ]c0sp3__t17_c0sp32024-07-26 22:18 29K 
[ ]c0sp3__t17_c0sp3.depv12024-08-03 10:19 22  
[ ]c0sp3__t17_c0sp3.depvmin12024-08-03 10:24 22  
[ ]c0sp3__t17_c0sp3.vmin12024-08-03 10:20 806  
[ ]c0sp3__t17_c0sp3.vmin1out2024-08-03 10:23 14K 
[ ]c0sp3__t17_c0sp3.vout2024-08-03 09:00 15K 
[ ]c0sp3__t18_c0sp32024-07-26 22:20 29K 
[ ]c0sp3__t18_c0sp3.depv12024-08-03 10:19 22  
[ ]c0sp3__t18_c0sp3.depvmin12024-08-03 10:24 22  
[ ]c0sp3__t18_c0sp3.vmin12024-08-03 10:20 806  
[ ]c0sp3__t18_c0sp3.vmin1out2024-08-03 10:20 14K 
[ ]c0sp3__t18_c0sp3.vout2024-08-03 08:54 13K 
[ ]c0sp3__t19_c0sp32024-07-26 23:00 38K 
[ ]c0sp3__t19_c0sp3.vout2024-08-03 04:31 3.2K 
[ ]c0sp3__t20_c0sp32024-07-26 23:03 49K 
[ ]c0sp3__t20_c0sp3.vout2024-08-03 09:52 4.7K 
[ ]c0sp3__t21_c0sp32024-07-26 23:05 38K 
[ ]c0sp3__t21_c0sp3.depv12024-08-03 10:19 139  
[ ]c0sp3__t21_c0sp3.depvmin12024-08-03 10:24 99  
[ ]c0sp3__t21_c0sp3.vmin12024-08-03 10:20 3.1K 
[ ]c0sp3__t21_c0sp3.vmin1out2024-08-03 10:20 187K 
[ ]c0sp3__t21_c0sp3.vout2024-08-03 05:15 127K 
[ ]c0sp3__t22_c0sp32024-07-26 23:07 38K 
[ ]c0sp3__t22_c0sp3.depv12024-08-03 10:19 75  
[ ]c0sp3__t22_c0sp3.depvmin12024-08-03 10:24 75  
[ ]c0sp3__t22_c0sp3.vmin12024-08-03 10:20 2.6K 
[ ]c0sp3__t22_c0sp3.vmin1out2024-08-03 10:23 69K 
[ ]c0sp3__t22_c0sp3.vout2024-08-03 08:48 64K 
[ ]c0sp3__t23_c0sp32024-07-27 00:34 48K 
[ ]c0sp3__t23_c0sp3.vout2024-08-03 05:18 3.6K 
[ ]c0sp3__t24_c0sp32024-07-27 00:36 47K 
[ ]c0sp3__t24_c0sp3.vout2024-08-03 04:27 7.2K 
[ ]c0sp3__t25_c0sp32024-07-27 00:38 59K 
[ ]c0sp3__t25_c0sp3.vout2024-08-03 09:56 7.3K 
[ ]c0sp3__t26_c0sp32024-07-26 23:09 44K 
[ ]c0sp3__t26_c0sp3.vout2024-08-03 04:07 4.2K 
[ ]c0sp3__t27_c0sp32024-07-26 23:11 45K 
[ ]c0sp3__t27_c0sp3.vout2024-08-03 08:27 4.7K 
[ ]c0sp3__t28_c0sp32024-07-26 23:13 52K 
[ ]c0sp3__t28_c0sp3.vout2024-08-03 04:42 7.3K 
[ ]c0sp3__t29_c0sp32024-07-26 23:16 50K 
[ ]c0sp3__t29_c0sp3.vout2024-08-03 08:22 7.3K 
[ ]c0sp3__t30_c0sp32024-07-27 00:40 41K 
[ ]c0sp3__t30_c0sp3.vout2024-08-03 10:01 3.6K 
[ ]c0sp3__t31_c0sp32024-07-26 23:18 53K 
[ ]c0sp3__t31_c0sp3.vout2024-08-03 09:51 7.3K 
[ ]c0sp3__t32_c0sp32024-07-26 23:20 52K 
[ ]c0sp3__t32_c0sp3.vout2024-08-03 08:04 7.3K 
[ ]c0sp3__t33_c0sp32024-07-26 23:22 43K 
[ ]c0sp3__t33_c0sp3.vout2024-08-03 09:38 6.7K 
[ ]c0sp3__t34_c0sp32024-07-26 23:25 49K 
[ ]c0sp3__t34_c0sp3.vout2024-08-03 08:39 4.2K 
[ ]c0sp3__t35_c0sp32024-07-26 23:27 53K 
[ ]c0sp3__t35_c0sp3.vout2024-08-03 07:25 7.8K 
[ ]c0sp3__t36_c0sp32024-07-26 22:22 65K 
[ ]c0sp3__t36_c0sp3.vout2024-08-03 06:49 7.3K 
[ ]c0sp3__t37_c0sp32024-07-26 23:29 70K 
[ ]c0sp3__t37_c0sp3.vout2024-08-03 06:00 7.3K 
[ ]c0sp3__t38_c0sp32024-07-26 23:32 68K 
[ ]c0sp3__t38_c0sp3.vout2024-08-03 10:16 7.3K 
[ ]c0sp3__t39_c0sp32024-07-26 23:34 67K 
[ ]c0sp3__t39_c0sp3.vout2024-08-03 06:23 7.3K 
[ ]c0sp3__t40_c0sp32024-07-26 23:36 65K 
[ ]c0sp3__t40_c0sp3.vout2024-08-03 09:17 7.3K 
[ ]c0sp3__t41_c0sp32024-07-26 23:39 65K 
[ ]c0sp3__t41_c0sp3.depv12024-08-03 10:19 73  
[ ]c0sp3__t41_c0sp3.depvmin12024-08-03 10:24 73  
[ ]c0sp3__t41_c0sp3.vmin12024-08-03 10:20 1.9K 
[ ]c0sp3__t41_c0sp3.vmin1out2024-08-03 10:23 27K 
[ ]c0sp3__t41_c0sp3.vout2024-08-03 09:35 18K 
[ ]c0sp3__t42_c0sp32024-07-26 23:41 69K 
[ ]c0sp3__t42_c0sp3.vout2024-08-03 09:58 7.8K 
[ ]c0sp3__t43_c0sp32024-07-26 23:43 68K 
[ ]c0sp3__t43_c0sp3.vout2024-08-03 07:27 7.2K 
[ ]c0sp3__t44_c0sp32024-07-26 23:46 71K 
[ ]c0sp3__t44_c0sp3.vout2024-08-03 06:36 7.3K 
[ ]c0sp3__t45_c0sp32024-07-26 23:48 69K 
[ ]c0sp3__t45_c0sp3.vout2024-08-03 08:03 7.3K 
[ ]c0sp3__t46_c0sp32024-07-26 23:51 79K 
[ ]c0sp3__t46_c0sp3.vout2024-08-03 07:27 7.3K 
[ ]c0sp3__t47_c0sp32024-07-26 23:53 73K 
[ ]c0sp3__t47_c0sp3.vout2024-08-03 10:15 7.2K 
[ ]c0sp3__t48_c0sp32024-07-26 23:56 72K 
[ ]c0sp3__t48_c0sp3.vout2024-08-03 04:51 7.2K 
[ ]c0sp3__t49_c0sp32024-07-26 23:58 80K 
[ ]c0sp3__t49_c0sp3.vout2024-08-03 07:09 3.6K 
[ ]c0sp3__t50_c0sp32024-07-27 00:01 80K 
[ ]c0sp3__t50_c0sp3.vout2024-08-03 08:25 5.2K 
[ ]c0sp3__t51_c0sp32024-07-27 00:04 80K 
[ ]c0sp3__t51_c0sp3.vout2024-08-03 08:44 4.7K 
[ ]c0sp3__t52_c0sp32024-07-27 00:06 64K 
[ ]c0sp3__t52_c0sp3.depv12024-08-03 10:19 77  
[ ]c0sp3__t52_c0sp3.depvmin12024-08-03 10:24 77  
[ ]c0sp3__t52_c0sp3.vmin12024-08-03 10:20 4.6K 
[ ]c0sp3__t52_c0sp3.vmin1out2024-08-03 10:20 118K 
[ ]c0sp3__t52_c0sp3.vout2024-08-03 09:02 137K 
[ ]c0sp3__t53_c0sp32024-07-26 22:23 15K 
[ ]c0sp3__t53_c0sp3.depv12024-08-03 10:19 29  
[ ]c0sp3__t53_c0sp3.depvmin12024-08-03 10:24 29  
[ ]c0sp3__t53_c0sp3.vmin12024-08-03 10:20 628  
[ ]c0sp3__t53_c0sp3.vmin1out2024-08-03 10:22 13K 
[ ]c0sp3__t53_c0sp3.vout2024-08-03 05:34 13K 
[ ]c0sp3__t54_c0sp32024-07-27 00:08 40K 
[ ]c0sp3__t54_c0sp3.vout2024-08-03 04:59 6.7K 
[ ]c0sp3__t55_c0sp32024-07-27 00:10 30K 
[ ]c0sp3__t55_c0sp3.vout2024-08-03 09:27 6.7K 
[ ]c0sp3__t56_c0sp32024-07-27 00:13 60K 
[ ]c0sp3__t56_c0sp3.vout2024-08-03 07:23 7.3K 
[ ]c0sp3__t57_c0sp32024-07-27 00:15 52K 
[ ]c0sp3__t57_c0sp3.vout2024-08-03 10:11 7.3K 
[ ]c0sp3__t58_c0sp32024-07-26 22:25 46K 
[ ]c0sp3__t58_c0sp3.vout2024-08-03 07:10 7.8K 
[ ]c0sp3__t59_c0sp32024-07-26 22:27 45K 
[ ]c0sp3__t59_c0sp3.vout2024-08-03 05:04 7.3K 
[ ]c0sp3__t60_c0sp32024-07-27 00:17 52K 
[ ]c0sp3__t60_c0sp3.vout2024-08-03 07:18 5.2K 
[ ]c0sp3__t61_c0sp32024-07-27 00:19 44K 
[ ]c0sp3__t61_c0sp3.vout2024-08-03 09:49 7.3K 
[ ]c0sp3__t62_c0sp32024-07-27 00:21 47K 
[ ]c0sp3__t62_c0sp3.vout2024-08-03 07:28 7.2K 
[ ]c0sp3__t63_c0sp32024-07-27 00:24 64K 
[ ]c0sp3__t63_c0sp3.vout2024-08-03 08:49 7.8K 
[ ]c0sp3__t64_c0sp32024-07-27 00:26 68K 
[ ]c0sp3__t64_c0sp3.vout2024-08-03 05:06 7.8K 
[ ]c0sp3__t65_c0sp32024-07-27 00:29 66K 
[ ]c0sp3__t65_c0sp3.vout2024-08-03 07:11 7.3K 
[ ]c0sp3__t66_c0sp32024-07-27 00:31 79K 
[ ]c0sp3__t66_c0sp3.vout2024-08-03 05:10 7.3K 
[ ]c0sp3__t67_c0sp32024-07-26 22:30 72K 
[ ]c0sp3__t67_c0sp3.vout2024-08-03 08:06 7.3K 
[ ]c0sp3__t68_c0sp32024-07-26 22:32 62K 
[ ]c0sp3__t68_c0sp3.depv12024-08-03 10:19 45  
[ ]c0sp3__t68_c0sp3.depvmin12024-08-03 10:24 45  
[ ]c0sp3__t68_c0sp3.vmin12024-08-03 10:20 2.9K 
[ ]c0sp3__t68_c0sp3.vmin1out2024-08-03 10:22 51K 
[ ]c0sp3__t68_c0sp3.vout2024-08-03 04:17 64K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80