Index of /~mptp/8.1.15_5.94.1493/MPTP2/problems_small/wallace1

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]wallace1__l14_wallace12025-09-09 14:20 35K 
[ ]wallace1__l14_wallace1.depv12025-09-15 19:47 209  
[ ]wallace1__l14_wallace1.depvmin12025-09-15 19:52 171  
[ ]wallace1__l14_wallace1.vmin12025-09-15 19:47 1.9K 
[ ]wallace1__l14_wallace1.vmin1out2025-09-15 19:48 16K 
[ ]wallace1__l14_wallace1.vout2025-09-15 18:26 17K 
[ ]wallace1__l21_wallace12025-09-09 14:22 35K 
[ ]wallace1__l21_wallace1.depv12025-09-15 19:47 166  
[ ]wallace1__l21_wallace1.depvmin12025-09-15 19:52 166  
[ ]wallace1__l21_wallace1.vmin12025-09-15 19:47 2.6K 
[ ]wallace1__l21_wallace1.vmin1out2025-09-15 19:48 10K 
[ ]wallace1__l21_wallace1.vout2025-09-15 16:33 10K 
[ ]wallace1__l22_wallace12025-09-09 14:24 36K 
[ ]wallace1__l22_wallace1.depv12025-09-15 19:47 200  
[ ]wallace1__l22_wallace1.vmin12025-09-15 19:47 2.1K 
[ ]wallace1__l22_wallace1.vmin1out2025-09-15 19:50 2.0K 
[ ]wallace1__l22_wallace1.vout2025-09-15 17:04 20K 
[ ]wallace1__l27_wallace12025-09-09 14:25 12K 
[ ]wallace1__l27_wallace1.depv12025-09-15 19:47 74  
[ ]wallace1__l27_wallace1.depvmin12025-09-15 19:52 74  
[ ]wallace1__l27_wallace1.vmin12025-09-15 19:47 567  
[ ]wallace1__l27_wallace1.vmin1out2025-09-15 19:48 16K 
[ ]wallace1__l27_wallace1.vout2025-09-15 16:20 16K 
[ ]wallace1__l35_wallace12025-09-09 14:28 82K 
[ ]wallace1__l35_wallace1.vout2025-09-15 17:56 4.7K 
[ ]wallace1__l36_wallace12025-09-09 14:32 80K 
[ ]wallace1__l36_wallace1.vout2025-09-15 13:35 4.7K 
[ ]wallace1__l37_wallace12025-09-09 14:35 80K 
[ ]wallace1__l37_wallace1.vout2025-09-15 16:57 4.7K 
[ ]wallace1__l38_wallace12025-09-09 14:38 69K 
[ ]wallace1__l38_wallace1.vout2025-09-15 13:52 4.7K 
[ ]wallace1__l39_wallace12025-09-09 14:41 72K 
[ ]wallace1__l39_wallace1.vout2025-09-15 15:12 4.7K 
[ ]wallace1__l40_wallace12025-09-09 14:44 69K 
[ ]wallace1__l40_wallace1.vout2025-09-15 18:39 4.7K 
[ ]wallace1__l41_wallace12025-09-09 14:47 72K 
[ ]wallace1__l41_wallace1.vout2025-09-15 16:41 4.7K 
[ ]wallace1__l42_wallace12025-09-09 14:50 68K 
[ ]wallace1__l42_wallace1.vout2025-09-15 13:44 4.7K 
[ ]wallace1__l43_wallace12025-09-09 14:52 72K 
[ ]wallace1__l43_wallace1.vout2025-09-15 13:38 4.7K 
[ ]wallace1__l44_wallace12025-09-09 14:54 68K 
[ ]wallace1__l44_wallace1.vout2025-09-15 17:38 4.7K 
[ ]wallace1__l45_wallace12025-09-09 14:57 69K 
[ ]wallace1__l45_wallace1.vout2025-09-15 14:32 4.7K 
[ ]wallace1__l53_wallace12025-09-09 14:59 35K 
[ ]wallace1__l53_wallace1.depv12025-09-15 19:47 155  
[ ]wallace1__l53_wallace1.depvmin12025-09-15 19:52 99  
[ ]wallace1__l53_wallace1.vmin12025-09-15 19:47 1.7K 
[ ]wallace1__l53_wallace1.vmin1out2025-09-15 19:50 15K 
[ ]wallace1__l53_wallace1.vout2025-09-15 18:29 19K 
[ ]wallace1__l54_wallace12025-09-09 15:01 38K 
[ ]wallace1__l54_wallace1.depv12025-09-15 19:47 201  
[ ]wallace1__l54_wallace1.vmin12025-09-15 19:47 2.2K 
[ ]wallace1__l54_wallace1.vmin1out2025-09-15 19:50 2.0K 
[ ]wallace1__l54_wallace1.vout2025-09-15 18:56 21K 
[ ]wallace1__l58_wallace12025-09-09 15:01 12K 
[ ]wallace1__l58_wallace1.depv12025-09-15 19:47 111  
[ ]wallace1__l58_wallace1.depvmin12025-09-15 19:52 87  
[ ]wallace1__l58_wallace1.vmin12025-09-15 19:47 911  
[ ]wallace1__l58_wallace1.vmin1out2025-09-15 19:51 20K 
[ ]wallace1__l58_wallace1.vout2025-09-15 17:38 19K 
[ ]wallace1__l64_wallace12025-09-09 15:04 83K 
[ ]wallace1__l64_wallace1.vout2025-09-15 16:34 4.7K 
[ ]wallace1__l65_wallace12025-09-09 15:07 82K 
[ ]wallace1__l65_wallace1.vout2025-09-15 13:52 4.7K 
[ ]wallace1__l66_wallace12025-09-09 15:10 86K 
[ ]wallace1__l66_wallace1.vout2025-09-15 14:32 4.7K 
[ ]wallace1__l67_wallace12025-09-09 15:13 69K 
[ ]wallace1__l67_wallace1.vout2025-09-15 17:38 4.7K 
[ ]wallace1__l68_wallace12025-09-09 15:15 73K 
[ ]wallace1__l68_wallace1.vout2025-09-15 19:07 4.7K 
[ ]wallace1__l69_wallace12025-09-09 15:18 71K 
[ ]wallace1__l69_wallace1.vout2025-09-15 16:50 4.7K 
[ ]wallace1__l70_wallace12025-09-09 15:21 85K 
[ ]wallace1__l70_wallace1.vout2025-09-15 19:13 4.7K 
[ ]wallace1__l71_wallace12025-09-09 15:24 73K 
[ ]wallace1__l71_wallace1.vout2025-09-15 16:49 4.7K 
[ ]wallace1__l72_wallace12025-09-09 15:27 75K 
[ ]wallace1__l72_wallace1.vout2025-09-15 18:05 4.7K 
[ ]wallace1__l73_wallace12025-09-09 15:29 74K 
[ ]wallace1__l73_wallace1.vout2025-09-15 15:17 4.7K 
[ ]wallace1__l74_wallace12025-09-09 15:32 76K 
[ ]wallace1__l74_wallace1.vout2025-09-15 13:32 4.7K 
[ ]wallace1__l75_wallace12025-09-09 15:34 74K 
[ ]wallace1__l75_wallace1.vout2025-09-15 16:02 4.7K 
[ ]wallace1__l76_wallace12025-09-09 15:37 76K 
[ ]wallace1__l76_wallace1.vout2025-09-15 16:31 4.7K 
[ ]wallace1__t1_wallace12025-09-09 13:21 41K 
[ ]wallace1__t1_wallace1.vout2025-09-15 13:27 10K 
[ ]wallace1__t2_wallace12025-09-09 13:10 34K 
[ ]wallace1__t2_wallace1.depv12025-09-15 19:47 103  
[ ]wallace1__t2_wallace1.depvmin12025-09-15 19:52 103  
[ ]wallace1__t2_wallace1.vmin12025-09-15 19:47 1.7K 
[ ]wallace1__t2_wallace1.vmin1out2025-09-15 19:50 23K 
[ ]wallace1__t2_wallace1.vout2025-09-15 17:38 24K 
[ ]wallace1__t3_wallace12025-09-09 13:23 37K 
[ ]wallace1__t3_wallace1.depv12025-09-15 19:47 105  
[ ]wallace1__t3_wallace1.depvmin12025-09-15 19:52 105  
[ ]wallace1__t3_wallace1.vmin12025-09-15 19:47 2.0K 
[ ]wallace1__t3_wallace1.vmin1out2025-09-15 19:50 20K 
[ ]wallace1__t3_wallace1.vout2025-09-15 19:16 24K 
[ ]wallace1__t4_wallace12025-09-09 13:25 35K 
[ ]wallace1__t4_wallace1.depv12025-09-15 19:47 128  
[ ]wallace1__t4_wallace1.depvmin12025-09-15 19:52 128  
[ ]wallace1__t4_wallace1.vmin12025-09-15 19:47 2.4K 
[ ]wallace1__t4_wallace1.vmin1out2025-09-15 19:48 45K 
[ ]wallace1__t4_wallace1.vout2025-09-15 13:40 54K 
[ ]wallace1__t5_wallace12025-09-09 13:28 39K 
[ ]wallace1__t5_wallace1.vout2025-09-15 17:20 8.4K 
[ ]wallace1__t6_wallace12025-09-09 13:30 40K 
[ ]wallace1__t6_wallace1.vout2025-09-15 14:11 6.3K 
[ ]wallace1__t7_wallace12025-09-09 13:32 35K 
[ ]wallace1__t7_wallace1.depv12025-09-15 19:47 121  
[ ]wallace1__t7_wallace1.depvmin12025-09-15 19:52 121  
[ ]wallace1__t7_wallace1.vmin12025-09-15 19:47 2.3K 
[ ]wallace1__t7_wallace1.vmin1out2025-09-15 19:49 60K 
[ ]wallace1__t7_wallace1.vout2025-09-15 18:05 50K 
[ ]wallace1__t8_wallace12025-09-09 13:35 79K 
[ ]wallace1__t8_wallace1.vout2025-09-15 17:41 4.7K 
[ ]wallace1__t9_wallace12025-09-09 13:38 65K 
[ ]wallace1__t9_wallace1.vout2025-09-15 18:46 5.8K 
[ ]wallace1__t10_wallace12025-09-09 13:40 43K 
[ ]wallace1__t10_wallace1.vout2025-09-15 14:48 10K 
[ ]wallace1__t11_wallace12025-09-09 13:12 36K 
[ ]wallace1__t11_wallace1.depv12025-09-15 19:47 129  
[ ]wallace1__t11_wallace1.depvmin12025-09-15 19:52 129  
[ ]wallace1__t11_wallace1.vmin12025-09-15 19:47 2.1K 
[ ]wallace1__t11_wallace1.vmin1out2025-09-15 19:50 37K 
[ ]wallace1__t11_wallace1.vout2025-09-15 18:14 39K 
[ ]wallace1__t12_wallace12025-09-09 13:43 49K 
[ ]wallace1__t12_wallace1.vout2025-09-15 18:56 4.7K 
[ ]wallace1__t13_wallace12025-09-09 13:45 41K 
[ ]wallace1__t13_wallace1.vout2025-09-15 17:12 8.4K 
[ ]wallace1__t14_wallace12025-09-09 13:47 38K 
[ ]wallace1__t14_wallace1.depv12025-09-15 19:47 126  
[ ]wallace1__t14_wallace1.depvmin12025-09-15 19:52 76  
[ ]wallace1__t14_wallace1.vmin12025-09-15 19:47 2.4K 
[ ]wallace1__t14_wallace1.vmin1out2025-09-15 19:47 13K 
[ ]wallace1__t14_wallace1.vout2025-09-15 13:26 29K 
[ ]wallace1__t15_wallace12025-09-09 13:50 42K 
[ ]wallace1__t15_wallace1.vout2025-09-15 17:26 8.4K 
[ ]wallace1__t16_wallace12025-09-09 13:52 42K 
[ ]wallace1__t16_wallace1.vout2025-09-15 14:08 6.3K 
[ ]wallace1__t17_wallace12025-09-09 13:54 39K 
[ ]wallace1__t17_wallace1.depv12025-09-15 19:47 148  
[ ]wallace1__t17_wallace1.depvmin12025-09-15 19:52 148  
[ ]wallace1__t17_wallace1.vmin12025-09-15 19:47 3.3K 
[ ]wallace1__t17_wallace1.vmin1out2025-09-15 19:48 106K 
[ ]wallace1__t17_wallace1.vout2025-09-15 14:58 95K 
[ ]wallace1__t18_wallace12025-09-09 13:56 39K 
[ ]wallace1__t18_wallace1.depv12025-09-15 19:47 148  
[ ]wallace1__t18_wallace1.depvmin12025-09-15 19:52 148  
[ ]wallace1__t18_wallace1.vmin12025-09-15 19:47 2.8K 
[ ]wallace1__t18_wallace1.vmin1out2025-09-15 19:49 92K 
[ ]wallace1__t18_wallace1.vout2025-09-15 15:57 77K 
[ ]wallace1__t19_wallace12025-09-09 13:14 73K 
[ ]wallace1__t19_wallace1.depv12025-09-15 19:47 142  
[ ]wallace1__t19_wallace1.depvmin12025-09-15 19:52 142  
[ ]wallace1__t19_wallace1.vmin12025-09-15 19:47 10K 
[ ]wallace1__t19_wallace1.vmin1out2025-09-15 19:51 421K 
[ ]wallace1__t19_wallace1.vout2025-09-15 17:58 336K 
[ ]wallace1__t20_wallace12025-09-09 13:59 72K 
[ ]wallace1__t20_wallace1.vout2025-09-15 16:11 4.7K 
[ ]wallace1__t21_wallace12025-09-09 14:01 44K 
[ ]wallace1__t21_wallace1.vout2025-09-15 14:17 10K 
[ ]wallace1__t22_wallace12025-09-09 14:04 43K 
[ ]wallace1__t22_wallace1.depv12025-09-15 19:47 77  
[ ]wallace1__t22_wallace1.depvmin12025-09-15 19:52 77  
[ ]wallace1__t22_wallace1.vmin12025-09-15 19:47 4.4K 
[ ]wallace1__t22_wallace1.vmin1out2025-09-15 19:49 28K 
[ ]wallace1__t22_wallace1.vout2025-09-15 15:20 29K 
[ ]wallace1__t23_wallace12025-09-09 13:16 39K 
[ ]wallace1__t23_wallace1.depv12025-09-15 19:47 193  
[ ]wallace1__t23_wallace1.depvmin12025-09-15 19:52 193  
[ ]wallace1__t23_wallace1.vmin12025-09-15 19:47 3.1K 
[ ]wallace1__t23_wallace1.vmin1out2025-09-15 19:49 98K 
[ ]wallace1__t23_wallace1.vout2025-09-15 19:44 108K 
[ ]wallace1__t24_wallace12025-09-09 14:06 49K 
[ ]wallace1__t24_wallace1.vout2025-09-15 17:52 7.4K 
[ ]wallace1__t25_wallace12025-09-09 14:08 40K 
[ ]wallace1__t25_wallace1.depv12025-09-15 19:47 189  
[ ]wallace1__t25_wallace1.depvmin12025-09-15 19:52 114  
[ ]wallace1__t25_wallace1.vmin12025-09-15 19:47 3.4K 
[ ]wallace1__t25_wallace1.vmin1out2025-09-15 19:48 15K 
[ ]wallace1__t25_wallace1.vout2025-09-15 14:50 52K 
[ ]wallace1__t26_wallace12025-09-09 14:10 46K 
[ ]wallace1__t26_wallace1.vout2025-09-15 16:45 8.4K 
[ ]wallace1__t27_wallace12025-09-09 14:13 46K 
[ ]wallace1__t27_wallace1.vout2025-09-15 15:39 6.3K 
[ ]wallace1__t28_wallace12025-09-09 14:15 41K 
[ ]wallace1__t28_wallace1.depv12025-09-15 19:47 211  
[ ]wallace1__t28_wallace1.depvmin12025-09-15 19:52 61  
[ ]wallace1__t28_wallace1.vmin12025-09-15 19:47 3.9K 
[ ]wallace1__t28_wallace1.vmin1out2025-09-15 19:51 31K 
[ ]wallace1__t28_wallace1.vout2025-09-15 15:06 164K 
[ ]wallace1__t29_wallace12025-09-09 13:19 76K 
[ ]wallace1__t29_wallace1.depv12025-09-15 19:47 130  
[ ]wallace1__t29_wallace1.depvmin12025-09-15 19:52 130  
[ ]wallace1__t29_wallace1.vmin12025-09-15 19:47 11K 
[ ]wallace1__t29_wallace1.vmin1out2025-09-15 19:48 667K 
[ ]wallace1__t29_wallace1.vout2025-09-15 13:27 592K 
[ ]wallace1__t30_wallace12025-09-09 14:18 74K 
[ ]wallace1__t30_wallace1.vout2025-09-15 19:41 4.7K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80