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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]wallace1__l14_wallace12021-07-18 09:19 35K 
[ ]wallace1__l14_wallace1.depv12021-07-25 20:57 197  
[ ]wallace1__l14_wallace1.depvmin12021-07-25 21:03 171  
[ ]wallace1__l14_wallace1.vmin12021-07-25 20:57 1.8K 
[ ]wallace1__l14_wallace1.vmin1out2021-07-25 20:59 16K 
[ ]wallace1__l14_wallace1.vout2021-07-25 19:50 16K 
[ ]wallace1__l21_wallace12021-07-18 09:20 35K 
[ ]wallace1__l21_wallace1.depv12021-07-25 20:57 166  
[ ]wallace1__l21_wallace1.depvmin12021-07-25 21:03 166  
[ ]wallace1__l21_wallace1.vmin12021-07-25 20:57 2.6K 
[ ]wallace1__l21_wallace1.vmin1out2021-07-25 21:02 10K 
[ ]wallace1__l21_wallace1.vout2021-07-25 17:55 10K 
[ ]wallace1__l22_wallace12021-07-18 09:20 35K 
[ ]wallace1__l22_wallace1.depv12021-07-25 20:57 196  
[ ]wallace1__l22_wallace1.vmin12021-07-25 20:57 2.1K 
[ ]wallace1__l22_wallace1.vmin1out2021-07-25 20:59 2.0K 
[ ]wallace1__l22_wallace1.vout2021-07-25 17:35 20K 
[ ]wallace1__l27_wallace12021-07-18 09:20 11K 
[ ]wallace1__l27_wallace1.depv12021-07-25 20:57 74  
[ ]wallace1__l27_wallace1.depvmin12021-07-25 21:03 74  
[ ]wallace1__l27_wallace1.vmin12021-07-25 20:57 567  
[ ]wallace1__l27_wallace1.vmin1out2021-07-25 21:00 16K 
[ ]wallace1__l27_wallace1.vout2021-07-25 20:32 16K 
[ ]wallace1__l35_wallace12021-07-18 09:21 80K 
[ ]wallace1__l35_wallace1.vout2021-07-25 14:51 4.7K 
[ ]wallace1__l36_wallace12021-07-18 09:22 78K 
[ ]wallace1__l36_wallace1.vout2021-07-25 19:32 4.7K 
[ ]wallace1__l37_wallace12021-07-18 09:22 78K 
[ ]wallace1__l37_wallace1.vout2021-07-25 15:33 4.7K 
[ ]wallace1__l38_wallace12021-07-18 09:23 68K 
[ ]wallace1__l38_wallace1.vout2021-07-25 17:17 4.7K 
[ ]wallace1__l39_wallace12021-07-18 09:24 71K 
[ ]wallace1__l39_wallace1.vout2021-07-25 20:07 4.7K 
[ ]wallace1__l40_wallace12021-07-18 09:24 68K 
[ ]wallace1__l40_wallace1.vout2021-07-25 20:04 4.7K 
[ ]wallace1__l41_wallace12021-07-18 09:25 71K 
[ ]wallace1__l41_wallace1.vout2021-07-25 16:21 4.7K 
[ ]wallace1__l42_wallace12021-07-18 09:26 67K 
[ ]wallace1__l42_wallace1.vout2021-07-25 20:34 4.7K 
[ ]wallace1__l43_wallace12021-07-18 09:26 71K 
[ ]wallace1__l43_wallace1.vout2021-07-25 14:49 4.7K 
[ ]wallace1__l44_wallace12021-07-18 09:27 67K 
[ ]wallace1__l44_wallace1.vout2021-07-25 20:19 4.7K 
[ ]wallace1__l45_wallace12021-07-18 09:28 68K 
[ ]wallace1__l45_wallace1.vout2021-07-25 14:43 4.7K 
[ ]wallace1__l53_wallace12021-07-18 09:28 34K 
[ ]wallace1__l53_wallace1.depv12021-07-25 20:57 155  
[ ]wallace1__l53_wallace1.depvmin12021-07-25 21:03 99  
[ ]wallace1__l53_wallace1.vmin12021-07-25 20:57 1.7K 
[ ]wallace1__l53_wallace1.vmin1out2021-07-25 20:59 15K 
[ ]wallace1__l53_wallace1.vout2021-07-25 16:31 19K 
[ ]wallace1__l54_wallace12021-07-18 09:29 38K 
[ ]wallace1__l54_wallace1.depv12021-07-25 20:57 189  
[ ]wallace1__l54_wallace1.vmin12021-07-25 20:57 2.2K 
[ ]wallace1__l54_wallace1.vmin1out2021-07-25 20:59 2.0K 
[ ]wallace1__l54_wallace1.vout2021-07-25 18:26 21K 
[ ]wallace1__l58_wallace12021-07-18 09:29 11K 
[ ]wallace1__l58_wallace1.depv12021-07-25 20:57 111  
[ ]wallace1__l58_wallace1.depvmin12021-07-25 21:03 87  
[ ]wallace1__l58_wallace1.vmin12021-07-25 20:57 911  
[ ]wallace1__l58_wallace1.vmin1out2021-07-25 20:57 20K 
[ ]wallace1__l58_wallace1.vout2021-07-25 15:50 19K 
[ ]wallace1__l64_wallace12021-07-18 09:30 82K 
[ ]wallace1__l64_wallace1.vout2021-07-25 18:08 4.7K 
[ ]wallace1__l65_wallace12021-07-18 09:30 81K 
[ ]wallace1__l65_wallace1.vout2021-07-25 16:30 4.7K 
[ ]wallace1__l66_wallace12021-07-18 09:31 84K 
[ ]wallace1__l66_wallace1.vout2021-07-25 16:43 4.8K 
[ ]wallace1__l67_wallace12021-07-18 09:32 68K 
[ ]wallace1__l67_wallace1.vout2021-07-25 17:29 4.7K 
[ ]wallace1__l68_wallace12021-07-18 09:32 72K 
[ ]wallace1__l68_wallace1.vout2021-07-25 18:45 4.7K 
[ ]wallace1__l69_wallace12021-07-18 09:33 70K 
[ ]wallace1__l69_wallace1.vout2021-07-25 20:25 4.7K 
[ ]wallace1__l70_wallace12021-07-18 09:34 84K 
[ ]wallace1__l70_wallace1.vout2021-07-25 20:08 4.7K 
[ ]wallace1__l71_wallace12021-07-18 09:34 72K 
[ ]wallace1__l71_wallace1.vout2021-07-25 17:50 4.7K 
[ ]wallace1__l72_wallace12021-07-18 09:35 74K 
[ ]wallace1__l72_wallace1.vout2021-07-25 14:25 4.7K 
[ ]wallace1__l73_wallace12021-07-18 09:36 73K 
[ ]wallace1__l73_wallace1.vout2021-07-25 19:46 4.7K 
[ ]wallace1__l74_wallace12021-07-18 09:37 75K 
[ ]wallace1__l74_wallace1.vout2021-07-25 16:36 4.7K 
[ ]wallace1__l75_wallace12021-07-18 09:37 73K 
[ ]wallace1__l75_wallace1.vout2021-07-25 20:34 4.7K 
[ ]wallace1__l76_wallace12021-07-18 09:38 75K 
[ ]wallace1__l76_wallace1.vout2021-07-25 15:17 4.7K 
[ ]wallace1__t1_wallace12021-07-18 09:06 40K 
[ ]wallace1__t1_wallace1.vout2021-07-25 18:05 10K 
[ ]wallace1__t2_wallace12021-07-18 09:03 34K 
[ ]wallace1__t2_wallace1.depv12021-07-25 20:57 103  
[ ]wallace1__t2_wallace1.depvmin12021-07-25 21:03 103  
[ ]wallace1__t2_wallace1.vmin12021-07-25 20:57 1.7K 
[ ]wallace1__t2_wallace1.vmin1out2021-07-25 20:58 23K 
[ ]wallace1__t2_wallace1.vout2021-07-25 16:24 24K 
[ ]wallace1__t3_wallace12021-07-18 09:06 37K 
[ ]wallace1__t3_wallace1.depv12021-07-25 20:57 105  
[ ]wallace1__t3_wallace1.depvmin12021-07-25 21:03 105  
[ ]wallace1__t3_wallace1.vmin12021-07-25 20:57 2.0K 
[ ]wallace1__t3_wallace1.vmin1out2021-07-25 21:02 20K 
[ ]wallace1__t3_wallace1.vout2021-07-25 19:08 24K 
[ ]wallace1__t4_wallace12021-07-18 09:07 35K 
[ ]wallace1__t4_wallace1.depv12021-07-25 20:57 128  
[ ]wallace1__t4_wallace1.depvmin12021-07-25 21:03 128  
[ ]wallace1__t4_wallace1.vmin12021-07-25 20:57 2.4K 
[ ]wallace1__t4_wallace1.vmin1out2021-07-25 21:02 45K 
[ ]wallace1__t4_wallace1.vout2021-07-25 20:39 54K 
[ ]wallace1__t5_wallace12021-07-18 09:07 39K 
[ ]wallace1__t5_wallace1.vout2021-07-25 19:11 8.4K 
[ ]wallace1__t6_wallace12021-07-18 09:08 40K 
[ ]wallace1__t6_wallace1.vout2021-07-25 18:56 6.2K 
[ ]wallace1__t7_wallace12021-07-18 09:08 35K 
[ ]wallace1__t7_wallace1.depv12021-07-25 20:57 121  
[ ]wallace1__t7_wallace1.depvmin12021-07-25 21:03 121  
[ ]wallace1__t7_wallace1.vmin12021-07-25 20:57 2.3K 
[ ]wallace1__t7_wallace1.vmin1out2021-07-25 20:59 60K 
[ ]wallace1__t7_wallace1.vout2021-07-25 16:05 50K 
[ ]wallace1__t8_wallace12021-07-18 09:09 77K 
[ ]wallace1__t8_wallace1.vout2021-07-25 18:15 4.7K 
[ ]wallace1__t9_wallace12021-07-18 09:09 64K 
[ ]wallace1__t9_wallace1.vout2021-07-25 15:37 5.8K 
[ ]wallace1__t10_wallace12021-07-18 09:10 42K 
[ ]wallace1__t10_wallace1.vout2021-07-25 17:27 10K 
[ ]wallace1__t11_wallace12021-07-18 09:04 36K 
[ ]wallace1__t11_wallace1.depv12021-07-25 20:57 129  
[ ]wallace1__t11_wallace1.depvmin12021-07-25 21:03 129  
[ ]wallace1__t11_wallace1.vmin12021-07-25 20:57 2.1K 
[ ]wallace1__t11_wallace1.vmin1out2021-07-25 20:58 37K 
[ ]wallace1__t11_wallace1.vout2021-07-25 18:43 39K 
[ ]wallace1__t12_wallace12021-07-18 09:11 48K 
[ ]wallace1__t12_wallace1.vout2021-07-25 14:23 4.7K 
[ ]wallace1__t13_wallace12021-07-18 09:11 40K 
[ ]wallace1__t13_wallace1.vout2021-07-25 15:14 8.4K 
[ ]wallace1__t14_wallace12021-07-18 09:12 38K 
[ ]wallace1__t14_wallace1.depv12021-07-25 20:57 126  
[ ]wallace1__t14_wallace1.depvmin12021-07-25 21:03 76  
[ ]wallace1__t14_wallace1.vmin12021-07-25 20:57 2.4K 
[ ]wallace1__t14_wallace1.vmin1out2021-07-25 21:01 13K 
[ ]wallace1__t14_wallace1.vout2021-07-25 19:54 29K 
[ ]wallace1__t15_wallace12021-07-18 09:12 42K 
[ ]wallace1__t15_wallace1.vout2021-07-25 18:11 7.9K 
[ ]wallace1__t16_wallace12021-07-18 09:13 42K 
[ ]wallace1__t16_wallace1.vout2021-07-25 16:03 6.3K 
[ ]wallace1__t17_wallace12021-07-18 09:13 39K 
[ ]wallace1__t17_wallace1.depv12021-07-25 20:57 148  
[ ]wallace1__t17_wallace1.depvmin12021-07-25 21:03 148  
[ ]wallace1__t17_wallace1.vmin12021-07-25 20:57 3.3K 
[ ]wallace1__t17_wallace1.vmin1out2021-07-25 20:58 106K 
[ ]wallace1__t17_wallace1.vout2021-07-25 14:24 95K 
[ ]wallace1__t18_wallace12021-07-18 09:14 38K 
[ ]wallace1__t18_wallace1.depv12021-07-25 20:57 148  
[ ]wallace1__t18_wallace1.depvmin12021-07-25 21:03 148  
[ ]wallace1__t18_wallace1.vmin12021-07-25 20:57 2.8K 
[ ]wallace1__t18_wallace1.vmin1out2021-07-25 21:02 92K 
[ ]wallace1__t18_wallace1.vout2021-07-25 20:52 77K 
[ ]wallace1__t19_wallace12021-07-18 09:04 72K 
[ ]wallace1__t19_wallace1.depv12021-07-25 20:57 142  
[ ]wallace1__t19_wallace1.depvmin12021-07-25 21:03 142  
[ ]wallace1__t19_wallace1.vmin12021-07-25 20:57 10K 
[ ]wallace1__t19_wallace1.vmin1out2021-07-25 20:57 421K 
[ ]wallace1__t19_wallace1.vout2021-07-25 14:30 336K 
[ ]wallace1__t20_wallace12021-07-18 09:14 71K 
[ ]wallace1__t20_wallace1.vout2021-07-25 16:31 4.7K 
[ ]wallace1__t21_wallace12021-07-18 09:15 43K 
[ ]wallace1__t21_wallace1.vout2021-07-25 19:23 10K 
[ ]wallace1__t22_wallace12021-07-18 09:15 43K 
[ ]wallace1__t22_wallace1.depv12021-07-25 20:57 77  
[ ]wallace1__t22_wallace1.depvmin12021-07-25 21:03 77  
[ ]wallace1__t22_wallace1.vmin12021-07-25 20:57 4.4K 
[ ]wallace1__t22_wallace1.vmin1out2021-07-25 21:01 28K 
[ ]wallace1__t22_wallace1.vout2021-07-25 15:21 29K 
[ ]wallace1__t23_wallace12021-07-18 09:05 38K 
[ ]wallace1__t23_wallace1.depv12021-07-25 20:57 193  
[ ]wallace1__t23_wallace1.depvmin12021-07-25 21:03 193  
[ ]wallace1__t23_wallace1.vmin12021-07-25 20:57 3.1K 
[ ]wallace1__t23_wallace1.vmin1out2021-07-25 21:00 98K 
[ ]wallace1__t23_wallace1.vout2021-07-25 19:39 108K 
[ ]wallace1__t24_wallace12021-07-18 09:16 48K 
[ ]wallace1__t24_wallace1.vout2021-07-25 18:14 7.3K 
[ ]wallace1__t25_wallace12021-07-18 09:16 40K 
[ ]wallace1__t25_wallace1.depv12021-07-25 20:57 189  
[ ]wallace1__t25_wallace1.depvmin12021-07-25 21:03 114  
[ ]wallace1__t25_wallace1.vmin12021-07-25 20:57 3.4K 
[ ]wallace1__t25_wallace1.vmin1out2021-07-25 20:57 15K 
[ ]wallace1__t25_wallace1.vout2021-07-25 18:10 52K 
[ ]wallace1__t26_wallace12021-07-18 09:17 46K 
[ ]wallace1__t26_wallace1.vout2021-07-25 15:52 8.4K 
[ ]wallace1__t27_wallace12021-07-18 09:17 45K 
[ ]wallace1__t27_wallace1.vout2021-07-25 17:01 6.3K 
[ ]wallace1__t28_wallace12021-07-18 09:18 41K 
[ ]wallace1__t28_wallace1.depv12021-07-25 20:57 211  
[ ]wallace1__t28_wallace1.depvmin12021-07-25 21:03 61  
[ ]wallace1__t28_wallace1.vmin12021-07-25 20:57 3.9K 
[ ]wallace1__t28_wallace1.vmin1out2021-07-25 20:58 31K 
[ ]wallace1__t28_wallace1.vout2021-07-25 19:31 164K 
[ ]wallace1__t29_wallace12021-07-18 09:05 75K 
[ ]wallace1__t29_wallace1.depv12021-07-25 20:57 130  
[ ]wallace1__t29_wallace1.depvmin12021-07-25 21:03 130  
[ ]wallace1__t29_wallace1.vmin12021-07-25 20:57 11K 
[ ]wallace1__t29_wallace1.vmin1out2021-07-25 20:58 667K 
[ ]wallace1__t29_wallace1.vout2021-07-25 14:41 592K 
[ ]wallace1__t30_wallace12021-07-18 09:19 74K 
[ ]wallace1__t30_wallace1.vout2021-07-25 15:30 4.7K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80