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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]nat_3__t1_nat_32021-07-18 11:21 29K 
[ ]nat_3__t1_nat_3.vout2021-07-25 16:19 7.2K 
[ ]nat_3__t2_nat_32021-07-18 11:21 50K 
[ ]nat_3__t2_nat_3.vout2021-07-25 19:37 2.0K 
[ ]nat_3__t3_nat_32021-07-18 11:22 38K 
[ ]nat_3__t3_nat_3.vout2021-07-25 17:10 7.2K 
[ ]nat_3__t4_nat_32021-07-18 11:22 38K 
[ ]nat_3__t4_nat_3.depv12021-07-25 20:57 193  
[ ]nat_3__t4_nat_3.depvmin12021-07-25 21:03 193  
[ ]nat_3__t4_nat_3.vmin12021-07-25 20:57 1.6K 
[ ]nat_3__t4_nat_3.vmin1out2021-07-25 20:59 16K 
[ ]nat_3__t4_nat_3.vout2021-07-25 15:36 18K 
[ ]nat_3__t5_nat_32021-07-18 11:23 52K 
[ ]nat_3__t5_nat_3.vout2021-07-25 19:00 7.2K 
[ ]nat_3__t6_nat_32021-07-18 11:23 34K 
[ ]nat_3__t6_nat_3.depv12021-07-25 20:57 93  
[ ]nat_3__t6_nat_3.depvmin12021-07-25 21:03 93  
[ ]nat_3__t6_nat_3.vmin12021-07-25 20:57 859  
[ ]nat_3__t6_nat_3.vmin1out2021-07-25 21:02 14K 
[ ]nat_3__t6_nat_3.vout2021-07-25 17:34 15K 
[ ]nat_3__t7_nat_32021-07-18 11:23 58K 
[ ]nat_3__t7_nat_3.vout2021-07-25 15:38 4.6K 
[ ]nat_3__t8_nat_32021-07-18 11:24 63K 
[ ]nat_3__t8_nat_3.vout2021-07-25 19:37 3.6K 
[ ]nat_3__t9_nat_32021-07-18 11:24 52K 
[ ]nat_3__t9_nat_3.vout2021-07-25 20:17 7.8K 
[ ]nat_3__t10_nat_32021-07-18 11:25 41K 
[ ]nat_3__t10_nat_3.depv12021-07-25 20:57 201  
[ ]nat_3__t10_nat_3.depvmin12021-07-25 21:03 201  
[ ]nat_3__t10_nat_3.vmin12021-07-25 20:57 1.7K 
[ ]nat_3__t10_nat_3.vmin1out2021-07-25 21:02 20K 
[ ]nat_3__t10_nat_3.vout2021-07-25 19:34 22K 
[ ]nat_3__t11_nat_32021-07-18 11:25 41K 
[ ]nat_3__t11_nat_3.depv12021-07-25 20:57 281  
[ ]nat_3__t11_nat_3.depvmin12021-07-25 21:03 202  
[ ]nat_3__t11_nat_3.vmin12021-07-25 20:57 2.3K 
[ ]nat_3__t11_nat_3.vmin1out2021-07-25 21:01 17K 
[ ]nat_3__t11_nat_3.vout2021-07-25 20:34 27K 
[ ]nat_3__t12_nat_32021-07-18 11:26 41K 
[ ]nat_3__t12_nat_3.vout2021-07-25 17:56 7.3K 
[ ]nat_3__t13_nat_32021-07-18 11:26 68K 
[ ]nat_3__t13_nat_3.vout2021-07-25 19:40 7.2K 
[ ]nat_3__t14_nat_32021-07-18 11:27 51K 
[ ]nat_3__t14_nat_3.vout2021-07-25 19:25 2.0K 
[ ]nat_3__t15_nat_32021-07-18 11:27 55K 
[ ]nat_3__t15_nat_3.vout2021-07-25 17:54 7.3K 
[ ]nat_3__t16_nat_32021-07-18 11:27 35K 
[ ]nat_3__t16_nat_3.vout2021-07-25 18:15 7.2K 
[ ]nat_3__t17_nat_32021-07-18 11:28 37K 
[ ]nat_3__t17_nat_3.vout2021-07-25 18:30 7.2K 
[ ]nat_3__t18_nat_32021-07-18 11:28 37K 
[ ]nat_3__t18_nat_3.vout2021-07-25 17:00 7.2K 
[ ]nat_3__t19_nat_32021-07-18 11:29 103K 
[ ]nat_3__t19_nat_3.vout2021-07-25 15:19 4.2K 
[ ]nat_3__t20_nat_32021-07-18 11:29 56K 
[ ]nat_3__t20_nat_3.vout2021-07-25 17:24 11K 
[ ]nat_3__t21_nat_32021-07-18 11:30 38K 
[ ]nat_3__t21_nat_3.vout2021-07-25 16:23 7.2K 
[ ]nat_3__t22_nat_32021-07-18 11:30 50K 
[ ]nat_3__t22_nat_3.vout2021-07-25 16:24 7.2K 
[ ]nat_3__t23_nat_32021-07-18 11:30 38K 
[ ]nat_3__t23_nat_3.vout2021-07-25 16:25 7.2K 
[ ]nat_3__t24_nat_32021-07-18 11:31 38K 
[ ]nat_3__t24_nat_3.vout2021-07-25 15:51 7.2K 
[ ]nat_3__t25_nat_32021-07-18 11:31 39K 
[ ]nat_3__t25_nat_3.vout2021-07-25 15:59 4.7K 
[ ]nat_3__t26_nat_32021-07-18 11:32 36K 
[ ]nat_3__t26_nat_3.depv12021-07-25 20:57 112  
[ ]nat_3__t26_nat_3.depvmin12021-07-25 21:03 112  
[ ]nat_3__t26_nat_3.vmin12021-07-25 20:57 1.1K 
[ ]nat_3__t26_nat_3.vmin1out2021-07-25 21:01 13K 
[ ]nat_3__t26_nat_3.vout2021-07-25 18:20 14K 
[ ]nat_3__t27_nat_32021-07-18 11:32 36K 
[ ]nat_3__t27_nat_3.vout2021-07-25 17:45 7.3K 
[ ]nat_3__t28_nat_32021-07-18 11:32 39K 
[ ]nat_3__t28_nat_3.vout2021-07-25 18:36 4.7K 
[ ]nat_3__t29_nat_32021-07-18 11:33 29K 
[ ]nat_3__t29_nat_3.depv12021-07-25 20:57 83  
[ ]nat_3__t29_nat_3.depvmin12021-07-25 21:03 83  
[ ]nat_3__t29_nat_3.vmin12021-07-25 20:57 1.1K 
[ ]nat_3__t29_nat_3.vmin1out2021-07-25 21:00 11K 
[ ]nat_3__t29_nat_3.vout2021-07-25 16:48 11K 
[ ]nat_3__t30_nat_32021-07-18 11:33 40K 
[ ]nat_3__t30_nat_3.vout2021-07-25 18:41 7.2K 
[ ]nat_3__t31_nat_32021-07-18 11:34 51K 
[ ]nat_3__t31_nat_3.vout2021-07-25 14:50 7.2K 
[ ]nat_3__t32_nat_32021-07-18 11:34 37K 
[ ]nat_3__t32_nat_3.vout2021-07-25 19:18 7.3K 
[ ]nat_3__t33_nat_32021-07-18 11:34 30K 
[ ]nat_3__t33_nat_3.depv12021-07-25 20:57 120  
[ ]nat_3__t33_nat_3.depvmin12021-07-25 21:03 120  
[ ]nat_3__t33_nat_3.vmin12021-07-25 20:57 1.2K 
[ ]nat_3__t33_nat_3.vmin1out2021-07-25 21:01 15K 
[ ]nat_3__t33_nat_3.vout2021-07-25 18:48 16K 
[ ]nat_3__t34_nat_32021-07-18 11:35 30K 
[ ]nat_3__t34_nat_3.depv12021-07-25 20:57 79  
[ ]nat_3__t34_nat_3.depvmin12021-07-25 21:03 79  
[ ]nat_3__t34_nat_3.vmin12021-07-25 20:57 846  
[ ]nat_3__t34_nat_3.vmin1out2021-07-25 20:58 7.9K 
[ ]nat_3__t34_nat_3.vout2021-07-25 15:23 11K 
[ ]nat_3__t35_nat_32021-07-18 11:35 35K 
[ ]nat_3__t35_nat_3.vout2021-07-25 15:45 7.3K 
[ ]nat_3__t36_nat_32021-07-18 11:36 36K 
[ ]nat_3__t36_nat_3.depv12021-07-25 20:57 166  
[ ]nat_3__t36_nat_3.depvmin12021-07-25 21:03 166  
[ ]nat_3__t36_nat_3.vmin12021-07-25 20:57 1.8K 
[ ]nat_3__t36_nat_3.vmin1out2021-07-25 20:59 24K 
[ ]nat_3__t36_nat_3.vout2021-07-25 18:49 24K 
[ ]nat_3__t37_nat_32021-07-18 11:36 40K 
[ ]nat_3__t37_nat_3.depv12021-07-25 20:57 191  
[ ]nat_3__t37_nat_3.depvmin12021-07-25 21:03 191  
[ ]nat_3__t37_nat_3.vmin12021-07-25 20:57 1.9K 
[ ]nat_3__t37_nat_3.vmin1out2021-07-25 21:02 24K 
[ ]nat_3__t37_nat_3.vout2021-07-25 17:42 25K 
[ ]nat_3__t38_nat_32021-07-18 11:36 46K 
[ ]nat_3__t38_nat_3.vout2021-07-25 20:54 7.2K 
[ ]nat_3__t39_nat_32021-07-18 11:37 46K 
[ ]nat_3__t39_nat_3.vout2021-07-25 14:54 6.7K 
[ ]nat_3__t40_nat_32021-07-18 11:37 34K 
[ ]nat_3__t40_nat_3.depv12021-07-25 20:57 70  
[ ]nat_3__t40_nat_3.depvmin12021-07-25 21:03 70  
[ ]nat_3__t40_nat_3.vmin12021-07-25 20:57 1.2K 
[ ]nat_3__t40_nat_3.vmin1out2021-07-25 21:02 16K 
[ ]nat_3__t40_nat_3.vout2021-07-25 18:29 16K 
[ ]nat_3__t41_nat_32021-07-18 11:38 32K 
[ ]nat_3__t41_nat_3.depv12021-07-25 20:57 85  
[ ]nat_3__t41_nat_3.depvmin12021-07-25 21:03 85  
[ ]nat_3__t41_nat_3.vmin12021-07-25 20:57 661  
[ ]nat_3__t41_nat_3.vmin1out2021-07-25 21:02 5.1K 
[ ]nat_3__t41_nat_3.vout2021-07-25 16:14 5.6K 
[ ]nat_3__t42_nat_32021-07-18 11:38 46K 
[ ]nat_3__t42_nat_3.vout2021-07-25 17:49 7.3K 
[ ]nat_3__t43_nat_32021-07-18 11:38 32K 
[ ]nat_3__t43_nat_3.depv12021-07-25 20:57 158  
[ ]nat_3__t43_nat_3.depvmin12021-07-25 21:03 158  
[ ]nat_3__t43_nat_3.vmin12021-07-25 20:57 1.0K 
[ ]nat_3__t43_nat_3.vmin1out2021-07-25 20:59 8.0K 
[ ]nat_3__t43_nat_3.vout2021-07-25 14:25 7.9K 
[ ]nat_3__t44_nat_32021-07-18 11:39 52K 
[ ]nat_3__t44_nat_3.vout2021-07-25 17:47 7.3K 
[ ]nat_3__t45_nat_32021-07-18 11:39 48K 
[ ]nat_3__t45_nat_3.vout2021-07-25 19:48 7.2K 
[ ]nat_3__t46_nat_32021-07-18 11:40 49K 
[ ]nat_3__t46_nat_3.vout2021-07-25 19:14 7.3K 
[ ]nat_3__t47_nat_32021-07-18 11:40 43K 
[ ]nat_3__t47_nat_3.vout2021-07-25 14:47 2.0K 
[ ]nat_3__t48_nat_32021-07-18 11:41 46K 
[ ]nat_3__t48_nat_3.vout2021-07-25 17:35 7.3K 
[ ]nat_3__t49_nat_32021-07-18 11:41 40K 
[ ]nat_3__t49_nat_3.vout2021-07-25 17:26 4.7K 
[ ]nat_3__t50_nat_32021-07-18 11:41 41K 
[ ]nat_3__t50_nat_3.vout2021-07-25 19:59 4.7K 
[ ]nat_3__t51_nat_32021-07-18 11:42 37K 
[ ]nat_3__t51_nat_3.vout2021-07-25 20:07 4.7K 
[ ]nat_3__t52_nat_32021-07-18 11:42 59K 
[ ]nat_3__t52_nat_3.vout2021-07-25 15:29 4.7K 
[ ]nat_3__t53_nat_32021-07-18 11:43 52K 
[ ]nat_3__t53_nat_3.vout2021-07-25 16:49 4.7K 
[ ]nat_3__t54_nat_32021-07-18 11:43 53K 
[ ]nat_3__t54_nat_3.vout2021-07-25 20:18 4.7K 
[ ]nat_3__t55_nat_32021-07-18 11:44 34K 
[ ]nat_3__t55_nat_3.depv12021-07-25 20:57 151  
[ ]nat_3__t55_nat_3.depvmin12021-07-25 21:03 151  
[ ]nat_3__t55_nat_3.vmin12021-07-25 20:57 2.3K 
[ ]nat_3__t55_nat_3.vmin1out2021-07-25 20:59 34K 
[ ]nat_3__t55_nat_3.vout2021-07-25 15:38 34K 
[ ]nat_3__t56_nat_32021-07-18 11:44 35K 
[ ]nat_3__t56_nat_3.depv12021-07-25 20:57 174  
[ ]nat_3__t56_nat_3.depvmin12021-07-25 21:03 174  
[ ]nat_3__t56_nat_3.vmin12021-07-25 20:57 2.4K 
[ ]nat_3__t56_nat_3.vmin1out2021-07-25 20:58 37K 
[ ]nat_3__t56_nat_3.vout2021-07-25 17:03 38K 
[ ]nat_3__t57_nat_32021-07-18 11:44 34K 
[ ]nat_3__t57_nat_3.depv12021-07-25 20:57 127  
[ ]nat_3__t57_nat_3.depvmin12021-07-25 21:03 127  
[ ]nat_3__t57_nat_3.vmin12021-07-25 20:57 2.2K 
[ ]nat_3__t57_nat_3.vmin1out2021-07-25 21:00 27K 
[ ]nat_3__t57_nat_3.vout2021-07-25 20:26 27K 
[ ]nat_3__t58_nat_32021-07-18 11:45 52K 
[ ]nat_3__t58_nat_3.vout2021-07-25 16:06 5.2K 
[ ]nat_3__t59_nat_32021-07-18 11:45 34K 
[ ]nat_3__t59_nat_3.depv12021-07-25 20:57 140  
[ ]nat_3__t59_nat_3.depvmin12021-07-25 21:03 140  
[ ]nat_3__t59_nat_3.vmin12021-07-25 20:57 1.5K 
[ ]nat_3__t59_nat_3.vmin1out2021-07-25 20:58 17K 
[ ]nat_3__t59_nat_3.vout2021-07-25 15:53 18K 
[ ]nat_3__t60_nat_32021-07-18 11:46 48K 
[ ]nat_3__t60_nat_3.vout2021-07-25 16:52 5.3K 
[ ]nat_3__t61_nat_32021-07-18 11:46 102K 
[ ]nat_3__t61_nat_3.vout2021-07-25 14:51 3.6K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80