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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]arytm_1__t28_arytm_1.vout2025-09-15 17:22 8.0K 
[ ]arytm_1__t28_arytm_1.vmin1out2025-09-15 19:48 13K 
[ ]arytm_1__t28_arytm_1.vmin12025-09-15 19:47 954  
[ ]arytm_1__t28_arytm_1.depvmin12025-09-15 19:51 47  
[ ]arytm_1__t28_arytm_1.depv12025-09-15 19:47 47  
[ ]arytm_1__t28_arytm_12025-09-08 16:12 2.0K 
[ ]arytm_1__t27_arytm_1.vout2025-09-15 18:38 16K 
[ ]arytm_1__t27_arytm_1.vmin1out2025-09-15 19:49 16K 
[ ]arytm_1__t27_arytm_1.vmin12025-09-15 19:47 1.3K 
[ ]arytm_1__t27_arytm_1.depvmin12025-09-15 19:51 86  
[ ]arytm_1__t27_arytm_1.depv12025-09-15 19:47 86  
[ ]arytm_1__t27_arytm_12025-09-08 16:11 2.1K 
[ ]arytm_1__t26_arytm_1.vout2025-09-15 14:18 22K 
[ ]arytm_1__t26_arytm_1.vmin1out2025-09-15 19:48 12K 
[ ]arytm_1__t26_arytm_1.vmin12025-09-15 19:47 1.3K 
[ ]arytm_1__t26_arytm_1.depvmin12025-09-15 19:51 85  
[ ]arytm_1__t26_arytm_1.depv12025-09-15 19:47 85  
[ ]arytm_1__t26_arytm_12025-09-08 16:11 2.0K 
[ ]arytm_1__t25_arytm_1.vout2025-09-15 17:04 4.7K 
[ ]arytm_1__t25_arytm_12025-09-08 16:10 2.9K 
[ ]arytm_1__t24_arytm_1.vout2025-09-15 18:47 4.7K 
[ ]arytm_1__t24_arytm_12025-09-08 16:10 2.9K 
[ ]arytm_1__t23_arytm_1.vout2025-09-15 18:20 27K 
[ ]arytm_1__t23_arytm_1.vmin1out2025-09-15 19:48 24K 
[ ]arytm_1__t23_arytm_1.vmin12025-09-15 19:47 1.7K 
[ ]arytm_1__t23_arytm_1.depvmin12025-09-15 19:51 123  
[ ]arytm_1__t23_arytm_1.depv12025-09-15 19:47 123  
[ ]arytm_1__t23_arytm_12025-09-08 16:10 2.3K 
[ ]arytm_1__t22_arytm_1.vout2025-09-15 17:10 17K 
[ ]arytm_1__t22_arytm_1.vmin1out2025-09-15 19:49 15K 
[ ]arytm_1__t22_arytm_1.vmin12025-09-15 19:47 1.6K 
[ ]arytm_1__t22_arytm_1.depvmin12025-09-15 19:51 97  
[ ]arytm_1__t22_arytm_1.depv12025-09-15 19:47 122  
[ ]arytm_1__t22_arytm_12025-09-08 16:09 2.2K 
[ ]arytm_1__t21_arytm_1.vout2025-09-15 17:01 24K 
[ ]arytm_1__t21_arytm_1.vmin1out2025-09-15 19:49 2.0K 
[ ]arytm_1__t21_arytm_1.vmin12025-09-15 19:47 1.8K 
[ ]arytm_1__t21_arytm_1.depv12025-09-15 19:47 137  
[ ]arytm_1__t21_arytm_12025-09-08 16:09 2.3K 
[ ]arytm_1__t20_arytm_1.vout2025-09-15 16:26 15K 
[ ]arytm_1__t20_arytm_1.vmin1out2025-09-15 19:49 15K 
[ ]arytm_1__t20_arytm_1.vmin12025-09-15 19:47 1.3K 
[ ]arytm_1__t20_arytm_1.depvmin12025-09-15 19:51 72  
[ ]arytm_1__t20_arytm_1.depv12025-09-15 19:47 72  
[ ]arytm_1__t20_arytm_12025-09-08 16:08 2.2K 
[ ]arytm_1__t19_arytm_1.vout2025-09-15 15:52 8.0K 
[ ]arytm_1__t19_arytm_1.vmin1out2025-09-15 19:49 7.9K 
[ ]arytm_1__t19_arytm_1.vmin12025-09-15 19:47 957  
[ ]arytm_1__t19_arytm_1.depvmin12025-09-15 19:51 57  
[ ]arytm_1__t19_arytm_1.depv12025-09-15 19:47 57  
[ ]arytm_1__t19_arytm_12025-09-08 16:08 1.7K 
[ ]arytm_1__t18_arytm_1.vout2025-09-15 19:01 5.6K 
[ ]arytm_1__t18_arytm_1.vmin1out2025-09-15 19:48 4.5K 
[ ]arytm_1__t18_arytm_1.vmin12025-09-15 19:47 700  
[ ]arytm_1__t18_arytm_1.depvmin12025-09-15 19:51 60  
[ ]arytm_1__t18_arytm_1.depv12025-09-15 19:47 85  
[ ]arytm_1__t18_arytm_12025-09-08 16:08 1.2K 
[ ]arytm_1__t17_arytm_1.vout2025-09-15 18:51 22K 
[ ]arytm_1__t17_arytm_1.vmin1out2025-09-15 19:49 21K 
[ ]arytm_1__t17_arytm_1.vmin12025-09-15 19:47 1.3K 
[ ]arytm_1__t17_arytm_1.depvmin12025-09-15 19:51 95  
[ ]arytm_1__t17_arytm_1.depv12025-09-15 19:47 95  
[ ]arytm_1__t17_arytm_12025-09-08 16:07 2.1K 
[ ]arytm_1__t16_arytm_1.vout2025-09-15 16:12 25K 
[ ]arytm_1__t16_arytm_1.vmin1out2025-09-15 19:47 25K 
[ ]arytm_1__t16_arytm_1.vmin12025-09-15 19:47 1.5K 
[ ]arytm_1__t16_arytm_1.depvmin12025-09-15 19:51 120  
[ ]arytm_1__t16_arytm_1.depv12025-09-15 19:47 120  
[ ]arytm_1__t16_arytm_12025-09-08 16:07 2.1K 
[ ]arytm_1__t15_arytm_1.vout2025-09-15 19:11 10K 
[ ]arytm_1__t15_arytm_1.vmin1out2025-09-15 19:50 17K 
[ ]arytm_1__t15_arytm_1.vmin12025-09-15 19:47 1.1K 
[ ]arytm_1__t15_arytm_1.depvmin12025-09-15 19:51 73  
[ ]arytm_1__t15_arytm_1.depv12025-09-15 19:47 73  
[ ]arytm_1__t15_arytm_12025-09-08 16:07 2.0K 
[ ]arytm_1__t14_arytm_1.vout2025-09-15 15:17 11K 
[ ]arytm_1__t14_arytm_1.vmin1out2025-09-15 19:49 10K 
[ ]arytm_1__t14_arytm_1.vmin12025-09-15 19:47 1.1K 
[ ]arytm_1__t14_arytm_1.depvmin12025-09-15 19:51 75  
[ ]arytm_1__t14_arytm_1.depv12025-09-15 19:47 75  
[ ]arytm_1__t14_arytm_12025-09-08 16:06 1.6K 
[ ]arytm_1__t13_arytm_1.vout2025-09-15 16:27 4.7K 
[ ]arytm_1__t13_arytm_12025-09-08 16:06 2.4K 
[ ]arytm_1__t12_arytm_1.vout2025-09-15 14:19 9.2K 
[ ]arytm_1__t12_arytm_1.vmin1out2025-09-15 19:51 16K 
[ ]arytm_1__t12_arytm_1.vmin12025-09-15 19:47 1.1K 
[ ]arytm_1__t12_arytm_1.depvmin12025-09-15 19:51 73  
[ ]arytm_1__t12_arytm_1.depv12025-09-15 19:47 73  
[ ]arytm_1__t12_arytm_12025-09-08 16:06 2.0K 
[ ]arytm_1__t11_arytm_1.vout2025-09-15 16:49 17K 
[ ]arytm_1__t11_arytm_1.vmin1out2025-09-15 19:47 18K 
[ ]arytm_1__t11_arytm_1.vmin12025-09-15 19:47 1.3K 
[ ]arytm_1__t11_arytm_1.depvmin12025-09-15 19:51 124  
[ ]arytm_1__t11_arytm_1.depv12025-09-15 19:47 124  
[ ]arytm_1__t11_arytm_12025-09-08 16:05 1.8K 
[ ]arytm_1__t10_arytm_1.vout2025-09-15 16:55 4.8K 
[ ]arytm_1__t10_arytm_1.vmin1out2025-09-15 19:51 7.7K 
[ ]arytm_1__t10_arytm_1.vmin12025-09-15 19:47 535  
[ ]arytm_1__t10_arytm_1.depvmin12025-09-15 19:51 34  
[ ]arytm_1__t10_arytm_1.depv12025-09-15 19:47 34  
[ ]arytm_1__t10_arytm_12025-09-08 16:05 1.2K 
[ ]arytm_1__t9_arytm_1.vout2025-09-15 16:43 12K 
[ ]arytm_1__t9_arytm_1.vmin1out2025-09-15 19:50 12K 
[ ]arytm_1__t9_arytm_1.vmin12025-09-15 19:47 1.2K 
[ ]arytm_1__t9_arytm_1.depvmin12025-09-15 19:51 97  
[ ]arytm_1__t9_arytm_1.depv12025-09-15 19:47 97  
[ ]arytm_1__t9_arytm_12025-09-08 16:04 4.0K 
[ ]arytm_1__t8_arytm_1.vout2025-09-15 14:08 18K 
[ ]arytm_1__t8_arytm_1.vmin1out2025-09-15 19:50 19K 
[ ]arytm_1__t8_arytm_1.vmin12025-09-15 19:47 1.3K 
[ ]arytm_1__t8_arytm_1.depvmin12025-09-15 19:51 110  
[ ]arytm_1__t8_arytm_1.depv12025-09-15 19:47 110  
[ ]arytm_1__t8_arytm_12025-09-08 16:04 1.8K 
[ ]arytm_1__t7_arytm_1.vout2025-09-15 16:03 7.1K 
[ ]arytm_1__t7_arytm_12025-09-08 16:04 1.7K 
[ ]arytm_1__t6_arytm_1.vout2025-09-15 17:44 8.9K 
[ ]arytm_1__t6_arytm_1.vmin1out2025-09-15 19:50 8.8K 
[ ]arytm_1__t6_arytm_1.vmin12025-09-15 19:47 773  
[ ]arytm_1__t6_arytm_1.depvmin12025-09-15 19:51 59  
[ ]arytm_1__t6_arytm_1.depv12025-09-15 19:47 59  
[ ]arytm_1__t6_arytm_12025-09-08 16:03 3.7K 
[ ]arytm_1__t5_arytm_1.vout2025-09-15 16:31 11K 
[ ]arytm_1__t5_arytm_1.vmin1out2025-09-15 19:48 11K 
[ ]arytm_1__t5_arytm_1.vmin12025-09-15 19:47 627  
[ ]arytm_1__t5_arytm_1.depvmin12025-09-15 19:51 58  
[ ]arytm_1__t5_arytm_1.depv12025-09-15 19:47 58  
[ ]arytm_1__t5_arytm_12025-09-08 16:03 1.4K 
[ ]arytm_1__t4_arytm_1.vout2025-09-15 17:20 23K 
[ ]arytm_1__t4_arytm_1.vmin1out2025-09-15 19:50 22K 
[ ]arytm_1__t4_arytm_1.vmin12025-09-15 19:47 1.4K 
[ ]arytm_1__t4_arytm_1.depvmin12025-09-15 19:51 119  
[ ]arytm_1__t4_arytm_1.depv12025-09-15 19:47 119  
[ ]arytm_1__t4_arytm_12025-09-08 16:02 4.3K 
[ ]arytm_1__t3_arytm_1.vout2025-09-15 14:02 17K 
[ ]arytm_1__t3_arytm_1.vmin1out2025-09-15 19:48 17K 
[ ]arytm_1__t3_arytm_1.vmin12025-09-15 19:47 1.2K 
[ ]arytm_1__t3_arytm_1.depvmin12025-09-15 19:51 84  
[ ]arytm_1__t3_arytm_1.depv12025-09-15 19:47 84  
[ ]arytm_1__t3_arytm_12025-09-08 16:02 1.5K 
[ ]arytm_1__t2_arytm_1.vout2025-09-15 19:27 19K 
[ ]arytm_1__t2_arytm_1.vmin1out2025-09-15 19:50 19K 
[ ]arytm_1__t2_arytm_1.vmin12025-09-15 19:47 1.3K 
[ ]arytm_1__t2_arytm_1.depvmin12025-09-15 19:51 147  
[ ]arytm_1__t2_arytm_1.depv12025-09-15 19:47 147  
[ ]arytm_1__t2_arytm_12025-09-08 16:01 2.3K 
[ ]arytm_1__t1_arytm_1.vout2025-09-15 15:34 8.8K 
[ ]arytm_1__t1_arytm_1.vmin1out2025-09-15 19:51 11K 
[ ]arytm_1__t1_arytm_1.vmin12025-09-15 19:47 1.0K 
[ ]arytm_1__t1_arytm_1.depvmin12025-09-15 19:51 81  
[ ]arytm_1__t1_arytm_1.depv12025-09-15 19:47 81  
[ ]arytm_1__t1_arytm_12025-09-08 16:01 3.9K 
[ ]arytm_1__l32_arytm_1.vout2025-09-15 19:36 4.7K 
[ ]arytm_1__l32_arytm_12025-09-08 16:17 3.1K 
[ ]arytm_1__l27_arytm_1.vout2025-09-15 13:55 7.9K 
[ ]arytm_1__l27_arytm_1.vmin1out2025-09-15 19:48 7.8K 
[ ]arytm_1__l27_arytm_1.vmin12025-09-15 19:47 687  
[ ]arytm_1__l27_arytm_1.depvmin12025-09-15 19:51 49  
[ ]arytm_1__l27_arytm_1.depv12025-09-15 19:47 49  
[ ]arytm_1__l27_arytm_12025-09-08 16:17 1.3K 
[ ]arytm_1__l26_arytm_1.vout2025-09-15 16:08 11K 
[ ]arytm_1__l26_arytm_1.vmin1out2025-09-15 19:50 10K 
[ ]arytm_1__l26_arytm_1.vmin12025-09-15 19:47 1.1K 
[ ]arytm_1__l26_arytm_1.depvmin12025-09-15 19:51 75  
[ ]arytm_1__l26_arytm_1.depv12025-09-15 19:47 75  
[ ]arytm_1__l26_arytm_12025-09-08 16:16 1.6K 
[ ]arytm_1__l25_arytm_1.vout2025-09-15 14:55 4.7K 
[ ]arytm_1__l25_arytm_12025-09-08 16:16 2.6K 
[ ]arytm_1__l22_arytm_1.vout2025-09-15 16:19 6.0K 
[ ]arytm_1__l22_arytm_1.vmin1out2025-09-15 19:51 6.0K 
[ ]arytm_1__l22_arytm_1.vmin12025-09-15 19:47 616  
[ ]arytm_1__l22_arytm_1.depvmin12025-09-15 19:51 49  
[ ]arytm_1__l22_arytm_1.depv12025-09-15 19:47 49  
[ ]arytm_1__l22_arytm_12025-09-08 16:16 1.1K 
[ ]arytm_1__l21_arytm_1.vout2025-09-15 13:45 7.3K 
[ ]arytm_1__l21_arytm_12025-09-08 16:15 5.2K 
[ ]arytm_1__l20_arytm_1.vout2025-09-15 17:50 18K 
[ ]arytm_1__l20_arytm_1.vmin1out2025-09-15 19:49 18K 
[ ]arytm_1__l20_arytm_1.vmin12025-09-15 19:47 1.1K 
[ ]arytm_1__l20_arytm_1.depvmin12025-09-15 19:51 73  
[ ]arytm_1__l20_arytm_1.depv12025-09-15 19:47 73  
[ ]arytm_1__l20_arytm_12025-09-08 16:15 1.8K 
[ ]arytm_1__l19_arytm_1.vout2025-09-15 19:21 28K 
[ ]arytm_1__l19_arytm_1.vmin1out2025-09-15 19:48 28K 
[ ]arytm_1__l19_arytm_1.vmin12025-09-15 19:47 1.9K 
[ ]arytm_1__l19_arytm_1.depvmin12025-09-15 19:51 146  
[ ]arytm_1__l19_arytm_1.depv12025-09-15 19:47 146  
[ ]arytm_1__l19_arytm_12025-09-08 16:15 2.3K 
[ ]arytm_1__l18_arytm_1.vout2025-09-15 17:18 8.6K 
[ ]arytm_1__l18_arytm_1.vmin1out2025-09-15 19:48 9.1K 
[ ]arytm_1__l18_arytm_1.vmin12025-09-15 19:47 1.1K 
[ ]arytm_1__l18_arytm_1.depvmin12025-09-15 19:51 86  
[ ]arytm_1__l18_arytm_1.depv12025-09-15 19:47 86  
[ ]arytm_1__l18_arytm_12025-09-08 16:14 1.8K 
[ ]arytm_1__l17_arytm_1.vout2025-09-15 15:25 9.3K 
[ ]arytm_1__l17_arytm_1.vmin1out2025-09-15 19:49 9.3K 
[ ]arytm_1__l17_arytm_1.vmin12025-09-15 19:47 826  
[ ]arytm_1__l17_arytm_1.depvmin12025-09-15 19:51 49  
[ ]arytm_1__l17_arytm_1.depv12025-09-15 19:47 49  
[ ]arytm_1__l17_arytm_12025-09-08 16:14 1.6K 
[ ]arytm_1__l16_arytm_1.vout2025-09-15 17:37 11K 
[ ]arytm_1__l16_arytm_1.vmin1out2025-09-15 19:47 11K 
[ ]arytm_1__l16_arytm_1.vmin12025-09-15 19:47 1.0K 
[ ]arytm_1__l16_arytm_1.depvmin12025-09-15 19:51 70  
[ ]arytm_1__l16_arytm_1.depv12025-09-15 19:47 70  
[ ]arytm_1__l16_arytm_12025-09-08 16:13 4.1K 
[ ]arytm_1__l12_arytm_1.vout2025-09-15 13:56 10K 
[ ]arytm_1__l12_arytm_1.vmin1out2025-09-15 19:48 10K 
[ ]arytm_1__l12_arytm_1.vmin12025-09-15 19:47 788  
[ ]arytm_1__l12_arytm_1.depvmin12025-09-15 19:51 73  
[ ]arytm_1__l12_arytm_1.depv12025-09-15 19:47 73  
[ ]arytm_1__l12_arytm_12025-09-08 16:13 1.5K 
[ ]arytm_1__l10_arytm_1.vout2025-09-15 18:18 4.7K 
[ ]arytm_1__l10_arytm_12025-09-08 16:13 3.6K 
[ ]arytm_1__l2_arytm_1.vout2025-09-15 17:37 20K 
[ ]arytm_1__l2_arytm_1.vmin1out2025-09-15 19:48 16K 
[ ]arytm_1__l2_arytm_1.vmin12025-09-15 19:47 1.2K 
[ ]arytm_1__l2_arytm_1.depvmin12025-09-15 19:51 136  
[ ]arytm_1__l2_arytm_1.depv12025-09-15 19:47 136  
[ ]arytm_1__l2_arytm_12025-09-08 16:12 2.2K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80