Index of /~mptp/mml5.63.1382/MPTP2/problems_small/arytm_1

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]arytm_1__l2_arytm_12021-07-17 17:42 2.2K 
[ ]arytm_1__l2_arytm_1.depv12021-07-25 20:57 136  
[ ]arytm_1__l2_arytm_1.depvmin12021-07-25 21:03 136  
[ ]arytm_1__l2_arytm_1.vmin12021-07-25 20:57 1.2K 
[ ]arytm_1__l2_arytm_1.vmin1out2021-07-25 21:01 16K 
[ ]arytm_1__l2_arytm_1.vout2021-07-25 14:42 20K 
[ ]arytm_1__l10_arytm_12021-07-17 17:42 3.6K 
[ ]arytm_1__l10_arytm_1.vout2021-07-25 16:53 4.7K 
[ ]arytm_1__l12_arytm_12021-07-17 17:42 1.5K 
[ ]arytm_1__l12_arytm_1.depv12021-07-25 20:57 73  
[ ]arytm_1__l12_arytm_1.depvmin12021-07-25 21:03 73  
[ ]arytm_1__l12_arytm_1.vmin12021-07-25 20:57 788  
[ ]arytm_1__l12_arytm_1.vmin1out2021-07-25 21:02 10K 
[ ]arytm_1__l12_arytm_1.vout2021-07-25 18:55 10K 
[ ]arytm_1__l16_arytm_12021-07-17 17:42 4.1K 
[ ]arytm_1__l16_arytm_1.depv12021-07-25 20:57 70  
[ ]arytm_1__l16_arytm_1.depvmin12021-07-25 21:03 70  
[ ]arytm_1__l16_arytm_1.vmin12021-07-25 20:57 1.0K 
[ ]arytm_1__l16_arytm_1.vmin1out2021-07-25 20:59 11K 
[ ]arytm_1__l16_arytm_1.vout2021-07-25 14:30 11K 
[ ]arytm_1__l17_arytm_12021-07-17 17:42 1.6K 
[ ]arytm_1__l17_arytm_1.depv12021-07-25 20:57 49  
[ ]arytm_1__l17_arytm_1.depvmin12021-07-25 21:03 49  
[ ]arytm_1__l17_arytm_1.vmin12021-07-25 20:57 826  
[ ]arytm_1__l17_arytm_1.vmin1out2021-07-25 20:59 9.3K 
[ ]arytm_1__l17_arytm_1.vout2021-07-25 14:24 9.3K 
[ ]arytm_1__l18_arytm_12021-07-17 17:42 1.8K 
[ ]arytm_1__l18_arytm_1.depv12021-07-25 20:57 86  
[ ]arytm_1__l18_arytm_1.depvmin12021-07-25 21:03 86  
[ ]arytm_1__l18_arytm_1.vmin12021-07-25 20:57 1.1K 
[ ]arytm_1__l18_arytm_1.vmin1out2021-07-25 21:00 9.1K 
[ ]arytm_1__l18_arytm_1.vout2021-07-25 16:14 8.6K 
[ ]arytm_1__l19_arytm_12021-07-17 17:42 2.3K 
[ ]arytm_1__l19_arytm_1.depv12021-07-25 20:57 146  
[ ]arytm_1__l19_arytm_1.depvmin12021-07-25 21:03 146  
[ ]arytm_1__l19_arytm_1.vmin12021-07-25 20:57 1.9K 
[ ]arytm_1__l19_arytm_1.vmin1out2021-07-25 21:01 28K 
[ ]arytm_1__l19_arytm_1.vout2021-07-25 14:40 28K 
[ ]arytm_1__l20_arytm_12021-07-17 17:43 1.8K 
[ ]arytm_1__l20_arytm_1.depv12021-07-25 20:57 73  
[ ]arytm_1__l20_arytm_1.depvmin12021-07-25 21:03 73  
[ ]arytm_1__l20_arytm_1.vmin12021-07-25 20:57 1.1K 
[ ]arytm_1__l20_arytm_1.vmin1out2021-07-25 21:02 18K 
[ ]arytm_1__l20_arytm_1.vout2021-07-25 14:25 18K 
[ ]arytm_1__l21_arytm_12021-07-17 17:43 5.2K 
[ ]arytm_1__l21_arytm_1.vout2021-07-25 17:48 7.3K 
[ ]arytm_1__l22_arytm_12021-07-17 17:43 1.1K 
[ ]arytm_1__l22_arytm_1.depv12021-07-25 20:57 49  
[ ]arytm_1__l22_arytm_1.depvmin12021-07-25 21:03 49  
[ ]arytm_1__l22_arytm_1.vmin12021-07-25 20:57 616  
[ ]arytm_1__l22_arytm_1.vmin1out2021-07-25 21:01 6.0K 
[ ]arytm_1__l22_arytm_1.vout2021-07-25 17:53 6.0K 
[ ]arytm_1__l25_arytm_12021-07-17 17:43 2.6K 
[ ]arytm_1__l25_arytm_1.vout2021-07-25 15:15 4.7K 
[ ]arytm_1__l26_arytm_12021-07-17 17:43 1.6K 
[ ]arytm_1__l26_arytm_1.depv12021-07-25 20:57 75  
[ ]arytm_1__l26_arytm_1.depvmin12021-07-25 21:03 75  
[ ]arytm_1__l26_arytm_1.vmin12021-07-25 20:57 1.1K 
[ ]arytm_1__l26_arytm_1.vmin1out2021-07-25 20:58 10K 
[ ]arytm_1__l26_arytm_1.vout2021-07-25 17:08 11K 
[ ]arytm_1__l27_arytm_12021-07-17 17:43 1.3K 
[ ]arytm_1__l27_arytm_1.depv12021-07-25 20:57 49  
[ ]arytm_1__l27_arytm_1.depvmin12021-07-25 21:03 49  
[ ]arytm_1__l27_arytm_1.vmin12021-07-25 20:57 687  
[ ]arytm_1__l27_arytm_1.vmin1out2021-07-25 21:00 7.8K 
[ ]arytm_1__l27_arytm_1.vout2021-07-25 16:21 7.9K 
[ ]arytm_1__l32_arytm_12021-07-17 17:43 3.1K 
[ ]arytm_1__l32_arytm_1.vout2021-07-25 19:46 4.7K 
[ ]arytm_1__t1_arytm_12021-07-17 17:38 3.9K 
[ ]arytm_1__t1_arytm_1.depv12021-07-25 20:57 81  
[ ]arytm_1__t1_arytm_1.depvmin12021-07-25 21:03 81  
[ ]arytm_1__t1_arytm_1.vmin12021-07-25 20:57 1.0K 
[ ]arytm_1__t1_arytm_1.vmin1out2021-07-25 20:58 11K 
[ ]arytm_1__t1_arytm_1.vout2021-07-25 14:59 8.8K 
[ ]arytm_1__t2_arytm_12021-07-17 17:38 2.3K 
[ ]arytm_1__t2_arytm_1.depv12021-07-25 20:57 147  
[ ]arytm_1__t2_arytm_1.depvmin12021-07-25 21:03 147  
[ ]arytm_1__t2_arytm_1.vmin12021-07-25 20:57 1.3K 
[ ]arytm_1__t2_arytm_1.vmin1out2021-07-25 21:02 19K 
[ ]arytm_1__t2_arytm_1.vout2021-07-25 18:46 19K 
[ ]arytm_1__t3_arytm_12021-07-17 17:38 1.5K 
[ ]arytm_1__t3_arytm_1.depv12021-07-25 20:57 84  
[ ]arytm_1__t3_arytm_1.depvmin12021-07-25 21:03 84  
[ ]arytm_1__t3_arytm_1.vmin12021-07-25 20:57 1.2K 
[ ]arytm_1__t3_arytm_1.vmin1out2021-07-25 21:02 17K 
[ ]arytm_1__t3_arytm_1.vout2021-07-25 18:44 17K 
[ ]arytm_1__t4_arytm_12021-07-17 17:38 4.3K 
[ ]arytm_1__t4_arytm_1.vout2021-07-25 18:39 7.3K 
[ ]arytm_1__t5_arytm_12021-07-17 17:38 1.4K 
[ ]arytm_1__t5_arytm_1.depv12021-07-25 20:57 58  
[ ]arytm_1__t5_arytm_1.depvmin12021-07-25 21:03 58  
[ ]arytm_1__t5_arytm_1.vmin12021-07-25 20:57 627  
[ ]arytm_1__t5_arytm_1.vmin1out2021-07-25 20:59 11K 
[ ]arytm_1__t5_arytm_1.vout2021-07-25 15:20 11K 
[ ]arytm_1__t6_arytm_12021-07-17 17:39 3.7K 
[ ]arytm_1__t6_arytm_1.depv12021-07-25 20:57 59  
[ ]arytm_1__t6_arytm_1.depvmin12021-07-25 21:03 59  
[ ]arytm_1__t6_arytm_1.vmin12021-07-25 20:57 773  
[ ]arytm_1__t6_arytm_1.vmin1out2021-07-25 21:01 8.8K 
[ ]arytm_1__t6_arytm_1.vout2021-07-25 14:57 8.9K 
[ ]arytm_1__t7_arytm_12021-07-17 17:39 1.7K 
[ ]arytm_1__t7_arytm_1.vout2021-07-25 14:25 7.1K 
[ ]arytm_1__t8_arytm_12021-07-17 17:39 1.8K 
[ ]arytm_1__t8_arytm_1.depv12021-07-25 20:57 110  
[ ]arytm_1__t8_arytm_1.depvmin12021-07-25 21:03 110  
[ ]arytm_1__t8_arytm_1.vmin12021-07-25 20:57 1.3K 
[ ]arytm_1__t8_arytm_1.vmin1out2021-07-25 20:58 19K 
[ ]arytm_1__t8_arytm_1.vout2021-07-25 20:46 18K 
[ ]arytm_1__t9_arytm_12021-07-17 17:39 4.0K 
[ ]arytm_1__t9_arytm_1.depv12021-07-25 20:57 97  
[ ]arytm_1__t9_arytm_1.depvmin12021-07-25 21:03 97  
[ ]arytm_1__t9_arytm_1.vmin12021-07-25 20:57 1.2K 
[ ]arytm_1__t9_arytm_1.vmin1out2021-07-25 21:00 12K 
[ ]arytm_1__t9_arytm_1.vout2021-07-25 18:11 12K 
[ ]arytm_1__t10_arytm_12021-07-17 17:39 1.2K 
[ ]arytm_1__t10_arytm_1.depv12021-07-25 20:57 34  
[ ]arytm_1__t10_arytm_1.depvmin12021-07-25 21:03 34  
[ ]arytm_1__t10_arytm_1.vmin12021-07-25 20:57 535  
[ ]arytm_1__t10_arytm_1.vmin1out2021-07-25 20:58 7.7K 
[ ]arytm_1__t10_arytm_1.vout2021-07-25 18:55 4.8K 
[ ]arytm_1__t11_arytm_12021-07-17 17:39 1.8K 
[ ]arytm_1__t11_arytm_1.depv12021-07-25 20:57 124  
[ ]arytm_1__t11_arytm_1.depvmin12021-07-25 21:03 124  
[ ]arytm_1__t11_arytm_1.vmin12021-07-25 20:57 1.3K 
[ ]arytm_1__t11_arytm_1.vmin1out2021-07-25 21:00 18K 
[ ]arytm_1__t11_arytm_1.vout2021-07-25 17:27 17K 
[ ]arytm_1__t12_arytm_12021-07-17 17:39 2.0K 
[ ]arytm_1__t12_arytm_1.depv12021-07-25 20:57 73  
[ ]arytm_1__t12_arytm_1.depvmin12021-07-25 21:03 73  
[ ]arytm_1__t12_arytm_1.vmin12021-07-25 20:57 1.1K 
[ ]arytm_1__t12_arytm_1.vmin1out2021-07-25 21:01 16K 
[ ]arytm_1__t12_arytm_1.vout2021-07-25 17:34 9.2K 
[ ]arytm_1__t13_arytm_12021-07-17 17:39 2.4K 
[ ]arytm_1__t13_arytm_1.vout2021-07-25 20:34 4.7K 
[ ]arytm_1__t14_arytm_12021-07-17 17:40 1.6K 
[ ]arytm_1__t14_arytm_1.depv12021-07-25 20:57 75  
[ ]arytm_1__t14_arytm_1.depvmin12021-07-25 21:03 75  
[ ]arytm_1__t14_arytm_1.vmin12021-07-25 20:57 1.1K 
[ ]arytm_1__t14_arytm_1.vmin1out2021-07-25 21:01 10K 
[ ]arytm_1__t14_arytm_1.vout2021-07-25 18:29 11K 
[ ]arytm_1__t15_arytm_12021-07-17 17:40 2.0K 
[ ]arytm_1__t15_arytm_1.depv12021-07-25 20:57 73  
[ ]arytm_1__t15_arytm_1.depvmin12021-07-25 21:03 73  
[ ]arytm_1__t15_arytm_1.vmin12021-07-25 20:57 1.1K 
[ ]arytm_1__t15_arytm_1.vmin1out2021-07-25 20:58 17K 
[ ]arytm_1__t15_arytm_1.vout2021-07-25 20:21 10K 
[ ]arytm_1__t16_arytm_12021-07-17 17:40 2.1K 
[ ]arytm_1__t16_arytm_1.depv12021-07-25 20:57 120  
[ ]arytm_1__t16_arytm_1.depvmin12021-07-25 21:03 120  
[ ]arytm_1__t16_arytm_1.vmin12021-07-25 20:57 1.5K 
[ ]arytm_1__t16_arytm_1.vmin1out2021-07-25 21:02 25K 
[ ]arytm_1__t16_arytm_1.vout2021-07-25 20:03 25K 
[ ]arytm_1__t17_arytm_12021-07-17 17:40 2.1K 
[ ]arytm_1__t17_arytm_1.depv12021-07-25 20:57 95  
[ ]arytm_1__t17_arytm_1.depvmin12021-07-25 21:03 95  
[ ]arytm_1__t17_arytm_1.vmin12021-07-25 20:57 1.3K 
[ ]arytm_1__t17_arytm_1.vmin1out2021-07-25 21:01 21K 
[ ]arytm_1__t17_arytm_1.vout2021-07-25 14:54 22K 
[ ]arytm_1__t18_arytm_12021-07-17 17:40 1.2K 
[ ]arytm_1__t18_arytm_1.depv12021-07-25 20:57 85  
[ ]arytm_1__t18_arytm_1.depvmin12021-07-25 21:03 60  
[ ]arytm_1__t18_arytm_1.vmin12021-07-25 20:57 700  
[ ]arytm_1__t18_arytm_1.vmin1out2021-07-25 21:02 4.5K 
[ ]arytm_1__t18_arytm_1.vout2021-07-25 20:40 5.6K 
[ ]arytm_1__t19_arytm_12021-07-17 17:40 1.7K 
[ ]arytm_1__t19_arytm_1.depv12021-07-25 20:57 57  
[ ]arytm_1__t19_arytm_1.depvmin12021-07-25 21:03 57  
[ ]arytm_1__t19_arytm_1.vmin12021-07-25 20:57 957  
[ ]arytm_1__t19_arytm_1.vmin1out2021-07-25 20:58 7.9K 
[ ]arytm_1__t19_arytm_1.vout2021-07-25 15:59 8.0K 
[ ]arytm_1__t20_arytm_12021-07-17 17:40 2.2K 
[ ]arytm_1__t20_arytm_1.depv12021-07-25 20:57 72  
[ ]arytm_1__t20_arytm_1.depvmin12021-07-25 21:03 72  
[ ]arytm_1__t20_arytm_1.vmin12021-07-25 20:57 1.3K 
[ ]arytm_1__t20_arytm_1.vmin1out2021-07-25 20:58 15K 
[ ]arytm_1__t20_arytm_1.vout2021-07-25 18:47 15K 
[ ]arytm_1__t21_arytm_12021-07-17 17:40 2.3K 
[ ]arytm_1__t21_arytm_1.depv12021-07-25 20:57 137  
[ ]arytm_1__t21_arytm_1.vmin12021-07-25 20:57 1.8K 
[ ]arytm_1__t21_arytm_1.vmin1out2021-07-25 21:02 2.0K 
[ ]arytm_1__t21_arytm_1.vout2021-07-25 16:19 24K 
[ ]arytm_1__t22_arytm_12021-07-17 17:41 2.2K 
[ ]arytm_1__t22_arytm_1.depv12021-07-25 20:57 122  
[ ]arytm_1__t22_arytm_1.depvmin12021-07-25 21:03 97  
[ ]arytm_1__t22_arytm_1.vmin12021-07-25 20:57 1.6K 
[ ]arytm_1__t22_arytm_1.vmin1out2021-07-25 21:02 15K 
[ ]arytm_1__t22_arytm_1.vout2021-07-25 19:30 17K 
[ ]arytm_1__t23_arytm_12021-07-17 17:41 2.3K 
[ ]arytm_1__t23_arytm_1.depv12021-07-25 20:57 123  
[ ]arytm_1__t23_arytm_1.vmin12021-07-25 20:57 1.7K 
[ ]arytm_1__t23_arytm_1.vmin1out2021-07-25 21:01 2.0K 
[ ]arytm_1__t23_arytm_1.vout2021-07-25 19:27 27K 
[ ]arytm_1__t24_arytm_12021-07-17 17:41 2.9K 
[ ]arytm_1__t24_arytm_1.vout2021-07-25 19:52 4.7K 
[ ]arytm_1__t25_arytm_12021-07-17 17:41 2.9K 
[ ]arytm_1__t25_arytm_1.vout2021-07-25 19:42 4.7K 
[ ]arytm_1__t26_arytm_12021-07-17 17:41 2.0K 
[ ]arytm_1__t26_arytm_1.depv12021-07-25 20:57 85  
[ ]arytm_1__t26_arytm_1.depvmin12021-07-25 21:03 85  
[ ]arytm_1__t26_arytm_1.vmin12021-07-25 20:57 1.3K 
[ ]arytm_1__t26_arytm_1.vmin1out2021-07-25 20:59 12K 
[ ]arytm_1__t26_arytm_1.vout2021-07-25 19:51 22K 
[ ]arytm_1__t27_arytm_12021-07-17 17:41 2.1K 
[ ]arytm_1__t27_arytm_1.depv12021-07-25 20:57 86  
[ ]arytm_1__t27_arytm_1.depvmin12021-07-25 21:03 86  
[ ]arytm_1__t27_arytm_1.vmin12021-07-25 20:57 1.3K 
[ ]arytm_1__t27_arytm_1.vmin1out2021-07-25 20:58 16K 
[ ]arytm_1__t27_arytm_1.vout2021-07-25 14:38 16K 
[ ]arytm_1__t28_arytm_12021-07-17 17:41 2.0K 
[ ]arytm_1__t28_arytm_1.depv12021-07-25 20:57 47  
[ ]arytm_1__t28_arytm_1.depvmin12021-07-25 21:03 47  
[ ]arytm_1__t28_arytm_1.vmin12021-07-25 20:57 954  
[ ]arytm_1__t28_arytm_1.vmin1out2021-07-25 20:59 13K 
[ ]arytm_1__t28_arytm_1.vout2021-07-25 20:38 8.0K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80