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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]cqc_lang__l1_cqc_lang2024-07-28 04:37 9.2K 
[ ]cqc_lang__l1_cqc_lang.vout2024-08-03 06:27 7.7K 
[ ]cqc_lang__l18_cqc_lang2024-07-28 04:39 22K 
[ ]cqc_lang__l18_cqc_lang.vout2024-08-03 08:25 6.8K 
[ ]cqc_lang__l27_cqc_lang2024-07-28 04:40 22K 
[ ]cqc_lang__l27_cqc_lang.vout2024-08-03 05:51 7.3K 
[ ]cqc_lang__t1_cqc_lang2024-07-28 04:11 12K 
[ ]cqc_lang__t1_cqc_lang.vout2024-08-03 09:11 7.7K 
[ ]cqc_lang__t2_cqc_lang2024-07-28 04:12 11K 
[ ]cqc_lang__t2_cqc_lang.depv12024-08-03 10:19 326  
[ ]cqc_lang__t2_cqc_lang.depvmin12024-08-03 10:24 311  
[ ]cqc_lang__t2_cqc_lang.vmin12024-08-03 10:19 2.9K 
[ ]cqc_lang__t2_cqc_lang.vmin1out2024-08-03 10:21 25K 
[ ]cqc_lang__t2_cqc_lang.vout2024-08-03 06:27 44K 
[ ]cqc_lang__t3_cqc_lang2024-07-28 04:13 16K 
[ ]cqc_lang__t3_cqc_lang.depv12024-08-03 10:19 274  
[ ]cqc_lang__t3_cqc_lang.depvmin12024-08-03 10:24 274  
[ ]cqc_lang__t3_cqc_lang.vmin12024-08-03 10:19 3.0K 
[ ]cqc_lang__t3_cqc_lang.vmin1out2024-08-03 10:21 47K 
[ ]cqc_lang__t3_cqc_lang.vout2024-08-03 08:33 51K 
[ ]cqc_lang__t4_cqc_lang2024-07-28 04:14 6.5K 
[ ]cqc_lang__t4_cqc_lang.depv12024-08-03 10:19 159  
[ ]cqc_lang__t4_cqc_lang.depvmin12024-08-03 10:24 159  
[ ]cqc_lang__t4_cqc_lang.vmin12024-08-03 10:19 1.3K 
[ ]cqc_lang__t4_cqc_lang.vmin1out2024-08-03 10:21 19K 
[ ]cqc_lang__t4_cqc_lang.vout2024-08-03 05:21 23K 
[ ]cqc_lang__t5_cqc_lang2024-07-28 04:35 14K 
[ ]cqc_lang__t5_cqc_lang.vout2024-08-03 05:48 7.3K 
[ ]cqc_lang__t6_cqc_lang2024-07-28 04:14 6.9K 
[ ]cqc_lang__t6_cqc_lang.depv12024-08-03 10:19 66  
[ ]cqc_lang__t6_cqc_lang.depvmin12024-08-03 10:24 66  
[ ]cqc_lang__t6_cqc_lang.vmin12024-08-03 10:19 676  
[ ]cqc_lang__t6_cqc_lang.vmin1out2024-08-03 10:23 5.7K 
[ ]cqc_lang__t6_cqc_lang.vout2024-08-03 05:19 6.7K 
[ ]cqc_lang__t7_cqc_lang2024-07-28 04:36 14K 
[ ]cqc_lang__t7_cqc_lang.depv12024-08-03 10:19 459  
[ ]cqc_lang__t7_cqc_lang.depvmin12024-08-03 10:24 307  
[ ]cqc_lang__t7_cqc_lang.vmin12024-08-03 10:19 5.0K 
[ ]cqc_lang__t7_cqc_lang.vmin1out2024-08-03 10:23 92K 
[ ]cqc_lang__t7_cqc_lang.vout2024-08-03 04:12 109K 
[ ]cqc_lang__t8_cqc_lang2024-07-28 04:15 7.2K 
[ ]cqc_lang__t8_cqc_lang.depv12024-08-03 10:19 66  
[ ]cqc_lang__t8_cqc_lang.depvmin12024-08-03 10:24 66  
[ ]cqc_lang__t8_cqc_lang.vmin12024-08-03 10:19 945  
[ ]cqc_lang__t8_cqc_lang.vmin1out2024-08-03 10:22 16K 
[ ]cqc_lang__t8_cqc_lang.vout2024-08-03 07:18 19K 
[ ]cqc_lang__t9_cqc_lang2024-07-28 04:16 9.3K 
[ ]cqc_lang__t9_cqc_lang.depv12024-08-03 10:19 336  
[ ]cqc_lang__t9_cqc_lang.depvmin12024-08-03 10:24 189  
[ ]cqc_lang__t9_cqc_lang.vmin12024-08-03 10:19 3.3K 
[ ]cqc_lang__t9_cqc_lang.vmin1out2024-08-03 10:20 45K 
[ ]cqc_lang__t9_cqc_lang.vout2024-08-03 07:12 60K 
[ ]cqc_lang__t10_cqc_lang2024-07-28 04:17 8.0K 
[ ]cqc_lang__t10_cqc_lang.depv12024-08-03 10:19 188  
[ ]cqc_lang__t10_cqc_lang.depvmin12024-08-03 10:24 188  
[ ]cqc_lang__t10_cqc_lang.vmin12024-08-03 10:19 1.9K 
[ ]cqc_lang__t10_cqc_lang.vmin1out2024-08-03 10:23 19K 
[ ]cqc_lang__t10_cqc_lang.vout2024-08-03 07:25 30K 
[ ]cqc_lang__t11_cqc_lang2024-07-28 04:17 8.0K 
[ ]cqc_lang__t11_cqc_lang.depv12024-08-03 10:19 188  
[ ]cqc_lang__t11_cqc_lang.depvmin12024-08-03 10:24 188  
[ ]cqc_lang__t11_cqc_lang.vmin12024-08-03 10:19 1.9K 
[ ]cqc_lang__t11_cqc_lang.vmin1out2024-08-03 10:23 20K 
[ ]cqc_lang__t11_cqc_lang.vout2024-08-03 05:54 30K 
[ ]cqc_lang__t12_cqc_lang2024-07-28 04:18 8.4K 
[ ]cqc_lang__t12_cqc_lang.vout2024-08-03 04:08 7.4K 
[ ]cqc_lang__t13_cqc_lang2024-07-28 04:19 7.7K 
[ ]cqc_lang__t13_cqc_lang.depv12024-08-03 10:19 191  
[ ]cqc_lang__t13_cqc_lang.depvmin12024-08-03 10:24 191  
[ ]cqc_lang__t13_cqc_lang.vmin12024-08-03 10:19 2.2K 
[ ]cqc_lang__t13_cqc_lang.vmin1out2024-08-03 10:22 24K 
[ ]cqc_lang__t13_cqc_lang.vout2024-08-03 04:58 29K 
[ ]cqc_lang__t14_cqc_lang2024-07-28 04:20 8.2K 
[ ]cqc_lang__t14_cqc_lang.depv12024-08-03 10:19 231  
[ ]cqc_lang__t14_cqc_lang.depvmin12024-08-03 10:24 231  
[ ]cqc_lang__t14_cqc_lang.vmin12024-08-03 10:19 2.2K 
[ ]cqc_lang__t14_cqc_lang.vmin1out2024-08-03 10:23 20K 
[ ]cqc_lang__t14_cqc_lang.vout2024-08-03 09:17 32K 
[ ]cqc_lang__t15_cqc_lang2024-07-28 04:21 18K 
[ ]cqc_lang__t15_cqc_lang.depv12024-08-03 10:19 199  
[ ]cqc_lang__t15_cqc_lang.depvmin12024-08-03 10:24 148  
[ ]cqc_lang__t15_cqc_lang.vmin12024-08-03 10:19 2.9K 
[ ]cqc_lang__t15_cqc_lang.vmin1out2024-08-03 10:23 29K 
[ ]cqc_lang__t15_cqc_lang.vout2024-08-03 07:51 46K 
[ ]cqc_lang__t16_cqc_lang2024-07-28 04:22 18K 
[ ]cqc_lang__t16_cqc_lang.vout2024-08-03 06:30 7.3K 
[ ]cqc_lang__t17_cqc_lang2024-07-28 04:23 15K 
[ ]cqc_lang__t17_cqc_lang.depv12024-08-03 10:19 162  
[ ]cqc_lang__t17_cqc_lang.depvmin12024-08-03 10:24 162  
[ ]cqc_lang__t17_cqc_lang.vmin12024-08-03 10:19 2.7K 
[ ]cqc_lang__t17_cqc_lang.vmin1out2024-08-03 10:21 31K 
[ ]cqc_lang__t17_cqc_lang.vout2024-08-03 08:21 31K 
[ ]cqc_lang__t18_cqc_lang2024-07-28 04:25 22K 
[ ]cqc_lang__t18_cqc_lang.vout2024-08-03 09:42 7.3K 
[ ]cqc_lang__t19_cqc_lang2024-07-28 04:25 6.6K 
[ ]cqc_lang__t19_cqc_lang.depv12024-08-03 10:19 68  
[ ]cqc_lang__t19_cqc_lang.depvmin12024-08-03 10:24 68  
[ ]cqc_lang__t19_cqc_lang.vmin12024-08-03 10:19 1.1K 
[ ]cqc_lang__t19_cqc_lang.vmin1out2024-08-03 10:22 15K 
[ ]cqc_lang__t19_cqc_lang.vout2024-08-03 04:30 15K 
[ ]cqc_lang__t20_cqc_lang2024-07-28 04:27 22K 
[ ]cqc_lang__t20_cqc_lang.vout2024-08-03 05:47 7.3K 
[ ]cqc_lang__t21_cqc_lang2024-07-28 04:27 7.2K 
[ ]cqc_lang__t21_cqc_lang.depv12024-08-03 10:19 81  
[ ]cqc_lang__t21_cqc_lang.depvmin12024-08-03 10:24 81  
[ ]cqc_lang__t21_cqc_lang.vmin12024-08-03 10:19 1.6K 
[ ]cqc_lang__t21_cqc_lang.vmin1out2024-08-03 10:20 33K 
[ ]cqc_lang__t21_cqc_lang.vout2024-08-03 05:31 24K 
[ ]cqc_lang__t22_cqc_lang2024-07-28 04:28 6.9K 
[ ]cqc_lang__t22_cqc_lang.depv12024-08-03 10:19 178  
[ ]cqc_lang__t22_cqc_lang.depvmin12024-08-03 10:24 178  
[ ]cqc_lang__t22_cqc_lang.vmin12024-08-03 10:19 2.0K 
[ ]cqc_lang__t22_cqc_lang.vmin1out2024-08-03 10:20 21K 
[ ]cqc_lang__t22_cqc_lang.vout2024-08-03 08:38 21K 
[ ]cqc_lang__t23_cqc_lang2024-07-28 04:29 7.0K 
[ ]cqc_lang__t23_cqc_lang.depv12024-08-03 10:19 194  
[ ]cqc_lang__t23_cqc_lang.depvmin12024-08-03 10:24 194  
[ ]cqc_lang__t23_cqc_lang.vmin12024-08-03 10:19 2.2K 
[ ]cqc_lang__t23_cqc_lang.vmin1out2024-08-03 10:23 26K 
[ ]cqc_lang__t23_cqc_lang.vout2024-08-03 05:01 25K 
[ ]cqc_lang__t24_cqc_lang2024-07-28 04:30 6.7K 
[ ]cqc_lang__t24_cqc_lang.depv12024-08-03 10:19 134  
[ ]cqc_lang__t24_cqc_lang.depvmin12024-08-03 10:24 134  
[ ]cqc_lang__t24_cqc_lang.vmin12024-08-03 10:19 1.7K 
[ ]cqc_lang__t24_cqc_lang.vmin1out2024-08-03 10:20 23K 
[ ]cqc_lang__t24_cqc_lang.vout2024-08-03 09:42 22K 
[ ]cqc_lang__t25_cqc_lang2024-07-28 04:30 7.3K 
[ ]cqc_lang__t25_cqc_lang.depv12024-08-03 10:19 147  
[ ]cqc_lang__t25_cqc_lang.depvmin12024-08-03 10:24 147  
[ ]cqc_lang__t25_cqc_lang.vmin12024-08-03 10:19 2.2K 
[ ]cqc_lang__t25_cqc_lang.vmin1out2024-08-03 10:22 33K 
[ ]cqc_lang__t25_cqc_lang.vout2024-08-03 06:06 30K 
[ ]cqc_lang__t26_cqc_lang2024-07-28 04:32 27K 
[ ]cqc_lang__t26_cqc_lang.vout2024-08-03 09:47 7.3K 
[ ]cqc_lang__t27_cqc_lang2024-07-28 04:32 7.4K 
[ ]cqc_lang__t27_cqc_lang.depv12024-08-03 10:19 96  
[ ]cqc_lang__t27_cqc_lang.depvmin12024-08-03 10:24 96  
[ ]cqc_lang__t27_cqc_lang.vmin12024-08-03 10:19 1.2K 
[ ]cqc_lang__t27_cqc_lang.vmin1out2024-08-03 10:21 9.7K 
[ ]cqc_lang__t27_cqc_lang.vout2024-08-03 04:14 12K 
[ ]cqc_lang__t28_cqc_lang2024-07-28 04:34 27K 
[ ]cqc_lang__t28_cqc_lang.vout2024-08-03 07:16 7.3K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80