Index of /~mptp/mml5.63.1382/MPTP2/problems_small/nat_1

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]nat_1__l49_nat_12021-07-17 17:32 16K 
[ ]nat_1__l49_nat_1.vout2021-07-25 19:02 7.2K 
[ ]nat_1__t1_nat_12021-07-17 17:19 12K 
[ ]nat_1__t1_nat_1.depv12021-07-25 20:57 114  
[ ]nat_1__t1_nat_1.depvmin12021-07-25 21:03 114  
[ ]nat_1__t1_nat_1.vmin12021-07-25 20:57 966  
[ ]nat_1__t1_nat_1.vmin1out2021-07-25 21:02 14K 
[ ]nat_1__t1_nat_1.vout2021-07-25 15:40 14K 
[ ]nat_1__t2_nat_12021-07-17 17:20 12K 
[ ]nat_1__t2_nat_1.depv12021-07-25 20:57 391  
[ ]nat_1__t2_nat_1.depvmin12021-07-25 21:03 317  
[ ]nat_1__t2_nat_1.vmin12021-07-25 20:57 3.0K 
[ ]nat_1__t2_nat_1.vmin1out2021-07-25 20:58 24K 
[ ]nat_1__t2_nat_1.vout2021-07-25 15:20 50K 
[ ]nat_1__t3_nat_12021-07-17 17:18 9.4K 
[ ]nat_1__t3_nat_1.vout2021-07-25 18:54 8.3K 
[ ]nat_1__t4_nat_12021-07-17 17:20 12K 
[ ]nat_1__t4_nat_1.depv12021-07-25 20:57 91  
[ ]nat_1__t4_nat_1.depvmin12021-07-25 21:03 79  
[ ]nat_1__t4_nat_1.vmin12021-07-25 20:57 761  
[ ]nat_1__t4_nat_1.vmin1out2021-07-25 20:58 6.8K 
[ ]nat_1__t4_nat_1.vout2021-07-25 14:35 7.5K 
[ ]nat_1__t5_nat_12021-07-17 17:20 11K 
[ ]nat_1__t5_nat_1.depv12021-07-25 20:57 221  
[ ]nat_1__t5_nat_1.depvmin12021-07-25 21:03 208  
[ ]nat_1__t5_nat_1.vmin12021-07-25 20:57 1.7K 
[ ]nat_1__t5_nat_1.vmin1out2021-07-25 21:01 13K 
[ ]nat_1__t5_nat_1.vout2021-07-25 14:36 14K 
[ ]nat_1__t6_nat_12021-07-17 17:20 10K 
[ ]nat_1__t6_nat_1.depv12021-07-25 20:57 81  
[ ]nat_1__t6_nat_1.depvmin12021-07-25 21:03 81  
[ ]nat_1__t6_nat_1.vmin12021-07-25 20:57 836  
[ ]nat_1__t6_nat_1.vmin1out2021-07-25 21:00 11K 
[ ]nat_1__t6_nat_1.vout2021-07-25 16:52 11K 
[ ]nat_1__t7_nat_12021-07-17 17:21 19K 
[ ]nat_1__t7_nat_1.vout2021-07-25 19:06 7.2K 
[ ]nat_1__t8_nat_12021-07-17 17:21 28K 
[ ]nat_1__t8_nat_1.vout2021-07-25 18:07 7.2K 
[ ]nat_1__t9_nat_12021-07-17 17:21 12K 
[ ]nat_1__t9_nat_1.depv12021-07-25 20:57 80  
[ ]nat_1__t9_nat_1.depvmin12021-07-25 21:03 43  
[ ]nat_1__t9_nat_1.vmin12021-07-25 20:57 827  
[ ]nat_1__t9_nat_1.vmin1out2021-07-25 21:02 8.9K 
[ ]nat_1__t9_nat_1.vout2021-07-25 16:25 6.5K 
[ ]nat_1__t10_nat_12021-07-17 17:22 28K 
[ ]nat_1__t10_nat_1.vout2021-07-25 20:07 6.7K 
[ ]nat_1__t11_nat_12021-07-17 17:22 12K 
[ ]nat_1__t11_nat_1.vout2021-07-25 19:37 2.0K 
[ ]nat_1__t12_nat_12021-07-17 17:22 13K 
[ ]nat_1__t12_nat_1.vout2021-07-25 19:51 2.0K 
[ ]nat_1__t13_nat_12021-07-17 17:22 20K 
[ ]nat_1__t13_nat_1.vout2021-07-25 20:28 7.3K 
[ ]nat_1__t14_nat_12021-07-17 17:23 12K 
[ ]nat_1__t14_nat_1.vout2021-07-25 15:32 7.8K 
[ ]nat_1__t15_nat_12021-07-17 17:23 25K 
[ ]nat_1__t15_nat_1.vout2021-07-25 19:20 6.8K 
[ ]nat_1__t16_nat_12021-07-17 17:23 17K 
[ ]nat_1__t16_nat_1.vout2021-07-25 15:42 4.7K 
[ ]nat_1__t17_nat_12021-07-17 17:24 32K 
[ ]nat_1__t17_nat_1.vout2021-07-25 18:41 4.7K 
[ ]nat_1__t18_nat_12021-07-17 17:24 32K 
[ ]nat_1__t18_nat_1.vout2021-07-25 16:56 4.7K 
[ ]nat_1__t19_nat_12021-07-17 17:24 12K 
[ ]nat_1__t19_nat_1.depv12021-07-25 20:57 217  
[ ]nat_1__t19_nat_1.depvmin12021-07-25 21:03 217  
[ ]nat_1__t19_nat_1.vmin12021-07-25 20:57 1.2K 
[ ]nat_1__t19_nat_1.vmin1out2021-07-25 20:58 11K 
[ ]nat_1__t19_nat_1.vout2021-07-25 20:46 11K 
[ ]nat_1__t20_nat_12021-07-17 17:24 20K 
[ ]nat_1__t20_nat_1.vout2021-07-25 15:13 2.0K 
[ ]nat_1__t21_nat_12021-07-17 17:25 20K 
[ ]nat_1__t21_nat_1.vout2021-07-25 15:12 7.3K 
[ ]nat_1__t22_nat_12021-07-17 17:25 12K 
[ ]nat_1__t22_nat_1.depv12021-07-25 20:57 82  
[ ]nat_1__t22_nat_1.depvmin12021-07-25 21:03 45  
[ ]nat_1__t22_nat_1.vmin12021-07-25 20:57 773  
[ ]nat_1__t22_nat_1.vmin1out2021-07-25 21:01 8.0K 
[ ]nat_1__t22_nat_1.vout2021-07-25 14:41 6.2K 
[ ]nat_1__t23_nat_12021-07-17 17:25 15K 
[ ]nat_1__t23_nat_1.depv12021-07-25 20:57 135  
[ ]nat_1__t23_nat_1.depvmin12021-07-25 21:03 112  
[ ]nat_1__t23_nat_1.vmin12021-07-25 20:57 922  
[ ]nat_1__t23_nat_1.vmin1out2021-07-25 21:02 7.5K 
[ ]nat_1__t23_nat_1.vout2021-07-25 15:07 8.9K 
[ ]nat_1__t24_nat_12021-07-17 17:26 19K 
[ ]nat_1__t24_nat_1.vout2021-07-25 15:33 6.8K 
[ ]nat_1__t25_nat_12021-07-17 17:26 13K 
[ ]nat_1__t25_nat_1.depv12021-07-25 20:57 392  
[ ]nat_1__t25_nat_1.depvmin12021-07-25 21:03 269  
[ ]nat_1__t25_nat_1.vmin12021-07-25 20:57 2.7K 
[ ]nat_1__t25_nat_1.vmin1out2021-07-25 20:59 17K 
[ ]nat_1__t25_nat_1.vout2021-07-25 17:34 27K 
[ ]nat_1__t38_nat_12021-07-17 17:26 33K 
[ ]nat_1__t38_nat_1.vout2021-07-25 14:52 4.2K 
[ ]nat_1__t39_nat_12021-07-17 17:27 34K 
[ ]nat_1__t39_nat_1.vout2021-07-25 18:54 7.2K 
[ ]nat_1__t40_nat_12021-07-17 17:19 15K 
[ ]nat_1__t40_nat_1.depv12021-07-25 20:57 112  
[ ]nat_1__t40_nat_1.depvmin12021-07-25 21:03 112  
[ ]nat_1__t40_nat_1.vmin12021-07-25 20:57 813  
[ ]nat_1__t40_nat_1.vmin1out2021-07-25 20:59 11K 
[ ]nat_1__t40_nat_1.vout2021-07-25 14:52 13K 
[ ]nat_1__t41_nat_12021-07-17 17:27 16K 
[ ]nat_1__t41_nat_1.depv12021-07-25 20:57 296  
[ ]nat_1__t41_nat_1.depvmin12021-07-25 21:03 296  
[ ]nat_1__t41_nat_1.vmin12021-07-25 20:57 2.0K 
[ ]nat_1__t41_nat_1.vmin1out2021-07-25 20:59 33K 
[ ]nat_1__t41_nat_1.vout2021-07-25 16:53 31K 
[ ]nat_1__t42_nat_12021-07-17 17:27 34K 
[ ]nat_1__t42_nat_1.vout2021-07-25 19:01 7.8K 
[ ]nat_1__t43_nat_12021-07-17 17:27 15K 
[ ]nat_1__t43_nat_1.depv12021-07-25 20:57 116  
[ ]nat_1__t43_nat_1.depvmin12021-07-25 21:03 116  
[ ]nat_1__t43_nat_1.vmin12021-07-25 20:57 871  
[ ]nat_1__t43_nat_1.vmin1out2021-07-25 21:01 7.8K 
[ ]nat_1__t43_nat_1.vout2021-07-25 17:51 12K 
[ ]nat_1__t44_nat_12021-07-17 17:28 14K 
[ ]nat_1__t44_nat_1.depv12021-07-25 20:57 78  
[ ]nat_1__t44_nat_1.depvmin12021-07-25 21:03 78  
[ ]nat_1__t44_nat_1.vmin12021-07-25 20:57 565  
[ ]nat_1__t44_nat_1.vmin1out2021-07-25 21:00 9.7K 
[ ]nat_1__t44_nat_1.vout2021-07-25 16:31 11K 
[ ]nat_1__t45_nat_12021-07-17 17:28 31K 
[ ]nat_1__t45_nat_1.depv12021-07-25 20:57 297  
[ ]nat_1__t45_nat_1.depvmin12021-07-25 21:03 254  
[ ]nat_1__t45_nat_1.vmin12021-07-25 20:57 1.7K 
[ ]nat_1__t45_nat_1.vmin1out2021-07-25 21:00 15K 
[ ]nat_1__t45_nat_1.vout2021-07-25 15:33 15K 
[ ]nat_1__t47_nat_12021-07-17 17:28 21K 
[ ]nat_1__t47_nat_1.vout2021-07-25 19:45 4.7K 
[ ]nat_1__t48_nat_12021-07-17 17:29 20K 
[ ]nat_1__t48_nat_1.vout2021-07-25 20:57 4.7K 
[ ]nat_1__t49_nat_12021-07-17 17:29 19K 
[ ]nat_1__t49_nat_1.depv12021-07-25 20:57 138  
[ ]nat_1__t49_nat_1.depvmin12021-07-25 21:03 138  
[ ]nat_1__t49_nat_1.vmin12021-07-25 20:57 2.0K 
[ ]nat_1__t49_nat_1.vmin1out2021-07-25 21:00 23K 
[ ]nat_1__t49_nat_1.vout2021-07-25 18:22 33K 
[ ]nat_1__t50_nat_12021-07-17 17:29 24K 
[ ]nat_1__t50_nat_1.vout2021-07-25 17:33 4.7K 
[ ]nat_1__t51_nat_12021-07-17 17:30 16K 
[ ]nat_1__t51_nat_1.depv12021-07-25 20:57 149  
[ ]nat_1__t51_nat_1.depvmin12021-07-25 21:03 149  
[ ]nat_1__t51_nat_1.vmin12021-07-25 20:57 1.4K 
[ ]nat_1__t51_nat_1.vmin1out2021-07-25 21:02 17K 
[ ]nat_1__t51_nat_1.vout2021-07-25 18:42 17K 
[ ]nat_1__t52_nat_12021-07-17 17:30 16K 
[ ]nat_1__t52_nat_1.depv12021-07-25 20:57 211  
[ ]nat_1__t52_nat_1.depvmin12021-07-25 21:03 169  
[ ]nat_1__t52_nat_1.vmin12021-07-25 20:57 2.2K 
[ ]nat_1__t52_nat_1.vmin1out2021-07-25 21:00 24K 
[ ]nat_1__t52_nat_1.vout2021-07-25 16:38 26K 
[ ]nat_1__t53_nat_12021-07-17 17:30 13K 
[ ]nat_1__t53_nat_1.depv12021-07-25 20:57 392  
[ ]nat_1__t53_nat_1.depvmin12021-07-25 21:03 379  
[ ]nat_1__t53_nat_1.vmin12021-07-25 20:57 2.8K 
[ ]nat_1__t53_nat_1.vmin1out2021-07-25 21:01 26K 
[ ]nat_1__t53_nat_1.vout2021-07-25 14:32 24K 
[ ]nat_1__t54_nat_12021-07-17 17:32 15K 
[ ]nat_1__t54_nat_1.vout2021-07-25 19:02 5.8K 
[ ]nat_1__t55_nat_12021-07-17 17:19 13K 
[ ]nat_1__t55_nat_1.depv12021-07-25 20:57 20  
[ ]nat_1__t55_nat_1.depvmin12021-07-25 21:03 20  
[ ]nat_1__t55_nat_1.vmin12021-07-25 20:57 475  
[ ]nat_1__t55_nat_1.vmin1out2021-07-25 20:58 4.8K 
[ ]nat_1__t55_nat_1.vout2021-07-25 17:46 7.4K 
[ ]nat_1__t59_nat_12021-07-17 17:31 12K 
[ ]nat_1__t59_nat_1.depv12021-07-25 20:57 319  
[ ]nat_1__t59_nat_1.depvmin12021-07-25 21:03 260  
[ ]nat_1__t59_nat_1.vmin12021-07-25 20:57 2.2K 
[ ]nat_1__t59_nat_1.vmin1out2021-07-25 20:58 23K 
[ ]nat_1__t59_nat_1.vout2021-07-25 18:30 20K 
[ ]nat_1__t60_nat_12021-07-17 17:31 10K 
[ ]nat_1__t60_nat_1.depv12021-07-25 20:57 141  
[ ]nat_1__t60_nat_1.depvmin12021-07-25 21:03 141  
[ ]nat_1__t60_nat_1.vmin12021-07-25 20:57 1.0K 
[ ]nat_1__t60_nat_1.vmin1out2021-07-25 21:01 11K 
[ ]nat_1__t60_nat_1.vout2021-07-25 19:34 10K 
[ ]nat_1__t61_nat_12021-07-17 17:31 21K 
[ ]nat_1__t61_nat_1.depv12021-07-25 20:57 269  
[ ]nat_1__t61_nat_1.depvmin12021-07-25 21:03 269  
[ ]nat_1__t61_nat_1.vmin12021-07-25 20:57 2.1K 
[ ]nat_1__t61_nat_1.vmin1out2021-07-25 21:01 22K 
[ ]nat_1__t61_nat_1.vout2021-07-25 20:08 22K 
[ ]nat_1__t62_nat_12021-07-17 17:31 12K 
[ ]nat_1__t62_nat_1.depv12021-07-25 20:57 129  
[ ]nat_1__t62_nat_1.depvmin12021-07-25 21:03 129  
[ ]nat_1__t62_nat_1.vmin12021-07-25 20:57 936  
[ ]nat_1__t62_nat_1.vmin1out2021-07-25 20:58 11K 
[ ]nat_1__t62_nat_1.vout2021-07-25 16:20 11K 
[ ]nat_1__t63_nat_12021-07-17 17:19 31K 
[ ]nat_1__t63_nat_1.depv12021-07-25 20:57 91  
[ ]nat_1__t63_nat_1.depvmin12021-07-25 21:03 91  
[ ]nat_1__t63_nat_1.vmin12021-07-25 20:57 844  
[ ]nat_1__t63_nat_1.vmin1out2021-07-25 20:59 7.1K 
[ ]nat_1__t63_nat_1.vout2021-07-25 16:53 6.5K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80