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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]anproj_2__l2_anproj_22021-07-18 03:34 20K 
[ ]anproj_2__l2_anproj_2.vout2021-07-25 19:22 6.8K 
[ ]anproj_2__l4_anproj_22021-07-18 03:34 17K 
[ ]anproj_2__l4_anproj_2.vout2021-07-25 16:46 2.0K 
[ ]anproj_2__l5_anproj_22021-07-18 03:35 14K 
[ ]anproj_2__l5_anproj_2.vout2021-07-25 14:36 2.0K 
[ ]anproj_2__l7_anproj_22021-07-18 03:35 17K 
[ ]anproj_2__l7_anproj_2.vout2021-07-25 16:46 2.0K 
[ ]anproj_2__l8_anproj_22021-07-18 03:36 14K 
[ ]anproj_2__l8_anproj_2.vout2021-07-25 17:57 2.0K 
[ ]anproj_2__l9_anproj_22021-07-18 03:36 17K 
[ ]anproj_2__l9_anproj_2.vout2021-07-25 20:48 2.0K 
[ ]anproj_2__l10_anproj_22021-07-18 03:36 19K 
[ ]anproj_2__l10_anproj_2.vout2021-07-25 17:31 7.4K 
[ ]anproj_2__l16_anproj_22021-07-18 03:37 14K 
[ ]anproj_2__l16_anproj_2.depv12021-07-25 20:57 39  
[ ]anproj_2__l16_anproj_2.depvmin12021-07-25 21:03 39  
[ ]anproj_2__l16_anproj_2.vmin12021-07-25 20:57 1.2K 
[ ]anproj_2__l16_anproj_2.vmin1out2021-07-25 21:00 15K 
[ ]anproj_2__l16_anproj_2.vout2021-07-25 19:03 15K 
[ ]anproj_2__l19_anproj_22021-07-18 03:37 14K 
[ ]anproj_2__l19_anproj_2.depv12021-07-25 20:57 183  
[ ]anproj_2__l19_anproj_2.depvmin12021-07-25 21:03 183  
[ ]anproj_2__l19_anproj_2.vmin12021-07-25 20:57 2.1K 
[ ]anproj_2__l19_anproj_2.vmin1out2021-07-25 21:00 34K 
[ ]anproj_2__l19_anproj_2.vout2021-07-25 18:28 23K 
[ ]anproj_2__l20_anproj_22021-07-18 03:38 25K 
[ ]anproj_2__l20_anproj_2.vout2021-07-25 19:32 7.3K 
[ ]anproj_2__l21_anproj_22021-07-18 03:15 14K 
[ ]anproj_2__l21_anproj_2.vout2021-07-25 18:45 7.9K 
[ ]anproj_2__l22_anproj_22021-07-18 03:38 19K 
[ ]anproj_2__l22_anproj_2.vout2021-07-25 14:35 7.3K 
[ ]anproj_2__l23_anproj_22021-07-18 03:39 16K 
[ ]anproj_2__l23_anproj_2.depv12021-07-25 20:57 157  
[ ]anproj_2__l23_anproj_2.depvmin12021-07-25 21:03 157  
[ ]anproj_2__l23_anproj_2.vmin12021-07-25 20:57 2.1K 
[ ]anproj_2__l23_anproj_2.vmin1out2021-07-25 20:58 37K 
[ ]anproj_2__l23_anproj_2.vout2021-07-25 16:50 26K 
[ ]anproj_2__l24_anproj_22021-07-18 03:39 16K 
[ ]anproj_2__l24_anproj_2.depv12021-07-25 20:57 184  
[ ]anproj_2__l24_anproj_2.depvmin12021-07-25 21:03 157  
[ ]anproj_2__l24_anproj_2.vmin12021-07-25 20:57 1.9K 
[ ]anproj_2__l24_anproj_2.vmin1out2021-07-25 21:01 28K 
[ ]anproj_2__l24_anproj_2.vout2021-07-25 15:42 30K 
[ ]anproj_2__l25_anproj_22021-07-18 03:40 20K 
[ ]anproj_2__l25_anproj_2.vout2021-07-25 20:03 7.3K 
[ ]anproj_2__l29_anproj_22021-07-18 03:40 14K 
[ ]anproj_2__l29_anproj_2.depv12021-07-25 20:57 183  
[ ]anproj_2__l29_anproj_2.depvmin12021-07-25 21:03 183  
[ ]anproj_2__l29_anproj_2.vmin12021-07-25 20:57 2.1K 
[ ]anproj_2__l29_anproj_2.vmin1out2021-07-25 21:01 34K 
[ ]anproj_2__l29_anproj_2.vout2021-07-25 15:02 23K 
[ ]anproj_2__l30_anproj_22021-07-18 03:41 18K 
[ ]anproj_2__l30_anproj_2.depv12021-07-25 20:57 138  
[ ]anproj_2__l30_anproj_2.depvmin12021-07-25 21:03 138  
[ ]anproj_2__l30_anproj_2.vmin12021-07-25 20:57 2.0K 
[ ]anproj_2__l30_anproj_2.vmin1out2021-07-25 20:58 52K 
[ ]anproj_2__l30_anproj_2.vout2021-07-25 14:38 53K 
[ ]anproj_2__l31_anproj_22021-07-18 03:41 17K 
[ ]anproj_2__l31_anproj_2.vout2021-07-25 14:33 7.4K 
[ ]anproj_2__l32_anproj_22021-07-18 03:41 17K 
[ ]anproj_2__l32_anproj_2.vout2021-07-25 16:14 7.3K 
[ ]anproj_2__l33_anproj_22021-07-18 03:15 14K 
[ ]anproj_2__l33_anproj_2.vout2021-07-25 19:16 7.9K 
[ ]anproj_2__l34_anproj_22021-07-18 03:42 18K 
[ ]anproj_2__l34_anproj_2.depv12021-07-25 20:57 58  
[ ]anproj_2__l34_anproj_2.depvmin12021-07-25 21:03 58  
[ ]anproj_2__l34_anproj_2.vmin12021-07-25 20:57 2.0K 
[ ]anproj_2__l34_anproj_2.vmin1out2021-07-25 21:00 89K 
[ ]anproj_2__l34_anproj_2.vout2021-07-25 18:10 56K 
[ ]anproj_2__l35_anproj_22021-07-18 03:42 19K 
[ ]anproj_2__l35_anproj_2.vout2021-07-25 16:37 7.3K 
[ ]anproj_2__l36_anproj_22021-07-18 03:43 22K 
[ ]anproj_2__l36_anproj_2.vout2021-07-25 18:16 7.9K 
[ ]anproj_2__l37_anproj_22021-07-18 03:43 24K 
[ ]anproj_2__l37_anproj_2.vout2021-07-25 18:04 7.4K 
[ ]anproj_2__l38_anproj_22021-07-18 03:43 13K 
[ ]anproj_2__l38_anproj_2.depv12021-07-25 20:57 151  
[ ]anproj_2__l38_anproj_2.depvmin12021-07-25 21:03 127  
[ ]anproj_2__l38_anproj_2.vmin12021-07-25 20:57 1.4K 
[ ]anproj_2__l38_anproj_2.vmin1out2021-07-25 20:59 16K 
[ ]anproj_2__l38_anproj_2.vout2021-07-25 19:05 23K 
[ ]anproj_2__l39_anproj_22021-07-18 03:44 35K 
[ ]anproj_2__l39_anproj_2.vout2021-07-25 16:00 6.8K 
[ ]anproj_2__l40_anproj_22021-07-18 03:44 14K 
[ ]anproj_2__l40_anproj_2.vout2021-07-25 19:14 2.0K 
[ ]anproj_2__l41_anproj_22021-07-18 03:45 29K 
[ ]anproj_2__l41_anproj_2.vout2021-07-25 17:54 6.8K 
[ ]anproj_2__l42_anproj_22021-07-18 03:45 19K 
[ ]anproj_2__l42_anproj_2.vout2021-07-25 18:51 6.8K 
[ ]anproj_2__l50_anproj_22021-07-18 03:45 7.7K 
[ ]anproj_2__l50_anproj_2.depv12021-07-25 20:57 226  
[ ]anproj_2__l50_anproj_2.depvmin12021-07-25 21:03 122  
[ ]anproj_2__l50_anproj_2.vmin12021-07-25 20:57 1.8K 
[ ]anproj_2__l50_anproj_2.vmin1out2021-07-25 21:02 12K 
[ ]anproj_2__l50_anproj_2.vout2021-07-25 19:33 18K 
[ ]anproj_2__l57_anproj_22021-07-18 03:46 8.0K 
[ ]anproj_2__l57_anproj_2.depv12021-07-25 20:57 210  
[ ]anproj_2__l57_anproj_2.depvmin12021-07-25 21:03 210  
[ ]anproj_2__l57_anproj_2.vmin12021-07-25 20:57 1.6K 
[ ]anproj_2__l57_anproj_2.vmin1out2021-07-25 21:02 19K 
[ ]anproj_2__l57_anproj_2.vout2021-07-25 16:12 22K 
[ ]anproj_2__l65_anproj_22021-07-18 03:46 24K 
[ ]anproj_2__l65_anproj_2.vout2021-07-25 18:10 5.8K 
[ ]anproj_2__l66_anproj_22021-07-18 03:47 26K 
[ ]anproj_2__l66_anproj_2.vout2021-07-25 18:47 5.8K 
[ ]anproj_2__l68_anproj_22021-07-18 03:47 13K 
[ ]anproj_2__l68_anproj_2.depv12021-07-25 20:57 91  
[ ]anproj_2__l68_anproj_2.depvmin12021-07-25 21:03 78  
[ ]anproj_2__l68_anproj_2.vmin12021-07-25 20:57 3.4K 
[ ]anproj_2__l68_anproj_2.vmin1out2021-07-25 21:01 62K 
[ ]anproj_2__l68_anproj_2.vout2021-07-25 16:07 35K 
[ ]anproj_2__l69_anproj_22021-07-18 03:48 26K 
[ ]anproj_2__l69_anproj_2.vout2021-07-25 15:22 5.3K 
[ ]anproj_2__l70_anproj_22021-07-18 03:48 13K 
[ ]anproj_2__l70_anproj_2.depv12021-07-25 20:57 79  
[ ]anproj_2__l70_anproj_2.depvmin12021-07-25 21:03 79  
[ ]anproj_2__l70_anproj_2.vmin12021-07-25 20:57 3.2K 
[ ]anproj_2__l70_anproj_2.vmin1out2021-07-25 20:59 109K 
[ ]anproj_2__l70_anproj_2.vout2021-07-25 17:19 105K 
[ ]anproj_2__l71_anproj_22021-07-18 03:49 27K 
[ ]anproj_2__l71_anproj_2.vout2021-07-25 20:22 5.3K 
[ ]anproj_2__l73_anproj_22021-07-18 03:49 21K 
[ ]anproj_2__l73_anproj_2.vout2021-07-25 18:23 5.8K 
[ ]anproj_2__l80_anproj_22021-07-18 03:16 14K 
[ ]anproj_2__l80_anproj_2.vout2021-07-25 18:49 3.2K 
[ ]anproj_2__l81_anproj_22021-07-18 03:50 31K 
[ ]anproj_2__l81_anproj_2.vout2021-07-25 19:40 5.8K 
[ ]anproj_2__l82_anproj_22021-07-18 03:51 31K 
[ ]anproj_2__l82_anproj_2.vout2021-07-25 17:07 5.8K 
[ ]anproj_2__l86_anproj_22021-07-18 03:51 18K 
[ ]anproj_2__l86_anproj_2.depv12021-07-25 20:57 169  
[ ]anproj_2__l86_anproj_2.depvmin12021-07-25 21:03 169  
[ ]anproj_2__l86_anproj_2.vmin12021-07-25 20:57 2.9K 
[ ]anproj_2__l86_anproj_2.vmin1out2021-07-25 21:00 49K 
[ ]anproj_2__l86_anproj_2.vout2021-07-25 17:59 52K 
[ ]anproj_2__l87_anproj_22021-07-18 03:52 21K 
[ ]anproj_2__l87_anproj_2.depv12021-07-25 20:57 52  
[ ]anproj_2__l87_anproj_2.depvmin12021-07-25 21:03 52  
[ ]anproj_2__l87_anproj_2.vmin12021-07-25 20:57 2.4K 
[ ]anproj_2__l87_anproj_2.vmin1out2021-07-25 21:02 112K 
[ ]anproj_2__l87_anproj_2.vout2021-07-25 17:51 92K 
[ ]anproj_2__l89_anproj_22021-07-18 03:52 14K 
[ ]anproj_2__l89_anproj_2.vout2021-07-25 15:27 4.1K 
[ ]anproj_2__t1_anproj_22021-07-18 03:16 19K 
[ ]anproj_2__t1_anproj_2.depv12021-07-25 20:57 37  
[ ]anproj_2__t1_anproj_2.depvmin12021-07-25 21:03 37  
[ ]anproj_2__t1_anproj_2.vmin12021-07-25 20:57 2.1K 
[ ]anproj_2__t1_anproj_2.vmin1out2021-07-25 21:01 85K 
[ ]anproj_2__t1_anproj_2.vout2021-07-25 17:26 38K 
[ ]anproj_2__t2_anproj_22021-07-18 03:17 20K 
[ ]anproj_2__t2_anproj_2.vout2021-07-25 18:58 6.8K 
[ ]anproj_2__t3_anproj_22021-07-18 03:17 43K 
[ ]anproj_2__t3_anproj_2.vout2021-07-25 15:53 4.7K 
[ ]anproj_2__t4_anproj_22021-07-18 03:18 43K 
[ ]anproj_2__t4_anproj_2.vout2021-07-25 14:50 6.8K 
[ ]anproj_2__t5_anproj_22021-07-18 03:19 25K 
[ ]anproj_2__t5_anproj_2.vout2021-07-25 19:48 6.8K 
[ ]anproj_2__t6_anproj_22021-07-18 03:19 41K 
[ ]anproj_2__t6_anproj_2.vout2021-07-25 19:30 7.3K 
[ ]anproj_2__t7_anproj_22021-07-18 03:20 40K 
[ ]anproj_2__t7_anproj_2.vout2021-07-25 16:43 6.8K 
[ ]anproj_2__t8_anproj_22021-07-18 03:20 48K 
[ ]anproj_2__t8_anproj_2.vout2021-07-25 20:38 4.7K 
[ ]anproj_2__t9_anproj_22021-07-18 03:21 54K 
[ ]anproj_2__t9_anproj_2.vout2021-07-25 16:12 4.7K 
[ ]anproj_2__t10_anproj_22021-07-18 03:21 11K 
[ ]anproj_2__t10_anproj_2.vout2021-07-25 18:50 7.3K 
[ ]anproj_2__t11_anproj_22021-07-18 03:22 21K 
[ ]anproj_2__t11_anproj_2.vout2021-07-25 15:58 4.7K 
[ ]anproj_2__t12_anproj_22021-07-18 03:22 13K 
[ ]anproj_2__t12_anproj_2.vout2021-07-25 17:39 4.7K 
[ ]anproj_2__t13_anproj_22021-07-18 03:23 22K 
[ ]anproj_2__t13_anproj_2.vout2021-07-25 17:16 4.7K 
[ ]anproj_2__t14_anproj_22021-07-18 03:23 13K 
[ ]anproj_2__t14_anproj_2.vout2021-07-25 16:46 4.7K 
[ ]anproj_2__t15_anproj_22021-07-18 03:23 15K 
[ ]anproj_2__t15_anproj_2.vout2021-07-25 14:57 4.7K 
[ ]anproj_2__t16_anproj_22021-07-18 03:24 25K 
[ ]anproj_2__t16_anproj_2.vout2021-07-25 16:41 4.7K 
[ ]anproj_2__t17_anproj_22021-07-18 03:24 21K 
[ ]anproj_2__t17_anproj_2.vout2021-07-25 18:20 4.7K 
[ ]anproj_2__t18_anproj_22021-07-18 03:25 14K 
[ ]anproj_2__t18_anproj_2.vout2021-07-25 16:07 4.7K 
[ ]anproj_2__t19_anproj_22021-07-18 03:25 22K 
[ ]anproj_2__t19_anproj_2.vout2021-07-25 20:25 4.7K 
[ ]anproj_2__t20_anproj_22021-07-18 03:26 14K 
[ ]anproj_2__t20_anproj_2.vout2021-07-25 18:48 4.7K 
[ ]anproj_2__t21_anproj_22021-07-18 03:26 17K 
[ ]anproj_2__t21_anproj_2.vout2021-07-25 16:58 4.8K 
[ ]anproj_2__t22_anproj_22021-07-18 03:27 26K 
[ ]anproj_2__t22_anproj_2.vout2021-07-25 14:46 4.7K 
[ ]anproj_2__t23_anproj_22021-07-18 03:15 23K 
[ ]anproj_2__t23_anproj_2.vout2021-07-25 15:14 4.7K 
[ ]anproj_2__t24_anproj_22021-07-18 03:27 23K 
[ ]anproj_2__t24_anproj_2.vout2021-07-25 19:10 5.8K 
[ ]anproj_2__t25_anproj_22021-07-18 03:28 27K 
[ ]anproj_2__t25_anproj_2.vout2021-07-25 19:25 4.7K 
[ ]anproj_2__t26_anproj_22021-07-18 03:28 27K 
[ ]anproj_2__t26_anproj_2.vout2021-07-25 15:41 4.8K 
[ ]anproj_2__t27_anproj_22021-07-18 03:29 28K 
[ ]anproj_2__t27_anproj_2.vout2021-07-25 20:44 4.7K 
[ ]anproj_2__t28_anproj_22021-07-18 03:29 14K 
[ ]anproj_2__t28_anproj_2.vout2021-07-25 20:25 4.1K 
[ ]anproj_2__t29_anproj_22021-07-18 03:30 25K 
[ ]anproj_2__t29_anproj_2.vout2021-07-25 19:11 4.7K 
[ ]anproj_2__t30_anproj_22021-07-18 03:31 29K 
[ ]anproj_2__t30_anproj_2.vout2021-07-25 18:49 4.7K 
[ ]anproj_2__t31_anproj_22021-07-18 03:31 16K 
[ ]anproj_2__t31_anproj_2.vout2021-07-25 14:35 4.1K 
[ ]anproj_2__t32_anproj_22021-07-18 03:32 24K 
[ ]anproj_2__t32_anproj_2.vout2021-07-25 17:17 4.7K 
[ ]anproj_2__t33_anproj_22021-07-18 03:32 30K 
[ ]anproj_2__t33_anproj_2.vout2021-07-25 20:12 4.7K 
[ ]anproj_2__t34_anproj_22021-07-18 03:33 21K 
[ ]anproj_2__t34_anproj_2.vout2021-07-25 15:23 4.7K 
[ ]anproj_2__t35_anproj_22021-07-18 03:33 9.2K 
[ ]anproj_2__t35_anproj_2.vout2021-07-25 18:39 2.0K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80