Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/nat_3

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]nat_3__t1_nat_32024-07-28 15:29 34K 
[ ]nat_3__t1_nat_3.vout2024-08-03 05:45 7.2K 
[ ]nat_3__t2_nat_32024-07-28 15:30 55K 
[ ]nat_3__t2_nat_3.vout2024-08-03 07:12 2.0K 
[ ]nat_3__t3_nat_32024-07-28 15:31 43K 
[ ]nat_3__t3_nat_3.vout2024-08-03 06:35 7.2K 
[ ]nat_3__t4_nat_32024-07-28 15:33 43K 
[ ]nat_3__t4_nat_3.depv12024-08-03 10:19 106  
[ ]nat_3__t4_nat_3.depvmin12024-08-03 10:24 106  
[ ]nat_3__t4_nat_3.vmin12024-08-03 10:19 1.3K 
[ ]nat_3__t4_nat_3.vmin1out2024-08-03 10:21 14K 
[ ]nat_3__t4_nat_3.vout2024-08-03 05:42 17K 
[ ]nat_3__t5_nat_32024-07-28 15:34 57K 
[ ]nat_3__t5_nat_3.vout2024-08-03 07:35 7.2K 
[ ]nat_3__t6_nat_32024-07-28 15:36 39K 
[ ]nat_3__t6_nat_3.depv12024-08-03 10:19 93  
[ ]nat_3__t6_nat_3.depvmin12024-08-03 10:24 93  
[ ]nat_3__t6_nat_3.vmin12024-08-03 10:19 859  
[ ]nat_3__t6_nat_3.vmin1out2024-08-03 10:22 14K 
[ ]nat_3__t6_nat_3.vout2024-08-03 09:03 15K 
[ ]nat_3__t7_nat_32024-07-28 15:37 67K 
[ ]nat_3__t7_nat_3.vout2024-08-03 07:30 4.7K 
[ ]nat_3__t8_nat_32024-07-28 15:39 71K 
[ ]nat_3__t8_nat_3.vout2024-08-03 06:56 3.6K 
[ ]nat_3__t9_nat_32024-07-28 15:41 58K 
[ ]nat_3__t9_nat_3.vout2024-08-03 05:35 7.8K 
[ ]nat_3__t10_nat_32024-07-28 15:42 46K 
[ ]nat_3__t10_nat_3.depv12024-08-03 10:19 174  
[ ]nat_3__t10_nat_3.depvmin12024-08-03 10:24 174  
[ ]nat_3__t10_nat_3.vmin12024-08-03 10:19 1.5K 
[ ]nat_3__t10_nat_3.vmin1out2024-08-03 10:21 19K 
[ ]nat_3__t10_nat_3.vout2024-08-03 07:32 18K 
[ ]nat_3__t11_nat_32024-07-28 15:44 46K 
[ ]nat_3__t11_nat_3.depv12024-08-03 10:19 281  
[ ]nat_3__t11_nat_3.depvmin12024-08-03 10:24 202  
[ ]nat_3__t11_nat_3.vmin12024-08-03 10:19 2.3K 
[ ]nat_3__t11_nat_3.vmin1out2024-08-03 10:22 17K 
[ ]nat_3__t11_nat_3.vout2024-08-03 07:51 27K 
[ ]nat_3__t12_nat_32024-07-28 15:45 47K 
[ ]nat_3__t12_nat_3.vout2024-08-03 10:04 7.3K 
[ ]nat_3__t13_nat_32024-07-28 15:47 76K 
[ ]nat_3__t13_nat_3.vout2024-08-03 10:04 7.3K 
[ ]nat_3__t14_nat_32024-07-28 15:49 59K 
[ ]nat_3__t14_nat_3.vout2024-08-03 09:35 2.0K 
[ ]nat_3__t15_nat_32024-07-28 15:51 60K 
[ ]nat_3__t15_nat_3.vout2024-08-03 06:28 7.2K 
[ ]nat_3__t16_nat_32024-07-28 15:52 41K 
[ ]nat_3__t16_nat_3.vout2024-08-03 06:58 7.2K 
[ ]nat_3__t17_nat_32024-07-28 15:54 42K 
[ ]nat_3__t17_nat_3.vout2024-08-03 04:31 7.2K 
[ ]nat_3__t18_nat_32024-07-28 15:55 42K 
[ ]nat_3__t18_nat_3.vout2024-08-03 06:50 7.2K 
[ ]nat_3__t19_nat_32024-07-28 15:57 111K 
[ ]nat_3__t19_nat_3.vout2024-08-03 04:41 4.2K 
[ ]nat_3__t20_nat_32024-07-28 15:59 61K 
[ ]nat_3__t20_nat_3.vout2024-08-03 08:09 11K 
[ ]nat_3__t21_nat_32024-07-28 16:00 43K 
[ ]nat_3__t21_nat_3.vout2024-08-03 06:03 7.3K 
[ ]nat_3__t22_nat_32024-07-28 16:02 55K 
[ ]nat_3__t22_nat_3.vout2024-08-03 06:36 7.2K 
[ ]nat_3__t23_nat_32024-07-28 16:03 43K 
[ ]nat_3__t23_nat_3.vout2024-08-03 05:40 7.2K 
[ ]nat_3__t24_nat_32024-07-28 16:05 43K 
[ ]nat_3__t24_nat_3.vout2024-08-03 05:33 7.2K 
[ ]nat_3__t25_nat_32024-07-28 16:06 44K 
[ ]nat_3__t25_nat_3.vout2024-08-03 06:48 4.7K 
[ ]nat_3__t26_nat_32024-07-28 16:07 41K 
[ ]nat_3__t26_nat_3.depv12024-08-03 10:19 112  
[ ]nat_3__t26_nat_3.depvmin12024-08-03 10:24 112  
[ ]nat_3__t26_nat_3.vmin12024-08-03 10:19 1.1K 
[ ]nat_3__t26_nat_3.vmin1out2024-08-03 10:22 13K 
[ ]nat_3__t26_nat_3.vout2024-08-03 10:09 14K 
[ ]nat_3__t27_nat_32024-07-28 16:09 41K 
[ ]nat_3__t27_nat_3.vout2024-08-03 07:03 7.3K 
[ ]nat_3__t28_nat_32024-07-28 16:10 44K 
[ ]nat_3__t28_nat_3.vout2024-08-03 07:12 4.7K 
[ ]nat_3__t29_nat_32024-07-28 16:12 34K 
[ ]nat_3__t29_nat_3.depv12024-08-03 10:19 83  
[ ]nat_3__t29_nat_3.depvmin12024-08-03 10:24 83  
[ ]nat_3__t29_nat_3.vmin12024-08-03 10:19 1.1K 
[ ]nat_3__t29_nat_3.vmin1out2024-08-03 10:23 11K 
[ ]nat_3__t29_nat_3.vout2024-08-03 06:44 11K 
[ ]nat_3__t30_nat_32024-07-28 16:13 45K 
[ ]nat_3__t30_nat_3.vout2024-08-03 10:11 7.3K 
[ ]nat_3__t31_nat_32024-07-28 16:15 56K 
[ ]nat_3__t31_nat_3.vout2024-08-03 06:23 7.2K 
[ ]nat_3__t32_nat_32024-07-28 16:16 42K 
[ ]nat_3__t32_nat_3.vout2024-08-03 06:34 7.2K 
[ ]nat_3__t33_nat_32024-07-28 16:17 36K 
[ ]nat_3__t33_nat_3.depv12024-08-03 10:19 134  
[ ]nat_3__t33_nat_3.depvmin12024-08-03 10:24 134  
[ ]nat_3__t33_nat_3.vmin12024-08-03 10:19 1.2K 
[ ]nat_3__t33_nat_3.vmin1out2024-08-03 10:22 16K 
[ ]nat_3__t33_nat_3.vout2024-08-03 06:12 17K 
[ ]nat_3__t34_nat_32024-07-28 16:19 36K 
[ ]nat_3__t34_nat_3.depv12024-08-03 10:19 79  
[ ]nat_3__t34_nat_3.depvmin12024-08-03 10:24 79  
[ ]nat_3__t34_nat_3.vmin12024-08-03 10:19 846  
[ ]nat_3__t34_nat_3.vmin1out2024-08-03 10:22 7.9K 
[ ]nat_3__t34_nat_3.vout2024-08-03 08:49 11K 
[ ]nat_3__t35_nat_32024-07-28 16:20 40K 
[ ]nat_3__t35_nat_3.vout2024-08-03 09:23 7.8K 
[ ]nat_3__t36_nat_32024-07-28 16:22 41K 
[ ]nat_3__t36_nat_3.depv12024-08-03 10:19 166  
[ ]nat_3__t36_nat_3.depvmin12024-08-03 10:24 166  
[ ]nat_3__t36_nat_3.vmin12024-08-03 10:19 1.8K 
[ ]nat_3__t36_nat_3.vmin1out2024-08-03 10:21 24K 
[ ]nat_3__t36_nat_3.vout2024-08-03 05:27 24K 
[ ]nat_3__t37_nat_32024-07-28 16:23 46K 
[ ]nat_3__t37_nat_3.depv12024-08-03 10:19 191  
[ ]nat_3__t37_nat_3.depvmin12024-08-03 10:24 191  
[ ]nat_3__t37_nat_3.vmin12024-08-03 10:19 1.9K 
[ ]nat_3__t37_nat_3.vmin1out2024-08-03 10:20 24K 
[ ]nat_3__t37_nat_3.vout2024-08-03 05:11 25K 
[ ]nat_3__t38_nat_32024-07-28 16:25 51K 
[ ]nat_3__t38_nat_3.vout2024-08-03 09:52 7.2K 
[ ]nat_3__t39_nat_32024-07-28 16:26 52K 
[ ]nat_3__t39_nat_3.vout2024-08-03 04:41 6.7K 
[ ]nat_3__t40_nat_32024-07-28 16:28 39K 
[ ]nat_3__t40_nat_3.depv12024-08-03 10:19 70  
[ ]nat_3__t40_nat_3.depvmin12024-08-03 10:24 70  
[ ]nat_3__t40_nat_3.vmin12024-08-03 10:19 1.2K 
[ ]nat_3__t40_nat_3.vmin1out2024-08-03 10:22 16K 
[ ]nat_3__t40_nat_3.vout2024-08-03 06:10 16K 
[ ]nat_3__t41_nat_32024-07-28 16:29 37K 
[ ]nat_3__t41_nat_3.depv12024-08-03 10:19 85  
[ ]nat_3__t41_nat_3.depvmin12024-08-03 10:24 85  
[ ]nat_3__t41_nat_3.vmin12024-08-03 10:19 661  
[ ]nat_3__t41_nat_3.vmin1out2024-08-03 10:20 5.1K 
[ ]nat_3__t41_nat_3.vout2024-08-03 05:37 5.2K 
[ ]nat_3__t42_nat_32024-07-28 16:31 51K 
[ ]nat_3__t42_nat_3.vout2024-08-03 08:44 7.2K 
[ ]nat_3__t43_nat_32024-07-28 16:32 37K 
[ ]nat_3__t43_nat_3.depv12024-08-03 10:19 158  
[ ]nat_3__t43_nat_3.depvmin12024-08-03 10:24 158  
[ ]nat_3__t43_nat_3.vmin12024-08-03 10:19 1.0K 
[ ]nat_3__t43_nat_3.vmin1out2024-08-03 10:21 8.0K 
[ ]nat_3__t43_nat_3.vout2024-08-03 09:52 7.9K 
[ ]nat_3__t44_nat_32024-07-28 16:33 57K 
[ ]nat_3__t44_nat_3.vout2024-08-03 08:18 7.2K 
[ ]nat_3__t45_nat_32024-07-28 16:35 53K 
[ ]nat_3__t45_nat_3.vout2024-08-03 05:11 7.3K 
[ ]nat_3__t46_nat_32024-07-28 16:37 54K 
[ ]nat_3__t46_nat_3.vout2024-08-03 07:32 7.2K 
[ ]nat_3__t47_nat_32024-07-28 16:38 49K 
[ ]nat_3__t47_nat_3.vout2024-08-03 06:42 2.0K 
[ ]nat_3__t48_nat_32024-07-28 16:40 51K 
[ ]nat_3__t48_nat_3.vout2024-08-03 05:45 7.3K 
[ ]nat_3__t49_nat_32024-07-28 16:41 45K 
[ ]nat_3__t49_nat_3.vout2024-08-03 04:27 4.7K 
[ ]nat_3__t50_nat_32024-07-28 16:43 46K 
[ ]nat_3__t50_nat_3.vout2024-08-03 04:21 4.7K 
[ ]nat_3__t51_nat_32024-07-28 16:44 43K 
[ ]nat_3__t51_nat_3.vout2024-08-03 06:19 4.7K 
[ ]nat_3__t52_nat_32024-07-28 16:45 64K 
[ ]nat_3__t52_nat_3.vout2024-08-03 08:04 4.7K 
[ ]nat_3__t53_nat_32024-07-28 16:47 57K 
[ ]nat_3__t53_nat_3.vout2024-08-03 05:43 4.7K 
[ ]nat_3__t54_nat_32024-07-28 16:49 58K 
[ ]nat_3__t54_nat_3.vout2024-08-03 09:18 4.7K 
[ ]nat_3__t55_nat_32024-07-28 16:50 40K 
[ ]nat_3__t55_nat_3.depv12024-08-03 10:19 151  
[ ]nat_3__t55_nat_3.depvmin12024-08-03 10:24 151  
[ ]nat_3__t55_nat_3.vmin12024-08-03 10:19 2.3K 
[ ]nat_3__t55_nat_3.vmin1out2024-08-03 10:22 34K 
[ ]nat_3__t55_nat_3.vout2024-08-03 06:39 34K 
[ ]nat_3__t56_nat_32024-07-28 16:52 40K 
[ ]nat_3__t56_nat_3.depv12024-08-03 10:19 174  
[ ]nat_3__t56_nat_3.depvmin12024-08-03 10:24 174  
[ ]nat_3__t56_nat_3.vmin12024-08-03 10:19 2.4K 
[ ]nat_3__t56_nat_3.vmin1out2024-08-03 10:23 37K 
[ ]nat_3__t56_nat_3.vout2024-08-03 08:49 38K 
[ ]nat_3__t57_nat_32024-07-28 16:53 39K 
[ ]nat_3__t57_nat_3.depv12024-08-03 10:19 127  
[ ]nat_3__t57_nat_3.depvmin12024-08-03 10:24 127  
[ ]nat_3__t57_nat_3.vmin12024-08-03 10:19 2.2K 
[ ]nat_3__t57_nat_3.vmin1out2024-08-03 10:20 27K 
[ ]nat_3__t57_nat_3.vout2024-08-03 06:36 27K 
[ ]nat_3__t58_nat_32024-07-28 16:55 58K 
[ ]nat_3__t58_nat_3.vout2024-08-03 09:22 4.7K 
[ ]nat_3__t59_nat_32024-07-28 16:56 39K 
[ ]nat_3__t59_nat_3.depv12024-08-03 10:19 140  
[ ]nat_3__t59_nat_3.depvmin12024-08-03 10:24 140  
[ ]nat_3__t59_nat_3.vmin12024-08-03 10:19 1.5K 
[ ]nat_3__t59_nat_3.vmin1out2024-08-03 10:23 17K 
[ ]nat_3__t59_nat_3.vout2024-08-03 08:43 18K 
[ ]nat_3__t60_nat_32024-07-28 16:58 53K 
[ ]nat_3__t60_nat_3.vout2024-08-03 05:55 4.7K 
[ ]nat_3__t61_nat_32024-07-28 17:01 108K 
[ ]nat_3__t61_nat_3.vout2024-08-03 04:50 3.6K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80