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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]wallace1__l14_wallace12024-07-27 20:59 35K 
[ ]wallace1__l14_wallace1.depv12024-08-03 10:19 209  
[ ]wallace1__l14_wallace1.depvmin12024-08-03 10:24 171  
[ ]wallace1__l14_wallace1.vmin12024-08-03 10:20 1.9K 
[ ]wallace1__l14_wallace1.vmin1out2024-08-03 10:22 16K 
[ ]wallace1__l14_wallace1.vout2024-08-03 08:33 17K 
[ ]wallace1__l21_wallace12024-07-27 21:01 35K 
[ ]wallace1__l21_wallace1.depv12024-08-03 10:19 166  
[ ]wallace1__l21_wallace1.depvmin12024-08-03 10:24 166  
[ ]wallace1__l21_wallace1.vmin12024-08-03 10:20 2.6K 
[ ]wallace1__l21_wallace1.vmin1out2024-08-03 10:20 10K 
[ ]wallace1__l21_wallace1.vout2024-08-03 05:42 11K 
[ ]wallace1__l22_wallace12024-07-27 21:02 36K 
[ ]wallace1__l22_wallace1.depv12024-08-03 10:19 200  
[ ]wallace1__l22_wallace1.vmin12024-08-03 10:20 2.1K 
[ ]wallace1__l22_wallace1.vmin1out2024-08-03 10:23 2.0K 
[ ]wallace1__l22_wallace1.vout2024-08-03 10:12 20K 
[ ]wallace1__l27_wallace12024-07-27 21:03 12K 
[ ]wallace1__l27_wallace1.depv12024-08-03 10:19 74  
[ ]wallace1__l27_wallace1.depvmin12024-08-03 10:24 74  
[ ]wallace1__l27_wallace1.vmin12024-08-03 10:20 567  
[ ]wallace1__l27_wallace1.vmin1out2024-08-03 10:20 16K 
[ ]wallace1__l27_wallace1.vout2024-08-03 08:28 16K 
[ ]wallace1__l35_wallace12024-07-27 21:06 81K 
[ ]wallace1__l35_wallace1.vout2024-08-03 07:59 4.7K 
[ ]wallace1__l36_wallace12024-07-27 21:09 79K 
[ ]wallace1__l36_wallace1.vout2024-08-03 04:46 4.7K 
[ ]wallace1__l37_wallace12024-07-27 21:12 79K 
[ ]wallace1__l37_wallace1.vout2024-08-03 08:37 4.7K 
[ ]wallace1__l38_wallace12024-07-27 21:14 69K 
[ ]wallace1__l38_wallace1.vout2024-08-03 09:21 4.7K 
[ ]wallace1__l39_wallace12024-07-27 21:17 72K 
[ ]wallace1__l39_wallace1.vout2024-08-03 07:55 4.7K 
[ ]wallace1__l40_wallace12024-07-27 21:20 69K 
[ ]wallace1__l40_wallace1.vout2024-08-03 08:06 4.7K 
[ ]wallace1__l41_wallace12024-07-27 21:22 72K 
[ ]wallace1__l41_wallace1.vout2024-08-03 05:44 4.7K 
[ ]wallace1__l42_wallace12024-07-27 21:25 68K 
[ ]wallace1__l42_wallace1.vout2024-08-03 06:49 4.7K 
[ ]wallace1__l43_wallace12024-07-27 21:28 71K 
[ ]wallace1__l43_wallace1.vout2024-08-03 06:32 4.7K 
[ ]wallace1__l44_wallace12024-07-27 21:30 68K 
[ ]wallace1__l44_wallace1.vout2024-08-03 07:57 4.7K 
[ ]wallace1__l45_wallace12024-07-27 21:33 69K 
[ ]wallace1__l45_wallace1.vout2024-08-03 08:13 4.7K 
[ ]wallace1__l53_wallace12024-07-27 21:34 34K 
[ ]wallace1__l53_wallace1.depv12024-08-03 10:19 155  
[ ]wallace1__l53_wallace1.depvmin12024-08-03 10:24 99  
[ ]wallace1__l53_wallace1.vmin12024-08-03 10:20 1.7K 
[ ]wallace1__l53_wallace1.vmin1out2024-08-03 10:21 15K 
[ ]wallace1__l53_wallace1.vout2024-08-03 05:29 19K 
[ ]wallace1__l54_wallace12024-07-27 21:36 38K 
[ ]wallace1__l54_wallace1.depv12024-08-03 10:19 201  
[ ]wallace1__l54_wallace1.vmin12024-08-03 10:20 2.2K 
[ ]wallace1__l54_wallace1.vmin1out2024-08-03 10:23 2.0K 
[ ]wallace1__l54_wallace1.vout2024-08-03 09:44 21K 
[ ]wallace1__l58_wallace12024-07-27 21:37 12K 
[ ]wallace1__l58_wallace1.depv12024-08-03 10:19 111  
[ ]wallace1__l58_wallace1.depvmin12024-08-03 10:24 87  
[ ]wallace1__l58_wallace1.vmin12024-08-03 10:20 911  
[ ]wallace1__l58_wallace1.vmin1out2024-08-03 10:21 20K 
[ ]wallace1__l58_wallace1.vout2024-08-03 06:42 19K 
[ ]wallace1__l64_wallace12024-07-27 21:40 83K 
[ ]wallace1__l64_wallace1.vout2024-08-03 06:00 4.7K 
[ ]wallace1__l65_wallace12024-07-27 21:43 82K 
[ ]wallace1__l65_wallace1.vout2024-08-03 07:57 4.7K 
[ ]wallace1__l66_wallace12024-07-27 21:46 85K 
[ ]wallace1__l66_wallace1.vout2024-08-03 10:01 4.7K 
[ ]wallace1__l67_wallace12024-07-27 21:48 69K 
[ ]wallace1__l67_wallace1.vout2024-08-03 06:01 4.7K 
[ ]wallace1__l68_wallace12024-07-27 21:51 73K 
[ ]wallace1__l68_wallace1.vout2024-08-03 05:03 4.7K 
[ ]wallace1__l69_wallace12024-07-27 21:54 71K 
[ ]wallace1__l69_wallace1.vout2024-08-03 04:57 4.7K 
[ ]wallace1__l70_wallace12024-07-27 21:57 85K 
[ ]wallace1__l70_wallace1.vout2024-08-03 07:02 4.7K 
[ ]wallace1__l71_wallace12024-07-27 21:59 73K 
[ ]wallace1__l71_wallace1.vout2024-08-03 09:39 4.7K 
[ ]wallace1__l72_wallace12024-07-27 22:02 75K 
[ ]wallace1__l72_wallace1.vout2024-08-03 04:13 4.7K 
[ ]wallace1__l73_wallace12024-07-27 22:05 74K 
[ ]wallace1__l73_wallace1.vout2024-08-03 07:54 4.7K 
[ ]wallace1__l74_wallace12024-07-27 22:07 75K 
[ ]wallace1__l74_wallace1.vout2024-08-03 07:34 4.7K 
[ ]wallace1__l75_wallace12024-07-27 22:10 74K 
[ ]wallace1__l75_wallace1.vout2024-08-03 04:19 4.7K 
[ ]wallace1__l76_wallace12024-07-27 22:13 75K 
[ ]wallace1__l76_wallace1.vout2024-08-03 04:24 4.7K 
[ ]wallace1__t1_wallace12024-07-27 20:06 41K 
[ ]wallace1__t1_wallace1.vout2024-08-03 07:15 10K 
[ ]wallace1__t2_wallace12024-07-27 19:55 34K 
[ ]wallace1__t2_wallace1.depv12024-08-03 10:19 103  
[ ]wallace1__t2_wallace1.depvmin12024-08-03 10:24 103  
[ ]wallace1__t2_wallace1.vmin12024-08-03 10:20 1.7K 
[ ]wallace1__t2_wallace1.vmin1out2024-08-03 10:21 23K 
[ ]wallace1__t2_wallace1.vout2024-08-03 06:11 24K 
[ ]wallace1__t3_wallace12024-07-27 20:08 37K 
[ ]wallace1__t3_wallace1.depv12024-08-03 10:19 105  
[ ]wallace1__t3_wallace1.depvmin12024-08-03 10:24 105  
[ ]wallace1__t3_wallace1.vmin12024-08-03 10:20 2.0K 
[ ]wallace1__t3_wallace1.vmin1out2024-08-03 10:21 20K 
[ ]wallace1__t3_wallace1.vout2024-08-03 08:01 24K 
[ ]wallace1__t4_wallace12024-07-27 20:09 35K 
[ ]wallace1__t4_wallace1.depv12024-08-03 10:19 128  
[ ]wallace1__t4_wallace1.depvmin12024-08-03 10:24 128  
[ ]wallace1__t4_wallace1.vmin12024-08-03 10:20 2.4K 
[ ]wallace1__t4_wallace1.vmin1out2024-08-03 10:20 45K 
[ ]wallace1__t4_wallace1.vout2024-08-03 08:36 54K 
[ ]wallace1__t5_wallace12024-07-27 20:11 39K 
[ ]wallace1__t5_wallace1.vout2024-08-03 08:01 8.4K 
[ ]wallace1__t6_wallace12024-07-27 20:13 40K 
[ ]wallace1__t6_wallace1.vout2024-08-03 07:16 6.3K 
[ ]wallace1__t7_wallace12024-07-27 20:15 35K 
[ ]wallace1__t7_wallace1.depv12024-08-03 10:19 121  
[ ]wallace1__t7_wallace1.depvmin12024-08-03 10:24 121  
[ ]wallace1__t7_wallace1.vmin12024-08-03 10:20 2.3K 
[ ]wallace1__t7_wallace1.vmin1out2024-08-03 10:20 60K 
[ ]wallace1__t7_wallace1.vout2024-08-03 09:52 50K 
[ ]wallace1__t8_wallace12024-07-27 20:18 78K 
[ ]wallace1__t8_wallace1.vout2024-08-03 08:58 4.7K 
[ ]wallace1__t9_wallace12024-07-27 20:20 65K 
[ ]wallace1__t9_wallace1.vout2024-08-03 05:44 5.8K 
[ ]wallace1__t10_wallace12024-07-27 20:22 43K 
[ ]wallace1__t10_wallace1.vout2024-08-03 06:06 10K 
[ ]wallace1__t11_wallace12024-07-27 19:57 36K 
[ ]wallace1__t11_wallace1.depv12024-08-03 10:19 129  
[ ]wallace1__t11_wallace1.depvmin12024-08-03 10:24 129  
[ ]wallace1__t11_wallace1.vmin12024-08-03 10:20 2.1K 
[ ]wallace1__t11_wallace1.vmin1out2024-08-03 10:20 37K 
[ ]wallace1__t11_wallace1.vout2024-08-03 09:54 39K 
[ ]wallace1__t12_wallace12024-07-27 20:25 49K 
[ ]wallace1__t12_wallace1.vout2024-08-03 04:24 4.7K 
[ ]wallace1__t13_wallace12024-07-27 20:27 41K 
[ ]wallace1__t13_wallace1.vout2024-08-03 04:13 8.4K 
[ ]wallace1__t14_wallace12024-07-27 20:28 38K 
[ ]wallace1__t14_wallace1.depv12024-08-03 10:19 126  
[ ]wallace1__t14_wallace1.depvmin12024-08-03 10:24 76  
[ ]wallace1__t14_wallace1.vmin12024-08-03 10:20 2.4K 
[ ]wallace1__t14_wallace1.vmin1out2024-08-03 10:22 13K 
[ ]wallace1__t14_wallace1.vout2024-08-03 04:47 29K 
[ ]wallace1__t15_wallace12024-07-27 20:31 42K 
[ ]wallace1__t15_wallace1.vout2024-08-03 09:23 8.4K 
[ ]wallace1__t16_wallace12024-07-27 20:33 42K 
[ ]wallace1__t16_wallace1.vout2024-08-03 08:51 6.3K 
[ ]wallace1__t17_wallace12024-07-27 20:35 39K 
[ ]wallace1__t17_wallace1.depv12024-08-03 10:19 148  
[ ]wallace1__t17_wallace1.depvmin12024-08-03 10:24 148  
[ ]wallace1__t17_wallace1.vmin12024-08-03 10:20 3.3K 
[ ]wallace1__t17_wallace1.vmin1out2024-08-03 10:23 106K 
[ ]wallace1__t17_wallace1.vout2024-08-03 07:58 95K 
[ ]wallace1__t18_wallace12024-07-27 20:36 39K 
[ ]wallace1__t18_wallace1.depv12024-08-03 10:19 148  
[ ]wallace1__t18_wallace1.depvmin12024-08-03 10:24 148  
[ ]wallace1__t18_wallace1.vmin12024-08-03 10:20 2.8K 
[ ]wallace1__t18_wallace1.vmin1out2024-08-03 10:20 92K 
[ ]wallace1__t18_wallace1.vout2024-08-03 06:38 77K 
[ ]wallace1__t19_wallace12024-07-27 20:00 73K 
[ ]wallace1__t19_wallace1.depv12024-08-03 10:19 142  
[ ]wallace1__t19_wallace1.depvmin12024-08-03 10:24 142  
[ ]wallace1__t19_wallace1.vmin12024-08-03 10:20 10K 
[ ]wallace1__t19_wallace1.vmin1out2024-08-03 10:23 421K 
[ ]wallace1__t19_wallace1.vout2024-08-03 06:44 336K 
[ ]wallace1__t20_wallace12024-07-27 20:39 72K 
[ ]wallace1__t20_wallace1.vout2024-08-03 04:41 4.7K 
[ ]wallace1__t21_wallace12024-07-27 20:41 44K 
[ ]wallace1__t21_wallace1.vout2024-08-03 10:18 10K 
[ ]wallace1__t22_wallace12024-07-27 20:44 43K 
[ ]wallace1__t22_wallace1.depv12024-08-03 10:19 77  
[ ]wallace1__t22_wallace1.depvmin12024-08-03 10:24 77  
[ ]wallace1__t22_wallace1.vmin12024-08-03 10:20 4.4K 
[ ]wallace1__t22_wallace1.vmin1out2024-08-03 10:21 28K 
[ ]wallace1__t22_wallace1.vout2024-08-03 08:18 29K 
[ ]wallace1__t23_wallace12024-07-27 20:01 39K 
[ ]wallace1__t23_wallace1.depv12024-08-03 10:19 193  
[ ]wallace1__t23_wallace1.depvmin12024-08-03 10:24 193  
[ ]wallace1__t23_wallace1.vmin12024-08-03 10:20 3.1K 
[ ]wallace1__t23_wallace1.vmin1out2024-08-03 10:22 98K 
[ ]wallace1__t23_wallace1.vout2024-08-03 06:46 108K 
[ ]wallace1__t24_wallace12024-07-27 20:46 49K 
[ ]wallace1__t24_wallace1.vout2024-08-03 08:38 7.4K 
[ ]wallace1__t25_wallace12024-07-27 20:48 40K 
[ ]wallace1__t25_wallace1.depv12024-08-03 10:19 189  
[ ]wallace1__t25_wallace1.depvmin12024-08-03 10:24 114  
[ ]wallace1__t25_wallace1.vmin12024-08-03 10:20 3.4K 
[ ]wallace1__t25_wallace1.vmin1out2024-08-03 10:22 15K 
[ ]wallace1__t25_wallace1.vout2024-08-03 09:30 52K 
[ ]wallace1__t26_wallace12024-07-27 20:50 46K 
[ ]wallace1__t26_wallace1.vout2024-08-03 05:50 8.4K 
[ ]wallace1__t27_wallace12024-07-27 20:53 46K 
[ ]wallace1__t27_wallace1.vout2024-08-03 08:02 6.3K 
[ ]wallace1__t28_wallace12024-07-27 20:54 41K 
[ ]wallace1__t28_wallace1.depv12024-08-03 10:19 211  
[ ]wallace1__t28_wallace1.depvmin12024-08-03 10:24 211  
[ ]wallace1__t28_wallace1.vmin12024-08-03 10:20 3.9K 
[ ]wallace1__t28_wallace1.vmin1out2024-08-03 10:22 178K 
[ ]wallace1__t28_wallace1.vout2024-08-03 09:35 164K 
[ ]wallace1__t29_wallace12024-07-27 20:04 76K 
[ ]wallace1__t29_wallace1.depv12024-08-03 10:19 130  
[ ]wallace1__t29_wallace1.depvmin12024-08-03 10:24 130  
[ ]wallace1__t29_wallace1.vmin12024-08-03 10:20 11K 
[ ]wallace1__t29_wallace1.vmin1out2024-08-03 10:22 667K 
[ ]wallace1__t29_wallace1.vout2024-08-03 05:27 592K 
[ ]wallace1__t30_wallace12024-07-27 20:57 74K 
[ ]wallace1__t30_wallace1.vout2024-08-03 10:03 4.7K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80