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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]enumset1__l1_enumset12025-09-09 01:28 1.0K 
[ ]enumset1__l1_enumset1.depv12025-09-15 19:47 42  
[ ]enumset1__l1_enumset1.depvmin12025-09-15 19:52 42  
[ ]enumset1__l1_enumset1.vmin12025-09-15 19:47 557  
[ ]enumset1__l1_enumset1.vmin1out2025-09-15 19:50 18K 
[ ]enumset1__l1_enumset1.vout2025-09-15 15:32 18K 
[ ]enumset1__l13_enumset12025-09-09 01:28 1.2K 
[ ]enumset1__l13_enumset1.depv12025-09-15 19:47 57  
[ ]enumset1__l13_enumset1.depvmin12025-09-15 19:52 57  
[ ]enumset1__l13_enumset1.vmin12025-09-15 19:47 781  
[ ]enumset1__l13_enumset1.vmin1out2025-09-15 19:50 26K 
[ ]enumset1__l13_enumset1.vout2025-09-15 17:57 26K 
[ ]enumset1__l17_enumset12025-09-09 01:28 1.5K 
[ ]enumset1__l17_enumset1.depv12025-09-15 19:47 95  
[ ]enumset1__l17_enumset1.depvmin12025-09-15 19:52 95  
[ ]enumset1__l17_enumset1.vmin12025-09-15 19:47 1.1K 
[ ]enumset1__l17_enumset1.vmin1out2025-09-15 19:49 35K 
[ ]enumset1__l17_enumset1.vout2025-09-15 15:51 33K 
[ ]enumset1__l22_enumset12025-09-09 01:29 1.3K 
[ ]enumset1__l22_enumset1.depv12025-09-15 19:47 59  
[ ]enumset1__l22_enumset1.depvmin12025-09-15 19:52 59  
[ ]enumset1__l22_enumset1.vmin12025-09-15 19:47 936  
[ ]enumset1__l22_enumset1.vmin1out2025-09-15 19:47 32K 
[ ]enumset1__l22_enumset1.vout2025-09-15 19:04 33K 
[ ]enumset1__l28_enumset12025-09-09 01:29 1.6K 
[ ]enumset1__l28_enumset1.depv12025-09-15 19:47 97  
[ ]enumset1__l28_enumset1.vmin12025-09-15 19:47 1.3K 
[ ]enumset1__l28_enumset1.vmin1out2025-09-15 19:50 8.4K 
[ ]enumset1__l28_enumset1.vout2025-09-15 15:44 43K 
[ ]enumset1__l35_enumset12025-09-09 01:30 1.4K 
[ ]enumset1__l35_enumset1.depv12025-09-15 19:47 59  
[ ]enumset1__l35_enumset1.vmin12025-09-15 19:47 1.0K 
[ ]enumset1__l35_enumset1.vmin1out2025-09-15 19:49 8.4K 
[ ]enumset1__l35_enumset1.vout2025-09-15 16:36 41K 
[ ]enumset1__l80_enumset12025-09-09 01:30 727  
[ ]enumset1__l80_enumset1.depv12025-09-15 19:47 38  
[ ]enumset1__l80_enumset1.depvmin12025-09-15 19:52 38  
[ ]enumset1__l80_enumset1.vmin12025-09-15 19:47 379  
[ ]enumset1__l80_enumset1.vmin1out2025-09-15 19:48 3.1K 
[ ]enumset1__l80_enumset1.vout2025-09-15 15:10 3.1K 
[ ]enumset1__l86_enumset12025-09-09 01:30 727  
[ ]enumset1__l86_enumset1.depv12025-09-15 19:47 38  
[ ]enumset1__l86_enumset1.depvmin12025-09-15 19:52 38  
[ ]enumset1__l86_enumset1.vmin12025-09-15 19:47 379  
[ ]enumset1__l86_enumset1.vmin1out2025-09-15 19:48 3.1K 
[ ]enumset1__l86_enumset1.vout2025-09-15 14:56 3.1K 
[ ]enumset1__l93_enumset12025-09-09 01:30 1.8K 
[ ]enumset1__l93_enumset1.depv12025-09-15 19:47 71  
[ ]enumset1__l93_enumset1.vmin12025-09-15 19:47 1.3K 
[ ]enumset1__l93_enumset1.vmin1out2025-09-15 19:49 8.5K 
[ ]enumset1__l93_enumset1.vout2025-09-15 17:00 51K 
[ ]enumset1__t1_enumset12025-09-09 01:07 1.1K 
[ ]enumset1__t1_enumset1.depv12025-09-15 19:47 44  
[ ]enumset1__t1_enumset1.depvmin12025-09-15 19:52 44  
[ ]enumset1__t1_enumset1.vmin12025-09-15 19:47 522  
[ ]enumset1__t1_enumset1.vmin1out2025-09-15 19:49 19K 
[ ]enumset1__t1_enumset1.vout2025-09-15 13:53 15K 
[ ]enumset1__t2_enumset12025-09-09 01:08 1.3K 
[ ]enumset1__t2_enumset1.depv12025-09-15 19:47 56  
[ ]enumset1__t2_enumset1.depvmin12025-09-15 19:52 56  
[ ]enumset1__t2_enumset1.vmin12025-09-15 19:47 731  
[ ]enumset1__t2_enumset1.vmin1out2025-09-15 19:49 25K 
[ ]enumset1__t2_enumset1.vout2025-09-15 13:27 24K 
[ ]enumset1__t3_enumset12025-09-09 01:08 923  
[ ]enumset1__t3_enumset1.depv12025-09-15 19:47 48  
[ ]enumset1__t3_enumset1.depvmin12025-09-15 19:52 48  
[ ]enumset1__t3_enumset1.vmin12025-09-15 19:47 493  
[ ]enumset1__t3_enumset1.vmin1out2025-09-15 19:51 3.8K 
[ ]enumset1__t3_enumset1.vout2025-09-15 14:08 3.8K 
[ ]enumset1__t4_enumset12025-09-09 01:08 1.1K 
[ ]enumset1__t4_enumset1.depv12025-09-15 19:47 61  
[ ]enumset1__t4_enumset1.depvmin12025-09-15 19:52 61  
[ ]enumset1__t4_enumset1.vmin12025-09-15 19:47 658  
[ ]enumset1__t4_enumset1.vmin1out2025-09-15 19:48 4.4K 
[ ]enumset1__t4_enumset1.vout2025-09-15 16:55 4.5K 
[ ]enumset1__t5_enumset12025-09-09 01:06 692  
[ ]enumset1__t5_enumset1.depv12025-09-15 19:47 25  
[ ]enumset1__t5_enumset1.depvmin12025-09-15 19:52 25  
[ ]enumset1__t5_enumset1.vmin12025-09-15 19:47 294  
[ ]enumset1__t5_enumset1.vmin1out2025-09-15 19:49 2.6K 
[ ]enumset1__t5_enumset1.vout2025-09-15 18:07 2.6K 
[ ]enumset1__t6_enumset12025-09-09 01:08 1.1K 
[ ]enumset1__t6_enumset1.depv12025-09-15 19:47 61  
[ ]enumset1__t6_enumset1.depvmin12025-09-15 19:52 61  
[ ]enumset1__t6_enumset1.vmin12025-09-15 19:47 658  
[ ]enumset1__t6_enumset1.vmin1out2025-09-15 19:49 4.5K 
[ ]enumset1__t6_enumset1.vout2025-09-15 14:15 4.5K 
[ ]enumset1__t7_enumset12025-09-09 01:09 1.2K 
[ ]enumset1__t7_enumset1.depv12025-09-15 19:47 62  
[ ]enumset1__t7_enumset1.depvmin12025-09-15 19:52 62  
[ ]enumset1__t7_enumset1.vmin12025-09-15 19:47 735  
[ ]enumset1__t7_enumset1.vmin1out2025-09-15 19:50 4.7K 
[ ]enumset1__t7_enumset1.vout2025-09-15 17:47 4.7K 
[ ]enumset1__t8_enumset12025-09-09 01:09 1.2K 
[ ]enumset1__t8_enumset1.depv12025-09-15 19:47 61  
[ ]enumset1__t8_enumset1.depvmin12025-09-15 19:52 61  
[ ]enumset1__t8_enumset1.vmin12025-09-15 19:47 716  
[ ]enumset1__t8_enumset1.vmin1out2025-09-15 19:50 4.6K 
[ ]enumset1__t8_enumset1.vout2025-09-15 17:56 4.7K 
[ ]enumset1__t9_enumset12025-09-09 01:06 767  
[ ]enumset1__t9_enumset1.depv12025-09-15 19:47 25  
[ ]enumset1__t9_enumset1.depvmin12025-09-15 19:52 25  
[ ]enumset1__t9_enumset1.vmin12025-09-15 19:47 334  
[ ]enumset1__t9_enumset1.vmin1out2025-09-15 19:48 2.7K 
[ ]enumset1__t9_enumset1.vout2025-09-15 17:26 2.7K 
[ ]enumset1__t10_enumset12025-09-09 01:09 1.2K 
[ ]enumset1__t10_enumset1.depv12025-09-15 19:47 88  
[ ]enumset1__t10_enumset1.depvmin12025-09-15 19:52 88  
[ ]enumset1__t10_enumset1.vmin12025-09-15 19:47 808  
[ ]enumset1__t10_enumset1.vmin1out2025-09-15 19:49 6.5K 
[ ]enumset1__t10_enumset1.vout2025-09-15 13:42 5.5K 
[ ]enumset1__t11_enumset12025-09-09 01:09 1.3K 
[ ]enumset1__t11_enumset1.depv12025-09-15 19:47 62  
[ ]enumset1__t11_enumset1.depvmin12025-09-15 19:52 62  
[ ]enumset1__t11_enumset1.vmin12025-09-15 19:47 793  
[ ]enumset1__t11_enumset1.vmin1out2025-09-15 19:48 4.9K 
[ ]enumset1__t11_enumset1.vout2025-09-15 17:03 4.9K 
[ ]enumset1__t12_enumset12025-09-09 01:10 1.2K 
[ ]enumset1__t12_enumset1.depv12025-09-15 19:47 62  
[ ]enumset1__t12_enumset1.depvmin12025-09-15 19:52 62  
[ ]enumset1__t12_enumset1.vmin12025-09-15 19:47 775  
[ ]enumset1__t12_enumset1.vmin1out2025-09-15 19:48 4.8K 
[ ]enumset1__t12_enumset1.vout2025-09-15 14:16 4.8K 
[ ]enumset1__t13_enumset12025-09-09 01:06 691  
[ ]enumset1__t13_enumset1.depv12025-09-15 19:47 26  
[ ]enumset1__t13_enumset1.depvmin12025-09-15 19:52 26  
[ ]enumset1__t13_enumset1.vmin12025-09-15 19:47 375  
[ ]enumset1__t13_enumset1.vmin1out2025-09-15 19:49 2.9K 
[ ]enumset1__t13_enumset1.vout2025-09-15 16:54 2.8K 
[ ]enumset1__t14_enumset12025-09-09 01:10 1.2K 
[ ]enumset1__t14_enumset1.depv12025-09-15 19:47 62  
[ ]enumset1__t14_enumset1.depvmin12025-09-15 19:52 62  
[ ]enumset1__t14_enumset1.vmin12025-09-15 19:47 775  
[ ]enumset1__t14_enumset1.vmin1out2025-09-15 19:47 4.8K 
[ ]enumset1__t14_enumset1.vout2025-09-15 16:15 4.8K 
[ ]enumset1__t15_enumset12025-09-09 01:10 1.3K 
[ ]enumset1__t15_enumset1.depv12025-09-15 19:47 89  
[ ]enumset1__t15_enumset1.depvmin12025-09-15 19:52 89  
[ ]enumset1__t15_enumset1.vmin12025-09-15 19:47 885  
[ ]enumset1__t15_enumset1.vmin1out2025-09-15 19:50 5.5K 
[ ]enumset1__t15_enumset1.vout2025-09-15 14:38 9.0K 
[ ]enumset1__t16_enumset12025-09-09 01:11 1.3K 
[ ]enumset1__t16_enumset1.depv12025-09-15 19:47 63  
[ ]enumset1__t16_enumset1.depvmin12025-09-15 19:52 63  
[ ]enumset1__t16_enumset1.vmin12025-09-15 19:47 870  
[ ]enumset1__t16_enumset1.vmin1out2025-09-15 19:49 5.1K 
[ ]enumset1__t16_enumset1.vout2025-09-15 16:28 5.1K 
[ ]enumset1__t17_enumset12025-09-09 01:11 1.3K 
[ ]enumset1__t17_enumset1.depv12025-09-15 19:47 63  
[ ]enumset1__t17_enumset1.depvmin12025-09-15 19:52 63  
[ ]enumset1__t17_enumset1.vmin12025-09-15 19:47 848  
[ ]enumset1__t17_enumset1.vmin1out2025-09-15 19:48 5.0K 
[ ]enumset1__t17_enumset1.vout2025-09-15 14:35 5.1K 
[ ]enumset1__t18_enumset12025-09-09 01:11 1.2K 
[ ]enumset1__t18_enumset1.depv12025-09-15 19:47 62  
[ ]enumset1__t18_enumset1.depvmin12025-09-15 19:52 62  
[ ]enumset1__t18_enumset1.vmin12025-09-15 19:47 833  
[ ]enumset1__t18_enumset1.vmin1out2025-09-15 19:48 5.0K 
[ ]enumset1__t18_enumset1.vout2025-09-15 14:19 5.0K 
[ ]enumset1__t19_enumset12025-09-09 01:06 762  
[ ]enumset1__t19_enumset1.depv12025-09-15 19:47 26  
[ ]enumset1__t19_enumset1.depvmin12025-09-15 19:52 26  
[ ]enumset1__t19_enumset1.vmin12025-09-15 19:47 411  
[ ]enumset1__t19_enumset1.vmin1out2025-09-15 19:51 3.0K 
[ ]enumset1__t19_enumset1.vout2025-09-15 16:40 3.0K 
[ ]enumset1__t20_enumset12025-09-09 01:12 1.3K 
[ ]enumset1__t20_enumset1.depv12025-09-15 19:47 89  
[ ]enumset1__t20_enumset1.depvmin12025-09-15 19:52 89  
[ ]enumset1__t20_enumset1.vmin12025-09-15 19:47 921  
[ ]enumset1__t20_enumset1.vmin1out2025-09-15 19:49 6.0K 
[ ]enumset1__t20_enumset1.vout2025-09-15 14:07 6.7K 
[ ]enumset1__t21_enumset12025-09-09 01:12 1.4K 
[ ]enumset1__t21_enumset1.depv12025-09-15 19:47 89  
[ ]enumset1__t21_enumset1.depvmin12025-09-15 19:52 89  
[ ]enumset1__t21_enumset1.vmin12025-09-15 19:47 939  
[ ]enumset1__t21_enumset1.vmin1out2025-09-15 19:47 5.7K 
[ ]enumset1__t21_enumset1.vout2025-09-15 15:45 6.8K 
[ ]enumset1__t22_enumset12025-09-09 01:12 1.3K 
[ ]enumset1__t22_enumset1.depv12025-09-15 19:47 89  
[ ]enumset1__t22_enumset1.depvmin12025-09-15 19:52 89  
[ ]enumset1__t22_enumset1.vmin12025-09-15 19:47 1.0K 
[ ]enumset1__t22_enumset1.vmin1out2025-09-15 19:49 7.9K 
[ ]enumset1__t22_enumset1.vout2025-09-15 16:57 9.1K 
[ ]enumset1__t23_enumset12025-09-09 01:13 1.3K 
[ ]enumset1__t23_enumset1.depv12025-09-15 19:47 64  
[ ]enumset1__t23_enumset1.depvmin12025-09-15 19:52 64  
[ ]enumset1__t23_enumset1.vmin12025-09-15 19:47 903  
[ ]enumset1__t23_enumset1.vmin1out2025-09-15 19:49 5.2K 
[ ]enumset1__t23_enumset1.vout2025-09-15 18:26 5.2K 
[ ]enumset1__t24_enumset12025-09-09 01:13 1.3K 
[ ]enumset1__t24_enumset1.depv12025-09-15 19:47 88  
[ ]enumset1__t24_enumset1.depvmin12025-09-15 19:52 88  
[ ]enumset1__t24_enumset1.vmin12025-09-15 19:47 1.0K 
[ ]enumset1__t24_enumset1.vmin1out2025-09-15 19:49 6.4K 
[ ]enumset1__t24_enumset1.vout2025-09-15 15:35 6.4K 
[ ]enumset1__t25_enumset12025-09-09 01:06 763  
[ ]enumset1__t25_enumset1.depv12025-09-15 19:47 26  
[ ]enumset1__t25_enumset1.depvmin12025-09-15 19:52 26  
[ ]enumset1__t25_enumset1.vmin12025-09-15 19:47 447  
[ ]enumset1__t25_enumset1.vmin1out2025-09-15 19:48 3.1K 
[ ]enumset1__t25_enumset1.vout2025-09-15 19:13 3.1K 
[ ]enumset1__t26_enumset12025-09-09 01:13 1.3K 
[ ]enumset1__t26_enumset1.depv12025-09-15 19:47 89  
[ ]enumset1__t26_enumset1.depvmin12025-09-15 19:52 89  
[ ]enumset1__t26_enumset1.vmin12025-09-15 19:47 1.0K 
[ ]enumset1__t26_enumset1.vmin1out2025-09-15 19:49 8.9K 
[ ]enumset1__t26_enumset1.vout2025-09-15 15:28 9.4K 
[ ]enumset1__t27_enumset12025-09-09 01:14 1.3K 
[ ]enumset1__t27_enumset1.depv12025-09-15 19:47 64  
[ ]enumset1__t27_enumset1.depvmin12025-09-15 19:52 64  
[ ]enumset1__t27_enumset1.vmin12025-09-15 19:47 903  
[ ]enumset1__t27_enumset1.vmin1out2025-09-15 19:50 5.2K 
[ ]enumset1__t27_enumset1.vout2025-09-15 18:25 7.0K 
[ ]enumset1__t28_enumset12025-09-09 01:14 1.3K 
[ ]enumset1__t28_enumset1.depv12025-09-15 19:47 89  
[ ]enumset1__t28_enumset1.depvmin12025-09-15 19:52 89  
[ ]enumset1__t28_enumset1.vmin12025-09-15 19:47 1.0K 
[ ]enumset1__t28_enumset1.vmin1out2025-09-15 19:50 9.7K 
[ ]enumset1__t28_enumset1.vout2025-09-15 17:09 9.6K 
[ ]enumset1__t29_enumset12025-09-09 01:14 725  
[ ]enumset1__t29_enumset1.depv12025-09-15 19:47 33  
[ ]enumset1__t29_enumset1.depvmin12025-09-15 19:52 33  
[ ]enumset1__t29_enumset1.vmin12025-09-15 19:47 320  
[ ]enumset1__t29_enumset1.vmin1out2025-09-15 19:48 8.1K 
[ ]enumset1__t29_enumset1.vout2025-09-15 16:33 8.0K 
[ ]enumset1__t30_enumset12025-09-09 01:14 824  
[ ]enumset1__t30_enumset1.depv12025-09-15 19:47 50  
[ ]enumset1__t30_enumset1.depvmin12025-09-15 19:52 50  
[ ]enumset1__t30_enumset1.vmin12025-09-15 19:47 393  
[ ]enumset1__t30_enumset1.vmin1out2025-09-15 19:49 3.1K 
[ ]enumset1__t30_enumset1.vout2025-09-15 16:42 3.1K 
[ ]enumset1__t31_enumset12025-09-09 01:15 918  
[ ]enumset1__t31_enumset1.depv12025-09-15 19:47 51  
[ ]enumset1__t31_enumset1.depvmin12025-09-15 19:52 51  
[ ]enumset1__t31_enumset1.vmin12025-09-15 19:47 452  
[ ]enumset1__t31_enumset1.vmin1out2025-09-15 19:51 3.3K 
[ ]enumset1__t31_enumset1.vout2025-09-15 14:55 3.3K 
[ ]enumset1__t32_enumset12025-09-09 01:15 1.0K 
[ ]enumset1__t32_enumset1.depv12025-09-15 19:47 50  
[ ]enumset1__t32_enumset1.depvmin12025-09-15 19:52 50  
[ ]enumset1__t32_enumset1.vmin12025-09-15 19:47 509  
[ ]enumset1__t32_enumset1.vmin1out2025-09-15 19:50 3.5K 
[ ]enumset1__t32_enumset1.vout2025-09-15 15:53 3.5K 
[ ]enumset1__t33_enumset12025-09-09 01:15 1.0K 
[ ]enumset1__t33_enumset1.depv12025-09-15 19:47 51  
[ ]enumset1__t33_enumset1.depvmin12025-09-15 19:52 51  
[ ]enumset1__t33_enumset1.vmin12025-09-15 19:47 564  
[ ]enumset1__t33_enumset1.vmin1out2025-09-15 19:50 3.7K 
[ ]enumset1__t33_enumset1.vout2025-09-15 17:00 3.6K 
[ ]enumset1__t34_enumset12025-09-09 01:16 1.1K 
[ ]enumset1__t34_enumset1.depv12025-09-15 19:47 52  
[ ]enumset1__t34_enumset1.depvmin12025-09-15 19:52 52  
[ ]enumset1__t34_enumset1.vmin12025-09-15 19:47 619  
[ ]enumset1__t34_enumset1.vmin1out2025-09-15 19:48 3.8K 
[ ]enumset1__t34_enumset1.vout2025-09-15 17:22 3.8K 
[ ]enumset1__t35_enumset12025-09-09 01:16 1.1K 
[ ]enumset1__t35_enumset1.depv12025-09-15 19:47 52  
[ ]enumset1__t35_enumset1.depvmin12025-09-15 19:52 52  
[ ]enumset1__t35_enumset1.vmin12025-09-15 19:47 673  
[ ]enumset1__t35_enumset1.vmin1out2025-09-15 19:48 4.0K 
[ ]enumset1__t35_enumset1.vout2025-09-15 16:55 4.0K 
[ ]enumset1__t36_enumset12025-09-09 01:16 466  
[ ]enumset1__t36_enumset1.depv12025-09-15 19:47 39  
[ ]enumset1__t36_enumset1.depvmin12025-09-15 19:52 39  
[ ]enumset1__t36_enumset1.vmin12025-09-15 19:47 234  
[ ]enumset1__t36_enumset1.vmin1out2025-09-15 19:48 2.3K 
[ ]enumset1__t36_enumset1.vout2025-09-15 17:01 2.3K 
[ ]enumset1__t37_enumset12025-09-09 01:16 526  
[ ]enumset1__t37_enumset1.depv12025-09-15 19:47 39  
[ ]enumset1__t37_enumset1.depvmin12025-09-15 19:52 39  
[ ]enumset1__t37_enumset1.vmin12025-09-15 19:47 292  
[ ]enumset1__t37_enumset1.vmin1out2025-09-15 19:48 2.7K 
[ ]enumset1__t37_enumset1.vout2025-09-15 13:37 2.6K 
[ ]enumset1__t38_enumset12025-09-09 01:16 501  
[ ]enumset1__t38_enumset1.depv12025-09-15 19:47 39  
[ ]enumset1__t38_enumset1.depvmin12025-09-15 19:52 39  
[ ]enumset1__t38_enumset1.vmin12025-09-15 19:47 350  
[ ]enumset1__t38_enumset1.vmin1out2025-09-15 19:50 2.8K 
[ ]enumset1__t38_enumset1.vout2025-09-15 16:01 2.8K 
[ ]enumset1__t39_enumset12025-09-09 01:17 555  
[ ]enumset1__t39_enumset1.depv12025-09-15 19:47 39  
[ ]enumset1__t39_enumset1.depvmin12025-09-15 19:52 39  
[ ]enumset1__t39_enumset1.vmin12025-09-15 19:47 404  
[ ]enumset1__t39_enumset1.vmin1out2025-09-15 19:49 3.0K 
[ ]enumset1__t39_enumset1.vout2025-09-15 14:46 3.0K 
[ ]enumset1__t40_enumset12025-09-09 01:17 609  
[ ]enumset1__t40_enumset1.depv12025-09-15 19:47 39  
[ ]enumset1__t40_enumset1.depvmin12025-09-15 19:52 39  
[ ]enumset1__t40_enumset1.vmin12025-09-15 19:47 458  
[ ]enumset1__t40_enumset1.vmin1out2025-09-15 19:49 3.1K 
[ ]enumset1__t40_enumset1.vout2025-09-15 16:41 3.1K 
[ ]enumset1__t41_enumset12025-09-09 01:17 663  
[ ]enumset1__t41_enumset1.depv12025-09-15 19:47 39  
[ ]enumset1__t41_enumset1.depvmin12025-09-15 19:52 39  
[ ]enumset1__t41_enumset1.vmin12025-09-15 19:47 512  
[ ]enumset1__t41_enumset1.vmin1out2025-09-15 19:47 3.3K 
[ ]enumset1__t41_enumset1.vout2025-09-15 14:30 3.3K 
[ ]enumset1__t42_enumset12025-09-09 01:17 472  
[ ]enumset1__t42_enumset1.depv12025-09-15 19:47 39  
[ ]enumset1__t42_enumset1.depvmin12025-09-15 19:52 39  
[ ]enumset1__t42_enumset1.vmin12025-09-15 19:47 240  
[ ]enumset1__t42_enumset1.vmin1out2025-09-15 19:48 2.3K 
[ ]enumset1__t42_enumset1.vout2025-09-15 15:46 2.3K 
[ ]enumset1__t43_enumset12025-09-09 01:18 532  
[ ]enumset1__t43_enumset1.depv12025-09-15 19:47 39  
[ ]enumset1__t43_enumset1.depvmin12025-09-15 19:52 39  
[ ]enumset1__t43_enumset1.vmin12025-09-15 19:47 298  
[ ]enumset1__t43_enumset1.vmin1out2025-09-15 19:48 2.7K 
[ ]enumset1__t43_enumset1.vout2025-09-15 14:27 2.7K 
[ ]enumset1__t44_enumset12025-09-09 01:18 507  
[ ]enumset1__t44_enumset1.depv12025-09-15 19:47 39  
[ ]enumset1__t44_enumset1.depvmin12025-09-15 19:52 39  
[ ]enumset1__t44_enumset1.vmin12025-09-15 19:47 356  
[ ]enumset1__t44_enumset1.vmin1out2025-09-15 19:50 2.9K 
[ ]enumset1__t44_enumset1.vout2025-09-15 16:46 2.9K 
[ ]enumset1__t45_enumset12025-09-09 01:18 561  
[ ]enumset1__t45_enumset1.depv12025-09-15 19:47 39  
[ ]enumset1__t45_enumset1.depvmin12025-09-15 19:52 39  
[ ]enumset1__t45_enumset1.vmin12025-09-15 19:47 410  
[ ]enumset1__t45_enumset1.vmin1out2025-09-15 19:49 3.0K 
[ ]enumset1__t45_enumset1.vout2025-09-15 17:15 3.0K 
[ ]enumset1__t46_enumset12025-09-09 01:18 615  
[ ]enumset1__t46_enumset1.depv12025-09-15 19:47 39  
[ ]enumset1__t46_enumset1.depvmin12025-09-15 19:52 39  
[ ]enumset1__t46_enumset1.vmin12025-09-15 19:47 464  
[ ]enumset1__t46_enumset1.vmin1out2025-09-15 19:49 3.2K 
[ ]enumset1__t46_enumset1.vout2025-09-15 16:09 3.2K 
[ ]enumset1__t47_enumset12025-09-09 01:18 478  
[ ]enumset1__t47_enumset1.depv12025-09-15 19:47 39  
[ ]enumset1__t47_enumset1.depvmin12025-09-15 19:52 39  
[ ]enumset1__t47_enumset1.vmin12025-09-15 19:47 246  
[ ]enumset1__t47_enumset1.vmin1out2025-09-15 19:50 2.4K 
[ ]enumset1__t47_enumset1.vout2025-09-15 13:44 2.3K 
[ ]enumset1__t48_enumset12025-09-09 01:19 538  
[ ]enumset1__t48_enumset1.depv12025-09-15 19:47 39  
[ ]enumset1__t48_enumset1.depvmin12025-09-15 19:52 39  
[ ]enumset1__t48_enumset1.vmin12025-09-15 19:47 304  
[ ]enumset1__t48_enumset1.vmin1out2025-09-15 19:49 2.7K 
[ ]enumset1__t48_enumset1.vout2025-09-15 15:03 2.7K 
[ ]enumset1__t49_enumset12025-09-09 01:19 513  
[ ]enumset1__t49_enumset1.depv12025-09-15 19:47 39  
[ ]enumset1__t49_enumset1.depvmin12025-09-15 19:52 39  
[ ]enumset1__t49_enumset1.vmin12025-09-15 19:47 362  
[ ]enumset1__t49_enumset1.vmin1out2025-09-15 19:48 2.9K 
[ ]enumset1__t49_enumset1.vout2025-09-15 17:02 2.9K 
[ ]enumset1__t50_enumset12025-09-09 01:19 567  
[ ]enumset1__t50_enumset1.depv12025-09-15 19:47 39  
[ ]enumset1__t50_enumset1.depvmin12025-09-15 19:52 39  
[ ]enumset1__t50_enumset1.vmin12025-09-15 19:47 416  
[ ]enumset1__t50_enumset1.vmin1out2025-09-15 19:48 3.1K 
[ ]enumset1__t50_enumset1.vout2025-09-15 19:37 3.0K 
[ ]enumset1__t51_enumset12025-09-09 01:19 484  
[ ]enumset1__t51_enumset1.depv12025-09-15 19:47 39  
[ ]enumset1__t51_enumset1.depvmin12025-09-15 19:52 39  
[ ]enumset1__t51_enumset1.vmin12025-09-15 19:47 252  
[ ]enumset1__t51_enumset1.vmin1out2025-09-15 19:50 2.4K 
[ ]enumset1__t51_enumset1.vout2025-09-15 15:37 2.4K 
[ ]enumset1__t52_enumset12025-09-09 01:19 544  
[ ]enumset1__t52_enumset1.depv12025-09-15 19:47 39  
[ ]enumset1__t52_enumset1.depvmin12025-09-15 19:52 39  
[ ]enumset1__t52_enumset1.vmin12025-09-15 19:47 310  
[ ]enumset1__t52_enumset1.vmin1out2025-09-15 19:50 2.8K 
[ ]enumset1__t52_enumset1.vout2025-09-15 17:26 2.7K 
[ ]enumset1__t53_enumset12025-09-09 01:20 519  
[ ]enumset1__t53_enumset1.depv12025-09-15 19:47 39  
[ ]enumset1__t53_enumset1.depvmin12025-09-15 19:52 39  
[ ]enumset1__t53_enumset1.vmin12025-09-15 19:47 368  
[ ]enumset1__t53_enumset1.vmin1out2025-09-15 19:49 2.9K 
[ ]enumset1__t53_enumset1.vout2025-09-15 16:00 2.9K 
[ ]enumset1__t54_enumset12025-09-09 01:20 490  
[ ]enumset1__t54_enumset1.depv12025-09-15 19:47 39  
[ ]enumset1__t54_enumset1.depvmin12025-09-15 19:52 39  
[ ]enumset1__t54_enumset1.vmin12025-09-15 19:47 258  
[ ]enumset1__t54_enumset1.vmin1out2025-09-15 19:49 2.4K 
[ ]enumset1__t54_enumset1.vout2025-09-15 14:01 2.4K 
[ ]enumset1__t55_enumset12025-09-09 01:20 550  
[ ]enumset1__t55_enumset1.depv12025-09-15 19:47 39  
[ ]enumset1__t55_enumset1.depvmin12025-09-15 19:52 39  
[ ]enumset1__t55_enumset1.vmin12025-09-15 19:47 316  
[ ]enumset1__t55_enumset1.vmin1out2025-09-15 19:49 2.8K 
[ ]enumset1__t55_enumset1.vout2025-09-15 16:37 2.8K 
[ ]enumset1__t56_enumset12025-09-09 01:20 496  
[ ]enumset1__t56_enumset1.depv12025-09-15 19:47 39  
[ ]enumset1__t56_enumset1.depvmin12025-09-15 19:52 39  
[ ]enumset1__t56_enumset1.vmin12025-09-15 19:47 264  
[ ]enumset1__t56_enumset1.vmin1out2025-09-15 19:49 2.5K 
[ ]enumset1__t56_enumset1.vout2025-09-15 18:55 2.4K 
[ ]enumset1__t57_enumset12025-09-09 01:20 667  
[ ]enumset1__t57_enumset1.depv12025-09-15 19:47 49  
[ ]enumset1__t57_enumset1.depvmin12025-09-15 19:52 49  
[ ]enumset1__t57_enumset1.vmin12025-09-15 19:47 321  
[ ]enumset1__t57_enumset1.vmin1out2025-09-15 19:50 2.8K 
[ ]enumset1__t57_enumset1.vout2025-09-15 16:19 2.8K 
[ ]enumset1__t58_enumset12025-09-09 01:21 667  
[ ]enumset1__t58_enumset1.depv12025-09-15 19:47 49  
[ ]enumset1__t58_enumset1.depvmin12025-09-15 19:52 49  
[ ]enumset1__t58_enumset1.vmin12025-09-15 19:47 321  
[ ]enumset1__t58_enumset1.vmin1out2025-09-15 19:50 2.8K 
[ ]enumset1__t58_enumset1.vout2025-09-15 13:51 2.8K 
[ ]enumset1__t59_enumset12025-09-09 01:21 793  
[ ]enumset1__t59_enumset1.depv12025-09-15 19:47 63  
[ ]enumset1__t59_enumset1.depvmin12025-09-15 19:52 63  
[ ]enumset1__t59_enumset1.vmin12025-09-15 19:47 453  
[ ]enumset1__t59_enumset1.vmin1out2025-09-15 19:47 3.3K 
[ ]enumset1__t59_enumset1.vout2025-09-15 15:54 3.3K 
[ ]enumset1__t60_enumset12025-09-09 01:21 401  
[ ]enumset1__t60_enumset1.depv12025-09-15 19:47 39  
[ ]enumset1__t60_enumset1.depvmin12025-09-15 19:52 39  
[ ]enumset1__t60_enumset1.vmin12025-09-15 19:47 320  
[ ]enumset1__t60_enumset1.vmin1out2025-09-15 19:51 2.5K 
[ ]enumset1__t60_enumset1.vout2025-09-15 15:45 2.5K 
[ ]enumset1__t61_enumset12025-09-09 01:21 727  
[ ]enumset1__t61_enumset1.depv12025-09-15 19:47 38  
[ ]enumset1__t61_enumset1.depvmin12025-09-15 19:52 38  
[ ]enumset1__t61_enumset1.vmin12025-09-15 19:47 379  
[ ]enumset1__t61_enumset1.vmin1out2025-09-15 19:51 3.1K 
[ ]enumset1__t61_enumset1.vout2025-09-15 15:25 3.1K 
[ ]enumset1__t62_enumset12025-09-09 01:21 727  
[ ]enumset1__t62_enumset1.depv12025-09-15 19:47 38  
[ ]enumset1__t62_enumset1.depvmin12025-09-15 19:52 38  
[ ]enumset1__t62_enumset1.vmin12025-09-15 19:47 379  
[ ]enumset1__t62_enumset1.vmin1out2025-09-15 19:50 3.1K 
[ ]enumset1__t62_enumset1.vout2025-09-15 17:04 3.1K 
[ ]enumset1__t63_enumset12025-09-09 01:22 727  
[ ]enumset1__t63_enumset1.depv12025-09-15 19:47 38  
[ ]enumset1__t63_enumset1.depvmin12025-09-15 19:52 38  
[ ]enumset1__t63_enumset1.vmin12025-09-15 19:47 379  
[ ]enumset1__t63_enumset1.vmin1out2025-09-15 19:47 3.1K 
[ ]enumset1__t63_enumset1.vout2025-09-15 17:01 3.1K 
[ ]enumset1__t64_enumset12025-09-09 01:22 727  
[ ]enumset1__t64_enumset1.depv12025-09-15 19:47 38  
[ ]enumset1__t64_enumset1.depvmin12025-09-15 19:52 38  
[ ]enumset1__t64_enumset1.vmin12025-09-15 19:47 379  
[ ]enumset1__t64_enumset1.vmin1out2025-09-15 19:49 3.1K 
[ ]enumset1__t64_enumset1.vout2025-09-15 15:25 3.1K 
[ ]enumset1__t65_enumset12025-09-09 01:22 727  
[ ]enumset1__t65_enumset1.depv12025-09-15 19:47 38  
[ ]enumset1__t65_enumset1.depvmin12025-09-15 19:52 38  
[ ]enumset1__t65_enumset1.vmin12025-09-15 19:47 379  
[ ]enumset1__t65_enumset1.vmin1out2025-09-15 19:47 3.1K 
[ ]enumset1__t65_enumset1.vout2025-09-15 15:10 3.1K 
[ ]enumset1__t66_enumset12025-09-09 01:22 455  
[ ]enumset1__t66_enumset1.depv12025-09-15 19:47 39  
[ ]enumset1__t66_enumset1.depvmin12025-09-15 19:52 39  
[ ]enumset1__t66_enumset1.vmin12025-09-15 19:47 374  
[ ]enumset1__t66_enumset1.vmin1out2025-09-15 19:49 2.7K 
[ ]enumset1__t66_enumset1.vout2025-09-15 18:16 2.7K 
[ ]enumset1__t67_enumset12025-09-09 01:07 333  
[ ]enumset1__t67_enumset1.depv12025-09-15 19:47 26  
[ ]enumset1__t67_enumset1.depvmin12025-09-15 19:52 26  
[ ]enumset1__t67_enumset1.vmin12025-09-15 19:47 251  
[ ]enumset1__t67_enumset1.vmin1out2025-09-15 19:51 2.3K 
[ ]enumset1__t67_enumset1.vout2025-09-15 17:22 2.3K 
[ ]enumset1__t68_enumset12025-09-09 01:23 455  
[ ]enumset1__t68_enumset1.depv12025-09-15 19:47 39  
[ ]enumset1__t68_enumset1.depvmin12025-09-15 19:52 39  
[ ]enumset1__t68_enumset1.vmin12025-09-15 19:47 374  
[ ]enumset1__t68_enumset1.vmin1out2025-09-15 19:47 2.7K 
[ ]enumset1__t68_enumset1.vout2025-09-15 19:05 2.7K 
[ ]enumset1__t69_enumset12025-09-09 01:23 455  
[ ]enumset1__t69_enumset1.depv12025-09-15 19:47 39  
[ ]enumset1__t69_enumset1.depvmin12025-09-15 19:52 39  
[ ]enumset1__t69_enumset1.vmin12025-09-15 19:47 374  
[ ]enumset1__t69_enumset1.vmin1out2025-09-15 19:48 2.7K 
[ ]enumset1__t69_enumset1.vout2025-09-15 16:36 2.7K 
[ ]enumset1__t70_enumset12025-09-09 01:23 455  
[ ]enumset1__t70_enumset1.depv12025-09-15 19:47 39  
[ ]enumset1__t70_enumset1.depvmin12025-09-15 19:52 39  
[ ]enumset1__t70_enumset1.vmin12025-09-15 19:47 374  
[ ]enumset1__t70_enumset1.vmin1out2025-09-15 19:48 2.7K 
[ ]enumset1__t70_enumset1.vout2025-09-15 19:27 2.7K 
[ ]enumset1__t71_enumset12025-09-09 01:07 333  
[ ]enumset1__t71_enumset1.depv12025-09-15 19:47 26  
[ ]enumset1__t71_enumset1.depvmin12025-09-15 19:52 26  
[ ]enumset1__t71_enumset1.vmin12025-09-15 19:47 251  
[ ]enumset1__t71_enumset1.vmin1out2025-09-15 19:50 2.3K 
[ ]enumset1__t71_enumset1.vout2025-09-15 15:15 2.3K 
[ ]enumset1__t72_enumset12025-09-09 01:23 455  
[ ]enumset1__t72_enumset1.depv12025-09-15 19:47 39  
[ ]enumset1__t72_enumset1.depvmin12025-09-15 19:52 39  
[ ]enumset1__t72_enumset1.vmin12025-09-15 19:47 374  
[ ]enumset1__t72_enumset1.vmin1out2025-09-15 19:50 2.7K 
[ ]enumset1__t72_enumset1.vout2025-09-15 19:15 2.7K 
[ ]enumset1__t73_enumset12025-09-09 01:23 455  
[ ]enumset1__t73_enumset1.depv12025-09-15 19:47 39  
[ ]enumset1__t73_enumset1.depvmin12025-09-15 19:52 39  
[ ]enumset1__t73_enumset1.vmin12025-09-15 19:47 374  
[ ]enumset1__t73_enumset1.vmin1out2025-09-15 19:50 2.7K 
[ ]enumset1__t73_enumset1.vout2025-09-15 15:46 2.7K 
[ ]enumset1__t74_enumset12025-09-09 01:24 455  
[ ]enumset1__t74_enumset1.depv12025-09-15 19:47 39  
[ ]enumset1__t74_enumset1.depvmin12025-09-15 19:52 39  
[ ]enumset1__t74_enumset1.vmin12025-09-15 19:47 374  
[ ]enumset1__t74_enumset1.vmin1out2025-09-15 19:49 2.7K 
[ ]enumset1__t74_enumset1.vout2025-09-15 16:14 2.7K 
[ ]enumset1__t75_enumset12025-09-09 01:24 455  
[ ]enumset1__t75_enumset1.depv12025-09-15 19:47 39  
[ ]enumset1__t75_enumset1.depvmin12025-09-15 19:52 39  
[ ]enumset1__t75_enumset1.vmin12025-09-15 19:47 374  
[ ]enumset1__t75_enumset1.vmin1out2025-09-15 19:49 2.7K 
[ ]enumset1__t75_enumset1.vout2025-09-15 18:10 2.7K 
[ ]enumset1__t76_enumset12025-09-09 01:24 455  
[ ]enumset1__t76_enumset1.depv12025-09-15 19:47 39  
[ ]enumset1__t76_enumset1.depvmin12025-09-15 19:52 39  
[ ]enumset1__t76_enumset1.vmin12025-09-15 19:47 374  
[ ]enumset1__t76_enumset1.vmin1out2025-09-15 19:49 2.7K 
[ ]enumset1__t76_enumset1.vout2025-09-15 17:07 2.7K 
[ ]enumset1__t77_enumset12025-09-09 01:24 1.4K 
[ ]enumset1__t77_enumset1.depv12025-09-15 19:47 63  
[ ]enumset1__t77_enumset1.depvmin12025-09-15 19:52 63  
[ ]enumset1__t77_enumset1.vmin12025-09-15 19:47 1.0K 
[ ]enumset1__t77_enumset1.vmin1out2025-09-15 19:47 5.4K 
[ ]enumset1__t77_enumset1.vout2025-09-15 19:02 5.4K 
[ ]enumset1__t78_enumset12025-09-09 01:25 1.4K 
[ ]enumset1__t78_enumset1.depv12025-09-15 19:47 64  
[ ]enumset1__t78_enumset1.depvmin12025-09-15 19:52 64  
[ ]enumset1__t78_enumset1.vmin12025-09-15 19:47 957  
[ ]enumset1__t78_enumset1.vmin1out2025-09-15 19:48 5.4K 
[ ]enumset1__t78_enumset1.vout2025-09-15 14:10 5.4K 
[ ]enumset1__t79_enumset12025-09-09 01:25 1.4K 
[ ]enumset1__t79_enumset1.depv12025-09-15 19:47 63  
[ ]enumset1__t79_enumset1.depvmin12025-09-15 19:52 63  
[ ]enumset1__t79_enumset1.vmin12025-09-15 19:47 942  
[ ]enumset1__t79_enumset1.vmin1out2025-09-15 19:48 5.4K 
[ ]enumset1__t79_enumset1.vout2025-09-15 15:43 5.3K 
[ ]enumset1__t80_enumset12025-09-09 01:07 833  
[ ]enumset1__t80_enumset1.depv12025-09-15 19:47 26  
[ ]enumset1__t80_enumset1.depvmin12025-09-15 19:52 26  
[ ]enumset1__t80_enumset1.vmin12025-09-15 19:47 483  
[ ]enumset1__t80_enumset1.vmin1out2025-09-15 19:50 3.2K 
[ ]enumset1__t80_enumset1.vout2025-09-15 16:44 3.2K 
[ ]enumset1__t81_enumset12025-09-09 01:25 1.3K 
[ ]enumset1__t81_enumset1.vout2025-09-15 18:42 1.2K 
[ ]enumset1__t82_enumset12025-09-09 01:26 1.5K 
[ ]enumset1__t82_enumset1.depv12025-09-15 19:47 89  
[ ]enumset1__t82_enumset1.depvmin12025-09-15 19:52 89  
[ ]enumset1__t82_enumset1.vmin12025-09-15 19:47 1.0K 
[ ]enumset1__t82_enumset1.vmin1out2025-09-15 19:49 7.2K 
[ ]enumset1__t82_enumset1.vout2025-09-15 14:11 7.5K 
[ ]enumset1__t83_enumset12025-09-09 01:26 1.5K 
[ ]enumset1__t83_enumset1.depv12025-09-15 19:47 90  
[ ]enumset1__t83_enumset1.vmin12025-09-15 19:47 1.0K 
[ ]enumset1__t83_enumset1.vmin1out2025-09-15 19:50 1.2K 
[ ]enumset1__t83_enumset1.vout2025-09-15 15:09 7.2K 
[ ]enumset1__t84_enumset12025-09-09 01:26 1.4K 
[ ]enumset1__t84_enumset1.depv12025-09-15 19:47 90  
[ ]enumset1__t84_enumset1.vmin12025-09-15 19:47 1.1K 
[ ]enumset1__t84_enumset1.vmin1out2025-09-15 19:49 1.2K 
[ ]enumset1__t84_enumset1.vout2025-09-15 18:21 7.1K 
[ ]enumset1__t85_enumset12025-09-09 01:27 1.8K 
[ ]enumset1__t85_enumset1.depv12025-09-15 19:47 95  
[ ]enumset1__t85_enumset1.depvmin12025-09-15 19:52 95  
[ ]enumset1__t85_enumset1.vmin12025-09-15 19:47 1.5K 
[ ]enumset1__t85_enumset1.vmin1out2025-09-15 19:50 57K 
[ ]enumset1__t85_enumset1.vout2025-09-15 17:54 57K 
[ ]enumset1__t86_enumset12025-09-09 01:27 1.4K 
[ ]enumset1__t86_enumset1.depv12025-09-15 19:47 57  
[ ]enumset1__t86_enumset1.depvmin12025-09-15 19:52 57  
[ ]enumset1__t86_enumset1.vmin12025-09-15 19:47 782  
[ ]enumset1__t86_enumset1.vmin1out2025-09-15 19:50 27K 
[ ]enumset1__t86_enumset1.vout2025-09-15 17:35 24K 
[ ]enumset1__t87_enumset12025-09-09 01:27 945  
[ ]enumset1__t87_enumset1.depv12025-09-15 19:47 76  
[ ]enumset1__t87_enumset1.depvmin12025-09-15 19:52 76  
[ ]enumset1__t87_enumset1.vmin12025-09-15 19:47 596  
[ ]enumset1__t87_enumset1.vmin1out2025-09-15 19:51 4.7K 
[ ]enumset1__t87_enumset1.vout2025-09-15 17:18 4.7K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80