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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]numbers__l1_numbers2021-07-17 22:11 11K 
[ ]numbers__l1_numbers.depv12021-07-25 20:57 49  
[ ]numbers__l1_numbers.depvmin12021-07-25 21:03 49  
[ ]numbers__l1_numbers.vmin12021-07-25 20:57 295  
[ ]numbers__l1_numbers.vmin1out2021-07-25 21:00 2.0K 
[ ]numbers__l1_numbers.vout2021-07-25 15:48 2.2K 
[ ]numbers__l2_numbers2021-07-17 22:10 7.8K 
[ ]numbers__l2_numbers.depv12021-07-25 20:57 71  
[ ]numbers__l2_numbers.depvmin12021-07-25 21:03 71  
[ ]numbers__l2_numbers.vmin12021-07-25 20:57 277  
[ ]numbers__l2_numbers.vmin1out2021-07-25 21:00 2.5K 
[ ]numbers__l2_numbers.vout2021-07-25 15:27 2.4K 
[ ]numbers__l4_numbers2021-07-17 22:13 12K 
[ ]numbers__l4_numbers.depv12021-07-25 20:57 155  
[ ]numbers__l4_numbers.depvmin12021-07-25 21:03 121  
[ ]numbers__l4_numbers.vmin12021-07-25 20:57 953  
[ ]numbers__l4_numbers.vmin1out2021-07-25 21:01 4.5K 
[ ]numbers__l4_numbers.vout2021-07-25 19:54 7.5K 
[ ]numbers__l8_numbers2021-07-17 22:13 12K 
[ ]numbers__l8_numbers.depv12021-07-25 20:57 164  
[ ]numbers__l8_numbers.depvmin12021-07-25 21:03 154  
[ ]numbers__l8_numbers.vmin12021-07-25 20:57 1.0K 
[ ]numbers__l8_numbers.vmin1out2021-07-25 21:00 8.3K 
[ ]numbers__l8_numbers.vout2021-07-25 17:33 12K 
[ ]numbers__l9_numbers2021-07-17 22:13 10K 
[ ]numbers__l9_numbers.depv12021-07-25 20:57 117  
[ ]numbers__l9_numbers.depvmin12021-07-25 21:03 117  
[ ]numbers__l9_numbers.vmin12021-07-25 20:57 935  
[ ]numbers__l9_numbers.vmin1out2021-07-25 21:01 9.7K 
[ ]numbers__l9_numbers.vout2021-07-25 16:23 8.6K 
[ ]numbers__l10_numbers2021-07-17 22:14 7.5K 
[ ]numbers__l10_numbers.depv12021-07-25 20:57 42  
[ ]numbers__l10_numbers.depvmin12021-07-25 21:03 42  
[ ]numbers__l10_numbers.vmin12021-07-25 20:57 480  
[ ]numbers__l10_numbers.vmin1out2021-07-25 21:01 8.4K 
[ ]numbers__l10_numbers.vout2021-07-25 16:03 8.1K 
[ ]numbers__l11_numbers2021-07-17 22:14 21K 
[ ]numbers__l11_numbers.vout2021-07-25 14:36 3.6K 
[ ]numbers__l13_numbers2021-07-17 22:14 12K 
[ ]numbers__l13_numbers.depv12021-07-25 20:57 156  
[ ]numbers__l13_numbers.depvmin12021-07-25 21:03 109  
[ ]numbers__l13_numbers.vmin12021-07-25 20:57 1.3K 
[ ]numbers__l13_numbers.vmin1out2021-07-25 21:00 6.3K 
[ ]numbers__l13_numbers.vout2021-07-25 20:29 9.4K 
[ ]numbers__l14_numbers2021-07-17 22:15 15K 
[ ]numbers__l14_numbers.depv12021-07-25 20:57 143  
[ ]numbers__l14_numbers.depvmin12021-07-25 21:03 130  
[ ]numbers__l14_numbers.vmin12021-07-25 20:57 2.1K 
[ ]numbers__l14_numbers.vmin1out2021-07-25 21:02 23K 
[ ]numbers__l14_numbers.vout2021-07-25 15:59 26K 
[ ]numbers__l15_numbers2021-07-17 22:15 15K 
[ ]numbers__l15_numbers.vout2021-07-25 20:15 4.2K 
[ ]numbers__l16_numbers2021-07-17 22:15 8.2K 
[ ]numbers__l16_numbers.vout2021-07-25 16:34 24K 
[ ]numbers__l17_numbers2021-07-17 22:16 16K 
[ ]numbers__l17_numbers.vout2021-07-25 15:20 7.3K 
[ ]numbers__l18_numbers2021-07-17 22:16 15K 
[ ]numbers__l18_numbers.depv12021-07-25 20:57 294  
[ ]numbers__l18_numbers.depvmin12021-07-25 21:03 230  
[ ]numbers__l18_numbers.vmin12021-07-25 20:57 1.8K 
[ ]numbers__l18_numbers.vmin1out2021-07-25 21:01 9.7K 
[ ]numbers__l18_numbers.vout2021-07-25 18:28 17K 
[ ]numbers__l19_numbers2021-07-17 22:16 15K 
[ ]numbers__l19_numbers.depv12021-07-25 20:57 125  
[ ]numbers__l19_numbers.depvmin12021-07-25 21:03 125  
[ ]numbers__l19_numbers.vmin12021-07-25 20:57 1.0K 
[ ]numbers__l19_numbers.vmin1out2021-07-25 21:00 8.1K 
[ ]numbers__l19_numbers.vout2021-07-25 16:02 8.9K 
[ ]numbers__l22_numbers2021-07-17 22:17 13K 
[ ]numbers__l22_numbers.vout2021-07-25 18:11 6.8K 
[ ]numbers__t1_numbers2021-07-17 22:11 20K 
[ ]numbers__t1_numbers.vout2021-07-25 18:14 8.9K 
[ ]numbers__t2_numbers2021-07-17 22:12 29K 
[ ]numbers__t2_numbers.vout2021-07-25 15:38 5.9K 
[ ]numbers__t3_numbers2021-07-17 22:01 15K 
[ ]numbers__t3_numbers.depv12021-07-25 20:57 46  
[ ]numbers__t3_numbers.depvmin12021-07-25 21:03 46  
[ ]numbers__t3_numbers.vmin12021-07-25 20:57 318  
[ ]numbers__t3_numbers.vmin1out2021-07-25 21:01 2.4K 
[ ]numbers__t3_numbers.vout2021-07-25 14:38 3.1K 
[ ]numbers__t4_numbers2021-07-17 22:12 14K 
[ ]numbers__t4_numbers.vout2021-07-25 16:39 5.9K 
[ ]numbers__t5_numbers2021-07-17 22:02 12K 
[ ]numbers__t5_numbers.depv12021-07-25 20:57 46  
[ ]numbers__t5_numbers.depvmin12021-07-25 21:03 46  
[ ]numbers__t5_numbers.vmin12021-07-25 20:57 318  
[ ]numbers__t5_numbers.vmin1out2021-07-25 21:02 2.4K 
[ ]numbers__t5_numbers.vout2021-07-25 18:19 3.1K 
[ ]numbers__t6_numbers2021-07-17 22:02 14K 
[ ]numbers__t6_numbers.depv12021-07-25 20:57 46  
[ ]numbers__t6_numbers.depvmin12021-07-25 21:03 46  
[ ]numbers__t6_numbers.vmin12021-07-25 20:57 318  
[ ]numbers__t6_numbers.vmin1out2021-07-25 21:01 2.4K 
[ ]numbers__t6_numbers.vout2021-07-25 18:45 3.1K 
[ ]numbers__t7_numbers2021-07-17 22:12 11K 
[ ]numbers__t7_numbers.depv12021-07-25 20:57 238  
[ ]numbers__t7_numbers.depvmin12021-07-25 21:03 238  
[ ]numbers__t7_numbers.vmin12021-07-25 20:57 1.8K 
[ ]numbers__t7_numbers.vmin1out2021-07-25 20:58 21K 
[ ]numbers__t7_numbers.vout2021-07-25 18:44 20K 
[ ]numbers__t8_numbers2021-07-17 22:02 12K 
[ ]numbers__t8_numbers.depv12021-07-25 20:57 46  
[ ]numbers__t8_numbers.depvmin12021-07-25 21:03 46  
[ ]numbers__t8_numbers.vmin12021-07-25 20:57 320  
[ ]numbers__t8_numbers.vmin1out2021-07-25 21:01 2.4K 
[ ]numbers__t8_numbers.vout2021-07-25 16:28 3.1K 
[ ]numbers__t9_numbers2021-07-17 22:03 12K 
[ ]numbers__t9_numbers.depv12021-07-25 20:57 46  
[ ]numbers__t9_numbers.depvmin12021-07-25 21:03 46  
[ ]numbers__t9_numbers.vmin12021-07-25 20:57 320  
[ ]numbers__t9_numbers.vmin1out2021-07-25 21:00 2.4K 
[ ]numbers__t9_numbers.vout2021-07-25 17:21 3.1K 
[ ]numbers__t10_numbers2021-07-17 22:03 14K 
[ ]numbers__t10_numbers.depv12021-07-25 20:57 47  
[ ]numbers__t10_numbers.depvmin12021-07-25 21:03 47  
[ ]numbers__t10_numbers.vmin12021-07-25 20:57 321  
[ ]numbers__t10_numbers.vmin1out2021-07-25 21:01 2.4K 
[ ]numbers__t10_numbers.vout2021-07-25 18:25 3.1K 
[ ]numbers__t11_numbers2021-07-17 22:03 14K 
[ ]numbers__t11_numbers.depv12021-07-25 20:57 35  
[ ]numbers__t11_numbers.depvmin12021-07-25 21:03 35  
[ ]numbers__t11_numbers.vmin12021-07-25 20:57 234  
[ ]numbers__t11_numbers.vmin1out2021-07-25 21:01 2.6K 
[ ]numbers__t11_numbers.vout2021-07-25 15:36 2.2K 
[ ]numbers__t12_numbers2021-07-17 22:04 12K 
[ ]numbers__t12_numbers.depv12021-07-25 20:57 35  
[ ]numbers__t12_numbers.depvmin12021-07-25 21:03 35  
[ ]numbers__t12_numbers.vmin12021-07-25 20:57 234  
[ ]numbers__t12_numbers.vmin1out2021-07-25 20:57 2.6K 
[ ]numbers__t12_numbers.vout2021-07-25 14:48 2.2K 
[ ]numbers__t13_numbers2021-07-17 22:04 15K 
[ ]numbers__t13_numbers.depv12021-07-25 20:57 35  
[ ]numbers__t13_numbers.depvmin12021-07-25 21:03 35  
[ ]numbers__t13_numbers.vmin12021-07-25 20:57 234  
[ ]numbers__t13_numbers.vmin1out2021-07-25 21:00 2.6K 
[ ]numbers__t13_numbers.vout2021-07-25 19:07 2.2K 
[ ]numbers__t14_numbers2021-07-17 22:04 12K 
[ ]numbers__t14_numbers.depv12021-07-25 20:57 35  
[ ]numbers__t14_numbers.depvmin12021-07-25 21:03 35  
[ ]numbers__t14_numbers.vmin12021-07-25 20:57 234  
[ ]numbers__t14_numbers.vmin1out2021-07-25 20:59 2.6K 
[ ]numbers__t14_numbers.vout2021-07-25 20:15 2.2K 
[ ]numbers__t15_numbers2021-07-17 22:05 11K 
[ ]numbers__t15_numbers.depv12021-07-25 20:57 35  
[ ]numbers__t15_numbers.depvmin12021-07-25 21:03 35  
[ ]numbers__t15_numbers.vmin12021-07-25 20:57 234  
[ ]numbers__t15_numbers.vmin1out2021-07-25 21:01 2.6K 
[ ]numbers__t15_numbers.vout2021-07-25 17:00 2.8K 
[ ]numbers__t16_numbers2021-07-17 22:05 14K 
[ ]numbers__t16_numbers.depv12021-07-25 20:57 35  
[ ]numbers__t16_numbers.depvmin12021-07-25 21:03 35  
[ ]numbers__t16_numbers.vmin12021-07-25 20:57 234  
[ ]numbers__t16_numbers.vmin1out2021-07-25 20:59 2.6K 
[ ]numbers__t16_numbers.vout2021-07-25 18:11 2.2K 
[ ]numbers__t17_numbers2021-07-17 22:05 10K 
[ ]numbers__t17_numbers.depv12021-07-25 20:57 23  
[ ]numbers__t17_numbers.depvmin12021-07-25 21:03 23  
[ ]numbers__t17_numbers.vmin12021-07-25 20:57 126  
[ ]numbers__t17_numbers.vmin1out2021-07-25 21:00 1.3K 
[ ]numbers__t17_numbers.vout2021-07-25 20:31 1.4K 
[ ]numbers__t18_numbers2021-07-17 22:06 12K 
[ ]numbers__t18_numbers.depv12021-07-25 20:57 35  
[ ]numbers__t18_numbers.depvmin12021-07-25 21:03 35  
[ ]numbers__t18_numbers.vmin12021-07-25 20:57 236  
[ ]numbers__t18_numbers.vmin1out2021-07-25 21:00 2.7K 
[ ]numbers__t18_numbers.vout2021-07-25 18:25 2.2K 
[ ]numbers__t19_numbers2021-07-17 22:06 11K 
[ ]numbers__t19_numbers.depv12021-07-25 20:57 35  
[ ]numbers__t19_numbers.depvmin12021-07-25 21:03 35  
[ ]numbers__t19_numbers.vmin12021-07-25 20:57 236  
[ ]numbers__t19_numbers.vmin1out2021-07-25 21:00 2.7K 
[ ]numbers__t19_numbers.vout2021-07-25 15:02 2.8K 
[ ]numbers__t20_numbers2021-07-17 22:06 14K 
[ ]numbers__t20_numbers.depv12021-07-25 20:57 36  
[ ]numbers__t20_numbers.depvmin12021-07-25 21:03 36  
[ ]numbers__t20_numbers.vmin12021-07-25 20:57 237  
[ ]numbers__t20_numbers.vmin1out2021-07-25 20:57 2.7K 
[ ]numbers__t20_numbers.vout2021-07-25 15:24 2.2K 
[ ]numbers__t21_numbers2021-07-17 22:07 14K 
[ ]numbers__t21_numbers.depv12021-07-25 20:57 49  
[ ]numbers__t21_numbers.depvmin12021-07-25 21:03 49  
[ ]numbers__t21_numbers.vmin12021-07-25 20:57 199  
[ ]numbers__t21_numbers.vmin1out2021-07-25 20:58 1.6K 
[ ]numbers__t21_numbers.vout2021-07-25 19:54 1.8K 
[ ]numbers__t22_numbers2021-07-17 22:07 12K 
[ ]numbers__t22_numbers.depv12021-07-25 20:57 49  
[ ]numbers__t22_numbers.depvmin12021-07-25 21:03 49  
[ ]numbers__t22_numbers.vmin12021-07-25 20:57 199  
[ ]numbers__t22_numbers.vmin1out2021-07-25 21:02 1.6K 
[ ]numbers__t22_numbers.vout2021-07-25 15:28 1.8K 
[ ]numbers__t23_numbers2021-07-17 22:07 15K 
[ ]numbers__t23_numbers.depv12021-07-25 20:57 56  
[ ]numbers__t23_numbers.depvmin12021-07-25 21:03 56  
[ ]numbers__t23_numbers.vmin12021-07-25 20:57 281  
[ ]numbers__t23_numbers.vmin1out2021-07-25 21:01 2.0K 
[ ]numbers__t23_numbers.vout2021-07-25 16:57 2.7K 
[ ]numbers__t24_numbers2021-07-17 22:08 12K 
[ ]numbers__t24_numbers.depv12021-07-25 20:57 49  
[ ]numbers__t24_numbers.depvmin12021-07-25 21:03 49  
[ ]numbers__t24_numbers.vmin12021-07-25 20:57 199  
[ ]numbers__t24_numbers.vmin1out2021-07-25 21:01 1.6K 
[ ]numbers__t24_numbers.vout2021-07-25 18:50 1.8K 
[ ]numbers__t25_numbers2021-07-17 22:08 12K 
[ ]numbers__t25_numbers.depv12021-07-25 20:57 56  
[ ]numbers__t25_numbers.depvmin12021-07-25 21:03 56  
[ ]numbers__t25_numbers.vmin12021-07-25 20:57 281  
[ ]numbers__t25_numbers.vmin1out2021-07-25 21:00 2.0K 
[ ]numbers__t25_numbers.vout2021-07-25 17:21 2.7K 
[ ]numbers__t26_numbers2021-07-17 22:08 16K 
[ ]numbers__t26_numbers.depv12021-07-25 20:57 80  
[ ]numbers__t26_numbers.depvmin12021-07-25 21:03 80  
[ ]numbers__t26_numbers.vmin12021-07-25 20:57 472  
[ ]numbers__t26_numbers.vmin1out2021-07-25 21:01 3.2K 
[ ]numbers__t26_numbers.vout2021-07-25 14:25 4.2K 
[ ]numbers__t27_numbers2021-07-17 22:08 10K 
[ ]numbers__t27_numbers.depv12021-07-25 20:57 49  
[ ]numbers__t27_numbers.depvmin12021-07-25 21:03 49  
[ ]numbers__t27_numbers.vmin12021-07-25 20:57 201  
[ ]numbers__t27_numbers.vmin1out2021-07-25 20:57 1.6K 
[ ]numbers__t27_numbers.vout2021-07-25 16:52 1.8K 
[ ]numbers__t28_numbers2021-07-17 22:09 12K 
[ ]numbers__t28_numbers.depv12021-07-25 20:57 56  
[ ]numbers__t28_numbers.depvmin12021-07-25 21:03 56  
[ ]numbers__t28_numbers.vmin12021-07-25 20:57 283  
[ ]numbers__t28_numbers.vmin1out2021-07-25 21:00 2.0K 
[ ]numbers__t28_numbers.vout2021-07-25 16:10 2.7K 
[ ]numbers__t29_numbers2021-07-17 22:09 12K 
[ ]numbers__t29_numbers.depv12021-07-25 20:57 80  
[ ]numbers__t29_numbers.depvmin12021-07-25 21:03 80  
[ ]numbers__t29_numbers.vmin12021-07-25 20:57 474  
[ ]numbers__t29_numbers.vmin1out2021-07-25 21:01 3.2K 
[ ]numbers__t29_numbers.vout2021-07-25 17:21 4.2K 
[ ]numbers__t30_numbers2021-07-17 22:09 15K 
[ ]numbers__t30_numbers.depv12021-07-25 20:57 80  
[ ]numbers__t30_numbers.depvmin12021-07-25 21:03 80  
[ ]numbers__t30_numbers.vmin12021-07-25 20:57 474  
[ ]numbers__t30_numbers.vmin1out2021-07-25 20:57 3.2K 
[ ]numbers__t30_numbers.vout2021-07-25 20:29 4.2K 
[ ]numbers__t31_numbers2021-07-17 22:10 11K 
[ ]numbers__t31_numbers.depv12021-07-25 20:57 55  
[ ]numbers__t31_numbers.depvmin12021-07-25 21:03 55  
[ ]numbers__t31_numbers.vmin12021-07-25 20:57 493  
[ ]numbers__t31_numbers.vmin1out2021-07-25 20:58 7.9K 
[ ]numbers__t31_numbers.vout2021-07-25 17:50 6.1K 
[ ]numbers__t32_numbers2021-07-17 22:12 11K 
[ ]numbers__t32_numbers.depv12021-07-25 20:57 139  
[ ]numbers__t32_numbers.depvmin12021-07-25 21:03 139  
[ ]numbers__t32_numbers.vmin12021-07-25 20:57 876  
[ ]numbers__t32_numbers.vmin1out2021-07-25 21:01 9.7K 
[ ]numbers__t32_numbers.vout2021-07-25 18:07 9.8K 
[ ]numbers__t33_numbers2021-07-17 22:10 11K 
[ ]numbers__t33_numbers.depv12021-07-25 20:57 48  
[ ]numbers__t33_numbers.depvmin12021-07-25 21:03 48  
[ ]numbers__t33_numbers.vmin12021-07-25 20:57 289  
[ ]numbers__t33_numbers.vmin1out2021-07-25 21:00 3.1K 
[ ]numbers__t33_numbers.vout2021-07-25 17:06 3.1K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80