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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]arytm_1__l2_arytm_12024-07-28 07:57 2.2K 
[ ]arytm_1__l2_arytm_1.depv12024-08-03 10:19 136  
[ ]arytm_1__l2_arytm_1.depvmin12024-08-03 10:24 136  
[ ]arytm_1__l2_arytm_1.vmin12024-08-03 10:19 1.2K 
[ ]arytm_1__l2_arytm_1.vmin1out2024-08-03 10:20 16K 
[ ]arytm_1__l2_arytm_1.vout2024-08-03 04:17 20K 
[ ]arytm_1__l10_arytm_12024-07-28 07:57 3.6K 
[ ]arytm_1__l10_arytm_1.vout2024-08-03 05:20 4.7K 
[ ]arytm_1__l12_arytm_12024-07-28 07:58 1.5K 
[ ]arytm_1__l12_arytm_1.depv12024-08-03 10:19 73  
[ ]arytm_1__l12_arytm_1.depvmin12024-08-03 10:24 73  
[ ]arytm_1__l12_arytm_1.vmin12024-08-03 10:19 788  
[ ]arytm_1__l12_arytm_1.vmin1out2024-08-03 10:20 10K 
[ ]arytm_1__l12_arytm_1.vout2024-08-03 07:40 10K 
[ ]arytm_1__l16_arytm_12024-07-28 07:58 4.1K 
[ ]arytm_1__l16_arytm_1.depv12024-08-03 10:19 70  
[ ]arytm_1__l16_arytm_1.depvmin12024-08-03 10:24 70  
[ ]arytm_1__l16_arytm_1.vmin12024-08-03 10:19 1.0K 
[ ]arytm_1__l16_arytm_1.vmin1out2024-08-03 10:23 11K 
[ ]arytm_1__l16_arytm_1.vout2024-08-03 05:05 11K 
[ ]arytm_1__l17_arytm_12024-07-28 07:59 1.6K 
[ ]arytm_1__l17_arytm_1.depv12024-08-03 10:19 49  
[ ]arytm_1__l17_arytm_1.depvmin12024-08-03 10:24 49  
[ ]arytm_1__l17_arytm_1.vmin12024-08-03 10:19 826  
[ ]arytm_1__l17_arytm_1.vmin1out2024-08-03 10:22 9.3K 
[ ]arytm_1__l17_arytm_1.vout2024-08-03 09:36 9.3K 
[ ]arytm_1__l18_arytm_12024-07-28 07:59 1.8K 
[ ]arytm_1__l18_arytm_1.depv12024-08-03 10:19 86  
[ ]arytm_1__l18_arytm_1.depvmin12024-08-03 10:24 86  
[ ]arytm_1__l18_arytm_1.vmin12024-08-03 10:19 1.1K 
[ ]arytm_1__l18_arytm_1.vmin1out2024-08-03 10:21 9.1K 
[ ]arytm_1__l18_arytm_1.vout2024-08-03 09:51 8.6K 
[ ]arytm_1__l19_arytm_12024-07-28 08:00 2.3K 
[ ]arytm_1__l19_arytm_1.depv12024-08-03 10:19 146  
[ ]arytm_1__l19_arytm_1.depvmin12024-08-03 10:24 146  
[ ]arytm_1__l19_arytm_1.vmin12024-08-03 10:19 1.9K 
[ ]arytm_1__l19_arytm_1.vmin1out2024-08-03 10:21 28K 
[ ]arytm_1__l19_arytm_1.vout2024-08-03 10:14 28K 
[ ]arytm_1__l20_arytm_12024-07-28 08:00 1.8K 
[ ]arytm_1__l20_arytm_1.depv12024-08-03 10:19 73  
[ ]arytm_1__l20_arytm_1.depvmin12024-08-03 10:24 73  
[ ]arytm_1__l20_arytm_1.vmin12024-08-03 10:19 1.1K 
[ ]arytm_1__l20_arytm_1.vmin1out2024-08-03 10:23 18K 
[ ]arytm_1__l20_arytm_1.vout2024-08-03 10:14 18K 
[ ]arytm_1__l21_arytm_12024-07-28 08:01 5.2K 
[ ]arytm_1__l21_arytm_1.vout2024-08-03 04:47 7.3K 
[ ]arytm_1__l22_arytm_12024-07-28 08:01 1.1K 
[ ]arytm_1__l22_arytm_1.depv12024-08-03 10:19 49  
[ ]arytm_1__l22_arytm_1.depvmin12024-08-03 10:24 49  
[ ]arytm_1__l22_arytm_1.vmin12024-08-03 10:19 616  
[ ]arytm_1__l22_arytm_1.vmin1out2024-08-03 10:21 6.0K 
[ ]arytm_1__l22_arytm_1.vout2024-08-03 06:09 6.0K 
[ ]arytm_1__l25_arytm_12024-07-28 08:01 2.6K 
[ ]arytm_1__l25_arytm_1.vout2024-08-03 05:56 4.7K 
[ ]arytm_1__l26_arytm_12024-07-28 08:01 1.6K 
[ ]arytm_1__l26_arytm_1.depv12024-08-03 10:19 75  
[ ]arytm_1__l26_arytm_1.depvmin12024-08-03 10:24 75  
[ ]arytm_1__l26_arytm_1.vmin12024-08-03 10:19 1.1K 
[ ]arytm_1__l26_arytm_1.vmin1out2024-08-03 10:23 10K 
[ ]arytm_1__l26_arytm_1.vout2024-08-03 09:44 11K 
[ ]arytm_1__l27_arytm_12024-07-28 08:02 1.3K 
[ ]arytm_1__l27_arytm_1.depv12024-08-03 10:19 49  
[ ]arytm_1__l27_arytm_1.depvmin12024-08-03 10:24 49  
[ ]arytm_1__l27_arytm_1.vmin12024-08-03 10:19 687  
[ ]arytm_1__l27_arytm_1.vmin1out2024-08-03 10:23 7.8K 
[ ]arytm_1__l27_arytm_1.vout2024-08-03 07:36 7.9K 
[ ]arytm_1__l32_arytm_12024-07-28 08:02 3.1K 
[ ]arytm_1__l32_arytm_1.vout2024-08-03 08:33 4.7K 
[ ]arytm_1__t1_arytm_12024-07-28 07:45 3.9K 
[ ]arytm_1__t1_arytm_1.depv12024-08-03 10:19 81  
[ ]arytm_1__t1_arytm_1.depvmin12024-08-03 10:24 81  
[ ]arytm_1__t1_arytm_1.vmin12024-08-03 10:19 1.0K 
[ ]arytm_1__t1_arytm_1.vmin1out2024-08-03 10:23 11K 
[ ]arytm_1__t1_arytm_1.vout2024-08-03 05:41 8.8K 
[ ]arytm_1__t2_arytm_12024-07-28 07:46 2.3K 
[ ]arytm_1__t2_arytm_1.depv12024-08-03 10:19 147  
[ ]arytm_1__t2_arytm_1.depvmin12024-08-03 10:24 147  
[ ]arytm_1__t2_arytm_1.vmin12024-08-03 10:19 1.3K 
[ ]arytm_1__t2_arytm_1.vmin1out2024-08-03 10:20 19K 
[ ]arytm_1__t2_arytm_1.vout2024-08-03 08:53 19K 
[ ]arytm_1__t3_arytm_12024-07-28 07:46 1.5K 
[ ]arytm_1__t3_arytm_1.depv12024-08-03 10:19 84  
[ ]arytm_1__t3_arytm_1.depvmin12024-08-03 10:24 84  
[ ]arytm_1__t3_arytm_1.vmin12024-08-03 10:19 1.2K 
[ ]arytm_1__t3_arytm_1.vmin1out2024-08-03 10:20 17K 
[ ]arytm_1__t3_arytm_1.vout2024-08-03 09:40 17K 
[ ]arytm_1__t4_arytm_12024-07-28 07:47 4.3K 
[ ]arytm_1__t4_arytm_1.depv12024-08-03 10:19 155  
[ ]arytm_1__t4_arytm_1.depvmin12024-08-03 10:24 155  
[ ]arytm_1__t4_arytm_1.vmin12024-08-03 10:19 1.8K 
[ ]arytm_1__t4_arytm_1.vmin1out2024-08-03 10:20 25K 
[ ]arytm_1__t4_arytm_1.vout2024-08-03 06:37 26K 
[ ]arytm_1__t5_arytm_12024-07-28 07:47 1.4K 
[ ]arytm_1__t5_arytm_1.depv12024-08-03 10:19 58  
[ ]arytm_1__t5_arytm_1.depvmin12024-08-03 10:24 58  
[ ]arytm_1__t5_arytm_1.vmin12024-08-03 10:19 627  
[ ]arytm_1__t5_arytm_1.vmin1out2024-08-03 10:21 11K 
[ ]arytm_1__t5_arytm_1.vout2024-08-03 04:34 11K 
[ ]arytm_1__t6_arytm_12024-07-28 07:47 3.7K 
[ ]arytm_1__t6_arytm_1.depv12024-08-03 10:19 59  
[ ]arytm_1__t6_arytm_1.depvmin12024-08-03 10:24 59  
[ ]arytm_1__t6_arytm_1.vmin12024-08-03 10:19 773  
[ ]arytm_1__t6_arytm_1.vmin1out2024-08-03 10:22 8.8K 
[ ]arytm_1__t6_arytm_1.vout2024-08-03 06:48 8.9K 
[ ]arytm_1__t7_arytm_12024-07-28 07:48 1.7K 
[ ]arytm_1__t7_arytm_1.vout2024-08-03 09:04 7.1K 
[ ]arytm_1__t8_arytm_12024-07-28 07:48 1.8K 
[ ]arytm_1__t8_arytm_1.depv12024-08-03 10:19 110  
[ ]arytm_1__t8_arytm_1.depvmin12024-08-03 10:24 110  
[ ]arytm_1__t8_arytm_1.vmin12024-08-03 10:19 1.3K 
[ ]arytm_1__t8_arytm_1.vmin1out2024-08-03 10:23 19K 
[ ]arytm_1__t8_arytm_1.vout2024-08-03 07:58 18K 
[ ]arytm_1__t9_arytm_12024-07-28 07:49 4.0K 
[ ]arytm_1__t9_arytm_1.depv12024-08-03 10:19 97  
[ ]arytm_1__t9_arytm_1.depvmin12024-08-03 10:24 97  
[ ]arytm_1__t9_arytm_1.vmin12024-08-03 10:19 1.2K 
[ ]arytm_1__t9_arytm_1.vmin1out2024-08-03 10:20 12K 
[ ]arytm_1__t9_arytm_1.vout2024-08-03 10:08 12K 
[ ]arytm_1__t10_arytm_12024-07-28 07:49 1.2K 
[ ]arytm_1__t10_arytm_1.depv12024-08-03 10:19 34  
[ ]arytm_1__t10_arytm_1.depvmin12024-08-03 10:24 34  
[ ]arytm_1__t10_arytm_1.vmin12024-08-03 10:19 535  
[ ]arytm_1__t10_arytm_1.vmin1out2024-08-03 10:20 7.7K 
[ ]arytm_1__t10_arytm_1.vout2024-08-03 08:55 4.8K 
[ ]arytm_1__t11_arytm_12024-07-28 07:49 1.8K 
[ ]arytm_1__t11_arytm_1.depv12024-08-03 10:19 124  
[ ]arytm_1__t11_arytm_1.depvmin12024-08-03 10:24 124  
[ ]arytm_1__t11_arytm_1.vmin12024-08-03 10:19 1.3K 
[ ]arytm_1__t11_arytm_1.vmin1out2024-08-03 10:23 18K 
[ ]arytm_1__t11_arytm_1.vout2024-08-03 10:02 17K 
[ ]arytm_1__t12_arytm_12024-07-28 07:50 2.0K 
[ ]arytm_1__t12_arytm_1.depv12024-08-03 10:19 73  
[ ]arytm_1__t12_arytm_1.depvmin12024-08-03 10:24 73  
[ ]arytm_1__t12_arytm_1.vmin12024-08-03 10:19 1.1K 
[ ]arytm_1__t12_arytm_1.vmin1out2024-08-03 10:20 16K 
[ ]arytm_1__t12_arytm_1.vout2024-08-03 04:13 9.2K 
[ ]arytm_1__t13_arytm_12024-07-28 07:50 2.4K 
[ ]arytm_1__t13_arytm_1.vout2024-08-03 04:48 4.7K 
[ ]arytm_1__t14_arytm_12024-07-28 07:50 1.6K 
[ ]arytm_1__t14_arytm_1.depv12024-08-03 10:19 75  
[ ]arytm_1__t14_arytm_1.depvmin12024-08-03 10:24 75  
[ ]arytm_1__t14_arytm_1.vmin12024-08-03 10:19 1.1K 
[ ]arytm_1__t14_arytm_1.vmin1out2024-08-03 10:23 10K 
[ ]arytm_1__t14_arytm_1.vout2024-08-03 04:21 11K 
[ ]arytm_1__t15_arytm_12024-07-28 07:51 2.0K 
[ ]arytm_1__t15_arytm_1.depv12024-08-03 10:19 73  
[ ]arytm_1__t15_arytm_1.depvmin12024-08-03 10:24 73  
[ ]arytm_1__t15_arytm_1.vmin12024-08-03 10:19 1.1K 
[ ]arytm_1__t15_arytm_1.vmin1out2024-08-03 10:20 17K 
[ ]arytm_1__t15_arytm_1.vout2024-08-03 07:29 10K 
[ ]arytm_1__t16_arytm_12024-07-28 07:51 2.1K 
[ ]arytm_1__t16_arytm_1.depv12024-08-03 10:19 120  
[ ]arytm_1__t16_arytm_1.depvmin12024-08-03 10:24 120  
[ ]arytm_1__t16_arytm_1.vmin12024-08-03 10:19 1.5K 
[ ]arytm_1__t16_arytm_1.vmin1out2024-08-03 10:22 25K 
[ ]arytm_1__t16_arytm_1.vout2024-08-03 08:13 25K 
[ ]arytm_1__t17_arytm_12024-07-28 07:52 2.1K 
[ ]arytm_1__t17_arytm_1.depv12024-08-03 10:19 95  
[ ]arytm_1__t17_arytm_1.depvmin12024-08-03 10:24 95  
[ ]arytm_1__t17_arytm_1.vmin12024-08-03 10:19 1.3K 
[ ]arytm_1__t17_arytm_1.vmin1out2024-08-03 10:20 21K 
[ ]arytm_1__t17_arytm_1.vout2024-08-03 04:59 22K 
[ ]arytm_1__t18_arytm_12024-07-28 07:52 1.2K 
[ ]arytm_1__t18_arytm_1.depv12024-08-03 10:19 85  
[ ]arytm_1__t18_arytm_1.depvmin12024-08-03 10:24 60  
[ ]arytm_1__t18_arytm_1.vmin12024-08-03 10:19 700  
[ ]arytm_1__t18_arytm_1.vmin1out2024-08-03 10:20 4.5K 
[ ]arytm_1__t18_arytm_1.vout2024-08-03 09:39 5.6K 
[ ]arytm_1__t19_arytm_12024-07-28 07:52 1.7K 
[ ]arytm_1__t19_arytm_1.depv12024-08-03 10:19 57  
[ ]arytm_1__t19_arytm_1.depvmin12024-08-03 10:24 57  
[ ]arytm_1__t19_arytm_1.vmin12024-08-03 10:19 957  
[ ]arytm_1__t19_arytm_1.vmin1out2024-08-03 10:23 7.9K 
[ ]arytm_1__t19_arytm_1.vout2024-08-03 07:46 8.0K 
[ ]arytm_1__t20_arytm_12024-07-28 07:53 2.2K 
[ ]arytm_1__t20_arytm_1.depv12024-08-03 10:19 72  
[ ]arytm_1__t20_arytm_1.depvmin12024-08-03 10:24 72  
[ ]arytm_1__t20_arytm_1.vmin12024-08-03 10:19 1.3K 
[ ]arytm_1__t20_arytm_1.vmin1out2024-08-03 10:23 15K 
[ ]arytm_1__t20_arytm_1.vout2024-08-03 05:48 15K 
[ ]arytm_1__t21_arytm_12024-07-28 07:53 2.3K 
[ ]arytm_1__t21_arytm_1.depv12024-08-03 10:19 137  
[ ]arytm_1__t21_arytm_1.vmin12024-08-03 10:19 1.8K 
[ ]arytm_1__t21_arytm_1.vmin1out2024-08-03 10:21 2.0K 
[ ]arytm_1__t21_arytm_1.vout2024-08-03 05:04 24K 
[ ]arytm_1__t22_arytm_12024-07-28 07:53 2.2K 
[ ]arytm_1__t22_arytm_1.depv12024-08-03 10:19 122  
[ ]arytm_1__t22_arytm_1.depvmin12024-08-03 10:24 97  
[ ]arytm_1__t22_arytm_1.vmin12024-08-03 10:19 1.6K 
[ ]arytm_1__t22_arytm_1.vmin1out2024-08-03 10:20 15K 
[ ]arytm_1__t22_arytm_1.vout2024-08-03 08:43 17K 
[ ]arytm_1__t23_arytm_12024-07-28 07:54 2.3K 
[ ]arytm_1__t23_arytm_1.depv12024-08-03 10:19 123  
[ ]arytm_1__t23_arytm_1.depvmin12024-08-03 10:24 123  
[ ]arytm_1__t23_arytm_1.vmin12024-08-03 10:19 1.7K 
[ ]arytm_1__t23_arytm_1.vmin1out2024-08-03 10:21 24K 
[ ]arytm_1__t23_arytm_1.vout2024-08-03 08:24 27K 
[ ]arytm_1__t24_arytm_12024-07-28 07:54 2.9K 
[ ]arytm_1__t24_arytm_1.vout2024-08-03 09:07 4.7K 
[ ]arytm_1__t25_arytm_12024-07-28 07:55 2.9K 
[ ]arytm_1__t25_arytm_1.vout2024-08-03 07:19 4.7K 
[ ]arytm_1__t26_arytm_12024-07-28 07:55 2.0K 
[ ]arytm_1__t26_arytm_1.depv12024-08-03 10:19 85  
[ ]arytm_1__t26_arytm_1.depvmin12024-08-03 10:24 85  
[ ]arytm_1__t26_arytm_1.vmin12024-08-03 10:19 1.3K 
[ ]arytm_1__t26_arytm_1.vmin1out2024-08-03 10:21 12K 
[ ]arytm_1__t26_arytm_1.vout2024-08-03 09:27 22K 
[ ]arytm_1__t27_arytm_12024-07-28 07:56 2.1K 
[ ]arytm_1__t27_arytm_1.depv12024-08-03 10:19 86  
[ ]arytm_1__t27_arytm_1.depvmin12024-08-03 10:24 86  
[ ]arytm_1__t27_arytm_1.vmin12024-08-03 10:19 1.3K 
[ ]arytm_1__t27_arytm_1.vmin1out2024-08-03 10:20 16K 
[ ]arytm_1__t27_arytm_1.vout2024-08-03 04:19 16K 
[ ]arytm_1__t28_arytm_12024-07-28 07:56 2.0K 
[ ]arytm_1__t28_arytm_1.depv12024-08-03 10:19 47  
[ ]arytm_1__t28_arytm_1.depvmin12024-08-03 10:24 47  
[ ]arytm_1__t28_arytm_1.vmin12024-08-03 10:19 954  
[ ]arytm_1__t28_arytm_1.vmin1out2024-08-03 10:23 13K 
[ ]arytm_1__t28_arytm_1.vout2024-08-03 08:49 8.0K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80