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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]qc_lang1__l7_qc_lang12024-07-27 20:13 18K 
[ ]qc_lang1__l7_qc_lang1.depv12024-08-03 10:19 134  
[ ]qc_lang1__l7_qc_lang1.depvmin12024-08-03 10:24 134  
[ ]qc_lang1__l7_qc_lang1.vmin12024-08-03 10:19 1.0K 
[ ]qc_lang1__l7_qc_lang1.vmin1out2024-08-03 10:21 9.0K 
[ ]qc_lang1__l7_qc_lang1.vout2024-08-03 08:27 11K 
[ ]qc_lang1__l18_qc_lang12024-07-27 20:14 21K 
[ ]qc_lang1__l18_qc_lang1.depv12024-08-03 10:19 212  
[ ]qc_lang1__l18_qc_lang1.depvmin12024-08-03 10:24 212  
[ ]qc_lang1__l18_qc_lang1.vmin12024-08-03 10:19 1.7K 
[ ]qc_lang1__l18_qc_lang1.vmin1out2024-08-03 10:22 22K 
[ ]qc_lang1__l18_qc_lang1.vout2024-08-03 06:41 23K 
[ ]qc_lang1__l19_qc_lang12024-07-27 20:15 34K 
[ ]qc_lang1__l19_qc_lang1.vout2024-08-03 07:22 3.7K 
[ ]qc_lang1__l20_qc_lang12024-07-27 20:17 34K 
[ ]qc_lang1__l20_qc_lang1.depv12024-08-03 10:19 412  
[ ]qc_lang1__l20_qc_lang1.depvmin12024-08-03 10:24 343  
[ ]qc_lang1__l20_qc_lang1.vmin12024-08-03 10:19 3.4K 
[ ]qc_lang1__l20_qc_lang1.vmin1out2024-08-03 10:22 29K 
[ ]qc_lang1__l20_qc_lang1.vout2024-08-03 09:57 32K 
[ ]qc_lang1__l25_qc_lang12024-07-27 20:18 38K 
[ ]qc_lang1__l25_qc_lang1.depv12024-08-03 10:19 54  
[ ]qc_lang1__l25_qc_lang1.depvmin12024-08-03 10:24 54  
[ ]qc_lang1__l25_qc_lang1.vmin12024-08-03 10:19 1.7K 
[ ]qc_lang1__l25_qc_lang1.vmin1out2024-08-03 10:22 19K 
[ ]qc_lang1__l25_qc_lang1.vout2024-08-03 09:43 17K 
[ ]qc_lang1__t1_qc_lang12024-07-27 19:41 14K 
[ ]qc_lang1__t1_qc_lang1.depv12024-08-03 10:19 58  
[ ]qc_lang1__t1_qc_lang1.depvmin12024-08-03 10:24 58  
[ ]qc_lang1__t1_qc_lang1.vmin12024-08-03 10:19 696  
[ ]qc_lang1__t1_qc_lang1.vmin1out2024-08-03 10:22 5.7K 
[ ]qc_lang1__t1_qc_lang1.vout2024-08-03 08:30 7.6K 
[ ]qc_lang1__t2_qc_lang12024-07-27 19:42 14K 
[ ]qc_lang1__t2_qc_lang1.depv12024-08-03 10:19 61  
[ ]qc_lang1__t2_qc_lang1.depvmin12024-08-03 10:24 61  
[ ]qc_lang1__t2_qc_lang1.vmin12024-08-03 10:19 831  
[ ]qc_lang1__t2_qc_lang1.vmin1out2024-08-03 10:20 7.6K 
[ ]qc_lang1__t2_qc_lang1.vout2024-08-03 07:04 11K 
[ ]qc_lang1__t3_qc_lang12024-07-27 19:43 16K 
[ ]qc_lang1__t3_qc_lang1.depv12024-08-03 10:19 171  
[ ]qc_lang1__t3_qc_lang1.depvmin12024-08-03 10:24 171  
[ ]qc_lang1__t3_qc_lang1.vmin12024-08-03 10:19 1.4K 
[ ]qc_lang1__t3_qc_lang1.vmin1out2024-08-03 10:22 17K 
[ ]qc_lang1__t3_qc_lang1.vout2024-08-03 07:51 17K 
[ ]qc_lang1__t4_qc_lang12024-07-27 19:43 18K 
[ ]qc_lang1__t4_qc_lang1.depv12024-08-03 10:19 197  
[ ]qc_lang1__t4_qc_lang1.depvmin12024-08-03 10:24 197  
[ ]qc_lang1__t4_qc_lang1.vmin12024-08-03 10:19 1.5K 
[ ]qc_lang1__t4_qc_lang1.vmin1out2024-08-03 10:22 14K 
[ ]qc_lang1__t4_qc_lang1.vout2024-08-03 08:44 14K 
[ ]qc_lang1__t5_qc_lang12024-07-27 19:44 16K 
[ ]qc_lang1__t5_qc_lang1.depv12024-08-03 10:19 98  
[ ]qc_lang1__t5_qc_lang1.depvmin12024-08-03 10:24 98  
[ ]qc_lang1__t5_qc_lang1.vmin12024-08-03 10:19 919  
[ ]qc_lang1__t5_qc_lang1.vmin1out2024-08-03 10:22 11K 
[ ]qc_lang1__t5_qc_lang1.vout2024-08-03 09:08 11K 
[ ]qc_lang1__t6_qc_lang12024-07-27 19:45 17K 
[ ]qc_lang1__t6_qc_lang1.vout2024-08-03 04:27 7.4K 
[ ]qc_lang1__t7_qc_lang12024-07-27 19:37 17K 
[ ]qc_lang1__t7_qc_lang1.depv12024-08-03 10:19 40  
[ ]qc_lang1__t7_qc_lang1.depvmin12024-08-03 10:24 40  
[ ]qc_lang1__t7_qc_lang1.vmin12024-08-03 10:19 424  
[ ]qc_lang1__t7_qc_lang1.vmin1out2024-08-03 10:20 5.6K 
[ ]qc_lang1__t7_qc_lang1.vout2024-08-03 08:06 5.6K 
[ ]qc_lang1__t8_qc_lang12024-07-27 19:47 34K 
[ ]qc_lang1__t8_qc_lang1.vout2024-08-03 07:19 7.3K 
[ ]qc_lang1__t9_qc_lang12024-07-27 19:48 45K 
[ ]qc_lang1__t9_qc_lang1.vout2024-08-03 08:30 7.3K 
[ ]qc_lang1__t10_qc_lang12024-07-27 19:50 88K 
[ ]qc_lang1__t10_qc_lang1.vout2024-08-03 08:21 7.9K 
[ ]qc_lang1__t11_qc_lang12024-07-27 19:51 18K 
[ ]qc_lang1__t11_qc_lang1.depv12024-08-03 10:19 148  
[ ]qc_lang1__t11_qc_lang1.depvmin12024-08-03 10:24 148  
[ ]qc_lang1__t11_qc_lang1.vmin12024-08-03 10:19 1.3K 
[ ]qc_lang1__t11_qc_lang1.vmin1out2024-08-03 10:23 13K 
[ ]qc_lang1__t11_qc_lang1.vout2024-08-03 05:38 16K 
[ ]qc_lang1__t12_qc_lang12024-07-27 19:53 490K 
[ ]qc_lang1__t12_qc_lang1.vout2024-08-03 08:19 7.3K 
[ ]qc_lang1__t13_qc_lang12024-07-27 19:55 353K 
[ ]qc_lang1__t13_qc_lang1.vout2024-08-03 05:32 7.3K 
[ ]qc_lang1__t14_qc_lang12024-07-27 19:56 34K 
[ ]qc_lang1__t14_qc_lang1.vout2024-08-03 09:38 7.3K 
[ ]qc_lang1__t15_qc_lang12024-07-27 19:58 46K 
[ ]qc_lang1__t15_qc_lang1.vout2024-08-03 04:33 7.3K 
[ ]qc_lang1__t16_qc_lang12024-07-27 19:59 275K 
[ ]qc_lang1__t16_qc_lang1.vout2024-08-03 07:23 7.3K 
[ ]qc_lang1__t17_qc_lang12024-07-27 20:00 351K 
[ ]qc_lang1__t17_qc_lang1.depv12024-08-03 10:19 306  
[ ]qc_lang1__t17_qc_lang1.depvmin12024-08-03 10:24 306  
[ ]qc_lang1__t17_qc_lang1.vmin12024-08-03 10:19 2.1K 
[ ]qc_lang1__t17_qc_lang1.vmin1out2024-08-03 10:22 23K 
[ ]qc_lang1__t17_qc_lang1.vout2024-08-03 06:06 24K 
[ ]qc_lang1__t18_qc_lang12024-07-27 20:02 48K 
[ ]qc_lang1__t18_qc_lang1.vout2024-08-03 08:50 7.3K 
[ ]qc_lang1__t19_qc_lang12024-07-27 20:03 27K 
[ ]qc_lang1__t19_qc_lang1.depv12024-08-03 10:19 76  
[ ]qc_lang1__t19_qc_lang1.depvmin12024-08-03 10:24 76  
[ ]qc_lang1__t19_qc_lang1.vmin12024-08-03 10:19 1.4K 
[ ]qc_lang1__t19_qc_lang1.vmin1out2024-08-03 10:23 19K 
[ ]qc_lang1__t19_qc_lang1.vout2024-08-03 07:08 20K 
[ ]qc_lang1__t20_qc_lang12024-07-27 20:05 32K 
[ ]qc_lang1__t20_qc_lang1.depv12024-08-03 10:19 192  
[ ]qc_lang1__t20_qc_lang1.depvmin12024-08-03 10:24 179  
[ ]qc_lang1__t20_qc_lang1.vmin12024-08-03 10:19 2.4K 
[ ]qc_lang1__t20_qc_lang1.vmin1out2024-08-03 10:20 61K 
[ ]qc_lang1__t20_qc_lang1.vout2024-08-03 10:18 38K 
[ ]qc_lang1__t21_qc_lang12024-07-27 20:06 19K 
[ ]qc_lang1__t21_qc_lang1.vout2024-08-03 06:17 4.7K 
[ ]qc_lang1__t22_qc_lang12024-07-27 20:07 18K 
[ ]qc_lang1__t22_qc_lang1.depv12024-08-03 10:19 273  
[ ]qc_lang1__t22_qc_lang1.depvmin12024-08-03 10:24 249  
[ ]qc_lang1__t22_qc_lang1.vmin12024-08-03 10:19 2.7K 
[ ]qc_lang1__t22_qc_lang1.vmin1out2024-08-03 10:20 34K 
[ ]qc_lang1__t22_qc_lang1.vout2024-08-03 05:08 34K 
[ ]qc_lang1__t23_qc_lang12024-07-27 20:08 18K 
[ ]qc_lang1__t23_qc_lang1.vout2024-08-03 06:58 4.7K 
[ ]qc_lang1__t24_qc_lang12024-07-27 20:09 18K 
[ ]qc_lang1__t24_qc_lang1.vout2024-08-03 07:31 6.2K 
[ ]qc_lang1__t25_qc_lang12024-07-27 19:38 12K 
[ ]qc_lang1__t25_qc_lang1.depv12024-08-03 10:19 52  
[ ]qc_lang1__t25_qc_lang1.depvmin12024-08-03 10:24 52  
[ ]qc_lang1__t25_qc_lang1.vmin12024-08-03 10:19 878  
[ ]qc_lang1__t25_qc_lang1.vmin1out2024-08-03 10:21 15K 
[ ]qc_lang1__t25_qc_lang1.vout2024-08-03 05:52 10K 
[ ]qc_lang1__t26_qc_lang12024-07-27 19:38 12K 
[ ]qc_lang1__t26_qc_lang1.depv12024-08-03 10:19 39  
[ ]qc_lang1__t26_qc_lang1.depvmin12024-08-03 10:24 39  
[ ]qc_lang1__t26_qc_lang1.vmin12024-08-03 10:19 692  
[ ]qc_lang1__t26_qc_lang1.vmin1out2024-08-03 10:22 9.6K 
[ ]qc_lang1__t26_qc_lang1.vout2024-08-03 09:01 9.7K 
[ ]qc_lang1__t27_qc_lang12024-07-27 20:10 16K 
[ ]qc_lang1__t27_qc_lang1.depv12024-08-03 10:19 147  
[ ]qc_lang1__t27_qc_lang1.depvmin12024-08-03 10:24 131  
[ ]qc_lang1__t27_qc_lang1.vmin12024-08-03 10:19 1.7K 
[ ]qc_lang1__t27_qc_lang1.vmin1out2024-08-03 10:23 16K 
[ ]qc_lang1__t27_qc_lang1.vout2024-08-03 06:13 22K 
[ ]qc_lang1__t28_qc_lang12024-07-27 20:11 15K 
[ ]qc_lang1__t28_qc_lang1.depv12024-08-03 10:19 75  
[ ]qc_lang1__t28_qc_lang1.depvmin12024-08-03 10:24 75  
[ ]qc_lang1__t28_qc_lang1.vmin12024-08-03 10:19 1.1K 
[ ]qc_lang1__t28_qc_lang1.vmin1out2024-08-03 10:22 18K 
[ ]qc_lang1__t28_qc_lang1.vout2024-08-03 10:02 19K 
[ ]qc_lang1__t29_qc_lang12024-07-27 19:39 12K 
[ ]qc_lang1__t29_qc_lang1.depv12024-08-03 10:19 52  
[ ]qc_lang1__t29_qc_lang1.depvmin12024-08-03 10:24 52  
[ ]qc_lang1__t29_qc_lang1.vmin12024-08-03 10:19 1.0K 
[ ]qc_lang1__t29_qc_lang1.vmin1out2024-08-03 10:21 15K 
[ ]qc_lang1__t29_qc_lang1.vout2024-08-03 08:37 15K 
[ ]qc_lang1__t30_qc_lang12024-07-27 19:40 12K 
[ ]qc_lang1__t30_qc_lang1.depv12024-08-03 10:19 39  
[ ]qc_lang1__t30_qc_lang1.depvmin12024-08-03 10:24 39  
[ ]qc_lang1__t30_qc_lang1.vmin12024-08-03 10:19 796  
[ ]qc_lang1__t30_qc_lang1.vmin1out2024-08-03 10:23 9.9K 
[ ]qc_lang1__t30_qc_lang1.vout2024-08-03 06:30 13K 
[ ]qc_lang1__t31_qc_lang12024-07-27 20:12 22K 
[ ]qc_lang1__t31_qc_lang1.vout2024-08-03 09:58 7.4K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80