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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]nat_6__l1_nat_62021-07-18 07:09 135K 
[ ]nat_6__l1_nat_6.vout2021-07-25 18:31 2.0K 
[ ]nat_6__l2_nat_62021-07-18 07:10 135K 
[ ]nat_6__l2_nat_6.vout2021-07-25 18:07 2.0K 
[ ]nat_6__l8_nat_62021-07-18 07:10 14K 
[ ]nat_6__l8_nat_6.depv12021-07-25 20:57 49  
[ ]nat_6__l8_nat_6.depvmin12021-07-25 21:03 49  
[ ]nat_6__l8_nat_6.vmin12021-07-25 20:57 579  
[ ]nat_6__l8_nat_6.vmin1out2021-07-25 21:02 11K 
[ ]nat_6__l8_nat_6.vout2021-07-25 16:30 11K 
[ ]nat_6__l35_nat_62021-07-18 07:10 85K 
[ ]nat_6__l35_nat_6.vout2021-07-25 15:57 7.2K 
[ ]nat_6__l41_nat_62021-07-18 07:10 19K 
[ ]nat_6__l41_nat_6.depv12021-07-25 20:57 134  
[ ]nat_6__l41_nat_6.depvmin12021-07-25 21:03 134  
[ ]nat_6__l41_nat_6.vmin12021-07-25 20:57 608  
[ ]nat_6__l41_nat_6.vmin1out2021-07-25 20:59 4.4K 
[ ]nat_6__l41_nat_6.vout2021-07-25 20:35 3.8K 
[ ]nat_6__l42_nat_62021-07-18 07:11 24K 
[ ]nat_6__l42_nat_6.depv12021-07-25 20:57 304  
[ ]nat_6__l42_nat_6.depvmin12021-07-25 21:03 205  
[ ]nat_6__l42_nat_6.vmin12021-07-25 20:57 1.7K 
[ ]nat_6__l42_nat_6.vmin1out2021-07-25 20:58 13K 
[ ]nat_6__l42_nat_6.vout2021-07-25 16:44 18K 
[ ]nat_6__l43_nat_62021-07-18 07:11 28K 
[ ]nat_6__l43_nat_6.vout2021-07-25 19:04 11K 
[ ]nat_6__t1_nat_62021-07-18 06:55 22K 
[ ]nat_6__t1_nat_6.depv12021-07-25 20:57 223  
[ ]nat_6__t1_nat_6.depvmin12021-07-25 21:03 199  
[ ]nat_6__t1_nat_6.vmin12021-07-25 20:57 2.0K 
[ ]nat_6__t1_nat_6.vmin1out2021-07-25 21:02 32K 
[ ]nat_6__t1_nat_6.vout2021-07-25 19:43 24K 
[ ]nat_6__t2_nat_62021-07-18 06:55 33K 
[ ]nat_6__t2_nat_6.vout2021-07-25 15:42 2.0K 
[ ]nat_6__t3_nat_62021-07-18 06:55 43K 
[ ]nat_6__t3_nat_6.vout2021-07-25 16:09 7.2K 
[ ]nat_6__t4_nat_62021-07-18 06:56 26K 
[ ]nat_6__t4_nat_6.vout2021-07-25 15:22 7.2K 
[ ]nat_6__t5_nat_62021-07-18 06:56 117K 
[ ]nat_6__t5_nat_6.vout2021-07-25 19:16 7.2K 
[ ]nat_6__t6_nat_62021-07-18 06:56 20K 
[ ]nat_6__t6_nat_6.depv12021-07-25 20:57 300  
[ ]nat_6__t6_nat_6.depvmin12021-07-25 21:03 245  
[ ]nat_6__t6_nat_6.vmin12021-07-25 20:57 2.4K 
[ ]nat_6__t6_nat_6.vmin1out2021-07-25 21:01 28K 
[ ]nat_6__t6_nat_6.vout2021-07-25 20:07 32K 
[ ]nat_6__t7_nat_62021-07-18 06:56 16K 
[ ]nat_6__t7_nat_6.depv12021-07-25 20:57 47  
[ ]nat_6__t7_nat_6.depvmin12021-07-25 21:03 47  
[ ]nat_6__t7_nat_6.vmin12021-07-25 20:57 771  
[ ]nat_6__t7_nat_6.vmin1out2021-07-25 20:58 7.7K 
[ ]nat_6__t7_nat_6.vout2021-07-25 19:25 11K 
[ ]nat_6__t8_nat_62021-07-18 06:57 43K 
[ ]nat_6__t8_nat_6.vout2021-07-25 14:44 4.7K 
[ ]nat_6__t9_nat_62021-07-18 06:57 32K 
[ ]nat_6__t9_nat_6.vout2021-07-25 19:32 7.2K 
[ ]nat_6__t10_nat_62021-07-18 06:57 34K 
[ ]nat_6__t10_nat_6.vout2021-07-25 17:11 2.0K 
[ ]nat_6__t11_nat_62021-07-18 06:57 33K 
[ ]nat_6__t11_nat_6.vout2021-07-25 17:58 7.3K 
[ ]nat_6__t13_nat_62021-07-18 06:58 22K 
[ ]nat_6__t13_nat_6.vout2021-07-25 20:14 2.0K 
[ ]nat_6__t14_nat_62021-07-18 06:58 32K 
[ ]nat_6__t14_nat_6.depv12021-07-25 20:57 30  
[ ]nat_6__t14_nat_6.depvmin12021-07-25 21:03 30  
[ ]nat_6__t14_nat_6.vmin12021-07-25 20:57 546  
[ ]nat_6__t14_nat_6.vmin1out2021-07-25 20:59 11K 
[ ]nat_6__t14_nat_6.vout2021-07-25 14:52 11K 
[ ]nat_6__t15_nat_62021-07-18 06:58 434K 
[ ]nat_6__t15_nat_6.vout2021-07-25 16:49 2.0K 
[ ]nat_6__t16_nat_62021-07-18 06:59 31K 
[ ]nat_6__t16_nat_6.vout2021-07-25 19:38 4.7K 
[ ]nat_6__t17_nat_62021-07-18 06:59 42K 
[ ]nat_6__t17_nat_6.vout2021-07-25 19:54 4.7K 
[ ]nat_6__t18_nat_62021-07-18 07:00 66K 
[ ]nat_6__t18_nat_6.vout2021-07-25 16:33 7.3K 
[ ]nat_6__t19_nat_62021-07-18 07:00 241K 
[ ]nat_6__t19_nat_6.vout2021-07-25 16:11 7.8K 
[ ]nat_6__t20_nat_62021-07-18 07:00 242K 
[ ]nat_6__t20_nat_6.vout2021-07-25 20:34 4.7K 
[ ]nat_6__t22_nat_62021-07-18 07:00 46K 
[ ]nat_6__t22_nat_6.vout2021-07-25 16:40 7.3K 
[ ]nat_6__t23_nat_62021-07-18 07:01 290K 
[ ]nat_6__t23_nat_6.vout2021-07-25 19:01 8.3K 
[ ]nat_6__t24_nat_62021-07-18 07:01 26K 
[ ]nat_6__t24_nat_6.depv12021-07-25 20:57 107  
[ ]nat_6__t24_nat_6.depvmin12021-07-25 21:03 107  
[ ]nat_6__t24_nat_6.vmin12021-07-25 20:57 1.2K 
[ ]nat_6__t24_nat_6.vmin1out2021-07-25 21:00 18K 
[ ]nat_6__t24_nat_6.vout2021-07-25 16:30 18K 
[ ]nat_6__t25_nat_62021-07-18 07:01 67K 
[ ]nat_6__t25_nat_6.depv12021-07-25 20:57 493  
[ ]nat_6__t25_nat_6.depvmin12021-07-25 21:03 370  
[ ]nat_6__t25_nat_6.vmin12021-07-25 20:57 3.0K 
[ ]nat_6__t25_nat_6.vmin1out2021-07-25 20:58 58K 
[ ]nat_6__t25_nat_6.vout2021-07-25 15:20 42K 
[ ]nat_6__t26_nat_62021-07-18 06:54 22K 
[ ]nat_6__t26_nat_6.depv12021-07-25 20:57 84  
[ ]nat_6__t26_nat_6.depvmin12021-07-25 21:03 84  
[ ]nat_6__t26_nat_6.vmin12021-07-25 20:57 945  
[ ]nat_6__t26_nat_6.vmin1out2021-07-25 20:59 8.4K 
[ ]nat_6__t26_nat_6.vout2021-07-25 16:03 9.1K 
[ ]nat_6__t27_nat_62021-07-18 07:02 139K 
[ ]nat_6__t27_nat_6.vout2021-07-25 17:40 7.3K 
[ ]nat_6__t28_nat_62021-07-18 07:02 83K 
[ ]nat_6__t28_nat_6.depv12021-07-25 20:57 66  
[ ]nat_6__t28_nat_6.depvmin12021-07-25 21:03 66  
[ ]nat_6__t28_nat_6.vmin12021-07-25 20:57 946  
[ ]nat_6__t28_nat_6.vmin1out2021-07-25 20:58 10K 
[ ]nat_6__t28_nat_6.vout2021-07-25 18:39 9.2K 
[ ]nat_6__t29_nat_62021-07-18 07:02 23K 
[ ]nat_6__t29_nat_6.vout2021-07-25 14:45 2.0K 
[ ]nat_6__t30_nat_62021-07-18 07:03 251K 
[ ]nat_6__t30_nat_6.vout2021-07-25 20:21 7.2K 
[ ]nat_6__t31_nat_62021-07-18 07:03 234K 
[ ]nat_6__t31_nat_6.vout2021-07-25 17:00 1.1K 
[ ]nat_6__t32_nat_62021-07-18 06:54 17K 
[ ]nat_6__t32_nat_6.depv12021-07-25 20:57 20  
[ ]nat_6__t32_nat_6.depvmin12021-07-25 21:03 20  
[ ]nat_6__t32_nat_6.vmin12021-07-25 20:57 77  
[ ]nat_6__t32_nat_6.vmin1out2021-07-25 20:59 1.1K 
[ ]nat_6__t32_nat_6.vout2021-07-25 16:52 1.1K 
[ ]nat_6__t33_nat_62021-07-18 07:03 26K 
[ ]nat_6__t33_nat_6.vout2021-07-25 19:03 11K 
[ ]nat_6__t34_nat_62021-07-18 06:55 16K 
[ ]nat_6__t34_nat_6.depv12021-07-25 20:57 20  
[ ]nat_6__t34_nat_6.depvmin12021-07-25 21:03 20  
[ ]nat_6__t34_nat_6.vmin12021-07-25 20:57 77  
[ ]nat_6__t34_nat_6.vmin1out2021-07-25 20:59 1.1K 
[ ]nat_6__t34_nat_6.vout2021-07-25 18:56 1.1K 
[ ]nat_6__t35_nat_62021-07-18 07:03 28K 
[ ]nat_6__t35_nat_6.vout2021-07-25 15:25 11K 
[ ]nat_6__t36_nat_62021-07-18 07:04 29K 
[ ]nat_6__t36_nat_6.vout2021-07-25 18:25 11K 
[ ]nat_6__t37_nat_62021-07-18 07:04 367K 
[ ]nat_6__t37_nat_6.vout2021-07-25 16:03 1.1K 
[ ]nat_6__t38_nat_62021-07-18 07:05 637K 
[ ]nat_6__t38_nat_6.vout2021-07-25 16:05 1.0K 
[ ]nat_6__t39_nat_62021-07-18 07:05 706K 
[ ]nat_6__t39_nat_6.vout2021-07-25 19:56 1.1K 
[ ]nat_6__t40_nat_62021-07-18 07:06 254K 
[ ]nat_6__t40_nat_6.vout2021-07-25 20:00 4.7K 
[ ]nat_6__t41_nat_62021-07-18 07:06 304K 
[ ]nat_6__t41_nat_6.vout2021-07-25 16:04 4.7K 
[ ]nat_6__t42_nat_62021-07-18 07:08 1.4M 
[ ]nat_6__t42_nat_6.vout2021-07-25 17:15 1.1K 
[ ]nat_6__t43_nat_62021-07-18 07:08 294K 
[ ]nat_6__t43_nat_6.vout2021-07-25 15:24 7.3K 
[ ]nat_6__t44_nat_62021-07-18 07:09 1.2M 
[ ]nat_6__t44_nat_6.vout2021-07-25 15:18 2.0K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80