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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]nat_6__l1_nat_62024-07-27 07:11 137K 
[ ]nat_6__l1_nat_6.vout2024-08-03 09:00 2.0K 
[ ]nat_6__l2_nat_62024-07-27 07:12 137K 
[ ]nat_6__l2_nat_6.vout2024-08-03 07:25 2.1K 
[ ]nat_6__l8_nat_62024-07-27 07:13 14K 
[ ]nat_6__l8_nat_6.depv12024-08-03 10:19 49  
[ ]nat_6__l8_nat_6.depvmin12024-08-03 10:24 49  
[ ]nat_6__l8_nat_6.vmin12024-08-03 10:20 579  
[ ]nat_6__l8_nat_6.vmin1out2024-08-03 10:22 11K 
[ ]nat_6__l8_nat_6.vout2024-08-03 05:37 11K 
[ ]nat_6__l35_nat_62024-07-27 07:14 87K 
[ ]nat_6__l35_nat_6.vout2024-08-03 10:18 7.2K 
[ ]nat_6__l41_nat_62024-07-27 07:14 19K 
[ ]nat_6__l41_nat_6.depv12024-08-03 10:19 134  
[ ]nat_6__l41_nat_6.depvmin12024-08-03 10:24 134  
[ ]nat_6__l41_nat_6.vmin12024-08-03 10:20 608  
[ ]nat_6__l41_nat_6.vmin1out2024-08-03 10:20 4.4K 
[ ]nat_6__l41_nat_6.vout2024-08-03 08:28 3.8K 
[ ]nat_6__l42_nat_62024-07-27 07:15 23K 
[ ]nat_6__l42_nat_6.depv12024-08-03 10:19 304  
[ ]nat_6__l42_nat_6.depvmin12024-08-03 10:24 205  
[ ]nat_6__l42_nat_6.vmin12024-08-03 10:20 1.7K 
[ ]nat_6__l42_nat_6.vmin1out2024-08-03 10:22 13K 
[ ]nat_6__l42_nat_6.vout2024-08-03 04:20 18K 
[ ]nat_6__l43_nat_62024-07-27 07:16 27K 
[ ]nat_6__l43_nat_6.vout2024-08-03 09:12 11K 
[ ]nat_6__l56_nat_62024-07-27 07:18 1.8M 
[ ]nat_6__l56_nat_6.vout2024-08-03 06:33 2.0K 
[ ]nat_6__t1_nat_62024-07-27 06:25 21K 
[ ]nat_6__t1_nat_6.depv12024-08-03 10:19 197  
[ ]nat_6__t1_nat_6.depvmin12024-08-03 10:24 173  
[ ]nat_6__t1_nat_6.vmin12024-08-03 10:20 1.8K 
[ ]nat_6__t1_nat_6.vmin1out2024-08-03 10:22 29K 
[ ]nat_6__t1_nat_6.vout2024-08-03 06:46 23K 
[ ]nat_6__t2_nat_62024-07-27 06:25 32K 
[ ]nat_6__t2_nat_6.vout2024-08-03 09:17 2.0K 
[ ]nat_6__t3_nat_62024-07-27 06:26 42K 
[ ]nat_6__t3_nat_6.vout2024-08-03 09:08 7.2K 
[ ]nat_6__t4_nat_62024-07-27 06:27 26K 
[ ]nat_6__t4_nat_6.vout2024-08-03 08:02 7.2K 
[ ]nat_6__t5_nat_62024-07-27 06:28 122K 
[ ]nat_6__t5_nat_6.vout2024-08-03 07:41 7.2K 
[ ]nat_6__t6_nat_62024-07-27 06:29 21K 
[ ]nat_6__t6_nat_6.depv12024-08-03 10:19 320  
[ ]nat_6__t6_nat_6.depvmin12024-08-03 10:24 240  
[ ]nat_6__t6_nat_6.vmin12024-08-03 10:20 2.6K 
[ ]nat_6__t6_nat_6.vmin1out2024-08-03 10:22 29K 
[ ]nat_6__t6_nat_6.vout2024-08-03 05:25 35K 
[ ]nat_6__t7_nat_62024-07-27 06:30 16K 
[ ]nat_6__t7_nat_6.depv12024-08-03 10:19 47  
[ ]nat_6__t7_nat_6.depvmin12024-08-03 10:24 47  
[ ]nat_6__t7_nat_6.vmin12024-08-03 10:20 771  
[ ]nat_6__t7_nat_6.vmin1out2024-08-03 10:23 7.7K 
[ ]nat_6__t7_nat_6.vout2024-08-03 09:07 11K 
[ ]nat_6__t8_nat_62024-07-27 06:31 42K 
[ ]nat_6__t8_nat_6.vout2024-08-03 09:34 4.7K 
[ ]nat_6__t9_nat_62024-07-27 06:32 33K 
[ ]nat_6__t9_nat_6.vout2024-08-03 05:53 7.2K 
[ ]nat_6__t10_nat_62024-07-27 06:33 34K 
[ ]nat_6__t10_nat_6.vout2024-08-03 05:23 2.0K 
[ ]nat_6__t11_nat_62024-07-27 06:34 34K 
[ ]nat_6__t11_nat_6.vout2024-08-03 05:54 7.2K 
[ ]nat_6__t13_nat_62024-07-27 06:34 22K 
[ ]nat_6__t13_nat_6.vout2024-08-03 07:44 2.0K 
[ ]nat_6__t14_nat_62024-07-27 06:35 32K 
[ ]nat_6__t14_nat_6.depv12024-08-03 10:19 30  
[ ]nat_6__t14_nat_6.depvmin12024-08-03 10:24 30  
[ ]nat_6__t14_nat_6.vmin12024-08-03 10:20 546  
[ ]nat_6__t14_nat_6.vmin1out2024-08-03 10:22 11K 
[ ]nat_6__t14_nat_6.vout2024-08-03 09:36 11K 
[ ]nat_6__t15_nat_62024-07-27 06:36 514K 
[ ]nat_6__t15_nat_6.vout2024-08-03 07:01 2.0K 
[ ]nat_6__t16_nat_62024-07-27 06:38 30K 
[ ]nat_6__t16_nat_6.vout2024-08-03 09:20 4.7K 
[ ]nat_6__t17_nat_62024-07-27 06:40 41K 
[ ]nat_6__t17_nat_6.vout2024-08-03 05:00 4.7K 
[ ]nat_6__t18_nat_62024-07-27 06:41 66K 
[ ]nat_6__t18_nat_6.vout2024-08-03 09:30 7.2K 
[ ]nat_6__t19_nat_62024-07-27 06:42 262K 
[ ]nat_6__t19_nat_6.vout2024-08-03 05:11 7.8K 
[ ]nat_6__t20_nat_62024-07-27 06:43 262K 
[ ]nat_6__t20_nat_6.vout2024-08-03 04:57 4.7K 
[ ]nat_6__t22_nat_62024-07-27 06:44 45K 
[ ]nat_6__t22_nat_6.vout2024-08-03 09:17 7.2K 
[ ]nat_6__t23_nat_62024-07-27 06:45 331K 
[ ]nat_6__t23_nat_6.vout2024-08-03 10:17 8.3K 
[ ]nat_6__t24_nat_62024-07-27 06:46 26K 
[ ]nat_6__t24_nat_6.depv12024-08-03 10:19 107  
[ ]nat_6__t24_nat_6.depvmin12024-08-03 10:24 107  
[ ]nat_6__t24_nat_6.vmin12024-08-03 10:20 1.2K 
[ ]nat_6__t24_nat_6.vmin1out2024-08-03 10:22 18K 
[ ]nat_6__t24_nat_6.vout2024-08-03 04:42 18K 
[ ]nat_6__t25_nat_62024-07-27 06:46 68K 
[ ]nat_6__t25_nat_6.depv12024-08-03 10:19 359  
[ ]nat_6__t25_nat_6.depvmin12024-08-03 10:24 158  
[ ]nat_6__t25_nat_6.vmin12024-08-03 10:20 2.5K 
[ ]nat_6__t25_nat_6.vmin1out2024-08-03 10:21 32K 
[ ]nat_6__t25_nat_6.vout2024-08-03 09:02 41K 
[ ]nat_6__t26_nat_62024-07-27 06:21 22K 
[ ]nat_6__t26_nat_6.depv12024-08-03 10:19 84  
[ ]nat_6__t26_nat_6.depvmin12024-08-03 10:24 84  
[ ]nat_6__t26_nat_6.vmin12024-08-03 10:20 945  
[ ]nat_6__t26_nat_6.vmin1out2024-08-03 10:20 8.4K 
[ ]nat_6__t26_nat_6.vout2024-08-03 10:07 9.1K 
[ ]nat_6__t27_nat_62024-07-27 06:47 142K 
[ ]nat_6__t27_nat_6.vout2024-08-03 09:22 7.2K 
[ ]nat_6__t28_nat_62024-07-27 06:48 42K 
[ ]nat_6__t28_nat_6.depv12024-08-03 10:19 98  
[ ]nat_6__t28_nat_6.depvmin12024-08-03 10:24 78  
[ ]nat_6__t28_nat_6.vmin12024-08-03 10:20 1.1K 
[ ]nat_6__t28_nat_6.vmin1out2024-08-03 10:21 11K 
[ ]nat_6__t28_nat_6.vout2024-08-03 09:24 12K 
[ ]nat_6__t29_nat_62024-07-27 06:49 23K 
[ ]nat_6__t29_nat_6.vout2024-08-03 08:14 2.0K 
[ ]nat_6__t30_nat_62024-07-27 06:50 261K 
[ ]nat_6__t30_nat_6.vout2024-08-03 06:29 7.2K 
[ ]nat_6__t31_nat_62024-07-27 06:51 127K 
[ ]nat_6__t31_nat_6.vout2024-08-03 05:20 1.0K 
[ ]nat_6__t32_nat_62024-07-27 06:21 17K 
[ ]nat_6__t32_nat_6.depv12024-08-03 10:19 20  
[ ]nat_6__t32_nat_6.depvmin12024-08-03 10:24 20  
[ ]nat_6__t32_nat_6.vmin12024-08-03 10:20 77  
[ ]nat_6__t32_nat_6.vmin1out2024-08-03 10:23 1.1K 
[ ]nat_6__t32_nat_6.vout2024-08-03 09:03 1.1K 
[ ]nat_6__t33_nat_62024-07-27 06:52 25K 
[ ]nat_6__t33_nat_6.vout2024-08-03 05:28 11K 
[ ]nat_6__t34_nat_62024-07-27 06:22 17K 
[ ]nat_6__t34_nat_6.depv12024-08-03 10:19 20  
[ ]nat_6__t34_nat_6.depvmin12024-08-03 10:24 20  
[ ]nat_6__t34_nat_6.vmin12024-08-03 10:20 77  
[ ]nat_6__t34_nat_6.vmin1out2024-08-03 10:20 1.1K 
[ ]nat_6__t34_nat_6.vout2024-08-03 05:31 1.1K 
[ ]nat_6__t35_nat_62024-07-27 06:53 27K 
[ ]nat_6__t35_nat_6.vout2024-08-03 09:27 11K 
[ ]nat_6__t36_nat_62024-07-27 06:54 28K 
[ ]nat_6__t36_nat_6.vout2024-08-03 06:21 11K 
[ ]nat_6__t37_nat_62024-07-27 06:55 514K 
[ ]nat_6__t37_nat_6.vout2024-08-03 04:46 1.1K 
[ ]nat_6__t38_nat_62024-07-27 06:57 846K 
[ ]nat_6__t38_nat_6.vout2024-08-03 08:37 1.1K 
[ ]nat_6__t39_nat_62024-07-27 06:59 912K 
[ ]nat_6__t39_nat_6.vout2024-08-03 04:38 1.1K 
[ ]nat_6__t40_nat_62024-07-27 07:01 282K 
[ ]nat_6__t40_nat_6.vout2024-08-03 04:37 4.7K 
[ ]nat_6__t41_nat_62024-07-27 07:02 346K 
[ ]nat_6__t41_nat_6.vout2024-08-03 04:50 4.7K 
[ ]nat_6__t42_nat_62024-07-27 07:09 3.1M 
[ ]nat_6__t42_nat_6.vout2024-08-03 09:12 1.1K 
[ ]nat_6__t43_nat_62024-07-27 07:10 335K 
[ ]nat_6__t43_nat_6.vout2024-08-03 07:26 7.3K 
[ ]nat_6__t44_nat_62024-07-27 06:23 19K 
[ ]nat_6__t44_nat_6.depv12024-08-03 10:19 20  
[ ]nat_6__t44_nat_6.depvmin12024-08-03 10:24 20  
[ ]nat_6__t44_nat_6.vmin12024-08-03 10:20 142  
[ ]nat_6__t44_nat_6.vmin1out2024-08-03 10:23 1.3K 
[ ]nat_6__t44_nat_6.vout2024-08-03 05:19 1.2K 
[ ]nat_6__t45_nat_62024-07-27 06:24 19K 
[ ]nat_6__t45_nat_6.depv12024-08-03 10:19 20  
[ ]nat_6__t45_nat_6.depvmin12024-08-03 10:24 20  
[ ]nat_6__t45_nat_6.vmin12024-08-03 10:20 141  
[ ]nat_6__t45_nat_6.vmin1out2024-08-03 10:20 1.3K 
[ ]nat_6__t45_nat_6.vout2024-08-03 09:45 1.2K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80