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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]qc_lang4__l28_qc_lang42024-07-27 04:41 16K 
[ ]qc_lang4__l28_qc_lang4.depv12024-08-03 10:19 105  
[ ]qc_lang4__l28_qc_lang4.depvmin12024-08-03 10:24 105  
[ ]qc_lang4__l28_qc_lang4.vmin12024-08-03 10:19 1.0K 
[ ]qc_lang4__l28_qc_lang4.vmin1out2024-08-03 10:21 9.3K 
[ ]qc_lang4__l28_qc_lang4.vout2024-08-03 07:10 9.2K 
[ ]qc_lang4__t1_qc_lang42024-07-27 03:46 20K 
[ ]qc_lang4__t1_qc_lang4.depv12024-08-03 10:19 187  
[ ]qc_lang4__t1_qc_lang4.depvmin12024-08-03 10:24 187  
[ ]qc_lang4__t1_qc_lang4.vmin12024-08-03 10:19 1.8K 
[ ]qc_lang4__t1_qc_lang4.vmin1out2024-08-03 10:21 26K 
[ ]qc_lang4__t1_qc_lang4.vout2024-08-03 09:18 27K 
[ ]qc_lang4__t2_qc_lang42024-07-27 03:45 20K 
[ ]qc_lang4__t2_qc_lang4.depv12024-08-03 10:19 187  
[ ]qc_lang4__t2_qc_lang4.depvmin12024-08-03 10:24 187  
[ ]qc_lang4__t2_qc_lang4.vmin12024-08-03 10:19 1.8K 
[ ]qc_lang4__t2_qc_lang4.vmin1out2024-08-03 10:21 22K 
[ ]qc_lang4__t2_qc_lang4.vout2024-08-03 05:19 22K 
[ ]qc_lang4__t3_qc_lang42024-07-27 03:47 26K 
[ ]qc_lang4__t3_qc_lang4.vout2024-08-03 06:09 4.7K 
[ ]qc_lang4__t4_qc_lang42024-07-27 04:32 28K 
[ ]qc_lang4__t4_qc_lang4.vout2024-08-03 04:36 3.7K 
[ ]qc_lang4__t5_qc_lang42024-07-27 03:48 22K 
[ ]qc_lang4__t5_qc_lang4.depv12024-08-03 10:19 109  
[ ]qc_lang4__t5_qc_lang4.depvmin12024-08-03 10:24 109  
[ ]qc_lang4__t5_qc_lang4.vmin12024-08-03 10:19 1.5K 
[ ]qc_lang4__t5_qc_lang4.vmin1out2024-08-03 10:21 25K 
[ ]qc_lang4__t5_qc_lang4.vout2024-08-03 07:04 26K 
[ ]qc_lang4__t6_qc_lang42024-07-27 03:50 30K 
[ ]qc_lang4__t6_qc_lang4.vout2024-08-03 08:38 7.3K 
[ ]qc_lang4__t7_qc_lang42024-07-27 03:51 30K 
[ ]qc_lang4__t7_qc_lang4.vout2024-08-03 05:25 7.3K 
[ ]qc_lang4__t8_qc_lang42024-07-27 03:52 27K 
[ ]qc_lang4__t8_qc_lang4.vout2024-08-03 10:17 7.9K 
[ ]qc_lang4__t9_qc_lang42024-07-27 03:54 35K 
[ ]qc_lang4__t9_qc_lang4.vout2024-08-03 06:32 7.3K 
[ ]qc_lang4__t10_qc_lang42024-07-27 03:55 30K 
[ ]qc_lang4__t10_qc_lang4.vout2024-08-03 07:46 7.4K 
[ ]qc_lang4__t11_qc_lang42024-07-27 03:56 17K 
[ ]qc_lang4__t11_qc_lang4.depv12024-08-03 10:19 166  
[ ]qc_lang4__t11_qc_lang4.depvmin12024-08-03 10:24 143  
[ ]qc_lang4__t11_qc_lang4.vmin12024-08-03 10:19 1.9K 
[ ]qc_lang4__t11_qc_lang4.vmin1out2024-08-03 10:20 39K 
[ ]qc_lang4__t11_qc_lang4.vout2024-08-03 05:42 30K 
[ ]qc_lang4__t12_qc_lang42024-07-27 03:57 28K 
[ ]qc_lang4__t12_qc_lang4.depv12024-08-03 10:19 196  
[ ]qc_lang4__t12_qc_lang4.depvmin12024-08-03 10:24 196  
[ ]qc_lang4__t12_qc_lang4.vmin12024-08-03 10:19 2.6K 
[ ]qc_lang4__t12_qc_lang4.vmin1out2024-08-03 10:22 71K 
[ ]qc_lang4__t12_qc_lang4.vout2024-08-03 08:33 39K 
[ ]qc_lang4__t13_qc_lang42024-07-27 03:59 55K 
[ ]qc_lang4__t13_qc_lang4.vout2024-08-03 04:37 7.3K 
[ ]qc_lang4__t14_qc_lang42024-07-27 04:01 41K 
[ ]qc_lang4__t14_qc_lang4.vout2024-08-03 08:08 7.4K 
[ ]qc_lang4__t15_qc_lang42024-07-27 04:02 24K 
[ ]qc_lang4__t15_qc_lang4.depv12024-08-03 10:19 261  
[ ]qc_lang4__t15_qc_lang4.depvmin12024-08-03 10:24 261  
[ ]qc_lang4__t15_qc_lang4.vmin12024-08-03 10:19 3.0K 
[ ]qc_lang4__t15_qc_lang4.vmin1out2024-08-03 10:21 35K 
[ ]qc_lang4__t15_qc_lang4.vout2024-08-03 07:50 34K 
[ ]qc_lang4__t16_qc_lang42024-07-27 04:03 22K 
[ ]qc_lang4__t16_qc_lang4.depv12024-08-03 10:19 144  
[ ]qc_lang4__t16_qc_lang4.depvmin12024-08-03 10:24 144  
[ ]qc_lang4__t16_qc_lang4.vmin12024-08-03 10:19 2.4K 
[ ]qc_lang4__t16_qc_lang4.vmin1out2024-08-03 10:23 34K 
[ ]qc_lang4__t16_qc_lang4.vout2024-08-03 05:18 34K 
[ ]qc_lang4__t17_qc_lang42024-07-27 04:04 22K 
[ ]qc_lang4__t17_qc_lang4.depv12024-08-03 10:19 304  
[ ]qc_lang4__t17_qc_lang4.depvmin12024-08-03 10:24 260  
[ ]qc_lang4__t17_qc_lang4.vmin12024-08-03 10:19 3.1K 
[ ]qc_lang4__t17_qc_lang4.vmin1out2024-08-03 10:20 42K 
[ ]qc_lang4__t17_qc_lang4.vout2024-08-03 07:04 41K 
[ ]qc_lang4__t18_qc_lang42024-07-27 04:05 22K 
[ ]qc_lang4__t18_qc_lang4.depv12024-08-03 10:19 202  
[ ]qc_lang4__t18_qc_lang4.depvmin12024-08-03 10:24 202  
[ ]qc_lang4__t18_qc_lang4.vmin12024-08-03 10:19 2.4K 
[ ]qc_lang4__t18_qc_lang4.vmin1out2024-08-03 10:23 45K 
[ ]qc_lang4__t18_qc_lang4.vout2024-08-03 06:36 47K 
[ ]qc_lang4__t19_qc_lang42024-07-27 04:33 22K 
[ ]qc_lang4__t19_qc_lang4.vout2024-08-03 04:10 5.3K 
[ ]qc_lang4__t20_qc_lang42024-07-27 04:07 23K 
[ ]qc_lang4__t20_qc_lang4.vout2024-08-03 09:37 7.9K 
[ ]qc_lang4__t21_qc_lang42024-07-27 04:08 42K 
[ ]qc_lang4__t21_qc_lang4.vout2024-08-03 09:12 4.7K 
[ ]qc_lang4__t22_qc_lang42024-07-27 04:10 46K 
[ ]qc_lang4__t22_qc_lang4.vout2024-08-03 05:39 4.7K 
[ ]qc_lang4__t23_qc_lang42024-07-27 04:12 43K 
[ ]qc_lang4__t23_qc_lang4.vout2024-08-03 06:36 4.7K 
[ ]qc_lang4__t24_qc_lang42024-07-27 04:13 28K 
[ ]qc_lang4__t24_qc_lang4.vout2024-08-03 08:53 7.3K 
[ ]qc_lang4__t25_qc_lang42024-07-27 04:15 40K 
[ ]qc_lang4__t25_qc_lang4.vout2024-08-03 04:44 4.7K 
[ ]qc_lang4__t26_qc_lang42024-07-27 04:16 28K 
[ ]qc_lang4__t26_qc_lang4.vout2024-08-03 04:30 7.3K 
[ ]qc_lang4__t27_qc_lang42024-07-27 04:18 54K 
[ ]qc_lang4__t27_qc_lang4.vout2024-08-03 04:57 7.3K 
[ ]qc_lang4__t28_qc_lang42024-07-27 04:20 55K 
[ ]qc_lang4__t28_qc_lang4.vout2024-08-03 06:14 3.7K 
[ ]qc_lang4__t29_qc_lang42024-07-27 04:34 26K 
[ ]qc_lang4__t29_qc_lang4.depv12024-08-03 10:19 83  
[ ]qc_lang4__t29_qc_lang4.depvmin12024-08-03 10:24 83  
[ ]qc_lang4__t29_qc_lang4.vmin12024-08-03 10:19 1.4K 
[ ]qc_lang4__t29_qc_lang4.vmin1out2024-08-03 10:22 31K 
[ ]qc_lang4__t29_qc_lang4.vout2024-08-03 08:12 16K 
[ ]qc_lang4__t30_qc_lang42024-07-27 04:21 29K 
[ ]qc_lang4__t30_qc_lang4.vout2024-08-03 09:53 7.3K 
[ ]qc_lang4__t31_qc_lang42024-07-27 04:23 24K 
[ ]qc_lang4__t31_qc_lang4.depv12024-08-03 10:19 230  
[ ]qc_lang4__t31_qc_lang4.depvmin12024-08-03 10:24 207  
[ ]qc_lang4__t31_qc_lang4.vmin12024-08-03 10:19 3.2K 
[ ]qc_lang4__t31_qc_lang4.vmin1out2024-08-03 10:23 51K 
[ ]qc_lang4__t31_qc_lang4.vout2024-08-03 08:05 54K 
[ ]qc_lang4__t32_qc_lang42024-07-27 04:35 22K 
[ ]qc_lang4__t32_qc_lang4.vout2024-08-03 04:49 5.3K 
[ ]qc_lang4__t33_qc_lang42024-07-27 04:36 23K 
[ ]qc_lang4__t33_qc_lang4.vout2024-08-03 08:24 5.3K 
[ ]qc_lang4__t34_qc_lang42024-07-27 04:24 22K 
[ ]qc_lang4__t34_qc_lang4.depv12024-08-03 10:19 74  
[ ]qc_lang4__t34_qc_lang4.depvmin12024-08-03 10:24 74  
[ ]qc_lang4__t34_qc_lang4.vmin12024-08-03 10:19 1.3K 
[ ]qc_lang4__t34_qc_lang4.vmin1out2024-08-03 10:22 19K 
[ ]qc_lang4__t34_qc_lang4.vout2024-08-03 04:11 19K 
[ ]qc_lang4__t35_qc_lang42024-07-27 04:25 23K 
[ ]qc_lang4__t35_qc_lang4.depv12024-08-03 10:19 94  
[ ]qc_lang4__t35_qc_lang4.depvmin12024-08-03 10:24 94  
[ ]qc_lang4__t35_qc_lang4.vmin12024-08-03 10:19 1.7K 
[ ]qc_lang4__t35_qc_lang4.vmin1out2024-08-03 10:20 22K 
[ ]qc_lang4__t35_qc_lang4.vout2024-08-03 05:43 22K 
[ ]qc_lang4__t36_qc_lang42024-07-27 04:38 24K 
[ ]qc_lang4__t36_qc_lang4.vout2024-08-03 08:13 4.2K 
[ ]qc_lang4__t37_qc_lang42024-07-27 04:26 27K 
[ ]qc_lang4__t37_qc_lang4.vout2024-08-03 09:19 7.3K 
[ ]qc_lang4__t38_qc_lang42024-07-27 04:28 28K 
[ ]qc_lang4__t38_qc_lang4.depv12024-08-03 10:19 107  
[ ]qc_lang4__t38_qc_lang4.depvmin12024-08-03 10:24 107  
[ ]qc_lang4__t38_qc_lang4.vmin12024-08-03 10:19 2.3K 
[ ]qc_lang4__t38_qc_lang4.vmin1out2024-08-03 10:23 43K 
[ ]qc_lang4__t38_qc_lang4.vout2024-08-03 10:05 35K 
[ ]qc_lang4__t39_qc_lang42024-07-27 04:39 27K 
[ ]qc_lang4__t39_qc_lang4.vout2024-08-03 05:54 4.2K 
[ ]qc_lang4__t40_qc_lang42024-07-27 04:40 27K 
[ ]qc_lang4__t40_qc_lang4.vout2024-08-03 05:24 3.7K 
[ ]qc_lang4__t41_qc_lang42024-07-27 04:29 22K 
[ ]qc_lang4__t41_qc_lang4.depv12024-08-03 10:19 53  
[ ]qc_lang4__t41_qc_lang4.depvmin12024-08-03 10:24 53  
[ ]qc_lang4__t41_qc_lang4.vmin12024-08-03 10:19 1.2K 
[ ]qc_lang4__t41_qc_lang4.vmin1out2024-08-03 10:21 19K 
[ ]qc_lang4__t41_qc_lang4.vout2024-08-03 09:27 20K 
[ ]qc_lang4__t42_qc_lang42024-07-27 04:30 28K 
[ ]qc_lang4__t42_qc_lang4.vout2024-08-03 04:47 7.3K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80