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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]nat_4__l14_nat_42021-07-18 10:00 33K 
[ ]nat_4__l14_nat_4.vout2021-07-25 19:46 2.0K 
[ ]nat_4__l27_nat_42021-07-18 10:00 36K 
[ ]nat_4__l27_nat_4.vout2021-07-25 14:56 7.3K 
[ ]nat_4__l28_nat_42021-07-18 10:01 35K 
[ ]nat_4__l28_nat_4.vout2021-07-25 20:49 6.8K 
[ ]nat_4__l32_nat_42021-07-18 10:01 78K 
[ ]nat_4__l32_nat_4.depv12021-07-25 20:57 1.0K 
[ ]nat_4__l32_nat_4.depvmin12021-07-25 21:03 1.0K 
[ ]nat_4__l32_nat_4.vmin12021-07-25 20:57 4.1K 
[ ]nat_4__l32_nat_4.vmin1out2021-07-25 20:59 83K 
[ ]nat_4__l32_nat_4.vout2021-07-25 15:45 40K 
[ ]nat_4__l35_nat_42021-07-18 10:02 110K 
[ ]nat_4__l35_nat_4.vout2021-07-25 16:06 7.2K 
[ ]nat_4__l36_nat_42021-07-18 10:02 45K 
[ ]nat_4__l36_nat_4.depv12021-07-25 20:57 275  
[ ]nat_4__l36_nat_4.depvmin12021-07-25 21:03 275  
[ ]nat_4__l36_nat_4.vmin12021-07-25 20:57 2.5K 
[ ]nat_4__l36_nat_4.vmin1out2021-07-25 21:01 28K 
[ ]nat_4__l36_nat_4.vout2021-07-25 18:38 31K 
[ ]nat_4__l47_nat_42021-07-18 10:03 63K 
[ ]nat_4__l47_nat_4.vout2021-07-25 17:50 2.0K 
[ ]nat_4__l57_nat_42021-07-18 10:03 181K 
[ ]nat_4__l57_nat_4.vout2021-07-25 14:49 3.6K 
[ ]nat_4__l58_nat_42021-07-18 10:04 209K 
[ ]nat_4__l58_nat_4.vout2021-07-25 15:45 3.6K 
[ ]nat_4__l66_nat_42021-07-18 10:05 170K 
[ ]nat_4__l66_nat_4.vout2021-07-25 16:22 7.2K 
[ ]nat_4__l67_nat_42021-07-18 10:05 181K 
[ ]nat_4__l67_nat_4.vout2021-07-25 15:43 3.6K 
[ ]nat_4__t1_nat_42021-07-18 09:32 30K 
[ ]nat_4__t1_nat_4.depv12021-07-25 20:57 207  
[ ]nat_4__t1_nat_4.vmin12021-07-25 20:57 1.8K 
[ ]nat_4__t1_nat_4.vmin1out2021-07-25 20:58 2.0K 
[ ]nat_4__t1_nat_4.vout2021-07-25 15:38 19K 
[ ]nat_4__t2_nat_42021-07-18 09:33 30K 
[ ]nat_4__t2_nat_4.depv12021-07-25 20:57 233  
[ ]nat_4__t2_nat_4.depvmin12021-07-25 21:03 186  
[ ]nat_4__t2_nat_4.vmin12021-07-25 20:57 2.0K 
[ ]nat_4__t2_nat_4.vmin1out2021-07-25 20:58 14K 
[ ]nat_4__t2_nat_4.vout2021-07-25 15:08 29K 
[ ]nat_4__t3_nat_42021-07-18 09:33 47K 
[ ]nat_4__t3_nat_4.vout2021-07-25 16:10 2.0K 
[ ]nat_4__t4_nat_42021-07-18 09:34 224K 
[ ]nat_4__t4_nat_4.vout2021-07-25 20:16 4.6K 
[ ]nat_4__t5_nat_42021-07-18 09:34 128K 
[ ]nat_4__t5_nat_4.vout2021-07-25 20:45 3.6K 
[ ]nat_4__t6_nat_42021-07-18 09:35 55K 
[ ]nat_4__t6_nat_4.vout2021-07-25 19:26 7.3K 
[ ]nat_4__t7_nat_42021-07-18 09:35 28K 
[ ]nat_4__t7_nat_4.depv12021-07-25 20:57 505  
[ ]nat_4__t7_nat_4.depvmin12021-07-25 21:03 131  
[ ]nat_4__t7_nat_4.vmin12021-07-25 20:57 3.8K 
[ ]nat_4__t7_nat_4.vmin1out2021-07-25 21:01 12K 
[ ]nat_4__t7_nat_4.vout2021-07-25 18:58 39K 
[ ]nat_4__t8_nat_42021-07-18 09:36 37K 
[ ]nat_4__t8_nat_4.vout2021-07-25 14:25 7.2K 
[ ]nat_4__t9_nat_42021-07-18 09:36 52K 
[ ]nat_4__t9_nat_4.vout2021-07-25 19:03 6.7K 
[ ]nat_4__t10_nat_42021-07-18 09:36 39K 
[ ]nat_4__t10_nat_4.depv12021-07-25 20:57 115  
[ ]nat_4__t10_nat_4.depvmin12021-07-25 21:03 74  
[ ]nat_4__t10_nat_4.vmin12021-07-25 20:57 1.1K 
[ ]nat_4__t10_nat_4.vmin1out2021-07-25 20:58 15K 
[ ]nat_4__t10_nat_4.vout2021-07-25 15:24 15K 
[ ]nat_4__t11_nat_42021-07-18 09:37 44K 
[ ]nat_4__t11_nat_4.depv12021-07-25 20:57 137  
[ ]nat_4__t11_nat_4.depvmin12021-07-25 21:03 137  
[ ]nat_4__t11_nat_4.vmin12021-07-25 20:57 1.3K 
[ ]nat_4__t11_nat_4.vmin1out2021-07-25 21:00 11K 
[ ]nat_4__t11_nat_4.vout2021-07-25 19:18 12K 
[ ]nat_4__t12_nat_42021-07-18 09:37 29K 
[ ]nat_4__t12_nat_4.depv12021-07-25 20:57 417  
[ ]nat_4__t12_nat_4.depvmin12021-07-25 21:03 391  
[ ]nat_4__t12_nat_4.vmin12021-07-25 20:57 3.4K 
[ ]nat_4__t12_nat_4.vmin1out2021-07-25 21:01 38K 
[ ]nat_4__t12_nat_4.vout2021-07-25 18:43 39K 
[ ]nat_4__t13_nat_42021-07-18 09:38 36K 
[ ]nat_4__t13_nat_4.vout2021-07-25 20:32 2.0K 
[ ]nat_4__t14_nat_42021-07-18 09:38 31K 
[ ]nat_4__t14_nat_4.depv12021-07-25 20:57 20  
[ ]nat_4__t14_nat_4.depvmin12021-07-25 21:03 20  
[ ]nat_4__t14_nat_4.vmin12021-07-25 20:57 756  
[ ]nat_4__t14_nat_4.vmin1out2021-07-25 21:02 18K 
[ ]nat_4__t14_nat_4.vout2021-07-25 16:19 18K 
[ ]nat_4__t15_nat_42021-07-18 09:38 50K 
[ ]nat_4__t15_nat_4.vout2021-07-25 15:01 7.2K 
[ ]nat_4__t16_nat_42021-07-18 09:39 44K 
[ ]nat_4__t16_nat_4.depv12021-07-25 20:57 632  
[ ]nat_4__t16_nat_4.depvmin12021-07-25 21:03 456  
[ ]nat_4__t16_nat_4.vmin12021-07-25 20:57 5.1K 
[ ]nat_4__t16_nat_4.vmin1out2021-07-25 21:00 50K 
[ ]nat_4__t16_nat_4.vout2021-07-25 16:55 45K 
[ ]nat_4__t17_nat_42021-07-18 09:39 61K 
[ ]nat_4__t17_nat_4.vout2021-07-25 15:08 4.7K 
[ ]nat_4__t18_nat_42021-07-18 09:40 50K 
[ ]nat_4__t18_nat_4.vout2021-07-25 15:05 7.3K 
[ ]nat_4__t19_nat_42021-07-18 09:40 47K 
[ ]nat_4__t19_nat_4.vout2021-07-25 18:36 6.7K 
[ ]nat_4__t20_nat_42021-07-18 09:41 79K 
[ ]nat_4__t20_nat_4.vout2021-07-25 17:21 6.7K 
[ ]nat_4__t21_nat_42021-07-18 09:41 37K 
[ ]nat_4__t21_nat_4.vout2021-07-25 16:21 7.2K 
[ ]nat_4__t22_nat_42021-07-18 09:42 42K 
[ ]nat_4__t22_nat_4.depv12021-07-25 20:57 389  
[ ]nat_4__t22_nat_4.depvmin12021-07-25 21:03 310  
[ ]nat_4__t22_nat_4.vmin12021-07-25 20:57 3.3K 
[ ]nat_4__t22_nat_4.vmin1out2021-07-25 21:02 36K 
[ ]nat_4__t22_nat_4.vout2021-07-25 19:56 33K 
[ ]nat_4__t23_nat_42021-07-18 09:42 71K 
[ ]nat_4__t23_nat_4.vout2021-07-25 18:23 7.2K 
[ ]nat_4__t24_nat_42021-07-18 09:43 77K 
[ ]nat_4__t24_nat_4.vout2021-07-25 19:33 6.7K 
[ ]nat_4__t25_nat_42021-07-18 09:43 61K 
[ ]nat_4__t25_nat_4.depv12021-07-25 20:57 68  
[ ]nat_4__t25_nat_4.depvmin12021-07-25 21:03 68  
[ ]nat_4__t25_nat_4.vmin12021-07-25 20:57 1.6K 
[ ]nat_4__t25_nat_4.vmin1out2021-07-25 21:00 35K 
[ ]nat_4__t25_nat_4.vout2021-07-25 20:04 39K 
[ ]nat_4__t26_nat_42021-07-18 09:44 41K 
[ ]nat_4__t26_nat_4.depv12021-07-25 20:57 397  
[ ]nat_4__t26_nat_4.depvmin12021-07-25 21:03 397  
[ ]nat_4__t26_nat_4.vmin12021-07-25 20:57 2.2K 
[ ]nat_4__t26_nat_4.vmin1out2021-07-25 20:58 27K 
[ ]nat_4__t26_nat_4.vout2021-07-25 19:00 28K 
[ ]nat_4__t27_nat_42021-07-18 09:44 44K 
[ ]nat_4__t27_nat_4.depv12021-07-25 20:57 922  
[ ]nat_4__t27_nat_4.depvmin12021-07-25 21:03 588  
[ ]nat_4__t27_nat_4.vmin12021-07-25 20:57 5.1K 
[ ]nat_4__t27_nat_4.vmin1out2021-07-25 21:00 29K 
[ ]nat_4__t27_nat_4.vout2021-07-25 20:10 48K 
[ ]nat_4__t28_nat_42021-07-18 09:44 44K 
[ ]nat_4__t28_nat_4.depv12021-07-25 20:57 365  
[ ]nat_4__t28_nat_4.depvmin12021-07-25 21:03 365  
[ ]nat_4__t28_nat_4.vmin12021-07-25 20:57 2.1K 
[ ]nat_4__t28_nat_4.vmin1out2021-07-25 20:59 26K 
[ ]nat_4__t28_nat_4.vout2021-07-25 19:53 27K 
[ ]nat_4__t29_nat_42021-07-18 09:45 44K 
[ ]nat_4__t29_nat_4.depv12021-07-25 20:57 428  
[ ]nat_4__t29_nat_4.depvmin12021-07-25 21:03 428  
[ ]nat_4__t29_nat_4.vmin12021-07-25 20:57 2.5K 
[ ]nat_4__t29_nat_4.vmin1out2021-07-25 21:00 30K 
[ ]nat_4__t29_nat_4.vout2021-07-25 17:44 31K 
[ ]nat_4__t30_nat_42021-07-18 09:45 45K 
[ ]nat_4__t30_nat_4.vout2021-07-25 19:33 8.3K 
[ ]nat_4__t31_nat_42021-07-18 09:46 71K 
[ ]nat_4__t31_nat_4.vout2021-07-25 19:45 8.3K 
[ ]nat_4__t32_nat_42021-07-18 09:46 87K 
[ ]nat_4__t32_nat_4.vout2021-07-25 20:04 8.3K 
[ ]nat_4__t33_nat_42021-07-18 09:47 80K 
[ ]nat_4__t33_nat_4.vout2021-07-25 17:12 8.3K 
[ ]nat_4__t34_nat_42021-07-18 09:47 83K 
[ ]nat_4__t34_nat_4.vout2021-07-25 15:05 8.3K 
[ ]nat_4__t35_nat_42021-07-18 09:48 77K 
[ ]nat_4__t35_nat_4.vout2021-07-25 16:59 8.3K 
[ ]nat_4__t36_nat_42021-07-18 09:48 73K 
[ ]nat_4__t36_nat_4.vout2021-07-25 15:03 8.3K 
[ ]nat_4__t37_nat_42021-07-18 09:49 71K 
[ ]nat_4__t37_nat_4.vout2021-07-25 15:10 8.3K 
[ ]nat_4__t38_nat_42021-07-18 09:49 201K 
[ ]nat_4__t38_nat_4.vout2021-07-25 19:20 10K 
[ ]nat_4__t39_nat_42021-07-18 09:50 218K 
[ ]nat_4__t39_nat_4.vout2021-07-25 14:25 10K 
[ ]nat_4__t40_nat_42021-07-18 09:51 215K 
[ ]nat_4__t40_nat_4.vout2021-07-25 20:02 8.3K 
[ ]nat_4__t42_nat_42021-07-18 09:51 73K 
[ ]nat_4__t42_nat_4.vout2021-07-25 15:18 7.8K 
[ ]nat_4__t43_nat_42021-07-18 09:52 81K 
[ ]nat_4__t43_nat_4.vout2021-07-25 20:18 7.2K 
[ ]nat_4__t44_nat_42021-07-18 09:53 95K 
[ ]nat_4__t44_nat_4.vout2021-07-25 20:28 6.8K 
[ ]nat_4__t45_nat_42021-07-18 09:59 536K 
[ ]nat_4__t45_nat_4.vout2021-07-25 15:18 3.6K 
[ ]nat_4__t46_nat_42021-07-18 10:00 79K 
[ ]nat_4__t46_nat_4.vout2021-07-25 14:45 7.2K 
[ ]nat_4__t47_nat_42021-07-18 09:53 86K 
[ ]nat_4__t47_nat_4.vout2021-07-25 19:18 3.6K 
[ ]nat_4__t48_nat_42021-07-18 09:54 107K 
[ ]nat_4__t48_nat_4.vout2021-07-25 17:32 3.6K 
[ ]nat_4__t49_nat_42021-07-18 09:55 201K 
[ ]nat_4__t49_nat_4.vout2021-07-25 16:48 3.6K 
[ ]nat_4__t50_nat_42021-07-18 09:55 39K 
[ ]nat_4__t50_nat_4.depv12021-07-25 20:57 134  
[ ]nat_4__t50_nat_4.depvmin12021-07-25 21:03 134  
[ ]nat_4__t50_nat_4.vmin12021-07-25 20:57 1.3K 
[ ]nat_4__t50_nat_4.vmin1out2021-07-25 20:59 18K 
[ ]nat_4__t50_nat_4.vout2021-07-25 16:02 18K 
[ ]nat_4__t51_nat_42021-07-18 09:56 59K 
[ ]nat_4__t51_nat_4.vout2021-07-25 16:39 4.1K 
[ ]nat_4__t52_nat_42021-07-18 09:56 48K 
[ ]nat_4__t52_nat_4.vout2021-07-25 18:38 4.7K 
[ ]nat_4__t53_nat_42021-07-18 09:57 75K 
[ ]nat_4__t53_nat_4.vout2021-07-25 18:42 7.3K 
[ ]nat_4__t54_nat_42021-07-18 09:57 78K 
[ ]nat_4__t54_nat_4.vout2021-07-25 15:27 7.3K 
[ ]nat_4__t55_nat_42021-07-18 09:58 55K 
[ ]nat_4__t55_nat_4.vout2021-07-25 16:07 2.0K 
[ ]nat_4__t56_nat_42021-07-18 09:58 376K 
[ ]nat_4__t56_nat_4.vout2021-07-25 16:12 3.6K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80