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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]nat_d__l1_nat_d2025-09-12 15:07 18K 
[ ]nat_d__l2_nat_d2025-09-12 15:08 18K 
[ ]nat_d__s1_nat_d2025-09-12 14:10 64K 
[ ]nat_d__s2_nat_d2025-09-12 14:11 60K 
[ ]nat_d__t1_nat_d2025-09-12 14:03 18K 
[ ]nat_d__t2_nat_d2025-09-12 14:04 25K 
[ ]nat_d__t3_nat_d2025-09-12 14:12 59K 
[ ]nat_d__t4_nat_d2025-09-12 14:05 25K 
[ ]nat_d__t5_nat_d2025-09-12 14:12 27K 
[ ]nat_d__t6_nat_d2025-09-12 14:06 19K 
[ ]nat_d__t7_nat_d2025-09-12 14:06 29K 
[ ]nat_d__t8_nat_d2025-09-12 14:13 31K 
[ ]nat_d__t9_nat_d2025-09-12 14:07 21K 
[ ]nat_d__t10_nat_d2025-09-12 14:14 59K 
[ ]nat_d__t11_nat_d2025-09-12 14:15 59K 
[ ]nat_d__t12_nat_d2025-09-12 14:16 28K 
[ ]nat_d__t13_nat_d2025-09-12 14:17 25K 
[ ]nat_d__t14_nat_d2025-09-12 14:18 26K 
[ ]nat_d__t15_nat_d2025-09-12 14:18 42K 
[ ]nat_d__t16_nat_d2025-09-12 14:19 33K 
[ ]nat_d__t17_nat_d2025-09-12 14:20 57K 
[ ]nat_d__t18_nat_d2025-09-12 14:21 25K 
[ ]nat_d__t19_nat_d2025-09-12 14:22 37K 
[ ]nat_d__t21_nat_d2025-09-12 14:23 56K 
[ ]nat_d__t22_nat_d2025-09-12 14:24 25K 
[ ]nat_d__t23_nat_d2025-09-12 14:08 18K 
[ ]nat_d__t24_nat_d2025-09-12 14:24 24K 
[ ]nat_d__t25_nat_d2025-09-12 14:25 26K 
[ ]nat_d__t26_nat_d2025-09-12 14:26 24K 
[ ]nat_d__t27_nat_d2025-09-12 14:27 33K 
[ ]nat_d__t28_nat_d2025-09-12 14:27 37K 
[ ]nat_d__t29_nat_d2025-09-12 14:28 28K 
[ ]nat_d__t30_nat_d2025-09-12 14:29 24K 
[ ]nat_d__t31_nat_d2025-09-12 14:30 18K 
[ ]nat_d__t32_nat_d2025-09-12 14:31 18K 
[ ]nat_d__t33_nat_d2025-09-12 14:31 20K 
[ ]nat_d__t34_nat_d2025-09-12 14:32 29K 
[ ]nat_d__t35_nat_d2025-09-12 14:33 24K 
[ ]nat_d__t36_nat_d2025-09-12 14:34 30K 
[ ]nat_d__t37_nat_d2025-09-12 14:08 25K 
[ ]nat_d__t38_nat_d2025-09-12 14:34 25K 
[ ]nat_d__t39_nat_d2025-09-12 14:35 24K 
[ ]nat_d__t40_nat_d2025-09-12 14:36 24K 
[ ]nat_d__t41_nat_d2025-09-12 14:37 40K 
[ ]nat_d__t42_nat_d2025-09-12 14:39 39K 
[ ]nat_d__t43_nat_d2025-09-12 14:39 28K 
[ ]nat_d__t44_nat_d2025-09-12 14:40 36K 
[ ]nat_d__t45_nat_d2025-09-12 14:41 67K 
[ ]nat_d__t46_nat_d2025-09-12 14:42 23K 
[ ]nat_d__t47_nat_d2025-09-12 14:43 27K 
[ ]nat_d__t48_nat_d2025-09-12 14:44 25K 
[ ]nat_d__t49_nat_d2025-09-12 14:45 30K 
[ ]nat_d__t50_nat_d2025-09-12 14:46 17K 
[ ]nat_d__t51_nat_d2025-09-12 14:47 49K 
[ ]nat_d__t52_nat_d2025-09-12 14:48 21K 
[ ]nat_d__t53_nat_d2025-09-12 14:49 21K 
[ ]nat_d__t54_nat_d2025-09-12 14:50 21K 
[ ]nat_d__t55_nat_d2025-09-12 14:51 30K 
[ ]nat_d__t56_nat_d2025-09-12 14:51 30K 
[ ]nat_d__t57_nat_d2025-09-12 14:52 34K 
[ ]nat_d__t58_nat_d2025-09-12 14:53 28K 
[ ]nat_d__t59_nat_d2025-09-12 14:54 48K 
[ ]nat_d__t60_nat_d2025-09-12 14:55 21K 
[ ]nat_d__t64_nat_d2025-09-12 14:57 48K 
[ ]nat_d__t65_nat_d2025-09-12 14:58 33K 
[ ]nat_d__t66_nat_d2025-09-12 14:59 48K 
[ ]nat_d__t67_nat_d2025-09-12 15:00 48K 
[ ]nat_d__t68_nat_d2025-09-12 15:01 63K 
[ ]nat_d__t69_nat_d2025-09-12 15:02 50K 
[ ]nat_d__t70_nat_d2025-09-12 15:03 26K 
[ ]nat_d__t71_nat_d2025-09-12 15:04 18K 
[ ]nat_d__t72_nat_d2025-09-12 15:05 35K 
[ ]nat_d__t73_nat_d2025-09-12 15:06 18K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80