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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]cqc_lang__l1_cqc_lang2025-09-07 22:47 9.2K 
[ ]cqc_lang__l1_cqc_lang.vout2025-09-15 16:10 7.7K 
[ ]cqc_lang__l18_cqc_lang2025-09-07 22:49 22K 
[ ]cqc_lang__l18_cqc_lang.vout2025-09-15 16:22 6.8K 
[ ]cqc_lang__l27_cqc_lang2025-09-07 22:50 22K 
[ ]cqc_lang__l27_cqc_lang.vout2025-09-15 14:43 7.3K 
[ ]cqc_lang__t1_cqc_lang2025-09-07 22:19 12K 
[ ]cqc_lang__t1_cqc_lang.vout2025-09-15 18:00 7.7K 
[ ]cqc_lang__t2_cqc_lang2025-09-07 22:20 11K 
[ ]cqc_lang__t2_cqc_lang.depv12025-09-15 19:47 326  
[ ]cqc_lang__t2_cqc_lang.depvmin12025-09-15 19:52 311  
[ ]cqc_lang__t2_cqc_lang.vmin12025-09-15 19:47 2.9K 
[ ]cqc_lang__t2_cqc_lang.vmin1out2025-09-15 19:49 25K 
[ ]cqc_lang__t2_cqc_lang.vout2025-09-15 13:56 44K 
[ ]cqc_lang__t3_cqc_lang2025-09-07 22:21 16K 
[ ]cqc_lang__t3_cqc_lang.depv12025-09-15 19:47 274  
[ ]cqc_lang__t3_cqc_lang.depvmin12025-09-15 19:52 274  
[ ]cqc_lang__t3_cqc_lang.vmin12025-09-15 19:47 3.0K 
[ ]cqc_lang__t3_cqc_lang.vmin1out2025-09-15 19:49 47K 
[ ]cqc_lang__t3_cqc_lang.vout2025-09-15 15:48 51K 
[ ]cqc_lang__t4_cqc_lang2025-09-07 22:22 6.5K 
[ ]cqc_lang__t4_cqc_lang.depv12025-09-15 19:47 159  
[ ]cqc_lang__t4_cqc_lang.depvmin12025-09-15 19:52 159  
[ ]cqc_lang__t4_cqc_lang.vmin12025-09-15 19:47 1.3K 
[ ]cqc_lang__t4_cqc_lang.vmin1out2025-09-15 19:50 19K 
[ ]cqc_lang__t4_cqc_lang.vout2025-09-15 13:31 23K 
[ ]cqc_lang__t5_cqc_lang2025-09-07 22:45 14K 
[ ]cqc_lang__t5_cqc_lang.vout2025-09-15 14:52 7.3K 
[ ]cqc_lang__t6_cqc_lang2025-09-07 22:23 6.9K 
[ ]cqc_lang__t6_cqc_lang.depv12025-09-15 19:47 66  
[ ]cqc_lang__t6_cqc_lang.depvmin12025-09-15 19:52 66  
[ ]cqc_lang__t6_cqc_lang.vmin12025-09-15 19:47 676  
[ ]cqc_lang__t6_cqc_lang.vmin1out2025-09-15 19:50 5.7K 
[ ]cqc_lang__t6_cqc_lang.vout2025-09-15 14:01 6.7K 
[ ]cqc_lang__t7_cqc_lang2025-09-07 22:46 14K 
[ ]cqc_lang__t7_cqc_lang.vout2025-09-15 15:40 7.3K 
[ ]cqc_lang__t8_cqc_lang2025-09-07 22:23 7.2K 
[ ]cqc_lang__t8_cqc_lang.depv12025-09-15 19:47 66  
[ ]cqc_lang__t8_cqc_lang.depvmin12025-09-15 19:52 66  
[ ]cqc_lang__t8_cqc_lang.vmin12025-09-15 19:47 945  
[ ]cqc_lang__t8_cqc_lang.vmin1out2025-09-15 19:50 16K 
[ ]cqc_lang__t8_cqc_lang.vout2025-09-15 15:46 19K 
[ ]cqc_lang__t9_cqc_lang2025-09-07 22:24 9.3K 
[ ]cqc_lang__t9_cqc_lang.depv12025-09-15 19:47 351  
[ ]cqc_lang__t9_cqc_lang.depvmin12025-09-15 19:52 286  
[ ]cqc_lang__t9_cqc_lang.vmin12025-09-15 19:47 3.4K 
[ ]cqc_lang__t9_cqc_lang.vmin1out2025-09-15 19:49 77K 
[ ]cqc_lang__t9_cqc_lang.vout2025-09-15 18:47 68K 
[ ]cqc_lang__t10_cqc_lang2025-09-07 22:25 8.0K 
[ ]cqc_lang__t10_cqc_lang.depv12025-09-15 19:47 188  
[ ]cqc_lang__t10_cqc_lang.depvmin12025-09-15 19:52 188  
[ ]cqc_lang__t10_cqc_lang.vmin12025-09-15 19:47 1.9K 
[ ]cqc_lang__t10_cqc_lang.vmin1out2025-09-15 19:50 19K 
[ ]cqc_lang__t10_cqc_lang.vout2025-09-15 16:24 30K 
[ ]cqc_lang__t11_cqc_lang2025-09-07 22:26 8.0K 
[ ]cqc_lang__t11_cqc_lang.depv12025-09-15 19:47 188  
[ ]cqc_lang__t11_cqc_lang.depvmin12025-09-15 19:52 188  
[ ]cqc_lang__t11_cqc_lang.vmin12025-09-15 19:47 1.9K 
[ ]cqc_lang__t11_cqc_lang.vmin1out2025-09-15 19:51 20K 
[ ]cqc_lang__t11_cqc_lang.vout2025-09-15 17:49 30K 
[ ]cqc_lang__t12_cqc_lang2025-09-07 22:27 8.4K 
[ ]cqc_lang__t12_cqc_lang.vout2025-09-15 16:07 7.4K 
[ ]cqc_lang__t13_cqc_lang2025-09-07 22:27 7.7K 
[ ]cqc_lang__t13_cqc_lang.depv12025-09-15 19:47 191  
[ ]cqc_lang__t13_cqc_lang.depvmin12025-09-15 19:52 191  
[ ]cqc_lang__t13_cqc_lang.vmin12025-09-15 19:47 2.2K 
[ ]cqc_lang__t13_cqc_lang.vmin1out2025-09-15 19:49 24K 
[ ]cqc_lang__t13_cqc_lang.vout2025-09-15 13:46 29K 
[ ]cqc_lang__t14_cqc_lang2025-09-07 22:28 8.2K 
[ ]cqc_lang__t14_cqc_lang.depv12025-09-15 19:47 231  
[ ]cqc_lang__t14_cqc_lang.depvmin12025-09-15 19:52 231  
[ ]cqc_lang__t14_cqc_lang.vmin12025-09-15 19:47 2.2K 
[ ]cqc_lang__t14_cqc_lang.vmin1out2025-09-15 19:47 20K 
[ ]cqc_lang__t14_cqc_lang.vout2025-09-15 15:47 32K 
[ ]cqc_lang__t15_cqc_lang2025-09-07 22:30 18K 
[ ]cqc_lang__t15_cqc_lang.depv12025-09-15 19:47 199  
[ ]cqc_lang__t15_cqc_lang.depvmin12025-09-15 19:52 148  
[ ]cqc_lang__t15_cqc_lang.vmin12025-09-15 19:47 2.9K 
[ ]cqc_lang__t15_cqc_lang.vmin1out2025-09-15 19:50 29K 
[ ]cqc_lang__t15_cqc_lang.vout2025-09-15 15:37 46K 
[ ]cqc_lang__t16_cqc_lang2025-09-07 22:31 18K 
[ ]cqc_lang__t16_cqc_lang.depv12025-09-15 19:47 131  
[ ]cqc_lang__t16_cqc_lang.depvmin12025-09-15 19:52 131  
[ ]cqc_lang__t16_cqc_lang.vmin12025-09-15 19:47 2.5K 
[ ]cqc_lang__t16_cqc_lang.vmin1out2025-09-15 19:48 34K 
[ ]cqc_lang__t16_cqc_lang.vout2025-09-15 18:55 36K 
[ ]cqc_lang__t17_cqc_lang2025-09-07 22:32 15K 
[ ]cqc_lang__t17_cqc_lang.depv12025-09-15 19:47 162  
[ ]cqc_lang__t17_cqc_lang.depvmin12025-09-15 19:52 162  
[ ]cqc_lang__t17_cqc_lang.vmin12025-09-15 19:47 2.7K 
[ ]cqc_lang__t17_cqc_lang.vmin1out2025-09-15 19:49 31K 
[ ]cqc_lang__t17_cqc_lang.vout2025-09-15 16:34 31K 
[ ]cqc_lang__t18_cqc_lang2025-09-07 22:34 22K 
[ ]cqc_lang__t18_cqc_lang.vout2025-09-15 16:14 7.3K 
[ ]cqc_lang__t19_cqc_lang2025-09-07 22:35 6.6K 
[ ]cqc_lang__t19_cqc_lang.depv12025-09-15 19:47 68  
[ ]cqc_lang__t19_cqc_lang.depvmin12025-09-15 19:52 68  
[ ]cqc_lang__t19_cqc_lang.vmin12025-09-15 19:47 1.1K 
[ ]cqc_lang__t19_cqc_lang.vmin1out2025-09-15 19:51 15K 
[ ]cqc_lang__t19_cqc_lang.vout2025-09-15 13:39 15K 
[ ]cqc_lang__t20_cqc_lang2025-09-07 22:36 22K 
[ ]cqc_lang__t20_cqc_lang.vout2025-09-15 14:20 7.3K 
[ ]cqc_lang__t21_cqc_lang2025-09-07 22:37 7.2K 
[ ]cqc_lang__t21_cqc_lang.depv12025-09-15 19:47 81  
[ ]cqc_lang__t21_cqc_lang.depvmin12025-09-15 19:52 81  
[ ]cqc_lang__t21_cqc_lang.vmin12025-09-15 19:47 1.6K 
[ ]cqc_lang__t21_cqc_lang.vmin1out2025-09-15 19:50 33K 
[ ]cqc_lang__t21_cqc_lang.vout2025-09-15 13:36 24K 
[ ]cqc_lang__t22_cqc_lang2025-09-07 22:38 6.9K 
[ ]cqc_lang__t22_cqc_lang.depv12025-09-15 19:47 178  
[ ]cqc_lang__t22_cqc_lang.depvmin12025-09-15 19:52 178  
[ ]cqc_lang__t22_cqc_lang.vmin12025-09-15 19:47 2.0K 
[ ]cqc_lang__t22_cqc_lang.vmin1out2025-09-15 19:49 21K 
[ ]cqc_lang__t22_cqc_lang.vout2025-09-15 15:54 21K 
[ ]cqc_lang__t23_cqc_lang2025-09-07 22:39 7.0K 
[ ]cqc_lang__t23_cqc_lang.depv12025-09-15 19:47 194  
[ ]cqc_lang__t23_cqc_lang.depvmin12025-09-15 19:52 194  
[ ]cqc_lang__t23_cqc_lang.vmin12025-09-15 19:47 2.2K 
[ ]cqc_lang__t23_cqc_lang.vmin1out2025-09-15 19:49 26K 
[ ]cqc_lang__t23_cqc_lang.vout2025-09-15 14:26 25K 
[ ]cqc_lang__t24_cqc_lang2025-09-07 22:39 6.7K 
[ ]cqc_lang__t24_cqc_lang.depv12025-09-15 19:47 134  
[ ]cqc_lang__t24_cqc_lang.depvmin12025-09-15 19:52 134  
[ ]cqc_lang__t24_cqc_lang.vmin12025-09-15 19:47 1.7K 
[ ]cqc_lang__t24_cqc_lang.vmin1out2025-09-15 19:49 23K 
[ ]cqc_lang__t24_cqc_lang.vout2025-09-15 19:25 22K 
[ ]cqc_lang__t25_cqc_lang2025-09-07 22:40 7.3K 
[ ]cqc_lang__t25_cqc_lang.depv12025-09-15 19:47 147  
[ ]cqc_lang__t25_cqc_lang.depvmin12025-09-15 19:52 147  
[ ]cqc_lang__t25_cqc_lang.vmin12025-09-15 19:47 2.2K 
[ ]cqc_lang__t25_cqc_lang.vmin1out2025-09-15 19:49 33K 
[ ]cqc_lang__t25_cqc_lang.vout2025-09-15 17:23 30K 
[ ]cqc_lang__t26_cqc_lang2025-09-07 22:42 27K 
[ ]cqc_lang__t26_cqc_lang.vout2025-09-15 18:42 7.3K 
[ ]cqc_lang__t27_cqc_lang2025-09-07 22:42 7.4K 
[ ]cqc_lang__t27_cqc_lang.depv12025-09-15 19:47 96  
[ ]cqc_lang__t27_cqc_lang.depvmin12025-09-15 19:52 96  
[ ]cqc_lang__t27_cqc_lang.vmin12025-09-15 19:47 1.2K 
[ ]cqc_lang__t27_cqc_lang.vmin1out2025-09-15 19:47 9.7K 
[ ]cqc_lang__t27_cqc_lang.vout2025-09-15 16:46 12K 
[ ]cqc_lang__t28_cqc_lang2025-09-07 22:44 27K 
[ ]cqc_lang__t28_cqc_lang.vout2025-09-15 13:39 7.3K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80