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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]nat_6__l1_nat_62025-09-12 12:41 248K 
[ ]nat_6__l2_nat_62025-09-12 12:43 248K 
[ ]nat_6__l8_nat_62025-09-12 12:43 24K 
[ ]nat_6__l35_nat_62025-09-12 12:44 152K 
[ ]nat_6__l41_nat_62025-09-12 12:45 31K 
[ ]nat_6__l42_nat_62025-09-12 12:46 36K 
[ ]nat_6__l43_nat_62025-09-12 12:47 44K 
[ ]nat_6__l56_nat_62025-09-12 12:49 3.6M 
[ ]nat_6__t1_nat_62025-09-12 11:54 34K 
[ ]nat_6__t2_nat_62025-09-12 11:55 52K 
[ ]nat_6__t3_nat_62025-09-12 11:56 51K 
[ ]nat_6__t4_nat_62025-09-12 11:57 44K 
[ ]nat_6__t5_nat_62025-09-12 11:58 227K 
[ ]nat_6__t6_nat_62025-09-12 11:59 34K 
[ ]nat_6__t7_nat_62025-09-12 12:00 27K 
[ ]nat_6__t8_nat_62025-09-12 12:01 71K 
[ ]nat_6__t9_nat_62025-09-12 12:02 55K 
[ ]nat_6__t10_nat_62025-09-12 12:03 57K 
[ ]nat_6__t13_nat_62025-09-12 12:04 36K 
[ ]nat_6__t14_nat_62025-09-12 12:05 54K 
[ ]nat_6__t15_nat_62025-09-12 12:06 972K 
[ ]nat_6__t16_nat_62025-09-12 12:07 51K 
[ ]nat_6__t17_nat_62025-09-12 12:09 67K 
[ ]nat_6__t18_nat_62025-09-12 12:10 117K 
[ ]nat_6__t19_nat_62025-09-12 12:11 494K 
[ ]nat_6__t20_nat_62025-09-12 12:12 494K 
[ ]nat_6__t22_nat_62025-09-12 12:13 76K 
[ ]nat_6__t23_nat_62025-09-12 12:14 624K 
[ ]nat_6__t24_nat_62025-09-12 12:15 42K 
[ ]nat_6__t25_nat_62025-09-12 12:16 120K 
[ ]nat_6__t26_nat_62025-09-12 11:50 36K 
[ ]nat_6__t27_nat_62025-09-12 12:17 256K 
[ ]nat_6__t28_nat_62025-09-12 12:18 71K 
[ ]nat_6__t29_nat_62025-09-12 12:19 36K 
[ ]nat_6__t30_nat_62025-09-12 12:20 493K 
[ ]nat_6__t31_nat_62025-09-12 12:21 236K 
[ ]nat_6__t32_nat_62025-09-12 11:51 27K 
[ ]nat_6__t33_nat_62025-09-12 12:22 40K 
[ ]nat_6__t34_nat_62025-09-12 11:52 26K 
[ ]nat_6__t35_nat_62025-09-12 12:23 44K 
[ ]nat_6__t36_nat_62025-09-12 12:24 47K 
[ ]nat_6__t37_nat_62025-09-12 12:25 1.0M 
[ ]nat_6__t38_nat_62025-09-12 12:27 1.6M 
[ ]nat_6__t39_nat_62025-09-12 12:28 1.7M 
[ ]nat_6__t40_nat_62025-09-12 12:30 526K 
[ ]nat_6__t41_nat_62025-09-12 12:32 647K 
[ ]nat_6__t42_nat_62025-09-12 12:39 6.1M 
[ ]nat_6__t43_nat_62025-09-12 12:41 630K 
[ ]nat_6__t44_nat_62025-09-12 11:53 29K 
[ ]nat_6__t45_nat_62025-09-12 11:53 29K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80