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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]lattice3__t55_lattice3.vout2021-07-25 14:30 4.7K 
[ ]lattice3__t55_lattice32021-07-18 11:04 18K 
[ ]lattice3__t54_lattice3.vout2021-07-25 18:58 7.4K 
[ ]lattice3__t54_lattice32021-07-18 11:21 18K 
[ ]lattice3__t53_lattice3.vout2021-07-25 17:06 7.4K 
[ ]lattice3__t53_lattice32021-07-18 11:21 20K 
[ ]lattice3__t52_lattice3.vout2021-07-25 18:31 7.3K 
[ ]lattice3__t52_lattice32021-07-18 11:16 22K 
[ ]lattice3__t51_lattice3.vout2021-07-25 16:31 7.3K 
[ ]lattice3__t51_lattice32021-07-18 11:20 19K 
[ ]lattice3__t50_lattice3.vout2021-07-25 18:56 7.9K 
[ ]lattice3__t50_lattice32021-07-18 11:16 17K 
[ ]lattice3__t49_lattice3.vout2021-07-25 19:30 4.1K 
[ ]lattice3__t49_lattice32021-07-18 11:16 19K 
[ ]lattice3__t48_lattice3.vout2021-07-25 15:16 5.3K 
[ ]lattice3__t48_lattice32021-07-18 11:20 18K 
[ ]lattice3__t47_lattice3.vout2021-07-25 17:57 41K 
[ ]lattice3__t47_lattice3.vmin1out2021-07-25 21:02 47K 
[ ]lattice3__t47_lattice3.vmin12021-07-25 20:57 2.1K 
[ ]lattice3__t47_lattice3.depvmin12021-07-25 21:02 120  
[ ]lattice3__t47_lattice3.depv12021-07-25 20:57 120  
[ ]lattice3__t47_lattice32021-07-18 11:15 16K 
[ ]lattice3__t46_lattice3.vout2021-07-25 17:40 7.4K 
[ ]lattice3__t46_lattice32021-07-18 11:20 17K 
[ ]lattice3__t45_lattice3.vout2021-07-25 17:02 7.3K 
[ ]lattice3__t45_lattice32021-07-18 11:15 16K 
[ ]lattice3__t44_lattice3.vout2021-07-25 14:53 7.3K 
[ ]lattice3__t44_lattice32021-07-18 11:19 16K 
[ ]lattice3__t43_lattice3.vout2021-07-25 18:06 7.4K 
[ ]lattice3__t43_lattice32021-07-18 11:15 22K 
[ ]lattice3__t42_lattice3.vout2021-07-25 19:00 7.3K 
[ ]lattice3__t42_lattice32021-07-18 11:14 16K 
[ ]lattice3__t41_lattice3.vout2021-07-25 16:58 26K 
[ ]lattice3__t41_lattice3.vmin1out2021-07-25 21:01 13K 
[ ]lattice3__t41_lattice3.vmin12021-07-25 20:57 1.8K 
[ ]lattice3__t41_lattice3.depvmin12021-07-25 21:02 120  
[ ]lattice3__t41_lattice3.depv12021-07-25 20:57 120  
[ ]lattice3__t41_lattice32021-07-18 11:14 16K 
[ ]lattice3__t40_lattice3.vout2021-07-25 20:35 29K 
[ ]lattice3__t40_lattice3.vmin1out2021-07-25 21:02 17K 
[ ]lattice3__t40_lattice3.vmin12021-07-25 20:57 2.0K 
[ ]lattice3__t40_lattice3.depvmin12021-07-25 21:02 120  
[ ]lattice3__t40_lattice3.depv12021-07-25 20:57 120  
[ ]lattice3__t40_lattice32021-07-18 11:14 16K 
[ ]lattice3__t39_lattice3.vout2021-07-25 18:35 15K 
[ ]lattice3__t39_lattice3.vmin1out2021-07-25 21:00 9.8K 
[ ]lattice3__t39_lattice3.vmin12021-07-25 20:57 1.0K 
[ ]lattice3__t39_lattice3.depvmin12021-07-25 21:02 86  
[ ]lattice3__t39_lattice3.depv12021-07-25 20:57 86  
[ ]lattice3__t39_lattice32021-07-18 11:13 7.5K 
[ ]lattice3__t38_lattice3.vout2021-07-25 15:19 7.9K 
[ ]lattice3__t38_lattice32021-07-18 11:13 16K 
[ ]lattice3__t37_lattice3.vout2021-07-25 15:20 7.3K 
[ ]lattice3__t37_lattice32021-07-18 11:19 16K 
[ ]lattice3__t36_lattice3.vout2021-07-25 18:47 7.3K 
[ ]lattice3__t36_lattice32021-07-18 11:19 18K 
[ ]lattice3__t35_lattice3.vout2021-07-25 20:13 7.3K 
[ ]lattice3__t35_lattice32021-07-18 11:18 17K 
[ ]lattice3__t34_lattice3.vout2021-07-25 14:54 7.3K 
[ ]lattice3__t34_lattice32021-07-18 11:13 16K 
[ ]lattice3__t33_lattice3.vout2021-07-25 16:26 7.3K 
[ ]lattice3__t33_lattice32021-07-18 11:18 19K 
[ ]lattice3__t32_lattice3.vout2021-07-25 20:13 7.3K 
[ ]lattice3__t32_lattice32021-07-18 11:17 18K 
[ ]lattice3__t31_lattice3.vout2021-07-25 20:27 12K 
[ ]lattice3__t31_lattice3.vmin1out2021-07-25 20:58 15K 
[ ]lattice3__t31_lattice3.vmin12021-07-25 20:57 1.1K 
[ ]lattice3__t31_lattice3.depvmin12021-07-25 21:02 65  
[ ]lattice3__t31_lattice3.depv12021-07-25 20:57 65  
[ ]lattice3__t31_lattice32021-07-18 11:12 16K 
[ ]lattice3__t30_lattice3.vout2021-07-25 19:23 66K 
[ ]lattice3__t30_lattice3.vmin1out2021-07-25 20:59 54K 
[ ]lattice3__t30_lattice3.vmin12021-07-25 20:57 3.7K 
[ ]lattice3__t30_lattice3.depvmin12021-07-25 21:02 222  
[ ]lattice3__t30_lattice3.depv12021-07-25 20:57 249  
[ ]lattice3__t30_lattice32021-07-18 11:12 20K 
[ ]lattice3__t29_lattice3.vout2021-07-25 19:47 12K 
[ ]lattice3__t29_lattice3.vmin1out2021-07-25 21:01 15K 
[ ]lattice3__t29_lattice3.vmin12021-07-25 20:57 1.1K 
[ ]lattice3__t29_lattice3.depvmin12021-07-25 21:02 65  
[ ]lattice3__t29_lattice3.depv12021-07-25 20:57 65  
[ ]lattice3__t29_lattice32021-07-18 11:11 16K 
[ ]lattice3__t28_lattice3.vout2021-07-25 20:57 61K 
[ ]lattice3__t28_lattice3.vmin1out2021-07-25 21:01 53K 
[ ]lattice3__t28_lattice3.vmin12021-07-25 20:57 3.4K 
[ ]lattice3__t28_lattice3.depvmin12021-07-25 21:02 222  
[ ]lattice3__t28_lattice3.depv12021-07-25 20:57 222  
[ ]lattice3__t28_lattice32021-07-18 11:11 20K 
[ ]lattice3__t27_lattice3.vout2021-07-25 18:04 8.4K 
[ ]lattice3__t27_lattice32021-07-18 11:11 31K 
[ ]lattice3__t26_lattice3.vout2021-07-25 20:47 7.3K 
[ ]lattice3__t26_lattice32021-07-18 11:10 30K 
[ ]lattice3__t25_lattice3.vout2021-07-25 18:09 8.4K 
[ ]lattice3__t25_lattice32021-07-18 11:10 26K 
[ ]lattice3__t24_lattice3.vout2021-07-25 16:06 7.3K 
[ ]lattice3__t24_lattice32021-07-18 11:17 17K 
[ ]lattice3__t23_lattice3.vout2021-07-25 20:16 7.3K 
[ ]lattice3__t23_lattice32021-07-18 11:17 17K 
[ ]lattice3__t22_lattice3.vout2021-07-25 20:36 70K 
[ ]lattice3__t22_lattice3.vmin1out2021-07-25 21:01 75K 
[ ]lattice3__t22_lattice3.vmin12021-07-25 20:57 3.9K 
[ ]lattice3__t22_lattice3.depvmin12021-07-25 21:02 267  
[ ]lattice3__t22_lattice3.depv12021-07-25 20:57 300  
[ ]lattice3__t22_lattice32021-07-18 11:09 17K 
[ ]lattice3__t21_lattice3.vout2021-07-25 20:24 71K 
[ ]lattice3__t21_lattice3.vmin1out2021-07-25 21:01 62K 
[ ]lattice3__t21_lattice3.vmin12021-07-25 20:57 4.3K 
[ ]lattice3__t21_lattice3.depvmin12021-07-25 21:02 242  
[ ]lattice3__t21_lattice3.depv12021-07-25 20:57 327  
[ ]lattice3__t21_lattice32021-07-18 11:09 19K 
[ ]lattice3__t20_lattice3.vout2021-07-25 14:58 7.3K 
[ ]lattice3__t20_lattice32021-07-18 11:09 27K 
[ ]lattice3__t19_lattice3.vout2021-07-25 20:15 7.9K 
[ ]lattice3__t19_lattice32021-07-18 11:08 32K 
[ ]lattice3__t18_lattice3.vout2021-07-25 15:01 37K 
[ ]lattice3__t18_lattice3.vmin1out2021-07-25 20:58 38K 
[ ]lattice3__t18_lattice3.vmin12021-07-25 20:57 3.0K 
[ ]lattice3__t18_lattice3.depvmin12021-07-25 21:02 207  
[ ]lattice3__t18_lattice3.depv12021-07-25 20:57 207  
[ ]lattice3__t18_lattice32021-07-18 11:08 13K 
[ ]lattice3__t17_lattice3.vout2021-07-25 14:40 37K 
[ ]lattice3__t17_lattice3.vmin1out2021-07-25 21:01 38K 
[ ]lattice3__t17_lattice3.vmin12021-07-25 20:57 3.0K 
[ ]lattice3__t17_lattice3.depvmin12021-07-25 21:02 207  
[ ]lattice3__t17_lattice3.depv12021-07-25 20:57 207  
[ ]lattice3__t17_lattice32021-07-18 11:07 13K 
[ ]lattice3__t16_lattice3.vout2021-07-25 15:18 7.3K 
[ ]lattice3__t16_lattice32021-07-18 11:07 10K 
[ ]lattice3__t15_lattice3.vout2021-07-25 16:25 39K 
[ ]lattice3__t15_lattice3.vmin1out2021-07-25 21:01 42K 
[ ]lattice3__t15_lattice3.vmin12021-07-25 20:57 1.0K 
[ ]lattice3__t15_lattice3.depvmin12021-07-25 21:02 55  
[ ]lattice3__t15_lattice3.depv12021-07-25 20:57 55  
[ ]lattice3__t15_lattice32021-07-18 11:07 9.9K 
[ ]lattice3__t14_lattice3.vout2021-07-25 19:40 7.3K 
[ ]lattice3__t14_lattice32021-07-18 11:07 10K 
[ ]lattice3__t13_lattice3.vout2021-07-25 17:19 39K 
[ ]lattice3__t13_lattice3.vmin1out2021-07-25 21:02 42K 
[ ]lattice3__t13_lattice3.vmin12021-07-25 20:57 1.0K 
[ ]lattice3__t13_lattice3.depvmin12021-07-25 21:02 55  
[ ]lattice3__t13_lattice3.depv12021-07-25 20:57 55  
[ ]lattice3__t13_lattice32021-07-18 11:06 9.9K 
[ ]lattice3__t12_lattice3.vout2021-07-25 14:46 7.4K 
[ ]lattice3__t12_lattice32021-07-18 11:06 11K 
[ ]lattice3__t11_lattice3.vout2021-07-25 16:57 3.2K 
[ ]lattice3__t11_lattice32021-07-18 11:06 26K 
[ ]lattice3__t10_lattice3.vout2021-07-25 20:43 3.2K 
[ ]lattice3__t10_lattice32021-07-18 11:05 13K 
[ ]lattice3__t9_lattice3.vout2021-07-25 15:14 31K 
[ ]lattice3__t9_lattice3.vmin1out2021-07-25 21:02 26K 
[ ]lattice3__t9_lattice3.vmin12021-07-25 20:57 2.2K 
[ ]lattice3__t9_lattice3.depvmin12021-07-25 21:02 213  
[ ]lattice3__t9_lattice3.depv12021-07-25 20:57 213  
[ ]lattice3__t9_lattice32021-07-18 11:03 12K 
[ ]lattice3__t8_lattice3.vout2021-07-25 15:53 16K 
[ ]lattice3__t8_lattice3.vmin1out2021-07-25 21:00 12K 
[ ]lattice3__t8_lattice3.vmin12021-07-25 20:57 1.3K 
[ ]lattice3__t8_lattice3.depvmin12021-07-25 21:02 163  
[ ]lattice3__t8_lattice3.depv12021-07-25 20:57 163  
[ ]lattice3__t8_lattice32021-07-18 11:03 11K 
[ ]lattice3__t7_lattice3.vout2021-07-25 14:53 3.2K 
[ ]lattice3__t7_lattice32021-07-18 11:03 17K 
[ ]lattice3__t6_lattice3.vout2021-07-25 18:21 4.1K 
[ ]lattice3__t6_lattice32021-07-18 11:05 29K 
[ ]lattice3__t5_lattice3.vout2021-07-25 18:15 7.8K 
[ ]lattice3__t5_lattice32021-07-18 11:05 29K 
[ ]lattice3__t4_lattice3.vout2021-07-25 19:44 39K 
[ ]lattice3__t4_lattice3.vmin1out2021-07-25 20:58 38K 
[ ]lattice3__t4_lattice3.vmin12021-07-25 20:57 2.0K 
[ ]lattice3__t4_lattice3.depvmin12021-07-25 21:02 202  
[ ]lattice3__t4_lattice3.depv12021-07-25 20:57 202  
[ ]lattice3__t4_lattice32021-07-18 11:04 23K 
[ ]lattice3__t3_lattice3.vout2021-07-25 17:35 8.4K 
[ ]lattice3__t3_lattice32021-07-18 11:04 23K 
[ ]lattice3__t2_lattice3.vout2021-07-25 19:49 16K 
[ ]lattice3__t2_lattice3.vmin1out2021-07-25 20:57 16K 
[ ]lattice3__t2_lattice3.vmin12021-07-25 20:57 1.1K 
[ ]lattice3__t2_lattice3.depvmin12021-07-25 21:02 105  
[ ]lattice3__t2_lattice3.depv12021-07-25 20:57 105  
[ ]lattice3__t2_lattice32021-07-18 11:02 13K 
[ ]lattice3__t1_lattice3.vout2021-07-25 15:15 7.0K 
[ ]lattice3__t1_lattice3.vmin1out2021-07-25 21:02 9.5K 
[ ]lattice3__t1_lattice3.vmin12021-07-25 20:57 729  
[ ]lattice3__t1_lattice3.depvmin12021-07-25 21:02 38  
[ ]lattice3__t1_lattice3.depv12021-07-25 20:57 38  
[ ]lattice3__t1_lattice32021-07-18 11:02 15K 
[ ]lattice3__l79_lattice3.vout2021-07-25 18:00 3.7K 
[ ]lattice3__l79_lattice32021-07-18 11:22 44K 
[ ]lattice3__l28_lattice3.vout2021-07-25 16:44 7.3K 
[ ]lattice3__l28_lattice32021-07-18 11:22 10K 
[ ]lattice3__l26_lattice3.vout2021-07-25 15:42 7.3K 
[ ]lattice3__l26_lattice32021-07-18 11:21 10K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80