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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]nat_3__t1_nat_32025-09-12 19:45 54K 
[ ]nat_3__t2_nat_32025-09-12 19:46 91K 
[ ]nat_3__t3_nat_32025-09-12 19:48 69K 
[ ]nat_3__t4_nat_32025-09-12 19:49 69K 
[ ]nat_3__t5_nat_32025-09-12 19:51 94K 
[ ]nat_3__t6_nat_32025-09-12 19:53 62K 
[ ]nat_3__t7_nat_32025-09-12 19:54 105K 
[ ]nat_3__t8_nat_32025-09-12 19:56 111K 
[ ]nat_3__t9_nat_32025-09-12 19:58 91K 
[ ]nat_3__t10_nat_32025-09-12 20:00 73K 
[ ]nat_3__t11_nat_32025-09-12 20:02 73K 
[ ]nat_3__t12_nat_32025-09-12 20:03 75K 
[ ]nat_3__t13_nat_32025-09-12 20:05 123K 
[ ]nat_3__t14_nat_32025-09-12 20:07 92K 
[ ]nat_3__t15_nat_32025-09-12 20:09 94K 
[ ]nat_3__t16_nat_32025-09-12 20:10 65K 
[ ]nat_3__t17_nat_32025-09-12 20:11 67K 
[ ]nat_3__t18_nat_32025-09-12 20:13 67K 
[ ]nat_3__t19_nat_32025-09-12 20:15 177K 
[ ]nat_3__t20_nat_32025-09-12 20:17 96K 
[ ]nat_3__t21_nat_32025-09-12 20:19 69K 
[ ]nat_3__t22_nat_32025-09-12 20:20 91K 
[ ]nat_3__t23_nat_32025-09-12 20:22 69K 
[ ]nat_3__t24_nat_32025-09-12 20:23 69K 
[ ]nat_3__t25_nat_32025-09-12 20:25 70K 
[ ]nat_3__t26_nat_32025-09-12 20:26 65K 
[ ]nat_3__t27_nat_32025-09-12 20:28 65K 
[ ]nat_3__t28_nat_32025-09-12 20:29 71K 
[ ]nat_3__t29_nat_32025-09-12 20:31 54K 
[ ]nat_3__t30_nat_32025-09-12 20:32 72K 
[ ]nat_3__t31_nat_32025-09-12 20:34 93K 
[ ]nat_3__t32_nat_32025-09-12 20:36 67K 
[ ]nat_3__t33_nat_32025-09-12 20:37 56K 
[ ]nat_3__t34_nat_32025-09-12 20:38 56K 
[ ]nat_3__t35_nat_32025-09-12 20:40 64K 
[ ]nat_3__t36_nat_32025-09-12 20:41 65K 
[ ]nat_3__t37_nat_32025-09-12 20:43 72K 
[ ]nat_3__t38_nat_32025-09-12 20:45 82K 
[ ]nat_3__t39_nat_32025-09-12 20:46 83K 
[ ]nat_3__t40_nat_32025-09-12 20:48 62K 
[ ]nat_3__t41_nat_32025-09-12 20:49 58K 
[ ]nat_3__t42_nat_32025-09-12 20:51 81K 
[ ]nat_3__t43_nat_32025-09-12 20:52 60K 
[ ]nat_3__t44_nat_32025-09-12 20:54 91K 
[ ]nat_3__t45_nat_32025-09-12 20:56 85K 
[ ]nat_3__t46_nat_32025-09-12 20:57 86K 
[ ]nat_3__t47_nat_32025-09-12 20:59 77K 
[ ]nat_3__t48_nat_32025-09-12 21:01 81K 
[ ]nat_3__t49_nat_32025-09-12 21:02 71K 
[ ]nat_3__t50_nat_32025-09-12 21:04 73K 
[ ]nat_3__t51_nat_32025-09-12 21:05 67K 
[ ]nat_3__t52_nat_32025-09-12 21:07 105K 
[ ]nat_3__t53_nat_32025-09-12 21:09 90K 
[ ]nat_3__t54_nat_32025-09-12 21:11 92K 
[ ]nat_3__t55_nat_32025-09-12 21:12 63K 
[ ]nat_3__t56_nat_32025-09-12 21:14 63K 
[ ]nat_3__t57_nat_32025-09-12 21:15 61K 
[ ]nat_3__t58_nat_32025-09-12 21:17 91K 
[ ]nat_3__t59_nat_32025-09-12 21:18 62K 
[ ]nat_3__t60_nat_32025-09-12 21:20 84K 
[ ]nat_3__t61_nat_32025-09-12 21:23 173K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80