Index of /~mptp/8.1.15_5.94.1493/MPTP2/problems_small_thf/lattice3

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]lattice3__l26_lattice32025-09-12 21:52 17K 
[ ]lattice3__l28_lattice32025-09-12 21:53 17K 
[ ]lattice3__l79_lattice32025-09-12 21:56 66K 
[ ]lattice3__s1_lattice32025-09-12 20:47 5.9K 
[ ]lattice3__s2_lattice32025-09-12 20:48 8.7K 
[ ]lattice3__t1_lattice32025-09-12 20:41 26K 
[ ]lattice3__t2_lattice32025-09-12 20:42 23K 
[ ]lattice3__t3_lattice32025-09-12 20:49 39K 
[ ]lattice3__t4_lattice32025-09-12 20:50 39K 
[ ]lattice3__t5_lattice32025-09-12 20:51 47K 
[ ]lattice3__t6_lattice32025-09-12 20:53 47K 
[ ]lattice3__t7_lattice32025-09-12 20:44 28K 
[ ]lattice3__t8_lattice32025-09-12 20:44 18K 
[ ]lattice3__t9_lattice32025-09-12 20:45 20K 
[ ]lattice3__t10_lattice32025-09-12 20:54 22K 
[ ]lattice3__t11_lattice32025-09-12 20:56 42K 
[ ]lattice3__t12_lattice32025-09-12 20:57 18K 
[ ]lattice3__t13_lattice32025-09-12 20:58 17K 
[ ]lattice3__t14_lattice32025-09-12 20:59 18K 
[ ]lattice3__t15_lattice32025-09-12 20:59 17K 
[ ]lattice3__t16_lattice32025-09-12 21:00 18K 
[ ]lattice3__t17_lattice32025-09-12 21:01 21K 
[ ]lattice3__t18_lattice32025-09-12 21:02 21K 
[ ]lattice3__t19_lattice32025-09-12 21:05 50K 
[ ]lattice3__t20_lattice32025-09-12 21:06 43K 
[ ]lattice3__t21_lattice32025-09-12 21:07 32K 
[ ]lattice3__t22_lattice32025-09-12 21:09 29K 
[ ]lattice3__t23_lattice32025-09-12 21:10 28K 
[ ]lattice3__t24_lattice32025-09-12 21:11 28K 
[ ]lattice3__t25_lattice32025-09-12 21:13 44K 
[ ]lattice3__t26_lattice32025-09-12 21:15 48K 
[ ]lattice3__t27_lattice32025-09-12 21:16 47K 
[ ]lattice3__t28_lattice32025-09-12 21:18 34K 
[ ]lattice3__t29_lattice32025-09-12 21:19 27K 
[ ]lattice3__t30_lattice32025-09-12 21:20 34K 
[ ]lattice3__t31_lattice32025-09-12 21:22 27K 
[ ]lattice3__t32_lattice32025-09-12 21:23 30K 
[ ]lattice3__t33_lattice32025-09-12 21:24 31K 
[ ]lattice3__t34_lattice32025-09-12 21:26 26K 
[ ]lattice3__t35_lattice32025-09-12 21:27 28K 
[ ]lattice3__t36_lattice32025-09-12 21:28 28K 
[ ]lattice3__t37_lattice32025-09-12 21:30 27K 
[ ]lattice3__t38_lattice32025-09-12 21:31 26K 
[ ]lattice3__t39_lattice32025-09-12 21:32 12K 
[ ]lattice3__t40_lattice32025-09-12 21:33 27K 
[ ]lattice3__t41_lattice32025-09-12 21:34 26K 
[ ]lattice3__t42_lattice32025-09-12 21:35 27K 
[ ]lattice3__t43_lattice32025-09-12 21:37 36K 
[ ]lattice3__t44_lattice32025-09-12 21:38 27K 
[ ]lattice3__t45_lattice32025-09-12 21:40 27K 
[ ]lattice3__t46_lattice32025-09-12 21:41 29K 
[ ]lattice3__t47_lattice32025-09-12 21:42 27K 
[ ]lattice3__t48_lattice32025-09-12 21:44 29K 
[ ]lattice3__t49_lattice32025-09-12 21:45 31K 
[ ]lattice3__t50_lattice32025-09-12 21:46 28K 
[ ]lattice3__t51_lattice32025-09-12 21:48 32K 
[ ]lattice3__t52_lattice32025-09-12 21:49 35K 
[ ]lattice3__t53_lattice32025-09-12 21:50 31K 
[ ]lattice3__t54_lattice32025-09-12 21:52 29K 
[ ]lattice3__t55_lattice32025-09-12 20:46 31K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80