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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]nat_4__l14_nat_42024-07-26 19:03 38K 
[ ]nat_4__l14_nat_4.vout2024-08-03 09:53 2.0K 
[ ]nat_4__l27_nat_42024-07-26 19:04 41K 
[ ]nat_4__l27_nat_4.vout2024-08-03 08:29 7.8K 
[ ]nat_4__l28_nat_42024-07-26 19:06 40K 
[ ]nat_4__l28_nat_4.depv12024-08-03 10:19 383  
[ ]nat_4__l28_nat_4.depvmin12024-08-03 10:24 248  
[ ]nat_4__l28_nat_4.vmin12024-08-03 10:19 2.7K 
[ ]nat_4__l28_nat_4.vmin1out2024-08-03 10:20 21K 
[ ]nat_4__l28_nat_4.vout2024-08-03 07:54 27K 
[ ]nat_4__l32_nat_42024-07-26 19:07 88K 
[ ]nat_4__l32_nat_4.depv12024-08-03 10:19 1.0K 
[ ]nat_4__l32_nat_4.depvmin12024-08-03 10:24 1.0K 
[ ]nat_4__l32_nat_4.vmin12024-08-03 10:19 4.1K 
[ ]nat_4__l32_nat_4.vmin1out2024-08-03 10:23 83K 
[ ]nat_4__l32_nat_4.vout2024-08-03 08:59 40K 
[ ]nat_4__l35_nat_42024-07-26 19:09 126K 
[ ]nat_4__l35_nat_4.vout2024-08-03 09:18 7.8K 
[ ]nat_4__l36_nat_42024-07-26 19:11 52K 
[ ]nat_4__l36_nat_4.depv12024-08-03 10:19 389  
[ ]nat_4__l36_nat_4.depvmin12024-08-03 10:24 253  
[ ]nat_4__l36_nat_4.vmin12024-08-03 10:19 2.9K 
[ ]nat_4__l36_nat_4.vmin1out2024-08-03 10:20 24K 
[ ]nat_4__l36_nat_4.vout2024-08-03 05:10 30K 
[ ]nat_4__l47_nat_42024-07-26 19:12 83K 
[ ]nat_4__l47_nat_4.vout2024-08-03 07:47 2.0K 
[ ]nat_4__l57_nat_42024-07-26 19:15 192K 
[ ]nat_4__l57_nat_4.vout2024-08-03 08:20 3.6K 
[ ]nat_4__l58_nat_42024-07-26 19:17 220K 
[ ]nat_4__l58_nat_4.vout2024-08-03 08:53 3.6K 
[ ]nat_4__l66_nat_42024-07-26 19:19 179K 
[ ]nat_4__l66_nat_4.vout2024-08-03 04:14 7.3K 
[ ]nat_4__l67_nat_42024-07-26 19:21 191K 
[ ]nat_4__l67_nat_4.vout2024-08-03 09:03 3.6K 
[ ]nat_4__t1_nat_42024-07-26 17:19 35K 
[ ]nat_4__t1_nat_4.vout2024-08-03 07:25 2.0K 
[ ]nat_4__t2_nat_42024-07-26 17:20 35K 
[ ]nat_4__t2_nat_4.depv12024-08-03 10:19 236  
[ ]nat_4__t2_nat_4.depvmin12024-08-03 10:24 189  
[ ]nat_4__t2_nat_4.vmin12024-08-03 10:19 2.0K 
[ ]nat_4__t2_nat_4.vmin1out2024-08-03 10:23 14K 
[ ]nat_4__t2_nat_4.vout2024-08-03 06:44 31K 
[ ]nat_4__t3_nat_42024-07-26 17:22 53K 
[ ]nat_4__t3_nat_4.vout2024-08-03 04:47 2.0K 
[ ]nat_4__t4_nat_42024-07-26 17:24 240K 
[ ]nat_4__t4_nat_4.vout2024-08-03 04:27 4.6K 
[ ]nat_4__t5_nat_42024-07-26 17:26 137K 
[ ]nat_4__t5_nat_4.vout2024-08-03 07:26 3.6K 
[ ]nat_4__t6_nat_42024-07-26 17:28 61K 
[ ]nat_4__t6_nat_4.vout2024-08-03 06:44 7.2K 
[ ]nat_4__t7_nat_42024-07-26 17:29 33K 
[ ]nat_4__t7_nat_4.depv12024-08-03 10:19 494  
[ ]nat_4__t7_nat_4.depvmin12024-08-03 10:24 155  
[ ]nat_4__t7_nat_4.vmin12024-08-03 10:19 3.7K 
[ ]nat_4__t7_nat_4.vmin1out2024-08-03 10:20 13K 
[ ]nat_4__t7_nat_4.vout2024-08-03 08:32 37K 
[ ]nat_4__t8_nat_42024-07-26 17:31 42K 
[ ]nat_4__t8_nat_4.vout2024-08-03 06:58 7.2K 
[ ]nat_4__t9_nat_42024-07-26 17:32 57K 
[ ]nat_4__t9_nat_4.vout2024-08-03 07:14 6.7K 
[ ]nat_4__t10_nat_42024-07-26 17:34 44K 
[ ]nat_4__t10_nat_4.depv12024-08-03 10:19 115  
[ ]nat_4__t10_nat_4.depvmin12024-08-03 10:24 74  
[ ]nat_4__t10_nat_4.vmin12024-08-03 10:19 1.1K 
[ ]nat_4__t10_nat_4.vmin1out2024-08-03 10:20 15K 
[ ]nat_4__t10_nat_4.vout2024-08-03 08:08 15K 
[ ]nat_4__t11_nat_42024-07-26 17:35 49K 
[ ]nat_4__t11_nat_4.vout2024-08-03 06:21 2.0K 
[ ]nat_4__t12_nat_42024-07-26 17:37 34K 
[ ]nat_4__t12_nat_4.depv12024-08-03 10:19 406  
[ ]nat_4__t12_nat_4.depvmin12024-08-03 10:24 341  
[ ]nat_4__t12_nat_4.vmin12024-08-03 10:19 3.3K 
[ ]nat_4__t12_nat_4.vmin1out2024-08-03 10:22 36K 
[ ]nat_4__t12_nat_4.vout2024-08-03 10:11 39K 
[ ]nat_4__t13_nat_42024-07-26 17:38 40K 
[ ]nat_4__t13_nat_4.vout2024-08-03 08:03 2.0K 
[ ]nat_4__t14_nat_42024-07-26 17:40 36K 
[ ]nat_4__t14_nat_4.depv12024-08-03 10:19 33  
[ ]nat_4__t14_nat_4.depvmin12024-08-03 10:24 20  
[ ]nat_4__t14_nat_4.vmin12024-08-03 10:19 845  
[ ]nat_4__t14_nat_4.vmin1out2024-08-03 10:23 17K 
[ ]nat_4__t14_nat_4.vout2024-08-03 05:18 20K 
[ ]nat_4__t15_nat_42024-07-26 17:41 55K 
[ ]nat_4__t15_nat_4.vout2024-08-03 08:06 7.3K 
[ ]nat_4__t16_nat_42024-07-26 17:43 49K 
[ ]nat_4__t16_nat_4.depv12024-08-03 10:19 460  
[ ]nat_4__t16_nat_4.depvmin12024-08-03 10:24 425  
[ ]nat_4__t16_nat_4.vmin12024-08-03 10:19 3.7K 
[ ]nat_4__t16_nat_4.vmin1out2024-08-03 10:22 36K 
[ ]nat_4__t16_nat_4.vout2024-08-03 09:38 37K 
[ ]nat_4__t17_nat_42024-07-26 17:45 66K 
[ ]nat_4__t17_nat_4.vout2024-08-03 04:43 4.7K 
[ ]nat_4__t18_nat_42024-07-26 17:46 55K 
[ ]nat_4__t18_nat_4.vout2024-08-03 07:41 7.2K 
[ ]nat_4__t19_nat_42024-07-26 17:48 52K 
[ ]nat_4__t19_nat_4.vout2024-08-03 07:23 6.7K 
[ ]nat_4__t20_nat_42024-07-26 17:51 84K 
[ ]nat_4__t20_nat_4.vout2024-08-03 06:47 6.7K 
[ ]nat_4__t21_nat_42024-07-26 17:52 42K 
[ ]nat_4__t21_nat_4.vout2024-08-03 05:20 7.3K 
[ ]nat_4__t22_nat_42024-07-26 17:54 47K 
[ ]nat_4__t22_nat_4.depv12024-08-03 10:19 232  
[ ]nat_4__t22_nat_4.depvmin12024-08-03 10:24 184  
[ ]nat_4__t22_nat_4.vmin12024-08-03 10:19 2.2K 
[ ]nat_4__t22_nat_4.vmin1out2024-08-03 10:22 24K 
[ ]nat_4__t22_nat_4.vout2024-08-03 07:11 25K 
[ ]nat_4__t23_nat_42024-07-26 17:56 76K 
[ ]nat_4__t23_nat_4.vout2024-08-03 08:55 7.2K 
[ ]nat_4__t24_nat_42024-07-26 17:58 82K 
[ ]nat_4__t24_nat_4.vout2024-08-03 08:30 6.7K 
[ ]nat_4__t25_nat_42024-07-26 18:00 66K 
[ ]nat_4__t25_nat_4.depv12024-08-03 10:19 68  
[ ]nat_4__t25_nat_4.depvmin12024-08-03 10:24 68  
[ ]nat_4__t25_nat_4.vmin12024-08-03 10:19 1.6K 
[ ]nat_4__t25_nat_4.vmin1out2024-08-03 10:22 35K 
[ ]nat_4__t25_nat_4.vout2024-08-03 06:19 39K 
[ ]nat_4__t26_nat_42024-07-26 18:01 46K 
[ ]nat_4__t26_nat_4.depv12024-08-03 10:19 369  
[ ]nat_4__t26_nat_4.depvmin12024-08-03 10:24 369  
[ ]nat_4__t26_nat_4.vmin12024-08-03 10:19 2.3K 
[ ]nat_4__t26_nat_4.vmin1out2024-08-03 10:23 30K 
[ ]nat_4__t26_nat_4.vout2024-08-03 07:52 32K 
[ ]nat_4__t27_nat_42024-07-26 18:03 49K 
[ ]nat_4__t27_nat_4.vout2024-08-03 07:35 8.3K 
[ ]nat_4__t28_nat_42024-07-26 18:04 50K 
[ ]nat_4__t28_nat_4.depv12024-08-03 10:19 463  
[ ]nat_4__t28_nat_4.depvmin12024-08-03 10:24 449  
[ ]nat_4__t28_nat_4.vmin12024-08-03 10:19 2.6K 
[ ]nat_4__t28_nat_4.vmin1out2024-08-03 10:23 31K 
[ ]nat_4__t28_nat_4.vout2024-08-03 04:11 33K 
[ ]nat_4__t29_nat_42024-07-26 18:06 49K 
[ ]nat_4__t29_nat_4.depv12024-08-03 10:19 512  
[ ]nat_4__t29_nat_4.depvmin12024-08-03 10:24 512  
[ ]nat_4__t29_nat_4.vmin12024-08-03 10:19 2.9K 
[ ]nat_4__t29_nat_4.vmin1out2024-08-03 10:20 35K 
[ ]nat_4__t29_nat_4.vout2024-08-03 04:11 36K 
[ ]nat_4__t30_nat_42024-07-26 18:07 51K 
[ ]nat_4__t30_nat_4.vout2024-08-03 09:03 8.3K 
[ ]nat_4__t31_nat_42024-07-26 18:09 88K 
[ ]nat_4__t31_nat_4.vout2024-08-03 06:37 8.3K 
[ ]nat_4__t32_nat_42024-07-26 18:11 113K 
[ ]nat_4__t32_nat_4.vout2024-08-03 10:17 8.3K 
[ ]nat_4__t33_nat_42024-07-26 18:13 112K 
[ ]nat_4__t33_nat_4.vout2024-08-03 07:14 8.3K 
[ ]nat_4__t34_nat_42024-07-26 18:14 114K 
[ ]nat_4__t34_nat_4.vout2024-08-03 07:10 8.3K 
[ ]nat_4__t35_nat_42024-07-26 18:16 110K 
[ ]nat_4__t35_nat_4.vout2024-08-03 08:11 8.3K 
[ ]nat_4__t36_nat_42024-07-26 18:18 99K 
[ ]nat_4__t36_nat_4.vout2024-08-03 10:15 8.3K 
[ ]nat_4__t37_nat_42024-07-26 18:20 99K 
[ ]nat_4__t37_nat_4.vout2024-08-03 05:31 8.3K 
[ ]nat_4__t38_nat_42024-07-26 18:23 310K 
[ ]nat_4__t38_nat_4.vout2024-08-03 07:58 9.9K 
[ ]nat_4__t39_nat_42024-07-26 18:25 346K 
[ ]nat_4__t39_nat_4.vout2024-08-03 06:07 9.9K 
[ ]nat_4__t40_nat_42024-07-26 18:29 322K 
[ ]nat_4__t40_nat_4.vout2024-08-03 10:13 8.3K 
[ ]nat_4__t42_nat_42024-07-26 18:30 81K 
[ ]nat_4__t42_nat_4.vout2024-08-03 09:40 7.8K 
[ ]nat_4__t43_nat_42024-07-26 18:33 91K 
[ ]nat_4__t43_nat_4.vout2024-08-03 09:19 7.2K 
[ ]nat_4__t44_nat_42024-07-26 18:35 102K 
[ ]nat_4__t44_nat_4.vout2024-08-03 06:48 6.7K 
[ ]nat_4__t45_nat_42024-07-26 18:59 638K 
[ ]nat_4__t45_nat_4.vout2024-08-03 08:43 3.6K 
[ ]nat_4__t46_nat_42024-07-26 19:01 84K 
[ ]nat_4__t46_nat_4.vout2024-08-03 09:56 6.8K 
[ ]nat_4__t47_nat_42024-07-26 18:37 95K 
[ ]nat_4__t47_nat_4.vout2024-08-03 06:00 3.6K 
[ ]nat_4__t48_nat_42024-07-26 18:40 116K 
[ ]nat_4__t48_nat_4.vout2024-08-03 06:41 3.6K 
[ ]nat_4__t49_nat_42024-07-26 18:42 212K 
[ ]nat_4__t49_nat_4.vout2024-08-03 09:53 4.2K 
[ ]nat_4__t50_nat_42024-07-26 18:44 45K 
[ ]nat_4__t50_nat_4.depv12024-08-03 10:19 207  
[ ]nat_4__t50_nat_4.depvmin12024-08-03 10:24 134  
[ ]nat_4__t50_nat_4.vmin12024-08-03 10:19 1.8K 
[ ]nat_4__t50_nat_4.vmin1out2024-08-03 10:21 18K 
[ ]nat_4__t50_nat_4.vout2024-08-03 04:43 23K 
[ ]nat_4__t51_nat_42024-07-26 18:46 67K 
[ ]nat_4__t51_nat_4.vout2024-08-03 08:55 4.1K 
[ ]nat_4__t52_nat_42024-07-26 18:48 54K 
[ ]nat_4__t52_nat_4.vout2024-08-03 07:10 4.7K 
[ ]nat_4__t53_nat_42024-07-26 18:50 83K 
[ ]nat_4__t53_nat_4.vout2024-08-03 04:44 7.3K 
[ ]nat_4__t54_nat_42024-07-26 18:52 87K 
[ ]nat_4__t54_nat_4.vout2024-08-03 04:47 7.8K 
[ ]nat_4__t55_nat_42024-07-26 18:53 64K 
[ ]nat_4__t55_nat_4.vout2024-08-03 06:24 2.0K 
[ ]nat_4__t56_nat_42024-07-26 18:56 435K 
[ ]nat_4__t56_nat_4.vout2024-08-03 09:02 4.2K 
[ ]nat_4__t57_nat_42024-07-26 17:11 34K 
[ ]nat_4__t57_nat_4.depv12024-08-03 10:19 20  
[ ]nat_4__t57_nat_4.depvmin12024-08-03 10:24 20  
[ ]nat_4__t57_nat_4.vmin12024-08-03 10:19 685  
[ ]nat_4__t57_nat_4.vmin1out2024-08-03 10:20 5.3K 
[ ]nat_4__t57_nat_4.vout2024-08-03 04:21 5.5K 
[ ]nat_4__t58_nat_42024-07-26 17:12 34K 
[ ]nat_4__t58_nat_4.depv12024-08-03 10:19 20  
[ ]nat_4__t58_nat_4.depvmin12024-08-03 10:24 20  
[ ]nat_4__t58_nat_4.vmin12024-08-03 10:19 663  
[ ]nat_4__t58_nat_4.vmin1out2024-08-03 10:20 4.8K 
[ ]nat_4__t58_nat_4.vout2024-08-03 09:01 5.0K 
[ ]nat_4__t59_nat_42024-07-26 17:14 34K 
[ ]nat_4__t59_nat_4.depv12024-08-03 10:19 20  
[ ]nat_4__t59_nat_4.depvmin12024-08-03 10:24 20  
[ ]nat_4__t59_nat_4.vmin12024-08-03 10:19 281  
[ ]nat_4__t59_nat_4.vmin1out2024-08-03 10:20 3.9K 
[ ]nat_4__t59_nat_4.vout2024-08-03 07:03 4.0K 
[ ]nat_4__t60_nat_42024-07-26 17:15 36K 
[ ]nat_4__t60_nat_4.depv12024-08-03 10:19 20  
[ ]nat_4__t60_nat_4.depvmin12024-08-03 10:24 20  
[ ]nat_4__t60_nat_4.vmin12024-08-03 10:19 433  
[ ]nat_4__t60_nat_4.vmin1out2024-08-03 10:22 7.2K 
[ ]nat_4__t60_nat_4.vout2024-08-03 07:28 7.4K 
[ ]nat_4__t61_nat_42024-07-26 17:16 42K 
[ ]nat_4__t61_nat_4.depv12024-08-03 10:19 20  
[ ]nat_4__t61_nat_4.depvmin12024-08-03 10:24 20  
[ ]nat_4__t61_nat_4.vmin12024-08-03 10:19 517  
[ ]nat_4__t61_nat_4.vmin1out2024-08-03 10:21 6.5K 
[ ]nat_4__t61_nat_4.vout2024-08-03 09:31 6.6K 
[ ]nat_4__t62_nat_42024-07-26 17:18 46K 
[ ]nat_4__t62_nat_4.depv12024-08-03 10:19 20  
[ ]nat_4__t62_nat_4.depvmin12024-08-03 10:24 20  
[ ]nat_4__t62_nat_4.vmin12024-08-03 10:19 669  
[ ]nat_4__t62_nat_4.vmin1out2024-08-03 10:20 13K 
[ ]nat_4__t62_nat_4.vout2024-08-03 09:55 13K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80