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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]cqc_the1__l21_cqc_the12025-09-08 20:44 15K 
[ ]cqc_the1__l21_cqc_the1.vout2025-09-15 14:23 7.3K 
[ ]cqc_the1__l40_cqc_the12025-09-08 20:45 24K 
[ ]cqc_the1__l40_cqc_the1.vout2025-09-15 19:01 4.2K 
[ ]cqc_the1__l42_cqc_the12025-09-08 20:47 42K 
[ ]cqc_the1__l42_cqc_the1.vout2025-09-15 16:31 7.3K 
[ ]cqc_the1__l43_cqc_the12025-09-08 20:48 42K 
[ ]cqc_the1__l43_cqc_the1.vout2025-09-15 16:27 7.3K 
[ ]cqc_the1__l44_cqc_the12025-09-08 20:50 43K 
[ ]cqc_the1__l44_cqc_the1.vout2025-09-15 19:41 7.3K 
[ ]cqc_the1__l45_cqc_the12025-09-08 20:52 43K 
[ ]cqc_the1__l45_cqc_the1.vout2025-09-15 18:55 7.3K 
[ ]cqc_the1__l46_cqc_the12025-09-08 20:53 43K 
[ ]cqc_the1__l46_cqc_the1.vout2025-09-15 14:16 7.3K 
[ ]cqc_the1__l47_cqc_the12025-09-08 20:55 118K 
[ ]cqc_the1__l47_cqc_the1.vout2025-09-15 15:59 7.3K 
[ ]cqc_the1__l48_cqc_the12025-09-08 20:57 43K 
[ ]cqc_the1__l48_cqc_the1.vout2025-09-15 15:21 7.3K 
[ ]cqc_the1__l49_cqc_the12025-09-08 20:58 118K 
[ ]cqc_the1__l49_cqc_the1.vout2025-09-15 14:50 7.3K 
[ ]cqc_the1__l50_cqc_the12025-09-08 21:00 118K 
[ ]cqc_the1__l50_cqc_the1.vout2025-09-15 17:23 7.3K 
[ ]cqc_the1__l52_cqc_the12025-09-08 21:01 26K 
[ ]cqc_the1__l52_cqc_the1.depv12025-09-15 19:47 83  
[ ]cqc_the1__l52_cqc_the1.depvmin12025-09-15 19:52 83  
[ ]cqc_the1__l52_cqc_the1.vmin12025-09-15 19:47 1.0K 
[ ]cqc_the1__l52_cqc_the1.vmin1out2025-09-15 19:50 18K 
[ ]cqc_the1__l52_cqc_the1.vout2025-09-15 18:45 12K 
[ ]cqc_the1__t5_cqc_the12025-09-08 19:59 20K 
[ ]cqc_the1__t5_cqc_the1.vout2025-09-15 15:02 7.3K 
[ ]cqc_the1__t6_cqc_the12025-09-08 20:00 15K 
[ ]cqc_the1__t6_cqc_the1.vout2025-09-15 18:30 7.3K 
[ ]cqc_the1__t7_cqc_the12025-09-08 20:01 16K 
[ ]cqc_the1__t7_cqc_the1.vout2025-09-15 17:43 7.3K 
[ ]cqc_the1__t8_cqc_the12025-09-08 20:02 16K 
[ ]cqc_the1__t8_cqc_the1.vout2025-09-15 14:15 7.3K 
[ ]cqc_the1__t9_cqc_the12025-09-08 20:03 17K 
[ ]cqc_the1__t9_cqc_the1.vout2025-09-15 17:13 7.3K 
[ ]cqc_the1__t10_cqc_the12025-09-08 20:04 16K 
[ ]cqc_the1__t10_cqc_the1.vout2025-09-15 18:43 7.3K 
[ ]cqc_the1__t11_cqc_the12025-09-08 20:05 16K 
[ ]cqc_the1__t11_cqc_the1.vout2025-09-15 16:11 7.3K 
[ ]cqc_the1__t12_cqc_the12025-09-08 20:06 16K 
[ ]cqc_the1__t12_cqc_the1.vout2025-09-15 13:32 7.3K 
[ ]cqc_the1__t13_cqc_the12025-09-08 20:07 17K 
[ ]cqc_the1__t13_cqc_the1.vout2025-09-15 17:00 6.8K 
[ ]cqc_the1__t14_cqc_the12025-09-08 20:08 16K 
[ ]cqc_the1__t14_cqc_the1.vout2025-09-15 15:52 7.3K 
[ ]cqc_the1__t15_cqc_the12025-09-08 19:37 21K 
[ ]cqc_the1__t15_cqc_the1.vout2025-09-15 17:07 2.0K 
[ ]cqc_the1__t16_cqc_the12025-09-08 19:38 15K 
[ ]cqc_the1__t16_cqc_the1.depv12025-09-15 19:47 211  
[ ]cqc_the1__t16_cqc_the1.depvmin12025-09-15 19:52 149  
[ ]cqc_the1__t16_cqc_the1.vmin12025-09-15 19:47 2.2K 
[ ]cqc_the1__t16_cqc_the1.vmin1out2025-09-15 19:48 29K 
[ ]cqc_the1__t16_cqc_the1.vout2025-09-15 13:54 32K 
[ ]cqc_the1__t17_cqc_the12025-09-08 20:09 15K 
[ ]cqc_the1__t17_cqc_the1.vout2025-09-15 18:20 7.3K 
[ ]cqc_the1__t18_cqc_the12025-09-08 20:10 15K 
[ ]cqc_the1__t18_cqc_the1.vout2025-09-15 17:02 7.3K 
[ ]cqc_the1__t19_cqc_the12025-09-08 19:39 14K 
[ ]cqc_the1__t19_cqc_the1.vout2025-09-15 19:13 7.4K 
[ ]cqc_the1__t20_cqc_the12025-09-08 20:11 15K 
[ ]cqc_the1__t20_cqc_the1.depv12025-09-15 19:47 148  
[ ]cqc_the1__t20_cqc_the1.depvmin12025-09-15 19:52 112  
[ ]cqc_the1__t20_cqc_the1.vmin12025-09-15 19:47 1.8K 
[ ]cqc_the1__t20_cqc_the1.vmin1out2025-09-15 19:48 25K 
[ ]cqc_the1__t20_cqc_the1.vout2025-09-15 18:52 40K 
[ ]cqc_the1__t21_cqc_the12025-09-08 19:40 19K 
[ ]cqc_the1__t21_cqc_the1.depv12025-09-15 19:47 72  
[ ]cqc_the1__t21_cqc_the1.depvmin12025-09-15 19:52 72  
[ ]cqc_the1__t21_cqc_the1.vmin12025-09-15 19:47 454  
[ ]cqc_the1__t21_cqc_the1.vmin1out2025-09-15 19:47 4.6K 
[ ]cqc_the1__t21_cqc_the1.vout2025-09-15 17:24 5.5K 
[ ]cqc_the1__t22_cqc_the12025-09-08 20:11 17K 
[ ]cqc_the1__t22_cqc_the1.depv12025-09-15 19:47 214  
[ ]cqc_the1__t22_cqc_the1.depvmin12025-09-15 19:52 214  
[ ]cqc_the1__t22_cqc_the1.vmin12025-09-15 19:47 1.4K 
[ ]cqc_the1__t22_cqc_the1.vmin1out2025-09-15 19:50 21K 
[ ]cqc_the1__t22_cqc_the1.vout2025-09-15 18:07 21K 
[ ]cqc_the1__t23_cqc_the12025-09-08 20:13 35K 
[ ]cqc_the1__t23_cqc_the1.vout2025-09-15 18:41 4.2K 
[ ]cqc_the1__t24_cqc_the12025-09-08 19:41 26K 
[ ]cqc_the1__t24_cqc_the1.depv12025-09-15 19:47 101  
[ ]cqc_the1__t24_cqc_the1.depvmin12025-09-15 19:52 101  
[ ]cqc_the1__t24_cqc_the1.vmin12025-09-15 19:47 1.1K 
[ ]cqc_the1__t24_cqc_the1.vmin1out2025-09-15 19:50 15K 
[ ]cqc_the1__t24_cqc_the1.vout2025-09-15 19:23 15K 
[ ]cqc_the1__t25_cqc_the12025-09-08 20:14 49K 
[ ]cqc_the1__t25_cqc_the1.depv12025-09-15 19:47 524  
[ ]cqc_the1__t25_cqc_the1.depvmin12025-09-15 19:52 368  
[ ]cqc_the1__t25_cqc_the1.vmin12025-09-15 19:47 4.1K 
[ ]cqc_the1__t25_cqc_the1.vmin1out2025-09-15 19:47 30K 
[ ]cqc_the1__t25_cqc_the1.vout2025-09-15 14:04 44K 
[ ]cqc_the1__t26_cqc_the12025-09-08 20:15 40K 
[ ]cqc_the1__t26_cqc_the1.vout2025-09-15 13:43 7.9K 
[ ]cqc_the1__t27_cqc_the12025-09-08 20:17 112K 
[ ]cqc_the1__t27_cqc_the1.vout2025-09-15 13:43 7.4K 
[ ]cqc_the1__t28_cqc_the12025-09-08 20:19 52K 
[ ]cqc_the1__t28_cqc_the1.vout2025-09-15 18:21 7.3K 
[ ]cqc_the1__t29_cqc_the12025-09-08 20:21 69K 
[ ]cqc_the1__t29_cqc_the1.vout2025-09-15 14:50 7.3K 
[ ]cqc_the1__t30_cqc_the12025-09-08 20:22 40K 
[ ]cqc_the1__t30_cqc_the1.vout2025-09-15 18:53 4.2K 
[ ]cqc_the1__t31_cqc_the12025-09-08 20:24 45K 
[ ]cqc_the1__t31_cqc_the1.vout2025-09-15 19:31 4.2K 
[ ]cqc_the1__t32_cqc_the12025-09-08 20:25 27K 
[ ]cqc_the1__t32_cqc_the1.depv12025-09-15 19:47 295  
[ ]cqc_the1__t32_cqc_the1.depvmin12025-09-15 19:52 230  
[ ]cqc_the1__t32_cqc_the1.vmin12025-09-15 19:47 2.9K 
[ ]cqc_the1__t32_cqc_the1.vmin1out2025-09-15 19:49 29K 
[ ]cqc_the1__t32_cqc_the1.vout2025-09-15 17:04 34K 
[ ]cqc_the1__t33_cqc_the12025-09-08 20:42 42K 
[ ]cqc_the1__t33_cqc_the1.vout2025-09-15 15:10 4.2K 
[ ]cqc_the1__t34_cqc_the12025-09-08 19:58 30K 
[ ]cqc_the1__t34_cqc_the1.vout2025-09-15 19:11 7.3K 
[ ]cqc_the1__t35_cqc_the12025-09-08 20:43 25K 
[ ]cqc_the1__t35_cqc_the1.vout2025-09-15 16:28 4.2K 
[ ]cqc_the1__t36_cqc_the12025-09-08 20:26 26K 
[ ]cqc_the1__t36_cqc_the1.depv12025-09-15 19:47 85  
[ ]cqc_the1__t36_cqc_the1.depvmin12025-09-15 19:52 73  
[ ]cqc_the1__t36_cqc_the1.vmin12025-09-15 19:47 1.0K 
[ ]cqc_the1__t36_cqc_the1.vmin1out2025-09-15 19:50 24K 
[ ]cqc_the1__t36_cqc_the1.vout2025-09-15 19:27 28K 
[ ]cqc_the1__t37_cqc_the12025-09-08 20:28 47K 
[ ]cqc_the1__t37_cqc_the1.vout2025-09-15 17:50 3.7K 
[ ]cqc_the1__t38_cqc_the12025-09-08 20:29 15K 
[ ]cqc_the1__t38_cqc_the1.depv12025-09-15 19:47 108  
[ ]cqc_the1__t38_cqc_the1.depvmin12025-09-15 19:52 96  
[ ]cqc_the1__t38_cqc_the1.vmin12025-09-15 19:47 1.1K 
[ ]cqc_the1__t38_cqc_the1.vmin1out2025-09-15 19:49 9.5K 
[ ]cqc_the1__t38_cqc_the1.vout2025-09-15 15:05 11K 
[ ]cqc_the1__t39_cqc_the12025-09-08 19:42 15K 
[ ]cqc_the1__t39_cqc_the1.depv12025-09-15 19:47 54  
[ ]cqc_the1__t39_cqc_the1.depvmin12025-09-15 19:52 54  
[ ]cqc_the1__t39_cqc_the1.vmin12025-09-15 19:47 686  
[ ]cqc_the1__t39_cqc_the1.vmin1out2025-09-15 19:50 6.0K 
[ ]cqc_the1__t39_cqc_the1.vout2025-09-15 17:06 7.0K 
[ ]cqc_the1__t40_cqc_the12025-09-08 19:42 14K 
[ ]cqc_the1__t40_cqc_the1.depv12025-09-15 19:47 53  
[ ]cqc_the1__t40_cqc_the1.depvmin12025-09-15 19:52 53  
[ ]cqc_the1__t40_cqc_the1.vmin12025-09-15 19:47 459  
[ ]cqc_the1__t40_cqc_the1.vmin1out2025-09-15 19:48 3.4K 
[ ]cqc_the1__t40_cqc_the1.vout2025-09-15 13:25 3.4K 
[ ]cqc_the1__t41_cqc_the12025-09-08 20:30 15K 
[ ]cqc_the1__t41_cqc_the1.vout2025-09-15 16:41 2.0K 
[ ]cqc_the1__t42_cqc_the12025-09-08 20:31 16K 
[ ]cqc_the1__t42_cqc_the1.vout2025-09-15 14:11 2.0K 
[ ]cqc_the1__t43_cqc_the12025-09-08 20:32 16K 
[ ]cqc_the1__t43_cqc_the1.vout2025-09-15 13:56 2.0K 
[ ]cqc_the1__t44_cqc_the12025-09-08 20:33 17K 
[ ]cqc_the1__t44_cqc_the1.vout2025-09-15 17:07 2.0K 
[ ]cqc_the1__t45_cqc_the12025-09-08 20:34 16K 
[ ]cqc_the1__t45_cqc_the1.vout2025-09-15 17:48 2.0K 
[ ]cqc_the1__t46_cqc_the12025-09-08 20:34 16K 
[ ]cqc_the1__t46_cqc_the1.vout2025-09-15 18:26 2.0K 
[ ]cqc_the1__t47_cqc_the12025-09-08 19:43 17K 
[ ]cqc_the1__t47_cqc_the1.depv12025-09-15 19:47 53  
[ ]cqc_the1__t47_cqc_the1.depvmin12025-09-15 19:52 53  
[ ]cqc_the1__t47_cqc_the1.vmin12025-09-15 19:47 797  
[ ]cqc_the1__t47_cqc_the1.vmin1out2025-09-15 19:49 6.6K 
[ ]cqc_the1__t47_cqc_the1.vout2025-09-15 19:08 6.7K 
[ ]cqc_the1__t48_cqc_the12025-09-08 19:44 17K 
[ ]cqc_the1__t48_cqc_the1.depv12025-09-15 19:47 53  
[ ]cqc_the1__t48_cqc_the1.depvmin12025-09-15 19:52 53  
[ ]cqc_the1__t48_cqc_the1.vmin12025-09-15 19:47 1.1K 
[ ]cqc_the1__t48_cqc_the1.vmin1out2025-09-15 19:48 12K 
[ ]cqc_the1__t48_cqc_the1.vout2025-09-15 17:31 13K 
[ ]cqc_the1__t49_cqc_the12025-09-08 19:45 16K 
[ ]cqc_the1__t49_cqc_the1.depv12025-09-15 19:47 53  
[ ]cqc_the1__t49_cqc_the1.depvmin12025-09-15 19:52 53  
[ ]cqc_the1__t49_cqc_the1.vmin12025-09-15 19:47 1.2K 
[ ]cqc_the1__t49_cqc_the1.vmin1out2025-09-15 19:47 15K 
[ ]cqc_the1__t49_cqc_the1.vout2025-09-15 19:27 15K 
[ ]cqc_the1__t50_cqc_the12025-09-08 19:46 15K 
[ ]cqc_the1__t50_cqc_the1.depv12025-09-15 19:47 100  
[ ]cqc_the1__t50_cqc_the1.depvmin12025-09-15 19:52 100  
[ ]cqc_the1__t50_cqc_the1.vmin12025-09-15 19:47 1.2K 
[ ]cqc_the1__t50_cqc_the1.vmin1out2025-09-15 19:49 11K 
[ ]cqc_the1__t50_cqc_the1.vout2025-09-15 18:42 10K 
[ ]cqc_the1__t51_cqc_the12025-09-08 19:47 16K 
[ ]cqc_the1__t51_cqc_the1.depv12025-09-15 19:47 150  
[ ]cqc_the1__t51_cqc_the1.depvmin12025-09-15 19:52 150  
[ ]cqc_the1__t51_cqc_the1.vmin12025-09-15 19:47 1.8K 
[ ]cqc_the1__t51_cqc_the1.vmin1out2025-09-15 19:50 15K 
[ ]cqc_the1__t51_cqc_the1.vout2025-09-15 18:35 17K 
[ ]cqc_the1__t52_cqc_the12025-09-08 19:48 16K 
[ ]cqc_the1__t52_cqc_the1.depv12025-09-15 19:47 150  
[ ]cqc_the1__t52_cqc_the1.depvmin12025-09-15 19:52 150  
[ ]cqc_the1__t52_cqc_the1.vmin12025-09-15 19:47 2.0K 
[ ]cqc_the1__t52_cqc_the1.vmin1out2025-09-15 19:49 18K 
[ ]cqc_the1__t52_cqc_the1.vout2025-09-15 14:24 20K 
[ ]cqc_the1__t53_cqc_the12025-09-08 19:49 17K 
[ ]cqc_the1__t53_cqc_the1.depv12025-09-15 19:47 119  
[ ]cqc_the1__t53_cqc_the1.depvmin12025-09-15 19:52 119  
[ ]cqc_the1__t53_cqc_the1.vmin12025-09-15 19:47 2.0K 
[ ]cqc_the1__t53_cqc_the1.vmin1out2025-09-15 19:47 22K 
[ ]cqc_the1__t53_cqc_the1.vout2025-09-15 15:11 22K 
[ ]cqc_the1__t54_cqc_the12025-09-08 19:50 16K 
[ ]cqc_the1__t54_cqc_the1.depv12025-09-15 19:47 120  
[ ]cqc_the1__t54_cqc_the1.depvmin12025-09-15 19:52 101  
[ ]cqc_the1__t54_cqc_the1.vmin12025-09-15 19:47 1.7K 
[ ]cqc_the1__t54_cqc_the1.vmin1out2025-09-15 19:48 16K 
[ ]cqc_the1__t54_cqc_the1.vout2025-09-15 16:14 18K 
[ ]cqc_the1__t55_cqc_the12025-09-08 19:50 16K 
[ ]cqc_the1__t55_cqc_the1.depv12025-09-15 19:47 156  
[ ]cqc_the1__t55_cqc_the1.depvmin12025-09-15 19:52 136  
[ ]cqc_the1__t55_cqc_the1.vmin12025-09-15 19:47 2.1K 
[ ]cqc_the1__t55_cqc_the1.vmin1out2025-09-15 19:50 19K 
[ ]cqc_the1__t55_cqc_the1.vout2025-09-15 13:41 24K 
[ ]cqc_the1__t56_cqc_the12025-09-08 19:51 16K 
[ ]cqc_the1__t56_cqc_the1.depv12025-09-15 19:47 120  
[ ]cqc_the1__t56_cqc_the1.depvmin12025-09-15 19:52 120  
[ ]cqc_the1__t56_cqc_the1.vmin12025-09-15 19:47 1.7K 
[ ]cqc_the1__t56_cqc_the1.vmin1out2025-09-15 19:48 16K 
[ ]cqc_the1__t56_cqc_the1.vout2025-09-15 18:00 17K 
[ ]cqc_the1__t57_cqc_the12025-09-08 19:52 17K 
[ ]cqc_the1__t57_cqc_the1.depv12025-09-15 19:47 190  
[ ]cqc_the1__t57_cqc_the1.depvmin12025-09-15 19:52 190  
[ ]cqc_the1__t57_cqc_the1.vmin12025-09-15 19:47 2.7K 
[ ]cqc_the1__t57_cqc_the1.vmin1out2025-09-15 19:48 28K 
[ ]cqc_the1__t57_cqc_the1.vout2025-09-15 17:51 35K 
[ ]cqc_the1__t58_cqc_the12025-09-08 19:53 16K 
[ ]cqc_the1__t58_cqc_the1.vout2025-09-15 14:52 2.0K 
[ ]cqc_the1__t59_cqc_the12025-09-08 20:35 16K 
[ ]cqc_the1__t59_cqc_the1.vout2025-09-15 19:34 7.3K 
[ ]cqc_the1__t60_cqc_the12025-09-08 19:54 15K 
[ ]cqc_the1__t60_cqc_the1.vout2025-09-15 18:39 2.0K 
[ ]cqc_the1__t61_cqc_the12025-09-08 20:36 16K 
[ ]cqc_the1__t61_cqc_the1.vout2025-09-15 17:23 2.0K 
[ ]cqc_the1__t62_cqc_the12025-09-08 20:37 16K 
[ ]cqc_the1__t62_cqc_the1.vout2025-09-15 18:29 2.0K 
[ ]cqc_the1__t63_cqc_the12025-09-08 20:38 17K 
[ ]cqc_the1__t63_cqc_the1.vout2025-09-15 14:07 2.0K 
[ ]cqc_the1__t64_cqc_the12025-09-08 20:39 16K 
[ ]cqc_the1__t64_cqc_the1.vout2025-09-15 16:35 2.0K 
[ ]cqc_the1__t65_cqc_the12025-09-08 20:40 16K 
[ ]cqc_the1__t65_cqc_the1.vout2025-09-15 19:07 2.0K 
[ ]cqc_the1__t66_cqc_the12025-09-08 19:55 16K 
[ ]cqc_the1__t66_cqc_the1.vout2025-09-15 19:18 2.0K 
[ ]cqc_the1__t67_cqc_the12025-09-08 19:56 17K 
[ ]cqc_the1__t67_cqc_the1.vout2025-09-15 14:22 2.0K 
[ ]cqc_the1__t68_cqc_the12025-09-08 19:57 16K 
[ ]cqc_the1__t68_cqc_the1.vout2025-09-15 16:29 2.0K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80