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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]cqc_lang__l1_cqc_lang2025-09-12 04:14 16K 
[ ]cqc_lang__l18_cqc_lang2025-09-12 04:16 38K 
[ ]cqc_lang__l27_cqc_lang2025-09-12 04:17 38K 
[ ]cqc_lang__s1_cqc_lang2025-09-12 03:35 30K 
[ ]cqc_lang__s2_cqc_lang2025-09-12 03:37 37K 
[ ]cqc_lang__s3_cqc_lang2025-09-12 03:38 32K 
[ ]cqc_lang__s4_cqc_lang2025-09-12 03:39 38K 
[ ]cqc_lang__s5_cqc_lang2025-09-12 03:40 28K 
[ ]cqc_lang__s6_cqc_lang2025-09-12 03:42 29K 
[ ]cqc_lang__s7_cqc_lang2025-09-12 03:43 34K 
[ ]cqc_lang__s8_cqc_lang2025-09-12 03:44 34K 
[ ]cqc_lang__s9_cqc_lang2025-09-12 03:45 34K 
[ ]cqc_lang__t1_cqc_lang2025-09-12 03:46 20K 
[ ]cqc_lang__t2_cqc_lang2025-09-12 03:47 20K 
[ ]cqc_lang__t3_cqc_lang2025-09-12 03:48 27K 
[ ]cqc_lang__t4_cqc_lang2025-09-12 03:49 11K 
[ ]cqc_lang__t5_cqc_lang2025-09-12 03:50 22K 
[ ]cqc_lang__t6_cqc_lang2025-09-12 03:51 12K 
[ ]cqc_lang__t7_cqc_lang2025-09-12 03:52 22K 
[ ]cqc_lang__t8_cqc_lang2025-09-12 03:53 12K 
[ ]cqc_lang__t9_cqc_lang2025-09-12 03:54 16K 
[ ]cqc_lang__t10_cqc_lang2025-09-12 03:55 14K 
[ ]cqc_lang__t11_cqc_lang2025-09-12 03:55 14K 
[ ]cqc_lang__t12_cqc_lang2025-09-12 03:56 15K 
[ ]cqc_lang__t13_cqc_lang2025-09-12 03:57 13K 
[ ]cqc_lang__t14_cqc_lang2025-09-12 03:58 14K 
[ ]cqc_lang__t15_cqc_lang2025-09-12 03:59 32K 
[ ]cqc_lang__t16_cqc_lang2025-09-12 04:01 33K 
[ ]cqc_lang__t17_cqc_lang2025-09-12 04:02 27K 
[ ]cqc_lang__t18_cqc_lang2025-09-12 04:04 38K 
[ ]cqc_lang__t19_cqc_lang2025-09-12 04:04 12K 
[ ]cqc_lang__t20_cqc_lang2025-09-12 04:06 38K 
[ ]cqc_lang__t21_cqc_lang2025-09-12 04:07 13K 
[ ]cqc_lang__t22_cqc_lang2025-09-12 04:07 12K 
[ ]cqc_lang__t23_cqc_lang2025-09-12 04:08 13K 
[ ]cqc_lang__t24_cqc_lang2025-09-12 04:09 12K 
[ ]cqc_lang__t25_cqc_lang2025-09-12 04:10 13K 
[ ]cqc_lang__t26_cqc_lang2025-09-12 04:11 43K 
[ ]cqc_lang__t27_cqc_lang2025-09-12 04:12 13K 
[ ]cqc_lang__t28_cqc_lang2025-09-12 04:14 43K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80