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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]int_2__t8_int_2.depv12024-08-03 10:19 18  
[   ]int_2__t8_int_2.depvmin12024-08-03 10:24 18  
[   ]int_2__t9_int_2.depv12024-08-03 10:19 18  
[   ]int_2__t9_int_2.depvmin12024-08-03 10:24 18  
[   ]int_2__t12_int_2.depvmin12024-08-03 10:24 19  
[   ]int_2__t15_int_2.depv12024-08-03 10:19 19  
[   ]int_2__t15_int_2.depvmin12024-08-03 10:24 19  
[   ]int_2__t18_int_2.depv12024-08-03 10:19 31  
[   ]int_2__t18_int_2.depvmin12024-08-03 10:24 31  
[   ]int_2__t19_int_2.depv12024-08-03 10:19 31  
[   ]int_2__t19_int_2.depvmin12024-08-03 10:24 31  
[   ]int_2__t21_int_2.depv12024-08-03 10:19 31  
[   ]int_2__t21_int_2.depvmin12024-08-03 10:24 31  
[   ]int_2__t22_int_2.depv12024-08-03 10:19 31  
[   ]int_2__t22_int_2.depvmin12024-08-03 10:24 31  
[   ]int_2__l6_int_2.depv12024-08-03 10:19 37  
[   ]int_2__l6_int_2.depvmin12024-08-03 10:24 37  
[   ]int_2__l7_int_2.depv12024-08-03 10:19 37  
[   ]int_2__l7_int_2.depvmin12024-08-03 10:24 37  
[   ]int_2__t10_int_2.depv12024-08-03 10:19 38  
[   ]int_2__t10_int_2.depvmin12024-08-03 10:24 38  
[   ]int_2__t12_int_2.depv12024-08-03 10:19 43  
[   ]int_2__t32_int_2.depvmin12024-08-03 10:24 54  
[   ]int_2__t14_int_2.depv12024-08-03 10:19 60  
[   ]int_2__t14_int_2.depvmin12024-08-03 10:24 60  
[   ]int_2__t2_int_2.depv12024-08-03 10:19 62  
[   ]int_2__t2_int_2.depvmin12024-08-03 10:24 62  
[   ]int_2__t17_int_2.depv12024-08-03 10:19 68  
[   ]int_2__t17_int_2.depvmin12024-08-03 10:24 68  
[   ]int_2__t20_int_2.depv12024-08-03 10:19 68  
[   ]int_2__t20_int_2.depvmin12024-08-03 10:24 68  
[   ]int_2__t32_int_2.depv12024-08-03 10:19 78  
[   ]int_2__t13_int_2.depv12024-08-03 10:19 95  
[   ]int_2__t13_int_2.depvmin12024-08-03 10:24 95  
[   ]int_2__l4_int_2.depv12024-08-03 10:19 119  
[   ]int_2__l4_int_2.depvmin12024-08-03 10:24 119  
[   ]int_2__t7_int_2.depv12024-08-03 10:19 120  
[   ]int_2__t7_int_2.depvmin12024-08-03 10:24 120  
[   ]int_2__t25_int_2.depv12024-08-03 10:19 132  
[   ]int_2__t25_int_2.depvmin12024-08-03 10:24 132  
[   ]int_2__t5_int_2.depvmin12024-08-03 10:24 142  
[   ]int_2__t3_int_2.depv12024-08-03 10:19 156  
[   ]int_2__t3_int_2.depvmin12024-08-03 10:24 156  
[   ]int_2__t5_int_2.depv12024-08-03 10:19 166  
[   ]int_2__t8_int_2.vmin12024-08-03 10:20 237  
[   ]int_2__l8_int_2.depvmin12024-08-03 10:24 249  
[   ]int_2__l8_int_2.depv12024-08-03 10:19 273  
[   ]int_2__t12_int_2.vmin12024-08-03 10:20 333  
[   ]int_2__t15_int_2.vmin12024-08-03 10:20 352  
[   ]int_2__t9_int_2.vmin12024-08-03 10:20 353  
[   ]int_2__t14_int_2.vmin12024-08-03 10:20 465  
[   ]int_2__t18_int_2.vmin12024-08-03 10:20 500  
[   ]int_2__t21_int_2.vmin12024-08-03 10:20 500  
[   ]int_2__t17_int_2.vmin12024-08-03 10:20 507  
[   ]int_2__t20_int_2.vmin12024-08-03 10:20 507  
[   ]int_2__l6_int_2.vmin12024-08-03 10:20 545  
[   ]int_2__l7_int_2.vmin12024-08-03 10:20 545  
[   ]int_2__t19_int_2.vmin12024-08-03 10:20 574  
[   ]int_2__t22_int_2.vmin12024-08-03 10:20 574  
[   ]int_2__t32_int_2.vmin12024-08-03 10:20 674  
[   ]int_2__t2_int_2.vmin12024-08-03 10:20 755  
[   ]int_2__t7_int_2.vmin12024-08-03 10:20 756  
[   ]int_2__l4_int_2.vmin12024-08-03 10:20 967  
[   ]int_2__t10_int_2.vmin12024-08-03 10:20 1.0K 
[   ]int_2__t3_int_2.vmin12024-08-03 10:20 1.0K 
[   ]int_2__t13_int_2.vmin12024-08-03 10:20 1.0K 
[   ]int_2__t5_int_2.vmin12024-08-03 10:20 1.4K 
[   ]int_2__l8_int_2.vmin12024-08-03 10:20 1.9K 
[   ]int_2__t15_int_22024-07-28 16:55 2.1K 
[   ]int_2__t25_int_2.vmin12024-08-03 10:20 2.2K 
[   ]int_2__t8_int_2.vmin1out2024-08-03 10:23 3.3K 
[   ]int_2__t8_int_2.vout2024-08-03 08:01 3.9K 
[   ]int_2__t18_int_22024-07-28 16:56 4.0K 
[   ]int_2__t21_int_22024-07-28 16:58 4.0K 
[   ]int_2__t12_int_2.vmin1out2024-08-03 10:20 4.1K 
[   ]int_2__t9_int_2.vmin1out2024-08-03 10:23 4.3K 
[   ]int_2__t17_int_2.vout2024-08-03 04:15 4.3K 
[   ]int_2__t20_int_2.vout2024-08-03 06:07 4.3K 
[   ]int_2__t7_int_2.vout2024-08-03 05:20 4.4K 
[   ]int_2__t17_int_2.vmin1out2024-08-03 10:22 4.6K 
[   ]int_2__t20_int_2.vmin1out2024-08-03 10:20 4.6K 
[   ]int_2__t31_int_2.vout2024-08-03 08:25 4.7K 
[   ]int_2__t23_int_2.vout2024-08-03 09:22 4.7K 
[   ]int_2__l11_int_2.vout2024-08-03 07:10 4.7K 
[   ]int_2__t12_int_2.vout2024-08-03 09:18 5.0K 
[   ]int_2__t7_int_2.vmin1out2024-08-03 10:23 5.2K 
[   ]int_2__t24_int_2.vout2024-08-03 07:48 5.3K 
[   ]int_2__t11_int_2.vout2024-08-03 04:11 6.2K 
[   ]int_2__t9_int_2.vout2024-08-03 08:00 6.7K 
[   ]int_2__l10_int_2.vout2024-08-03 07:10 6.8K 
[   ]int_2__t15_int_2.vmin1out2024-08-03 10:23 7.1K 
[   ]int_2__l9_int_2.vout2024-08-03 08:38 7.2K 
[   ]int_2__t4_int_2.vout2024-08-03 09:59 7.2K 
[   ]int_2__t26_int_2.vout2024-08-03 06:48 7.2K 
[   ]int_2__l14_int_2.vout2024-08-03 06:01 7.2K 
[   ]int_2__t16_int_2.vout2024-08-03 04:30 7.2K 
[   ]int_2__t34_int_2.vout2024-08-03 05:54 7.2K 
[   ]int_2__t33_int_2.vout2024-08-03 10:13 7.3K 
[   ]int_2__t14_int_2.vmin1out2024-08-03 10:20 7.3K 
[   ]int_2__t17_int_22024-07-28 16:56 7.4K 
[   ]int_2__t20_int_22024-07-28 16:57 7.4K 
[   ]int_2__l5_int_2.vout2024-08-03 10:18 7.7K 
[   ]int_2__t1_int_2.vout2024-08-03 09:06 7.8K 
[   ]int_2__t27_int_2.vout2024-08-03 04:41 7.8K 
[   ]int_2__t6_int_2.vout2024-08-03 07:02 7.8K 
[   ]int_2__t30_int_2.vout2024-08-03 06:53 7.8K 
[   ]int_2__t18_int_2.vmin1out2024-08-03 10:20 7.9K 
[   ]int_2__t21_int_2.vmin1out2024-08-03 10:20 7.9K 
[   ]int_2__t18_int_2.vout2024-08-03 07:19 7.9K 
[   ]int_2__t21_int_2.vout2024-08-03 04:49 7.9K 
[   ]int_2__t14_int_2.vout2024-08-03 08:19 8.1K 
[   ]int_2__t7_int_22024-07-28 16:51 8.1K 
[   ]int_2__t28_int_2.vout2024-08-03 07:17 8.3K 
[   ]int_2__t15_int_2.vout2024-08-03 07:42 8.4K 
[   ]int_2__l6_int_2.vmin1out2024-08-03 10:22 8.6K 
[   ]int_2__t32_int_2.vmin1out2024-08-03 10:21 8.6K 
[   ]int_2__l7_int_2.vmin1out2024-08-03 10:23 8.7K 
[   ]int_2__t29_int_2.vout2024-08-03 07:28 8.9K 
[   ]int_2__t3_int_22024-07-28 16:51 9.1K 
[   ]int_2__l6_int_2.vout2024-08-03 05:07 9.4K 
[   ]int_2__t5_int_22024-07-28 17:01 9.6K 
[   ]int_2__t32_int_2.vout2024-08-03 09:25 9.7K 
[   ]int_2__l4_int_22024-07-28 17:15 9.9K 
[   ]int_2__l7_int_2.vout2024-08-03 05:15 10K 
[   ]int_2__l8_int_22024-07-28 17:18 10K 
[   ]int_2__t8_int_22024-07-28 16:52 10K 
[   ]int_2__t12_int_22024-07-28 16:53 10K 
[   ]int_2__t14_int_22024-07-28 16:55 10K 
[   ]int_2__t19_int_2.vmin1out2024-08-03 10:23 11K 
[   ]int_2__t22_int_2.vmin1out2024-08-03 10:20 11K 
[   ]int_2__t19_int_2.vout2024-08-03 09:00 11K 
[   ]int_2__t22_int_2.vout2024-08-03 04:52 11K 
[   ]int_2__t2_int_22024-07-28 17:00 11K 
[   ]int_2__l4_int_2.vmin1out2024-08-03 10:22 13K 
[   ]int_2__l4_int_2.vout2024-08-03 08:06 13K 
[   ]int_2__t6_int_22024-07-28 17:02 13K 
[   ]int_2__l5_int_22024-07-28 17:16 13K 
[   ]int_2__t9_int_22024-07-28 16:53 14K 
[   ]int_2__t3_int_2.vout2024-08-03 08:49 14K 
[   ]int_2__t19_int_22024-07-28 16:57 14K 
[   ]int_2__t22_int_22024-07-28 16:59 14K 
[   ]int_2__t13_int_2.vmin1out2024-08-03 10:23 14K 
[   ]int_2__t13_int_2.vout2024-08-03 04:31 14K 
[   ]int_2__t4_int_22024-07-28 17:01 15K 
[   ]int_2__t3_int_2.vmin1out2024-08-03 10:21 15K 
[   ]int_2__l10_int_22024-07-28 17:20 15K 
[   ]int_2__t30_int_22024-07-28 17:11 15K 
[   ]int_2__t2_int_2.vmin1out2024-08-03 10:22 16K 
[   ]int_2__t32_int_22024-07-28 17:13 16K 
[   ]int_2__t2_int_2.vout2024-08-03 06:54 16K 
[   ]int_2__t1_int_22024-07-28 16:59 18K 
[   ]int_2__l14_int_22024-07-28 17:21 19K 
[   ]int_2__l6_int_22024-07-28 17:17 19K 
[   ]int_2__l7_int_22024-07-28 17:17 19K 
[   ]int_2__t13_int_22024-07-28 16:54 20K 
[   ]int_2__l8_int_2.vmin1out2024-08-03 10:20 20K 
[   ]int_2__t10_int_22024-07-28 17:03 20K 
[   ]int_2__t11_int_22024-07-28 17:04 20K 
[   ]int_2__t27_int_22024-07-28 17:09 20K 
[   ]int_2__t26_int_22024-07-28 17:08 21K 
[   ]int_2__t33_int_22024-07-28 17:14 21K 
[   ]int_2__t34_int_22024-07-28 17:15 21K 
[   ]int_2__t23_int_22024-07-28 17:06 21K 
[   ]int_2__l8_int_2.vout2024-08-03 05:25 21K 
[   ]int_2__t25_int_2.vmin1out2024-08-03 10:23 24K 
[   ]int_2__t25_int_2.vout2024-08-03 05:37 25K 
[   ]int_2__t5_int_2.vout2024-08-03 08:15 25K 
[   ]int_2__l11_int_22024-07-28 17:20 26K 
[   ]int_2__t10_int_2.vout2024-08-03 10:15 26K 
[   ]int_2__t28_int_22024-07-28 17:10 26K 
[   ]int_2__l9_int_22024-07-28 17:19 27K 
[   ]int_2__t16_int_22024-07-28 17:05 27K 
[   ]int_2__t10_int_2.vmin1out2024-08-03 10:22 28K 
[   ]int_2__t24_int_22024-07-28 17:07 28K 
[   ]int_2__t25_int_22024-07-28 17:07 28K 
[   ]int_2__t5_int_2.vmin1out2024-08-03 10:23 29K 
[   ]int_2__t31_int_22024-07-28 17:12 33K 
[   ]int_2__t29_int_22024-07-28 17:10 75K 

Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80