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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]nat_1__l49_nat_12024-07-28 22:31 16K 
[ ]nat_1__l49_nat_1.vout2024-08-03 04:54 7.2K 
[ ]nat_1__t1_nat_12024-07-28 21:58 12K 
[ ]nat_1__t1_nat_1.depv12024-08-03 10:19 114  
[ ]nat_1__t1_nat_1.depvmin12024-08-03 10:24 114  
[ ]nat_1__t1_nat_1.vmin12024-08-03 10:20 966  
[ ]nat_1__t1_nat_1.vmin1out2024-08-03 10:23 14K 
[ ]nat_1__t1_nat_1.vout2024-08-03 08:37 14K 
[ ]nat_1__t2_nat_12024-07-28 21:59 11K 
[ ]nat_1__t2_nat_1.depv12024-08-03 10:19 391  
[ ]nat_1__t2_nat_1.depvmin12024-08-03 10:24 317  
[ ]nat_1__t2_nat_1.vmin12024-08-03 10:20 3.0K 
[ ]nat_1__t2_nat_1.vmin1out2024-08-03 10:20 24K 
[ ]nat_1__t2_nat_1.vout2024-08-03 05:53 50K 
[ ]nat_1__t3_nat_12024-07-28 21:55 9.3K 
[ ]nat_1__t3_nat_1.vout2024-08-03 09:43 8.3K 
[ ]nat_1__t4_nat_12024-07-28 22:00 12K 
[ ]nat_1__t4_nat_1.depv12024-08-03 10:19 91  
[ ]nat_1__t4_nat_1.depvmin12024-08-03 10:24 79  
[ ]nat_1__t4_nat_1.vmin12024-08-03 10:20 761  
[ ]nat_1__t4_nat_1.vmin1out2024-08-03 10:23 6.8K 
[ ]nat_1__t4_nat_1.vout2024-08-03 04:44 7.5K 
[ ]nat_1__t5_nat_12024-07-28 22:00 11K 
[ ]nat_1__t5_nat_1.depv12024-08-03 10:19 221  
[ ]nat_1__t5_nat_1.depvmin12024-08-03 10:24 208  
[ ]nat_1__t5_nat_1.vmin12024-08-03 10:20 1.7K 
[ ]nat_1__t5_nat_1.vmin1out2024-08-03 10:20 13K 
[ ]nat_1__t5_nat_1.vout2024-08-03 05:49 14K 
[ ]nat_1__t6_nat_12024-07-28 22:01 10K 
[ ]nat_1__t6_nat_1.depv12024-08-03 10:19 81  
[ ]nat_1__t6_nat_1.depvmin12024-08-03 10:24 81  
[ ]nat_1__t6_nat_1.vmin12024-08-03 10:20 836  
[ ]nat_1__t6_nat_1.vmin1out2024-08-03 10:22 11K 
[ ]nat_1__t6_nat_1.vout2024-08-03 05:34 11K 
[ ]nat_1__t7_nat_12024-07-28 22:02 19K 
[ ]nat_1__t7_nat_1.vout2024-08-03 04:42 7.2K 
[ ]nat_1__t8_nat_12024-07-28 22:02 28K 
[ ]nat_1__t8_nat_1.vout2024-08-03 06:41 7.2K 
[ ]nat_1__t9_nat_12024-07-28 22:03 12K 
[ ]nat_1__t9_nat_1.depv12024-08-03 10:19 80  
[ ]nat_1__t9_nat_1.depvmin12024-08-03 10:24 43  
[ ]nat_1__t9_nat_1.vmin12024-08-03 10:20 827  
[ ]nat_1__t9_nat_1.vmin1out2024-08-03 10:20 8.9K 
[ ]nat_1__t9_nat_1.vout2024-08-03 04:18 6.5K 
[ ]nat_1__t10_nat_12024-07-28 22:04 28K 
[ ]nat_1__t10_nat_1.vout2024-08-03 07:15 7.2K 
[ ]nat_1__t11_nat_12024-07-28 22:05 12K 
[ ]nat_1__t11_nat_1.vout2024-08-03 09:35 2.0K 
[ ]nat_1__t12_nat_12024-07-28 22:05 13K 
[ ]nat_1__t12_nat_1.vout2024-08-03 04:10 2.0K 
[ ]nat_1__t13_nat_12024-07-28 22:06 20K 
[ ]nat_1__t13_nat_1.vout2024-08-03 05:40 7.3K 
[ ]nat_1__t14_nat_12024-07-28 22:07 12K 
[ ]nat_1__t14_nat_1.vout2024-08-03 06:27 7.8K 
[ ]nat_1__t15_nat_12024-07-28 22:07 25K 
[ ]nat_1__t15_nat_1.vout2024-08-03 04:28 6.7K 
[ ]nat_1__t16_nat_12024-07-28 22:08 17K 
[ ]nat_1__t16_nat_1.vout2024-08-03 10:18 4.6K 
[ ]nat_1__t17_nat_12024-07-28 22:09 32K 
[ ]nat_1__t17_nat_1.vout2024-08-03 04:30 4.7K 
[ ]nat_1__t18_nat_12024-07-28 22:10 32K 
[ ]nat_1__t18_nat_1.vout2024-08-03 04:36 4.7K 
[ ]nat_1__t19_nat_12024-07-28 22:11 12K 
[ ]nat_1__t19_nat_1.depv12024-08-03 10:19 217  
[ ]nat_1__t19_nat_1.depvmin12024-08-03 10:24 217  
[ ]nat_1__t19_nat_1.vmin12024-08-03 10:20 1.2K 
[ ]nat_1__t19_nat_1.vmin1out2024-08-03 10:20 11K 
[ ]nat_1__t19_nat_1.vout2024-08-03 04:26 11K 
[ ]nat_1__t20_nat_12024-07-28 22:11 20K 
[ ]nat_1__t20_nat_1.vout2024-08-03 06:56 2.0K 
[ ]nat_1__t21_nat_12024-07-28 22:12 20K 
[ ]nat_1__t21_nat_1.vout2024-08-03 04:29 7.3K 
[ ]nat_1__t22_nat_12024-07-28 22:13 12K 
[ ]nat_1__t22_nat_1.depv12024-08-03 10:19 82  
[ ]nat_1__t22_nat_1.depvmin12024-08-03 10:24 45  
[ ]nat_1__t22_nat_1.vmin12024-08-03 10:20 773  
[ ]nat_1__t22_nat_1.vmin1out2024-08-03 10:23 8.0K 
[ ]nat_1__t22_nat_1.vout2024-08-03 06:47 6.2K 
[ ]nat_1__t23_nat_12024-07-28 22:13 15K 
[ ]nat_1__t23_nat_1.depv12024-08-03 10:19 135  
[ ]nat_1__t23_nat_1.depvmin12024-08-03 10:24 112  
[ ]nat_1__t23_nat_1.vmin12024-08-03 10:20 922  
[ ]nat_1__t23_nat_1.vmin1out2024-08-03 10:23 7.5K 
[ ]nat_1__t23_nat_1.vout2024-08-03 05:52 8.9K 
[ ]nat_1__t24_nat_12024-07-28 22:14 19K 
[ ]nat_1__t24_nat_1.vout2024-08-03 07:04 6.8K 
[ ]nat_1__t25_nat_12024-07-28 22:15 13K 
[ ]nat_1__t25_nat_1.depv12024-08-03 10:19 370  
[ ]nat_1__t25_nat_1.depvmin12024-08-03 10:24 271  
[ ]nat_1__t25_nat_1.vmin12024-08-03 10:20 2.5K 
[ ]nat_1__t25_nat_1.vmin1out2024-08-03 10:23 17K 
[ ]nat_1__t25_nat_1.vout2024-08-03 06:04 28K 
[ ]nat_1__t38_nat_12024-07-28 22:16 33K 
[ ]nat_1__t38_nat_1.vout2024-08-03 05:29 4.2K 
[ ]nat_1__t39_nat_12024-07-28 22:17 34K 
[ ]nat_1__t39_nat_1.vout2024-08-03 09:57 7.3K 
[ ]nat_1__t40_nat_12024-07-28 21:56 15K 
[ ]nat_1__t40_nat_1.depv12024-08-03 10:19 112  
[ ]nat_1__t40_nat_1.depvmin12024-08-03 10:24 112  
[ ]nat_1__t40_nat_1.vmin12024-08-03 10:20 813  
[ ]nat_1__t40_nat_1.vmin1out2024-08-03 10:22 11K 
[ ]nat_1__t40_nat_1.vout2024-08-03 06:11 13K 
[ ]nat_1__t41_nat_12024-07-28 22:18 16K 
[ ]nat_1__t41_nat_1.depv12024-08-03 10:19 332  
[ ]nat_1__t41_nat_1.depvmin12024-08-03 10:24 296  
[ ]nat_1__t41_nat_1.vmin12024-08-03 10:20 2.3K 
[ ]nat_1__t41_nat_1.vmin1out2024-08-03 10:21 33K 
[ ]nat_1__t41_nat_1.vout2024-08-03 08:30 35K 
[ ]nat_1__t42_nat_12024-07-28 22:19 34K 
[ ]nat_1__t42_nat_1.vout2024-08-03 09:51 7.8K 
[ ]nat_1__t43_nat_12024-07-28 22:19 15K 
[ ]nat_1__t43_nat_1.depv12024-08-03 10:19 116  
[ ]nat_1__t43_nat_1.depvmin12024-08-03 10:24 116  
[ ]nat_1__t43_nat_1.vmin12024-08-03 10:20 871  
[ ]nat_1__t43_nat_1.vmin1out2024-08-03 10:20 7.8K 
[ ]nat_1__t43_nat_1.vout2024-08-03 08:51 12K 
[ ]nat_1__t44_nat_12024-07-28 22:20 14K 
[ ]nat_1__t44_nat_1.depv12024-08-03 10:19 78  
[ ]nat_1__t44_nat_1.depvmin12024-08-03 10:24 78  
[ ]nat_1__t44_nat_1.vmin12024-08-03 10:20 565  
[ ]nat_1__t44_nat_1.vmin1out2024-08-03 10:23 9.7K 
[ ]nat_1__t44_nat_1.vout2024-08-03 07:37 11K 
[ ]nat_1__t45_nat_12024-07-28 22:21 31K 
[ ]nat_1__t45_nat_1.depv12024-08-03 10:19 297  
[ ]nat_1__t45_nat_1.depvmin12024-08-03 10:24 254  
[ ]nat_1__t45_nat_1.vmin12024-08-03 10:20 1.7K 
[ ]nat_1__t45_nat_1.vmin1out2024-08-03 10:22 15K 
[ ]nat_1__t45_nat_1.vout2024-08-03 05:52 15K 
[ ]nat_1__t47_nat_12024-07-28 22:22 21K 
[ ]nat_1__t47_nat_1.vout2024-08-03 07:26 4.7K 
[ ]nat_1__t48_nat_12024-07-28 22:23 20K 
[ ]nat_1__t48_nat_1.vout2024-08-03 09:06 4.7K 
[ ]nat_1__t49_nat_12024-07-28 22:24 19K 
[ ]nat_1__t49_nat_1.depv12024-08-03 10:19 138  
[ ]nat_1__t49_nat_1.depvmin12024-08-03 10:24 138  
[ ]nat_1__t49_nat_1.vmin12024-08-03 10:20 2.0K 
[ ]nat_1__t49_nat_1.vmin1out2024-08-03 10:21 23K 
[ ]nat_1__t49_nat_1.vout2024-08-03 07:12 33K 
[ ]nat_1__t50_nat_12024-07-28 22:25 24K 
[ ]nat_1__t50_nat_1.vout2024-08-03 04:31 4.7K 
[ ]nat_1__t51_nat_12024-07-28 22:25 16K 
[ ]nat_1__t51_nat_1.depv12024-08-03 10:19 149  
[ ]nat_1__t51_nat_1.depvmin12024-08-03 10:24 149  
[ ]nat_1__t51_nat_1.vmin12024-08-03 10:20 1.4K 
[ ]nat_1__t51_nat_1.vmin1out2024-08-03 10:21 17K 
[ ]nat_1__t51_nat_1.vout2024-08-03 06:24 17K 
[ ]nat_1__t52_nat_12024-07-28 22:26 16K 
[ ]nat_1__t52_nat_1.depv12024-08-03 10:19 211  
[ ]nat_1__t52_nat_1.depvmin12024-08-03 10:24 169  
[ ]nat_1__t52_nat_1.vmin12024-08-03 10:20 2.2K 
[ ]nat_1__t52_nat_1.vmin1out2024-08-03 10:22 24K 
[ ]nat_1__t52_nat_1.vout2024-08-03 06:06 26K 
[ ]nat_1__t53_nat_12024-07-28 22:27 13K 
[ ]nat_1__t53_nat_1.depv12024-08-03 10:19 289  
[ ]nat_1__t53_nat_1.depvmin12024-08-03 10:24 254  
[ ]nat_1__t53_nat_1.vmin12024-08-03 10:20 2.0K 
[ ]nat_1__t53_nat_1.vmin1out2024-08-03 10:20 15K 
[ ]nat_1__t53_nat_1.vout2024-08-03 07:08 19K 
[ ]nat_1__t54_nat_12024-07-28 22:30 15K 
[ ]nat_1__t54_nat_1.vout2024-08-03 07:08 5.8K 
[ ]nat_1__t55_nat_12024-07-28 21:57 13K 
[ ]nat_1__t55_nat_1.depv12024-08-03 10:19 20  
[ ]nat_1__t55_nat_1.depvmin12024-08-03 10:24 20  
[ ]nat_1__t55_nat_1.vmin12024-08-03 10:20 475  
[ ]nat_1__t55_nat_1.vmin1out2024-08-03 10:20 4.8K 
[ ]nat_1__t55_nat_1.vout2024-08-03 10:14 7.4K 
[ ]nat_1__t59_nat_12024-07-28 22:28 12K 
[ ]nat_1__t59_nat_1.depv12024-08-03 10:19 319  
[ ]nat_1__t59_nat_1.depvmin12024-08-03 10:24 260  
[ ]nat_1__t59_nat_1.vmin12024-08-03 10:20 2.2K 
[ ]nat_1__t59_nat_1.vmin1out2024-08-03 10:20 23K 
[ ]nat_1__t59_nat_1.vout2024-08-03 04:58 20K 
[ ]nat_1__t60_nat_12024-07-28 22:28 10K 
[ ]nat_1__t60_nat_1.depv12024-08-03 10:19 141  
[ ]nat_1__t60_nat_1.depvmin12024-08-03 10:24 141  
[ ]nat_1__t60_nat_1.vmin12024-08-03 10:20 1.0K 
[ ]nat_1__t60_nat_1.vmin1out2024-08-03 10:20 11K 
[ ]nat_1__t60_nat_1.vout2024-08-03 09:51 10K 
[ ]nat_1__t61_nat_12024-07-28 22:29 22K 
[ ]nat_1__t61_nat_1.depv12024-08-03 10:19 269  
[ ]nat_1__t61_nat_1.depvmin12024-08-03 10:24 269  
[ ]nat_1__t61_nat_1.vmin12024-08-03 10:20 2.1K 
[ ]nat_1__t61_nat_1.vmin1out2024-08-03 10:20 22K 
[ ]nat_1__t61_nat_1.vout2024-08-03 07:58 23K 
[ ]nat_1__t62_nat_12024-07-28 22:30 12K 
[ ]nat_1__t62_nat_1.depv12024-08-03 10:19 127  
[ ]nat_1__t62_nat_1.depvmin12024-08-03 10:24 127  
[ ]nat_1__t62_nat_1.vmin12024-08-03 10:20 935  
[ ]nat_1__t62_nat_1.vmin1out2024-08-03 10:21 11K 
[ ]nat_1__t62_nat_1.vout2024-08-03 06:31 11K 
[ ]nat_1__t63_nat_12024-07-28 21:58 31K 
[ ]nat_1__t63_nat_1.depv12024-08-03 10:19 91  
[ ]nat_1__t63_nat_1.depvmin12024-08-03 10:24 91  
[ ]nat_1__t63_nat_1.vmin12024-08-03 10:20 844  
[ ]nat_1__t63_nat_1.vmin1out2024-08-03 10:20 7.1K 
[ ]nat_1__t63_nat_1.vout2024-08-03 08:53 6.5K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80