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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]nat_4__l14_nat_42025-09-13 03:54 60K 
[ ]nat_4__l27_nat_42025-09-13 03:56 67K 
[ ]nat_4__l28_nat_42025-09-13 03:57 65K 
[ ]nat_4__l32_nat_42025-09-13 03:59 155K 
[ ]nat_4__l35_nat_42025-09-13 04:01 228K 
[ ]nat_4__l36_nat_42025-09-13 04:02 87K 
[ ]nat_4__l47_nat_42025-09-13 04:04 146K 
[ ]nat_4__l57_nat_42025-09-13 04:07 333K 
[ ]nat_4__l58_nat_42025-09-13 04:09 390K 
[ ]nat_4__l66_nat_42025-09-13 04:11 308K 
[ ]nat_4__l67_nat_42025-09-13 04:14 335K 
[ ]nat_4__s1_nat_42025-09-13 01:57 92K 
[ ]nat_4__s2_nat_42025-09-13 01:59 104K 
[ ]nat_4__s3_nat_42025-09-13 02:02 121K 
[ ]nat_4__s4_nat_42025-09-13 02:04 106K 
[ ]nat_4__t1_nat_42025-09-13 02:05 56K 
[ ]nat_4__t2_nat_42025-09-13 02:06 56K 
[ ]nat_4__t3_nat_42025-09-13 02:08 83K 
[ ]nat_4__t4_nat_42025-09-13 02:10 439K 
[ ]nat_4__t5_nat_42025-09-13 02:13 232K 
[ ]nat_4__t6_nat_42025-09-13 02:14 100K 
[ ]nat_4__t7_nat_42025-09-13 02:16 53K 
[ ]nat_4__t8_nat_42025-09-13 02:17 67K 
[ ]nat_4__t9_nat_42025-09-13 02:19 94K 
[ ]nat_4__t10_nat_42025-09-13 02:21 70K 
[ ]nat_4__t11_nat_42025-09-13 02:22 78K 
[ ]nat_4__t12_nat_42025-09-13 02:24 54K 
[ ]nat_4__t13_nat_42025-09-13 02:25 65K 
[ ]nat_4__t14_nat_42025-09-13 02:27 57K 
[ ]nat_4__t15_nat_42025-09-13 02:29 87K 
[ ]nat_4__t16_nat_42025-09-13 02:31 78K 
[ ]nat_4__t17_nat_42025-09-13 02:32 106K 
[ ]nat_4__t18_nat_42025-09-13 02:34 87K 
[ ]nat_4__t19_nat_42025-09-13 02:36 82K 
[ ]nat_4__t20_nat_42025-09-13 02:38 135K 
[ ]nat_4__t21_nat_42025-09-13 02:40 67K 
[ ]nat_4__t22_nat_42025-09-13 02:42 75K 
[ ]nat_4__t23_nat_42025-09-13 02:44 124K 
[ ]nat_4__t24_nat_42025-09-13 02:46 134K 
[ ]nat_4__t25_nat_42025-09-13 02:48 108K 
[ ]nat_4__t26_nat_42025-09-13 02:49 75K 
[ ]nat_4__t27_nat_42025-09-13 02:51 82K 
[ ]nat_4__t28_nat_42025-09-13 02:52 83K 
[ ]nat_4__t29_nat_42025-09-13 02:54 82K 
[ ]nat_4__t30_nat_42025-09-13 02:56 86K 
[ ]nat_4__t31_nat_42025-09-13 02:57 156K 
[ ]nat_4__t32_nat_42025-09-13 02:59 203K 
[ ]nat_4__t33_nat_42025-09-13 03:01 201K 
[ ]nat_4__t34_nat_42025-09-13 03:03 204K 
[ ]nat_4__t35_nat_42025-09-13 03:05 196K 
[ ]nat_4__t36_nat_42025-09-13 03:06 176K 
[ ]nat_4__t37_nat_42025-09-13 03:08 175K 
[ ]nat_4__t38_nat_42025-09-13 03:11 568K 
[ ]nat_4__t39_nat_42025-09-13 03:14 636K 
[ ]nat_4__t40_nat_42025-09-13 03:17 589K 
[ ]nat_4__t42_nat_42025-09-13 03:20 130K 
[ ]nat_4__t43_nat_42025-09-13 03:22 146K 
[ ]nat_4__t44_nat_42025-09-13 03:24 162K 
[ ]nat_4__t45_nat_42025-09-13 03:27 1.2M 
[ ]nat_4__t46_nat_42025-09-13 03:30 141K 
[ ]nat_4__t47_nat_42025-09-13 03:32 152K 
[ ]nat_4__t48_nat_42025-09-13 03:35 183K 
[ ]nat_4__t49_nat_42025-09-13 03:37 364K 
[ ]nat_4__t50_nat_42025-09-13 03:39 71K 
[ ]nat_4__t51_nat_42025-09-13 03:41 107K 
[ ]nat_4__t52_nat_42025-09-13 03:43 86K 
[ ]nat_4__t53_nat_42025-09-13 03:45 133K 
[ ]nat_4__t54_nat_42025-09-13 03:47 138K 
[ ]nat_4__t55_nat_42025-09-13 03:49 100K 
[ ]nat_4__t56_nat_42025-09-13 03:51 814K 
[ ]nat_4__t57_nat_42025-09-13 01:48 54K 
[ ]nat_4__t58_nat_42025-09-13 01:49 54K 
[ ]nat_4__t59_nat_42025-09-13 01:51 55K 
[ ]nat_4__t60_nat_42025-09-13 01:52 58K 
[ ]nat_4__t61_nat_42025-09-13 01:53 70K 
[ ]nat_4__t62_nat_42025-09-13 01:55 76K 
[ ]nat_4__t63_nat_42025-09-13 03:53 59K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80