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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]lattice2__t1_lattice22021-07-18 04:03 12K 
[ ]lattice2__t1_lattice2.depv12021-07-25 20:57 173  
[ ]lattice2__t1_lattice2.depvmin12021-07-25 21:03 173  
[ ]lattice2__t1_lattice2.vmin12021-07-25 20:57 1.6K 
[ ]lattice2__t1_lattice2.vmin1out2021-07-25 21:01 18K 
[ ]lattice2__t1_lattice2.vout2021-07-25 14:34 18K 
[ ]lattice2__t2_lattice22021-07-18 04:03 11K 
[ ]lattice2__t2_lattice2.vout2021-07-25 17:34 7.1K 
[ ]lattice2__t3_lattice22021-07-18 04:03 15K 
[ ]lattice2__t3_lattice2.depv12021-07-25 20:57 304  
[ ]lattice2__t3_lattice2.depvmin12021-07-25 21:03 252  
[ ]lattice2__t3_lattice2.vmin12021-07-25 20:57 3.8K 
[ ]lattice2__t3_lattice2.vmin1out2021-07-25 21:01 48K 
[ ]lattice2__t3_lattice2.vout2021-07-25 19:02 50K 
[ ]lattice2__t4_lattice22021-07-18 04:04 12K 
[ ]lattice2__t4_lattice2.depv12021-07-25 20:57 199  
[ ]lattice2__t4_lattice2.depvmin12021-07-25 21:03 199  
[ ]lattice2__t4_lattice2.vmin12021-07-25 20:57 2.4K 
[ ]lattice2__t4_lattice2.vmin1out2021-07-25 21:02 29K 
[ ]lattice2__t4_lattice2.vout2021-07-25 15:23 30K 
[ ]lattice2__t5_lattice22021-07-18 04:04 6.6K 
[ ]lattice2__t5_lattice2.depv12021-07-25 20:57 88  
[ ]lattice2__t5_lattice2.depvmin12021-07-25 21:03 88  
[ ]lattice2__t5_lattice2.vmin12021-07-25 20:57 1.3K 
[ ]lattice2__t5_lattice2.vmin1out2021-07-25 21:02 30K 
[ ]lattice2__t5_lattice2.vout2021-07-25 16:17 30K 
[ ]lattice2__t6_lattice22021-07-18 03:57 10K 
[ ]lattice2__t6_lattice2.depv12021-07-25 20:57 146  
[ ]lattice2__t6_lattice2.depvmin12021-07-25 21:03 146  
[ ]lattice2__t6_lattice2.vmin12021-07-25 20:57 1.6K 
[ ]lattice2__t6_lattice2.vmin1out2021-07-25 21:02 14K 
[ ]lattice2__t6_lattice2.vout2021-07-25 19:29 14K 
[ ]lattice2__t7_lattice22021-07-18 04:04 11K 
[ ]lattice2__t7_lattice2.vout2021-07-25 17:02 2.0K 
[ ]lattice2__t8_lattice22021-07-18 04:04 11K 
[ ]lattice2__t8_lattice2.depv12021-07-25 20:57 62  
[ ]lattice2__t8_lattice2.depvmin12021-07-25 21:03 62  
[ ]lattice2__t8_lattice2.vmin12021-07-25 20:57 1.1K 
[ ]lattice2__t8_lattice2.vmin1out2021-07-25 21:00 12K 
[ ]lattice2__t8_lattice2.vout2021-07-25 17:08 12K 
[ ]lattice2__t9_lattice22021-07-18 04:05 10K 
[ ]lattice2__t9_lattice2.depv12021-07-25 20:57 62  
[ ]lattice2__t9_lattice2.depvmin12021-07-25 21:03 62  
[ ]lattice2__t9_lattice2.vmin12021-07-25 20:57 858  
[ ]lattice2__t9_lattice2.vmin1out2021-07-25 21:02 8.5K 
[ ]lattice2__t9_lattice2.vout2021-07-25 17:26 8.5K 
[ ]lattice2__t10_lattice22021-07-18 04:05 11K 
[ ]lattice2__t10_lattice2.depv12021-07-25 20:57 61  
[ ]lattice2__t10_lattice2.depvmin12021-07-25 21:03 38  
[ ]lattice2__t10_lattice2.vmin12021-07-25 20:57 1.2K 
[ ]lattice2__t10_lattice2.vmin1out2021-07-25 20:59 20K 
[ ]lattice2__t10_lattice2.vout2021-07-25 20:10 24K 
[ ]lattice2__t11_lattice22021-07-18 04:05 17K 
[ ]lattice2__t11_lattice2.vout2021-07-25 16:13 2.0K 
[ ]lattice2__t12_lattice22021-07-18 03:57 14K 
[ ]lattice2__t12_lattice2.depv12021-07-25 20:57 179  
[ ]lattice2__t12_lattice2.depvmin12021-07-25 21:03 179  
[ ]lattice2__t12_lattice2.vmin12021-07-25 20:57 2.6K 
[ ]lattice2__t12_lattice2.vmin1out2021-07-25 21:02 31K 
[ ]lattice2__t12_lattice2.vout2021-07-25 20:19 41K 
[ ]lattice2__t13_lattice22021-07-18 03:58 13K 
[ ]lattice2__t13_lattice2.depv12021-07-25 20:57 140  
[ ]lattice2__t13_lattice2.depvmin12021-07-25 21:03 127  
[ ]lattice2__t13_lattice2.vmin12021-07-25 20:57 1.8K 
[ ]lattice2__t13_lattice2.vmin1out2021-07-25 21:02 15K 
[ ]lattice2__t13_lattice2.vout2021-07-25 20:22 21K 
[ ]lattice2__t14_lattice22021-07-18 04:06 17K 
[ ]lattice2__t14_lattice2.depv12021-07-25 20:57 153  
[ ]lattice2__t14_lattice2.depvmin12021-07-25 21:03 153  
[ ]lattice2__t14_lattice2.vmin12021-07-25 20:57 2.1K 
[ ]lattice2__t14_lattice2.vmin1out2021-07-25 21:02 28K 
[ ]lattice2__t14_lattice2.vout2021-07-25 16:47 30K 
[ ]lattice2__t15_lattice22021-07-18 04:06 14K 
[ ]lattice2__t15_lattice2.depv12021-07-25 20:57 91  
[ ]lattice2__t15_lattice2.depvmin12021-07-25 21:03 91  
[ ]lattice2__t15_lattice2.vmin12021-07-25 20:57 1.4K 
[ ]lattice2__t15_lattice2.vmin1out2021-07-25 20:59 18K 
[ ]lattice2__t15_lattice2.vout2021-07-25 20:03 17K 
[ ]lattice2__t16_lattice22021-07-18 04:06 17K 
[ ]lattice2__t16_lattice2.depv12021-07-25 20:57 179  
[ ]lattice2__t16_lattice2.depvmin12021-07-25 21:03 179  
[ ]lattice2__t16_lattice2.vmin12021-07-25 20:57 2.3K 
[ ]lattice2__t16_lattice2.vmin1out2021-07-25 20:58 31K 
[ ]lattice2__t16_lattice2.vout2021-07-25 19:22 34K 
[ ]lattice2__t17_lattice22021-07-18 04:07 14K 
[ ]lattice2__t17_lattice2.depv12021-07-25 20:57 91  
[ ]lattice2__t17_lattice2.depvmin12021-07-25 21:03 91  
[ ]lattice2__t17_lattice2.vmin12021-07-25 20:57 1.4K 
[ ]lattice2__t17_lattice2.vmin1out2021-07-25 21:01 18K 
[ ]lattice2__t17_lattice2.vout2021-07-25 17:42 17K 
[ ]lattice2__t18_lattice22021-07-18 04:07 15K 
[ ]lattice2__t18_lattice2.depv12021-07-25 20:57 195  
[ ]lattice2__t18_lattice2.depvmin12021-07-25 21:03 195  
[ ]lattice2__t18_lattice2.vmin12021-07-25 20:57 3.3K 
[ ]lattice2__t18_lattice2.vmin1out2021-07-25 21:00 46K 
[ ]lattice2__t18_lattice2.vout2021-07-25 17:47 45K 
[ ]lattice2__t19_lattice22021-07-18 04:07 15K 
[ ]lattice2__t19_lattice2.depv12021-07-25 20:57 195  
[ ]lattice2__t19_lattice2.depvmin12021-07-25 21:03 195  
[ ]lattice2__t19_lattice2.vmin12021-07-25 20:57 3.3K 
[ ]lattice2__t19_lattice2.vmin1out2021-07-25 21:00 45K 
[ ]lattice2__t19_lattice2.vout2021-07-25 15:56 45K 
[ ]lattice2__t20_lattice22021-07-18 04:08 17K 
[ ]lattice2__t20_lattice2.vout2021-07-25 17:44 2.0K 
[ ]lattice2__t21_lattice22021-07-18 04:08 20K 
[ ]lattice2__t21_lattice2.vout2021-07-25 18:28 3.7K 
[ ]lattice2__t22_lattice22021-07-18 04:09 20K 
[ ]lattice2__t22_lattice2.vout2021-07-25 15:12 3.7K 
[ ]lattice2__t23_lattice22021-07-18 04:09 20K 
[ ]lattice2__t23_lattice2.vout2021-07-25 16:28 3.7K 
[ ]lattice2__t24_lattice22021-07-18 03:58 16K 
[ ]lattice2__t24_lattice2.vout2021-07-25 18:51 3.7K 
[ ]lattice2__t25_lattice22021-07-18 04:09 17K 
[ ]lattice2__t25_lattice2.vout2021-07-25 16:09 3.7K 
[ ]lattice2__t26_lattice22021-07-18 04:10 18K 
[ ]lattice2__t26_lattice2.vout2021-07-25 17:24 3.7K 
[ ]lattice2__t27_lattice22021-07-18 04:10 18K 
[ ]lattice2__t27_lattice2.vout2021-07-25 16:03 3.7K 
[ ]lattice2__t28_lattice22021-07-18 03:58 17K 
[ ]lattice2__t28_lattice2.vout2021-07-25 19:06 2.0K 
[ ]lattice2__t29_lattice22021-07-18 04:11 18K 
[ ]lattice2__t29_lattice2.vout2021-07-25 17:34 2.0K 
[ ]lattice2__t30_lattice22021-07-18 03:59 16K 
[ ]lattice2__t30_lattice2.depv12021-07-25 20:57 148  
[ ]lattice2__t30_lattice2.depvmin12021-07-25 21:03 148  
[ ]lattice2__t30_lattice2.vmin12021-07-25 20:57 3.2K 
[ ]lattice2__t30_lattice2.vmin1out2021-07-25 21:00 66K 
[ ]lattice2__t30_lattice2.vout2021-07-25 18:02 58K 
[ ]lattice2__t31_lattice22021-07-18 04:11 18K 
[ ]lattice2__t31_lattice2.vout2021-07-25 18:30 2.0K 
[ ]lattice2__t32_lattice22021-07-18 04:11 21K 
[ ]lattice2__t32_lattice2.vout2021-07-25 14:35 7.3K 
[ ]lattice2__t33_lattice22021-07-18 04:12 17K 
[ ]lattice2__t33_lattice2.depv12021-07-25 20:57 92  
[ ]lattice2__t33_lattice2.depvmin12021-07-25 21:03 92  
[ ]lattice2__t33_lattice2.vmin12021-07-25 20:57 2.6K 
[ ]lattice2__t33_lattice2.vmin1out2021-07-25 21:02 53K 
[ ]lattice2__t33_lattice2.vout2021-07-25 14:52 54K 
[ ]lattice2__t34_lattice22021-07-18 04:12 18K 
[ ]lattice2__t34_lattice2.vout2021-07-25 18:39 7.3K 
[ ]lattice2__t35_lattice22021-07-18 03:59 19K 
[ ]lattice2__t35_lattice2.vout2021-07-25 14:30 7.3K 
[ ]lattice2__t36_lattice22021-07-18 03:59 20K 
[ ]lattice2__t36_lattice2.depv12021-07-25 20:57 244  
[ ]lattice2__t36_lattice2.depvmin12021-07-25 21:03 229  
[ ]lattice2__t36_lattice2.vmin12021-07-25 20:57 3.9K 
[ ]lattice2__t36_lattice2.vmin1out2021-07-25 21:00 41K 
[ ]lattice2__t36_lattice2.vout2021-07-25 16:50 45K 
[ ]lattice2__t37_lattice22021-07-18 04:00 20K 
[ ]lattice2__t37_lattice2.depv12021-07-25 20:57 240  
[ ]lattice2__t37_lattice2.depvmin12021-07-25 21:03 240  
[ ]lattice2__t37_lattice2.vmin12021-07-25 20:57 3.5K 
[ ]lattice2__t37_lattice2.vmin1out2021-07-25 20:59 36K 
[ ]lattice2__t37_lattice2.vout2021-07-25 17:46 57K 
[ ]lattice2__t38_lattice22021-07-18 04:13 21K 
[ ]lattice2__t38_lattice2.depv12021-07-25 20:57 220  
[ ]lattice2__t38_lattice2.depvmin12021-07-25 21:03 220  
[ ]lattice2__t38_lattice2.vmin12021-07-25 20:57 3.2K 
[ ]lattice2__t38_lattice2.vmin1out2021-07-25 20:58 47K 
[ ]lattice2__t38_lattice2.vout2021-07-25 20:48 28K 
[ ]lattice2__t39_lattice22021-07-18 04:13 21K 
[ ]lattice2__t39_lattice2.depv12021-07-25 20:57 304  
[ ]lattice2__t39_lattice2.depvmin12021-07-25 21:03 220  
[ ]lattice2__t39_lattice2.vmin12021-07-25 20:57 4.4K 
[ ]lattice2__t39_lattice2.vmin1out2021-07-25 20:59 28K 
[ ]lattice2__t39_lattice2.vout2021-07-25 16:33 49K 
[ ]lattice2__t40_lattice22021-07-18 04:13 21K 
[ ]lattice2__t40_lattice2.vout2021-07-25 19:04 4.1K 
[ ]lattice2__t41_lattice22021-07-18 04:14 21K 
[ ]lattice2__t41_lattice2.vout2021-07-25 16:24 4.1K 
[ ]lattice2__t42_lattice22021-07-18 04:00 16K 
[ ]lattice2__t42_lattice2.depv12021-07-25 20:57 148  
[ ]lattice2__t42_lattice2.depvmin12021-07-25 21:03 148  
[ ]lattice2__t42_lattice2.vmin12021-07-25 20:57 3.2K 
[ ]lattice2__t42_lattice2.vmin1out2021-07-25 21:00 66K 
[ ]lattice2__t42_lattice2.vout2021-07-25 19:02 58K 
[ ]lattice2__t43_lattice22021-07-18 04:01 19K 
[ ]lattice2__t43_lattice2.vout2021-07-25 20:49 7.3K 
[ ]lattice2__t44_lattice22021-07-18 04:14 19K 
[ ]lattice2__t44_lattice2.vout2021-07-25 18:04 2.0K 
[ ]lattice2__t45_lattice22021-07-18 04:15 21K 
[ ]lattice2__t45_lattice2.vout2021-07-25 15:01 4.1K 
[ ]lattice2__t46_lattice22021-07-18 04:15 21K 
[ ]lattice2__t46_lattice2.vout2021-07-25 19:02 4.1K 
[ ]lattice2__t47_lattice22021-07-18 04:16 17K 
[ ]lattice2__t47_lattice2.depv12021-07-25 20:57 92  
[ ]lattice2__t47_lattice2.depvmin12021-07-25 21:03 92  
[ ]lattice2__t47_lattice2.vmin12021-07-25 20:57 2.6K 
[ ]lattice2__t47_lattice2.vmin1out2021-07-25 20:58 54K 
[ ]lattice2__t47_lattice2.vout2021-07-25 18:03 54K 
[ ]lattice2__t48_lattice22021-07-18 04:16 20K 
[ ]lattice2__t48_lattice2.depv12021-07-25 20:57 267  
[ ]lattice2__t48_lattice2.depvmin12021-07-25 21:03 190  
[ ]lattice2__t48_lattice2.vmin12021-07-25 20:57 3.7K 
[ ]lattice2__t48_lattice2.vmin1out2021-07-25 21:01 99K 
[ ]lattice2__t48_lattice2.vout2021-07-25 15:57 66K 
[ ]lattice2__t49_lattice22021-07-18 04:16 20K 
[ ]lattice2__t49_lattice2.depv12021-07-25 20:57 267  
[ ]lattice2__t49_lattice2.depvmin12021-07-25 21:03 190  
[ ]lattice2__t49_lattice2.vmin12021-07-25 20:57 3.7K 
[ ]lattice2__t49_lattice2.vmin1out2021-07-25 20:58 60K 
[ ]lattice2__t49_lattice2.vout2021-07-25 14:29 66K 
[ ]lattice2__t50_lattice22021-07-18 04:01 17K 
[ ]lattice2__t50_lattice2.depv12021-07-25 20:57 179  
[ ]lattice2__t50_lattice2.depvmin12021-07-25 21:03 179  
[ ]lattice2__t50_lattice2.vmin12021-07-25 20:57 2.6K 
[ ]lattice2__t50_lattice2.vmin1out2021-07-25 20:58 24K 
[ ]lattice2__t50_lattice2.vout2021-07-25 15:25 37K 
[ ]lattice2__t51_lattice22021-07-18 04:17 16K 
[ ]lattice2__t51_lattice2.vout2021-07-25 16:21 2.0K 
[ ]lattice2__t52_lattice22021-07-18 04:01 14K 
[ ]lattice2__t52_lattice2.depv12021-07-25 20:57 39  
[ ]lattice2__t52_lattice2.depvmin12021-07-25 21:03 39  
[ ]lattice2__t52_lattice2.vmin12021-07-25 20:57 717  
[ ]lattice2__t52_lattice2.vmin1out2021-07-25 21:01 5.8K 
[ ]lattice2__t52_lattice2.vout2021-07-25 16:19 5.8K 
[ ]lattice2__t53_lattice22021-07-18 04:17 18K 
[ ]lattice2__t53_lattice2.vout2021-07-25 15:59 2.0K 
[ ]lattice2__t54_lattice22021-07-18 04:18 18K 
[ ]lattice2__t54_lattice2.vout2021-07-25 15:42 2.0K 
[ ]lattice2__t55_lattice22021-07-18 04:18 17K 
[ ]lattice2__t55_lattice2.depv12021-07-25 20:57 68  
[ ]lattice2__t55_lattice2.depvmin12021-07-25 21:03 68  
[ ]lattice2__t55_lattice2.vmin12021-07-25 20:57 2.4K 
[ ]lattice2__t55_lattice2.vmin1out2021-07-25 21:00 40K 
[ ]lattice2__t55_lattice2.vout2021-07-25 17:05 41K 
[ ]lattice2__t56_lattice22021-07-18 04:18 16K 
[ ]lattice2__t56_lattice2.vout2021-07-25 17:04 2.0K 
[ ]lattice2__t57_lattice22021-07-18 04:02 14K 
[ ]lattice2__t57_lattice2.depv12021-07-25 20:57 40  
[ ]lattice2__t57_lattice2.depvmin12021-07-25 21:03 40  
[ ]lattice2__t57_lattice2.vmin12021-07-25 20:57 718  
[ ]lattice2__t57_lattice2.vmin1out2021-07-25 21:00 5.8K 
[ ]lattice2__t57_lattice2.vout2021-07-25 17:44 5.8K 
[ ]lattice2__t58_lattice22021-07-18 04:19 22K 
[ ]lattice2__t58_lattice2.depv12021-07-25 20:57 320  
[ ]lattice2__t58_lattice2.depvmin12021-07-25 21:03 305  
[ ]lattice2__t58_lattice2.vmin12021-07-25 20:57 5.6K 
[ ]lattice2__t58_lattice2.vmin1out2021-07-25 20:59 65K 
[ ]lattice2__t58_lattice2.vout2021-07-25 18:56 85K 
[ ]lattice2__t59_lattice22021-07-18 04:19 23K 
[ ]lattice2__t59_lattice2.vout2021-07-25 17:53 4.1K 
[ ]lattice2__t60_lattice22021-07-18 04:20 17K 
[ ]lattice2__t60_lattice2.depv12021-07-25 20:57 68  
[ ]lattice2__t60_lattice2.depvmin12021-07-25 21:03 68  
[ ]lattice2__t60_lattice2.vmin12021-07-25 20:57 2.4K 
[ ]lattice2__t60_lattice2.vmin1out2021-07-25 20:59 40K 
[ ]lattice2__t60_lattice2.vout2021-07-25 19:14 42K 
[ ]lattice2__t61_lattice22021-07-18 04:20 21K 
[ ]lattice2__t61_lattice2.depv12021-07-25 20:57 321  
[ ]lattice2__t61_lattice2.depvmin12021-07-25 21:03 245  
[ ]lattice2__t61_lattice2.vmin12021-07-25 20:57 4.1K 
[ ]lattice2__t61_lattice2.vmin1out2021-07-25 21:02 32K 
[ ]lattice2__t61_lattice2.vout2021-07-25 17:59 43K 
[ ]lattice2__t62_lattice22021-07-18 04:21 21K 
[ ]lattice2__t62_lattice2.depv12021-07-25 20:57 347  
[ ]lattice2__t62_lattice2.depvmin12021-07-25 21:03 245  
[ ]lattice2__t62_lattice2.vmin12021-07-25 20:57 4.4K 
[ ]lattice2__t62_lattice2.vmin1out2021-07-25 21:00 30K 
[ ]lattice2__t62_lattice2.vout2021-07-25 17:16 48K 
[ ]lattice2__t63_lattice22021-07-18 04:02 15K 
[ ]lattice2__t63_lattice2.depv12021-07-25 20:57 26  
[ ]lattice2__t63_lattice2.depvmin12021-07-25 21:03 26  
[ ]lattice2__t63_lattice2.vmin12021-07-25 20:57 480  
[ ]lattice2__t63_lattice2.vmin1out2021-07-25 21:01 4.5K 
[ ]lattice2__t63_lattice2.vout2021-07-25 17:41 4.5K 
[ ]lattice2__t64_lattice22021-07-18 04:21 21K 
[ ]lattice2__t64_lattice2.vout2021-07-25 20:31 7.4K 
[ ]lattice2__t65_lattice22021-07-18 04:22 28K 
[ ]lattice2__t65_lattice2.vout2021-07-25 15:04 4.1K 
[ ]lattice2__t66_lattice22021-07-18 04:02 19K 
[ ]lattice2__t66_lattice2.depv12021-07-25 20:57 106  
[ ]lattice2__t66_lattice2.depvmin12021-07-25 21:03 106  
[ ]lattice2__t66_lattice2.vmin12021-07-25 20:57 2.3K 
[ ]lattice2__t66_lattice2.vmin1out2021-07-25 21:02 26K 
[ ]lattice2__t66_lattice2.vout2021-07-25 16:48 18K 
[ ]lattice2__t67_lattice22021-07-18 04:22 20K 
[ ]lattice2__t67_lattice2.vout2021-07-25 17:58 2.0K 
[ ]lattice2__t68_lattice22021-07-18 04:03 16K 
[ ]lattice2__t68_lattice2.depv12021-07-25 20:57 168  
[ ]lattice2__t68_lattice2.depvmin12021-07-25 21:03 168  
[ ]lattice2__t68_lattice2.vmin12021-07-25 20:57 2.0K 
[ ]lattice2__t68_lattice2.vmin1out2021-07-25 20:59 14K 
[ ]lattice2__t68_lattice2.vout2021-07-25 18:45 19K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80