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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]cqc_the1__l21_cqc_the12021-07-18 08:33 15K 
[ ]cqc_the1__l21_cqc_the1.vout2021-07-25 16:06 7.3K 
[ ]cqc_the1__l40_cqc_the12021-07-18 08:34 23K 
[ ]cqc_the1__l40_cqc_the1.vout2021-07-25 17:32 5.3K 
[ ]cqc_the1__l42_cqc_the12021-07-18 08:34 41K 
[ ]cqc_the1__l42_cqc_the1.vout2021-07-25 18:40 7.3K 
[ ]cqc_the1__l43_cqc_the12021-07-18 08:35 41K 
[ ]cqc_the1__l43_cqc_the1.vout2021-07-25 18:28 7.3K 
[ ]cqc_the1__l44_cqc_the12021-07-18 08:35 41K 
[ ]cqc_the1__l44_cqc_the1.vout2021-07-25 15:07 7.3K 
[ ]cqc_the1__l45_cqc_the12021-07-18 08:36 41K 
[ ]cqc_the1__l45_cqc_the1.vout2021-07-25 20:20 7.3K 
[ ]cqc_the1__l46_cqc_the12021-07-18 08:36 41K 
[ ]cqc_the1__l46_cqc_the1.vout2021-07-25 17:31 7.3K 
[ ]cqc_the1__l47_cqc_the12021-07-18 08:36 110K 
[ ]cqc_the1__l47_cqc_the1.vout2021-07-25 16:35 7.3K 
[ ]cqc_the1__l48_cqc_the12021-07-18 08:37 41K 
[ ]cqc_the1__l48_cqc_the1.vout2021-07-25 16:28 7.3K 
[ ]cqc_the1__l49_cqc_the12021-07-18 08:37 110K 
[ ]cqc_the1__l49_cqc_the1.vout2021-07-25 18:57 7.3K 
[ ]cqc_the1__l50_cqc_the12021-07-18 08:38 110K 
[ ]cqc_the1__l50_cqc_the1.vout2021-07-25 20:49 7.3K 
[ ]cqc_the1__l52_cqc_the12021-07-18 08:38 25K 
[ ]cqc_the1__l52_cqc_the1.depv12021-07-25 20:57 83  
[ ]cqc_the1__l52_cqc_the1.depvmin12021-07-25 21:03 83  
[ ]cqc_the1__l52_cqc_the1.vmin12021-07-25 20:57 1.0K 
[ ]cqc_the1__l52_cqc_the1.vmin1out2021-07-25 20:58 18K 
[ ]cqc_the1__l52_cqc_the1.vout2021-07-25 17:13 12K 
[ ]cqc_the1__t5_cqc_the12021-07-18 08:21 20K 
[ ]cqc_the1__t5_cqc_the1.vout2021-07-25 20:50 7.3K 
[ ]cqc_the1__t6_cqc_the12021-07-18 08:22 15K 
[ ]cqc_the1__t6_cqc_the1.vout2021-07-25 18:29 7.3K 
[ ]cqc_the1__t7_cqc_the12021-07-18 08:22 16K 
[ ]cqc_the1__t7_cqc_the1.vout2021-07-25 18:34 7.3K 
[ ]cqc_the1__t8_cqc_the12021-07-18 08:22 16K 
[ ]cqc_the1__t8_cqc_the1.vout2021-07-25 20:36 7.3K 
[ ]cqc_the1__t9_cqc_the12021-07-18 08:22 17K 
[ ]cqc_the1__t9_cqc_the1.vout2021-07-25 15:48 7.3K 
[ ]cqc_the1__t10_cqc_the12021-07-18 08:23 16K 
[ ]cqc_the1__t10_cqc_the1.vout2021-07-25 17:21 7.3K 
[ ]cqc_the1__t11_cqc_the12021-07-18 08:23 15K 
[ ]cqc_the1__t11_cqc_the1.vout2021-07-25 20:38 7.4K 
[ ]cqc_the1__t12_cqc_the12021-07-18 08:23 16K 
[ ]cqc_the1__t12_cqc_the1.vout2021-07-25 15:35 7.3K 
[ ]cqc_the1__t13_cqc_the12021-07-18 08:23 16K 
[ ]cqc_the1__t13_cqc_the1.vout2021-07-25 18:04 6.8K 
[ ]cqc_the1__t14_cqc_the12021-07-18 08:24 15K 
[ ]cqc_the1__t14_cqc_the1.vout2021-07-25 19:52 7.3K 
[ ]cqc_the1__t15_cqc_the12021-07-18 08:15 20K 
[ ]cqc_the1__t15_cqc_the1.vout2021-07-25 20:03 2.0K 
[ ]cqc_the1__t16_cqc_the12021-07-18 08:15 15K 
[ ]cqc_the1__t16_cqc_the1.depv12021-07-25 20:57 151  
[ ]cqc_the1__t16_cqc_the1.depvmin12021-07-25 21:03 151  
[ ]cqc_the1__t16_cqc_the1.vmin12021-07-25 20:57 1.7K 
[ ]cqc_the1__t16_cqc_the1.vmin1out2021-07-25 21:01 29K 
[ ]cqc_the1__t16_cqc_the1.vout2021-07-25 15:46 32K 
[ ]cqc_the1__t17_cqc_the12021-07-18 08:24 15K 
[ ]cqc_the1__t17_cqc_the1.vout2021-07-25 15:19 7.3K 
[ ]cqc_the1__t18_cqc_the12021-07-18 08:24 15K 
[ ]cqc_the1__t18_cqc_the1.vout2021-07-25 18:50 7.3K 
[ ]cqc_the1__t19_cqc_the12021-07-18 08:16 14K 
[ ]cqc_the1__t19_cqc_the1.vout2021-07-25 19:51 7.3K 
[ ]cqc_the1__t20_cqc_the12021-07-18 08:24 15K 
[ ]cqc_the1__t20_cqc_the1.depv12021-07-25 20:57 148  
[ ]cqc_the1__t20_cqc_the1.depvmin12021-07-25 21:03 112  
[ ]cqc_the1__t20_cqc_the1.vmin12021-07-25 20:57 1.8K 
[ ]cqc_the1__t20_cqc_the1.vmin1out2021-07-25 21:02 25K 
[ ]cqc_the1__t20_cqc_the1.vout2021-07-25 19:13 40K 
[ ]cqc_the1__t21_cqc_the12021-07-18 08:16 19K 
[ ]cqc_the1__t21_cqc_the1.depv12021-07-25 20:57 72  
[ ]cqc_the1__t21_cqc_the1.depvmin12021-07-25 21:03 72  
[ ]cqc_the1__t21_cqc_the1.vmin12021-07-25 20:57 454  
[ ]cqc_the1__t21_cqc_the1.vmin1out2021-07-25 21:00 4.6K 
[ ]cqc_the1__t21_cqc_the1.vout2021-07-25 14:24 5.5K 
[ ]cqc_the1__t22_cqc_the12021-07-18 08:25 16K 
[ ]cqc_the1__t22_cqc_the1.depv12021-07-25 20:57 214  
[ ]cqc_the1__t22_cqc_the1.depvmin12021-07-25 21:03 214  
[ ]cqc_the1__t22_cqc_the1.vmin12021-07-25 20:57 1.4K 
[ ]cqc_the1__t22_cqc_the1.vmin1out2021-07-25 20:59 21K 
[ ]cqc_the1__t22_cqc_the1.vout2021-07-25 18:46 21K 
[ ]cqc_the1__t23_cqc_the12021-07-18 08:25 34K 
[ ]cqc_the1__t23_cqc_the1.vout2021-07-25 18:21 4.2K 
[ ]cqc_the1__t24_cqc_the12021-07-18 08:16 25K 
[ ]cqc_the1__t24_cqc_the1.depv12021-07-25 20:57 101  
[ ]cqc_the1__t24_cqc_the1.depvmin12021-07-25 21:03 101  
[ ]cqc_the1__t24_cqc_the1.vmin12021-07-25 20:57 1.1K 
[ ]cqc_the1__t24_cqc_the1.vmin1out2021-07-25 21:01 15K 
[ ]cqc_the1__t24_cqc_the1.vout2021-07-25 14:46 15K 
[ ]cqc_the1__t25_cqc_the12021-07-18 08:25 46K 
[ ]cqc_the1__t25_cqc_the1.depv12021-07-25 20:57 511  
[ ]cqc_the1__t25_cqc_the1.depvmin12021-07-25 21:03 342  
[ ]cqc_the1__t25_cqc_the1.vmin12021-07-25 20:57 4.1K 
[ ]cqc_the1__t25_cqc_the1.vmin1out2021-07-25 21:00 28K 
[ ]cqc_the1__t25_cqc_the1.vout2021-07-25 14:57 41K 
[ ]cqc_the1__t26_cqc_the12021-07-18 08:26 39K 
[ ]cqc_the1__t26_cqc_the1.vout2021-07-25 16:30 7.9K 
[ ]cqc_the1__t27_cqc_the12021-07-18 08:26 106K 
[ ]cqc_the1__t27_cqc_the1.vout2021-07-25 19:55 7.4K 
[ ]cqc_the1__t28_cqc_the12021-07-18 08:27 49K 
[ ]cqc_the1__t28_cqc_the1.vout2021-07-25 20:47 7.3K 
[ ]cqc_the1__t29_cqc_the12021-07-18 08:27 65K 
[ ]cqc_the1__t29_cqc_the1.vout2021-07-25 15:12 7.3K 
[ ]cqc_the1__t30_cqc_the12021-07-18 08:28 39K 
[ ]cqc_the1__t30_cqc_the1.vout2021-07-25 14:28 4.2K 
[ ]cqc_the1__t31_cqc_the12021-07-18 08:28 43K 
[ ]cqc_the1__t31_cqc_the1.vout2021-07-25 18:49 3.7K 
[ ]cqc_the1__t32_cqc_the12021-07-18 08:28 26K 
[ ]cqc_the1__t32_cqc_the1.depv12021-07-25 20:57 292  
[ ]cqc_the1__t32_cqc_the1.depvmin12021-07-25 21:03 218  
[ ]cqc_the1__t32_cqc_the1.vmin12021-07-25 20:57 2.9K 
[ ]cqc_the1__t32_cqc_the1.vmin1out2021-07-25 21:02 28K 
[ ]cqc_the1__t32_cqc_the1.vout2021-07-25 17:19 29K 
[ ]cqc_the1__t33_cqc_the12021-07-18 08:33 41K 
[ ]cqc_the1__t33_cqc_the1.vout2021-07-25 19:57 4.2K 
[ ]cqc_the1__t34_cqc_the12021-07-18 08:21 29K 
[ ]cqc_the1__t34_cqc_the1.vout2021-07-25 20:01 7.3K 
[ ]cqc_the1__t35_cqc_the12021-07-18 08:33 24K 
[ ]cqc_the1__t35_cqc_the1.vout2021-07-25 17:57 4.2K 
[ ]cqc_the1__t36_cqc_the12021-07-18 08:29 25K 
[ ]cqc_the1__t36_cqc_the1.depv12021-07-25 20:57 85  
[ ]cqc_the1__t36_cqc_the1.depvmin12021-07-25 21:03 73  
[ ]cqc_the1__t36_cqc_the1.vmin12021-07-25 20:57 1.0K 
[ ]cqc_the1__t36_cqc_the1.vmin1out2021-07-25 21:02 24K 
[ ]cqc_the1__t36_cqc_the1.vout2021-07-25 19:12 27K 
[ ]cqc_the1__t37_cqc_the12021-07-18 08:29 45K 
[ ]cqc_the1__t37_cqc_the1.vout2021-07-25 20:30 3.7K 
[ ]cqc_the1__t38_cqc_the12021-07-18 08:29 14K 
[ ]cqc_the1__t38_cqc_the1.depv12021-07-25 20:57 108  
[ ]cqc_the1__t38_cqc_the1.depvmin12021-07-25 21:03 96  
[ ]cqc_the1__t38_cqc_the1.vmin12021-07-25 20:57 1.1K 
[ ]cqc_the1__t38_cqc_the1.vmin1out2021-07-25 21:00 9.5K 
[ ]cqc_the1__t38_cqc_the1.vout2021-07-25 14:26 11K 
[ ]cqc_the1__t39_cqc_the12021-07-18 08:16 14K 
[ ]cqc_the1__t39_cqc_the1.depv12021-07-25 20:57 54  
[ ]cqc_the1__t39_cqc_the1.depvmin12021-07-25 21:03 54  
[ ]cqc_the1__t39_cqc_the1.vmin12021-07-25 20:57 686  
[ ]cqc_the1__t39_cqc_the1.vmin1out2021-07-25 20:59 6.0K 
[ ]cqc_the1__t39_cqc_the1.vout2021-07-25 14:23 7.0K 
[ ]cqc_the1__t40_cqc_the12021-07-18 08:17 14K 
[ ]cqc_the1__t40_cqc_the1.depv12021-07-25 20:57 53  
[ ]cqc_the1__t40_cqc_the1.depvmin12021-07-25 21:03 53  
[ ]cqc_the1__t40_cqc_the1.vmin12021-07-25 20:57 459  
[ ]cqc_the1__t40_cqc_the1.vmin1out2021-07-25 21:01 3.4K 
[ ]cqc_the1__t40_cqc_the1.vout2021-07-25 18:15 3.4K 
[ ]cqc_the1__t41_cqc_the12021-07-18 08:30 15K 
[ ]cqc_the1__t41_cqc_the1.vout2021-07-25 20:25 2.0K 
[ ]cqc_the1__t42_cqc_the12021-07-18 08:30 16K 
[ ]cqc_the1__t42_cqc_the1.vout2021-07-25 16:41 2.0K 
[ ]cqc_the1__t43_cqc_the12021-07-18 08:30 16K 
[ ]cqc_the1__t43_cqc_the1.vout2021-07-25 16:45 2.0K 
[ ]cqc_the1__t44_cqc_the12021-07-18 08:30 16K 
[ ]cqc_the1__t44_cqc_the1.vout2021-07-25 15:06 2.0K 
[ ]cqc_the1__t45_cqc_the12021-07-18 08:31 16K 
[ ]cqc_the1__t45_cqc_the1.vout2021-07-25 18:17 2.0K 
[ ]cqc_the1__t46_cqc_the12021-07-18 08:31 15K 
[ ]cqc_the1__t46_cqc_the1.vout2021-07-25 19:24 2.0K 
[ ]cqc_the1__t47_cqc_the12021-07-18 08:17 16K 
[ ]cqc_the1__t47_cqc_the1.depv12021-07-25 20:57 53  
[ ]cqc_the1__t47_cqc_the1.depvmin12021-07-25 21:03 53  
[ ]cqc_the1__t47_cqc_the1.vmin12021-07-25 20:57 797  
[ ]cqc_the1__t47_cqc_the1.vmin1out2021-07-25 21:01 6.6K 
[ ]cqc_the1__t47_cqc_the1.vout2021-07-25 16:16 6.7K 
[ ]cqc_the1__t48_cqc_the12021-07-18 08:17 17K 
[ ]cqc_the1__t48_cqc_the1.depv12021-07-25 20:57 53  
[ ]cqc_the1__t48_cqc_the1.depvmin12021-07-25 21:03 53  
[ ]cqc_the1__t48_cqc_the1.vmin12021-07-25 20:57 1.1K 
[ ]cqc_the1__t48_cqc_the1.vmin1out2021-07-25 20:58 12K 
[ ]cqc_the1__t48_cqc_the1.vout2021-07-25 15:46 13K 
[ ]cqc_the1__t49_cqc_the12021-07-18 08:17 16K 
[ ]cqc_the1__t49_cqc_the1.depv12021-07-25 20:57 53  
[ ]cqc_the1__t49_cqc_the1.depvmin12021-07-25 21:03 53  
[ ]cqc_the1__t49_cqc_the1.vmin12021-07-25 20:57 1.2K 
[ ]cqc_the1__t49_cqc_the1.vmin1out2021-07-25 20:58 15K 
[ ]cqc_the1__t49_cqc_the1.vout2021-07-25 16:57 15K 
[ ]cqc_the1__t50_cqc_the12021-07-18 08:18 15K 
[ ]cqc_the1__t50_cqc_the1.depv12021-07-25 20:57 100  
[ ]cqc_the1__t50_cqc_the1.depvmin12021-07-25 21:03 100  
[ ]cqc_the1__t50_cqc_the1.vmin12021-07-25 20:57 1.2K 
[ ]cqc_the1__t50_cqc_the1.vmin1out2021-07-25 20:58 11K 
[ ]cqc_the1__t50_cqc_the1.vout2021-07-25 17:29 10K 
[ ]cqc_the1__t51_cqc_the12021-07-18 08:18 16K 
[ ]cqc_the1__t51_cqc_the1.depv12021-07-25 20:57 150  
[ ]cqc_the1__t51_cqc_the1.depvmin12021-07-25 21:03 150  
[ ]cqc_the1__t51_cqc_the1.vmin12021-07-25 20:57 1.8K 
[ ]cqc_the1__t51_cqc_the1.vmin1out2021-07-25 20:58 15K 
[ ]cqc_the1__t51_cqc_the1.vout2021-07-25 15:45 17K 
[ ]cqc_the1__t52_cqc_the12021-07-18 08:18 16K 
[ ]cqc_the1__t52_cqc_the1.depv12021-07-25 20:57 150  
[ ]cqc_the1__t52_cqc_the1.depvmin12021-07-25 21:03 150  
[ ]cqc_the1__t52_cqc_the1.vmin12021-07-25 20:57 2.0K 
[ ]cqc_the1__t52_cqc_the1.vmin1out2021-07-25 21:01 18K 
[ ]cqc_the1__t52_cqc_the1.vout2021-07-25 14:54 20K 
[ ]cqc_the1__t53_cqc_the12021-07-18 08:18 17K 
[ ]cqc_the1__t53_cqc_the1.depv12021-07-25 20:57 119  
[ ]cqc_the1__t53_cqc_the1.depvmin12021-07-25 21:03 119  
[ ]cqc_the1__t53_cqc_the1.vmin12021-07-25 20:57 2.0K 
[ ]cqc_the1__t53_cqc_the1.vmin1out2021-07-25 20:58 22K 
[ ]cqc_the1__t53_cqc_the1.vout2021-07-25 20:51 22K 
[ ]cqc_the1__t54_cqc_the12021-07-18 08:19 16K 
[ ]cqc_the1__t54_cqc_the1.depv12021-07-25 20:57 120  
[ ]cqc_the1__t54_cqc_the1.depvmin12021-07-25 21:03 101  
[ ]cqc_the1__t54_cqc_the1.vmin12021-07-25 20:57 1.7K 
[ ]cqc_the1__t54_cqc_the1.vmin1out2021-07-25 20:58 16K 
[ ]cqc_the1__t54_cqc_the1.vout2021-07-25 17:01 18K 
[ ]cqc_the1__t55_cqc_the12021-07-18 08:19 15K 
[ ]cqc_the1__t55_cqc_the1.depv12021-07-25 20:57 156  
[ ]cqc_the1__t55_cqc_the1.depvmin12021-07-25 21:03 136  
[ ]cqc_the1__t55_cqc_the1.vmin12021-07-25 20:57 2.1K 
[ ]cqc_the1__t55_cqc_the1.vmin1out2021-07-25 20:58 19K 
[ ]cqc_the1__t55_cqc_the1.vout2021-07-25 19:12 24K 
[ ]cqc_the1__t56_cqc_the12021-07-18 08:19 16K 
[ ]cqc_the1__t56_cqc_the1.depv12021-07-25 20:57 120  
[ ]cqc_the1__t56_cqc_the1.depvmin12021-07-25 21:03 120  
[ ]cqc_the1__t56_cqc_the1.vmin12021-07-25 20:57 1.7K 
[ ]cqc_the1__t56_cqc_the1.vmin1out2021-07-25 20:58 16K 
[ ]cqc_the1__t56_cqc_the1.vout2021-07-25 19:29 17K 
[ ]cqc_the1__t57_cqc_the12021-07-18 08:19 17K 
[ ]cqc_the1__t57_cqc_the1.depv12021-07-25 20:57 190  
[ ]cqc_the1__t57_cqc_the1.depvmin12021-07-25 21:03 190  
[ ]cqc_the1__t57_cqc_the1.vmin12021-07-25 20:57 2.7K 
[ ]cqc_the1__t57_cqc_the1.vmin1out2021-07-25 21:01 28K 
[ ]cqc_the1__t57_cqc_the1.vout2021-07-25 17:29 35K 
[ ]cqc_the1__t58_cqc_the12021-07-18 08:20 16K 
[ ]cqc_the1__t58_cqc_the1.vout2021-07-25 19:23 2.0K 
[ ]cqc_the1__t59_cqc_the12021-07-18 08:31 15K 
[ ]cqc_the1__t59_cqc_the1.vout2021-07-25 20:32 7.3K 
[ ]cqc_the1__t60_cqc_the12021-07-18 08:20 15K 
[ ]cqc_the1__t60_cqc_the1.vout2021-07-25 18:11 2.0K 
[ ]cqc_the1__t61_cqc_the12021-07-18 08:31 16K 
[ ]cqc_the1__t61_cqc_the1.vout2021-07-25 19:17 2.0K 
[ ]cqc_the1__t62_cqc_the12021-07-18 08:32 16K 
[ ]cqc_the1__t62_cqc_the1.vout2021-07-25 20:15 2.0K 
[ ]cqc_the1__t63_cqc_the12021-07-18 08:32 16K 
[ ]cqc_the1__t63_cqc_the1.vout2021-07-25 16:54 2.0K 
[ ]cqc_the1__t64_cqc_the12021-07-18 08:32 16K 
[ ]cqc_the1__t64_cqc_the1.vout2021-07-25 15:27 2.0K 
[ ]cqc_the1__t65_cqc_the12021-07-18 08:32 15K 
[ ]cqc_the1__t65_cqc_the1.vout2021-07-25 16:46 2.0K 
[ ]cqc_the1__t66_cqc_the12021-07-18 08:20 16K 
[ ]cqc_the1__t66_cqc_the1.vout2021-07-25 20:27 2.0K 
[ ]cqc_the1__t67_cqc_the12021-07-18 08:20 16K 
[ ]cqc_the1__t67_cqc_the1.vout2021-07-25 19:51 2.0K 
[ ]cqc_the1__t68_cqc_the12021-07-18 08:21 15K 
[ ]cqc_the1__t68_cqc_the1.vout2021-07-25 18:35 2.0K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80