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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]lang1__t1_lang12024-07-28 13:55 27K 
[ ]lang1__t1_lang1.vout2024-08-03 04:13 5.3K 
[ ]lang1__t2_lang12024-07-28 13:54 34K 
[ ]lang1__t2_lang1.vout2024-08-03 09:36 4.7K 
[ ]lang1__t3_lang12024-07-28 13:57 35K 
[ ]lang1__t3_lang1.vout2024-08-03 10:13 4.7K 
[ ]lang1__t4_lang12024-07-28 13:58 49K 
[ ]lang1__t4_lang1.vout2024-08-03 07:58 4.7K 
[ ]lang1__t5_lang12024-07-28 14:00 35K 
[ ]lang1__t5_lang1.vout2024-08-03 05:48 4.6K 
[ ]lang1__t6_lang12024-07-28 14:01 39K 
[ ]lang1__t6_lang1.vout2024-08-03 06:22 4.6K 
[ ]lang1__t7_lang12024-07-28 14:03 42K 
[ ]lang1__t7_lang1.vout2024-08-03 04:30 4.6K 
[ ]lang1__t8_lang12024-07-28 14:05 64K 
[ ]lang1__t8_lang1.vout2024-08-03 07:41 4.6K 
[ ]lang1__t9_lang12024-07-28 14:06 37K 
[ ]lang1__t9_lang1.depv12024-08-03 10:19 87  
[ ]lang1__t9_lang1.depvmin12024-08-03 10:24 62  
[ ]lang1__t9_lang1.vmin12024-08-03 10:19 938  
[ ]lang1__t9_lang1.vmin1out2024-08-03 10:23 17K 
[ ]lang1__t9_lang1.vout2024-08-03 04:58 22K 
[ ]lang1__t10_lang12024-07-28 14:07 34K 
[ ]lang1__t10_lang1.vout2024-08-03 08:13 8.3K 
[ ]lang1__t11_lang12024-07-28 14:09 50K 
[ ]lang1__t11_lang1.vout2024-08-03 10:14 5.8K 
[ ]lang1__t12_lang12024-07-28 14:11 32K 
[ ]lang1__t12_lang1.vout2024-08-03 05:23 5.8K 
[ ]lang1__t13_lang12024-07-28 14:13 52K 
[ ]lang1__t13_lang1.vout2024-08-03 05:40 5.8K 
[ ]lang1__t14_lang12024-07-28 14:14 31K 
[ ]lang1__t14_lang1.vout2024-08-03 06:38 5.8K 
[ ]lang1__t15_lang12024-07-28 14:16 73K 
[ ]lang1__t15_lang1.vout2024-08-03 07:28 5.8K 
[ ]lang1__t16_lang12024-07-28 14:17 40K 
[ ]lang1__t16_lang1.vout2024-08-03 07:32 5.2K 
[ ]lang1__t17_lang12024-07-28 14:19 74K 
[ ]lang1__t17_lang1.vout2024-08-03 07:52 5.2K 
[ ]lang1__t18_lang12024-07-28 14:21 27K 
[ ]lang1__t18_lang1.vout2024-08-03 07:04 7.3K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80