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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]anproj_2__l2_anproj_22024-07-27 13:18 20K 
[ ]anproj_2__l2_anproj_2.vout2024-08-03 06:22 7.3K 
[ ]anproj_2__l4_anproj_22024-07-27 13:20 17K 
[ ]anproj_2__l4_anproj_2.vout2024-08-03 10:16 2.0K 
[ ]anproj_2__l5_anproj_22024-07-27 13:21 14K 
[ ]anproj_2__l5_anproj_2.vout2024-08-03 07:40 3.7K 
[ ]anproj_2__l7_anproj_22024-07-27 13:22 17K 
[ ]anproj_2__l7_anproj_2.vout2024-08-03 05:12 2.0K 
[ ]anproj_2__l8_anproj_22024-07-27 13:23 14K 
[ ]anproj_2__l8_anproj_2.vout2024-08-03 07:18 3.7K 
[ ]anproj_2__l9_anproj_22024-07-27 13:24 17K 
[ ]anproj_2__l9_anproj_2.vout2024-08-03 10:02 2.0K 
[ ]anproj_2__l10_anproj_22024-07-27 13:26 19K 
[ ]anproj_2__l10_anproj_2.vout2024-08-03 04:16 7.4K 
[ ]anproj_2__l16_anproj_22024-07-27 13:27 14K 
[ ]anproj_2__l16_anproj_2.depv12024-08-03 10:19 39  
[ ]anproj_2__l16_anproj_2.depvmin12024-08-03 10:24 39  
[ ]anproj_2__l16_anproj_2.vmin12024-08-03 10:20 1.2K 
[ ]anproj_2__l16_anproj_2.vmin1out2024-08-03 10:20 15K 
[ ]anproj_2__l16_anproj_2.vout2024-08-03 04:13 15K 
[ ]anproj_2__l19_anproj_22024-07-27 13:28 14K 
[ ]anproj_2__l19_anproj_2.depv12024-08-03 10:19 183  
[ ]anproj_2__l19_anproj_2.depvmin12024-08-03 10:24 183  
[ ]anproj_2__l19_anproj_2.vmin12024-08-03 10:20 2.1K 
[ ]anproj_2__l19_anproj_2.vmin1out2024-08-03 10:22 34K 
[ ]anproj_2__l19_anproj_2.vout2024-08-03 09:30 23K 
[ ]anproj_2__l20_anproj_22024-07-27 13:29 25K 
[ ]anproj_2__l20_anproj_2.vout2024-08-03 08:16 7.3K 
[ ]anproj_2__l21_anproj_22024-07-27 12:27 14K 
[ ]anproj_2__l21_anproj_2.vout2024-08-03 08:48 7.9K 
[ ]anproj_2__l22_anproj_22024-07-27 13:30 19K 
[ ]anproj_2__l22_anproj_2.vout2024-08-03 08:38 7.4K 
[ ]anproj_2__l23_anproj_22024-07-27 13:32 16K 
[ ]anproj_2__l23_anproj_2.depv12024-08-03 10:19 157  
[ ]anproj_2__l23_anproj_2.depvmin12024-08-03 10:24 157  
[ ]anproj_2__l23_anproj_2.vmin12024-08-03 10:20 2.1K 
[ ]anproj_2__l23_anproj_2.vmin1out2024-08-03 10:23 37K 
[ ]anproj_2__l23_anproj_2.vout2024-08-03 04:55 26K 
[ ]anproj_2__l24_anproj_22024-07-27 13:33 16K 
[ ]anproj_2__l24_anproj_2.depv12024-08-03 10:19 184  
[ ]anproj_2__l24_anproj_2.depvmin12024-08-03 10:24 157  
[ ]anproj_2__l24_anproj_2.vmin12024-08-03 10:20 1.9K 
[ ]anproj_2__l24_anproj_2.vmin1out2024-08-03 10:21 28K 
[ ]anproj_2__l24_anproj_2.vout2024-08-03 05:40 30K 
[ ]anproj_2__l25_anproj_22024-07-27 13:34 20K 
[ ]anproj_2__l25_anproj_2.vout2024-08-03 04:39 7.3K 
[ ]anproj_2__l29_anproj_22024-07-27 13:35 14K 
[ ]anproj_2__l29_anproj_2.depv12024-08-03 10:19 183  
[ ]anproj_2__l29_anproj_2.depvmin12024-08-03 10:24 183  
[ ]anproj_2__l29_anproj_2.vmin12024-08-03 10:20 2.1K 
[ ]anproj_2__l29_anproj_2.vmin1out2024-08-03 10:22 34K 
[ ]anproj_2__l29_anproj_2.vout2024-08-03 09:39 23K 
[ ]anproj_2__l30_anproj_22024-07-27 13:36 18K 
[ ]anproj_2__l30_anproj_2.depv12024-08-03 10:19 138  
[ ]anproj_2__l30_anproj_2.depvmin12024-08-03 10:24 138  
[ ]anproj_2__l30_anproj_2.vmin12024-08-03 10:20 2.0K 
[ ]anproj_2__l30_anproj_2.vmin1out2024-08-03 10:22 52K 
[ ]anproj_2__l30_anproj_2.vout2024-08-03 05:26 53K 
[ ]anproj_2__l31_anproj_22024-07-27 13:38 17K 
[ ]anproj_2__l31_anproj_2.vout2024-08-03 07:54 7.3K 
[ ]anproj_2__l32_anproj_22024-07-27 13:39 17K 
[ ]anproj_2__l32_anproj_2.vout2024-08-03 07:38 7.3K 
[ ]anproj_2__l33_anproj_22024-07-27 12:28 14K 
[ ]anproj_2__l33_anproj_2.vout2024-08-03 06:36 7.9K 
[ ]anproj_2__l34_anproj_22024-07-27 13:40 18K 
[ ]anproj_2__l34_anproj_2.depv12024-08-03 10:19 58  
[ ]anproj_2__l34_anproj_2.depvmin12024-08-03 10:24 58  
[ ]anproj_2__l34_anproj_2.vmin12024-08-03 10:20 2.0K 
[ ]anproj_2__l34_anproj_2.vmin1out2024-08-03 10:22 89K 
[ ]anproj_2__l34_anproj_2.vout2024-08-03 08:23 56K 
[ ]anproj_2__l35_anproj_22024-07-27 13:41 19K 
[ ]anproj_2__l35_anproj_2.vout2024-08-03 08:43 7.3K 
[ ]anproj_2__l36_anproj_22024-07-27 13:42 22K 
[ ]anproj_2__l36_anproj_2.vout2024-08-03 09:12 7.9K 
[ ]anproj_2__l37_anproj_22024-07-27 13:43 24K 
[ ]anproj_2__l37_anproj_2.vout2024-08-03 05:56 7.3K 
[ ]anproj_2__l38_anproj_22024-07-27 13:43 13K 
[ ]anproj_2__l38_anproj_2.depv12024-08-03 10:19 151  
[ ]anproj_2__l38_anproj_2.depvmin12024-08-03 10:24 127  
[ ]anproj_2__l38_anproj_2.vmin12024-08-03 10:20 1.4K 
[ ]anproj_2__l38_anproj_2.vmin1out2024-08-03 10:20 16K 
[ ]anproj_2__l38_anproj_2.vout2024-08-03 09:55 23K 
[ ]anproj_2__l39_anproj_22024-07-27 13:45 35K 
[ ]anproj_2__l39_anproj_2.vout2024-08-03 10:13 6.8K 
[ ]anproj_2__l40_anproj_22024-07-27 13:46 14K 
[ ]anproj_2__l40_anproj_2.vout2024-08-03 09:35 3.7K 
[ ]anproj_2__l41_anproj_22024-07-27 13:47 29K 
[ ]anproj_2__l41_anproj_2.vout2024-08-03 04:58 6.8K 
[ ]anproj_2__l42_anproj_22024-07-27 13:48 19K 
[ ]anproj_2__l42_anproj_2.vout2024-08-03 06:18 6.8K 
[ ]anproj_2__l50_anproj_22024-07-27 13:49 7.6K 
[ ]anproj_2__l50_anproj_2.depv12024-08-03 10:19 226  
[ ]anproj_2__l50_anproj_2.depvmin12024-08-03 10:24 122  
[ ]anproj_2__l50_anproj_2.vmin12024-08-03 10:20 1.8K 
[ ]anproj_2__l50_anproj_2.vmin1out2024-08-03 10:22 12K 
[ ]anproj_2__l50_anproj_2.vout2024-08-03 04:58 18K 
[ ]anproj_2__l57_anproj_22024-07-27 13:50 7.9K 
[ ]anproj_2__l57_anproj_2.depv12024-08-03 10:19 210  
[ ]anproj_2__l57_anproj_2.depvmin12024-08-03 10:24 210  
[ ]anproj_2__l57_anproj_2.vmin12024-08-03 10:20 1.6K 
[ ]anproj_2__l57_anproj_2.vmin1out2024-08-03 10:21 19K 
[ ]anproj_2__l57_anproj_2.vout2024-08-03 07:33 22K 
[ ]anproj_2__l65_anproj_22024-07-27 13:51 24K 
[ ]anproj_2__l65_anproj_2.vout2024-08-03 05:53 5.8K 
[ ]anproj_2__l66_anproj_22024-07-27 13:53 26K 
[ ]anproj_2__l66_anproj_2.vout2024-08-03 08:17 5.8K 
[ ]anproj_2__l68_anproj_22024-07-27 13:54 13K 
[ ]anproj_2__l68_anproj_2.depv12024-08-03 10:19 91  
[ ]anproj_2__l68_anproj_2.depvmin12024-08-03 10:24 78  
[ ]anproj_2__l68_anproj_2.vmin12024-08-03 10:20 3.4K 
[ ]anproj_2__l68_anproj_2.vmin1out2024-08-03 10:20 62K 
[ ]anproj_2__l68_anproj_2.vout2024-08-03 06:50 35K 
[ ]anproj_2__l69_anproj_22024-07-27 13:55 26K 
[ ]anproj_2__l69_anproj_2.vout2024-08-03 05:15 5.3K 
[ ]anproj_2__l70_anproj_22024-07-27 13:56 13K 
[ ]anproj_2__l70_anproj_2.depv12024-08-03 10:19 79  
[ ]anproj_2__l70_anproj_2.depvmin12024-08-03 10:24 79  
[ ]anproj_2__l70_anproj_2.vmin12024-08-03 10:20 3.2K 
[ ]anproj_2__l70_anproj_2.vmin1out2024-08-03 10:21 109K 
[ ]anproj_2__l70_anproj_2.vout2024-08-03 05:10 105K 
[ ]anproj_2__l71_anproj_22024-07-27 13:58 27K 
[ ]anproj_2__l71_anproj_2.vout2024-08-03 08:08 5.8K 
[ ]anproj_2__l73_anproj_22024-07-27 13:59 21K 
[ ]anproj_2__l73_anproj_2.vout2024-08-03 05:11 5.8K 
[ ]anproj_2__l80_anproj_22024-07-27 12:30 14K 
[ ]anproj_2__l80_anproj_2.vout2024-08-03 08:05 3.2K 
[ ]anproj_2__l81_anproj_22024-07-27 14:01 31K 
[ ]anproj_2__l81_anproj_2.vout2024-08-03 10:00 5.8K 
[ ]anproj_2__l82_anproj_22024-07-27 14:03 31K 
[ ]anproj_2__l82_anproj_2.vout2024-08-03 08:46 5.8K 
[ ]anproj_2__l86_anproj_22024-07-27 14:05 18K 
[ ]anproj_2__l86_anproj_2.depv12024-08-03 10:19 169  
[ ]anproj_2__l86_anproj_2.depvmin12024-08-03 10:24 169  
[ ]anproj_2__l86_anproj_2.vmin12024-08-03 10:20 2.9K 
[ ]anproj_2__l86_anproj_2.vmin1out2024-08-03 10:20 49K 
[ ]anproj_2__l86_anproj_2.vout2024-08-03 04:11 52K 
[ ]anproj_2__l87_anproj_22024-07-27 14:06 21K 
[ ]anproj_2__l87_anproj_2.depv12024-08-03 10:19 76  
[ ]anproj_2__l87_anproj_2.depvmin12024-08-03 10:24 76  
[ ]anproj_2__l87_anproj_2.vmin12024-08-03 10:20 2.4K 
[ ]anproj_2__l87_anproj_2.vmin1out2024-08-03 10:23 114K 
[ ]anproj_2__l87_anproj_2.vout2024-08-03 04:57 142K 
[ ]anproj_2__l89_anproj_22024-07-27 14:07 13K 
[ ]anproj_2__l89_anproj_2.vout2024-08-03 09:18 4.1K 
[ ]anproj_2__t1_anproj_22024-07-27 12:31 19K 
[ ]anproj_2__t1_anproj_2.depv12024-08-03 10:19 37  
[ ]anproj_2__t1_anproj_2.depvmin12024-08-03 10:24 37  
[ ]anproj_2__t1_anproj_2.vmin12024-08-03 10:20 2.1K 
[ ]anproj_2__t1_anproj_2.vmin1out2024-08-03 10:21 85K 
[ ]anproj_2__t1_anproj_2.vout2024-08-03 09:22 38K 
[ ]anproj_2__t2_anproj_22024-07-27 12:32 20K 
[ ]anproj_2__t2_anproj_2.vout2024-08-03 09:12 6.8K 
[ ]anproj_2__t3_anproj_22024-07-27 12:34 43K 
[ ]anproj_2__t3_anproj_2.vout2024-08-03 06:42 4.7K 
[ ]anproj_2__t4_anproj_22024-07-27 12:36 43K 
[ ]anproj_2__t4_anproj_2.vout2024-08-03 06:40 6.8K 
[ ]anproj_2__t5_anproj_22024-07-27 12:37 25K 
[ ]anproj_2__t5_anproj_2.vout2024-08-03 07:09 7.3K 
[ ]anproj_2__t6_anproj_22024-07-27 12:39 41K 
[ ]anproj_2__t6_anproj_2.vout2024-08-03 06:37 6.8K 
[ ]anproj_2__t7_anproj_22024-07-27 12:40 40K 
[ ]anproj_2__t7_anproj_2.vout2024-08-03 05:19 6.8K 
[ ]anproj_2__t8_anproj_22024-07-27 12:42 48K 
[ ]anproj_2__t8_anproj_2.vout2024-08-03 06:30 4.7K 
[ ]anproj_2__t9_anproj_22024-07-27 12:44 54K 
[ ]anproj_2__t9_anproj_2.vout2024-08-03 05:24 4.7K 
[ ]anproj_2__t10_anproj_22024-07-27 12:45 11K 
[ ]anproj_2__t10_anproj_2.vout2024-08-03 06:32 7.3K 
[ ]anproj_2__t11_anproj_22024-07-27 12:46 21K 
[ ]anproj_2__t11_anproj_2.vout2024-08-03 08:16 4.7K 
[ ]anproj_2__t12_anproj_22024-07-27 12:47 13K 
[ ]anproj_2__t12_anproj_2.vout2024-08-03 08:41 4.7K 
[ ]anproj_2__t13_anproj_22024-07-27 12:48 22K 
[ ]anproj_2__t13_anproj_2.vout2024-08-03 06:03 4.7K 
[ ]anproj_2__t14_anproj_22024-07-27 12:49 13K 
[ ]anproj_2__t14_anproj_2.vout2024-08-03 09:33 4.7K 
[ ]anproj_2__t15_anproj_22024-07-27 12:50 15K 
[ ]anproj_2__t15_anproj_2.vout2024-08-03 10:11 4.7K 
[ ]anproj_2__t16_anproj_22024-07-27 12:52 24K 
[ ]anproj_2__t16_anproj_2.vout2024-08-03 05:32 4.7K 
[ ]anproj_2__t17_anproj_22024-07-27 12:53 21K 
[ ]anproj_2__t17_anproj_2.vout2024-08-03 09:47 4.7K 
[ ]anproj_2__t18_anproj_22024-07-27 12:54 14K 
[ ]anproj_2__t18_anproj_2.vout2024-08-03 10:07 4.7K 
[ ]anproj_2__t19_anproj_22024-07-27 12:55 22K 
[ ]anproj_2__t19_anproj_2.vout2024-08-03 05:17 4.7K 
[ ]anproj_2__t20_anproj_22024-07-27 12:56 14K 
[ ]anproj_2__t20_anproj_2.vout2024-08-03 05:56 4.7K 
[ ]anproj_2__t21_anproj_22024-07-27 12:57 16K 
[ ]anproj_2__t21_anproj_2.vout2024-08-03 08:48 4.7K 
[ ]anproj_2__t22_anproj_22024-07-27 12:59 25K 
[ ]anproj_2__t22_anproj_2.vout2024-08-03 07:01 4.7K 
[ ]anproj_2__t23_anproj_22024-07-27 12:26 23K 
[ ]anproj_2__t23_anproj_2.vout2024-08-03 09:53 4.7K 
[ ]anproj_2__t24_anproj_22024-07-27 13:00 23K 
[ ]anproj_2__t24_anproj_2.vout2024-08-03 08:27 5.8K 
[ ]anproj_2__t25_anproj_22024-07-27 13:02 27K 
[ ]anproj_2__t25_anproj_2.vout2024-08-03 09:19 4.7K 
[ ]anproj_2__t26_anproj_22024-07-27 13:04 27K 
[ ]anproj_2__t26_anproj_2.vout2024-08-03 04:16 4.7K 
[ ]anproj_2__t27_anproj_22024-07-27 13:05 28K 
[ ]anproj_2__t27_anproj_2.vout2024-08-03 04:37 4.7K 
[ ]anproj_2__t28_anproj_22024-07-27 13:07 14K 
[ ]anproj_2__t28_anproj_2.vout2024-08-03 04:13 4.1K 
[ ]anproj_2__t29_anproj_22024-07-27 13:08 25K 
[ ]anproj_2__t29_anproj_2.vout2024-08-03 04:30 4.7K 
[ ]anproj_2__t30_anproj_22024-07-27 13:10 29K 
[ ]anproj_2__t30_anproj_2.vout2024-08-03 05:58 4.7K 
[ ]anproj_2__t31_anproj_22024-07-27 13:12 16K 
[ ]anproj_2__t31_anproj_2.vout2024-08-03 08:37 4.1K 
[ ]anproj_2__t32_anproj_22024-07-27 13:13 24K 
[ ]anproj_2__t32_anproj_2.vout2024-08-03 04:29 4.7K 
[ ]anproj_2__t33_anproj_22024-07-27 13:15 30K 
[ ]anproj_2__t33_anproj_2.vout2024-08-03 10:13 4.7K 
[ ]anproj_2__t34_anproj_22024-07-27 13:16 21K 
[ ]anproj_2__t34_anproj_2.vout2024-08-03 07:07 4.7K 
[ ]anproj_2__t35_anproj_22024-07-27 13:17 9.1K 
[ ]anproj_2__t35_anproj_2.vout2024-08-03 06:08 2.0K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80