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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]nat_2__t1_nat_22021-07-17 17:41 17K 
[ ]nat_2__t1_nat_2.vout2021-07-25 15:54 2.0K 
[ ]nat_2__t2_nat_22021-07-17 17:41 36K 
[ ]nat_2__t2_nat_2.vout2021-07-25 16:37 7.2K 
[ ]nat_2__t3_nat_22021-07-17 17:41 9.8K 
[ ]nat_2__t3_nat_2.depv12021-07-25 20:57 230  
[ ]nat_2__t3_nat_2.depvmin12021-07-25 21:03 200  
[ ]nat_2__t3_nat_2.vmin12021-07-25 20:57 1.4K 
[ ]nat_2__t3_nat_2.vmin1out2021-07-25 21:02 10K 
[ ]nat_2__t3_nat_2.vout2021-07-25 18:25 24K 
[ ]nat_2__t4_nat_22021-07-17 17:42 15K 
[ ]nat_2__t4_nat_2.depv12021-07-25 20:57 328  
[ ]nat_2__t4_nat_2.depvmin12021-07-25 21:03 257  
[ ]nat_2__t4_nat_2.vmin12021-07-25 20:57 2.0K 
[ ]nat_2__t4_nat_2.vmin1out2021-07-25 20:59 18K 
[ ]nat_2__t4_nat_2.vout2021-07-25 17:32 23K 
[ ]nat_2__t5_nat_22021-07-17 17:42 26K 
[ ]nat_2__t5_nat_2.vout2021-07-25 16:36 7.3K 
[ ]nat_2__t6_nat_22021-07-17 17:42 17K 
[ ]nat_2__t6_nat_2.vout2021-07-25 18:16 2.0K 
[ ]nat_2__t7_nat_22021-07-17 17:42 17K 
[ ]nat_2__t7_nat_2.vout2021-07-25 14:37 2.0K 
[ ]nat_2__t8_nat_22021-07-17 17:43 14K 
[ ]nat_2__t8_nat_2.depv12021-07-25 20:57 141  
[ ]nat_2__t8_nat_2.depvmin12021-07-25 21:03 141  
[ ]nat_2__t8_nat_2.vmin12021-07-25 20:57 1.2K 
[ ]nat_2__t8_nat_2.vmin1out2021-07-25 20:58 14K 
[ ]nat_2__t8_nat_2.vout2021-07-25 16:51 14K 
[ ]nat_2__t9_nat_22021-07-17 17:43 14K 
[ ]nat_2__t9_nat_2.depv12021-07-25 20:57 573  
[ ]nat_2__t9_nat_2.depvmin12021-07-25 21:03 265  
[ ]nat_2__t9_nat_2.vmin12021-07-25 20:57 3.6K 
[ ]nat_2__t9_nat_2.vmin1out2021-07-25 20:59 23K 
[ ]nat_2__t9_nat_2.vout2021-07-25 14:45 40K 
[ ]nat_2__t10_nat_22021-07-17 17:43 27K 
[ ]nat_2__t10_nat_2.vout2021-07-25 18:44 2.0K 
[ ]nat_2__t11_nat_22021-07-17 17:43 21K 
[ ]nat_2__t11_nat_2.depv12021-07-25 20:57 91  
[ ]nat_2__t11_nat_2.depvmin12021-07-25 21:03 91  
[ ]nat_2__t11_nat_2.vmin12021-07-25 20:57 1.0K 
[ ]nat_2__t11_nat_2.vmin1out2021-07-25 21:02 14K 
[ ]nat_2__t11_nat_2.vout2021-07-25 17:06 14K 
[ ]nat_2__t12_nat_22021-07-17 17:44 14K 
[ ]nat_2__t12_nat_2.vout2021-07-25 20:02 7.2K 
[ ]nat_2__t13_nat_22021-07-17 17:44 13K 
[ ]nat_2__t13_nat_2.vout2021-07-25 20:32 2.0K 
[ ]nat_2__t14_nat_22021-07-17 17:44 21K 
[ ]nat_2__t14_nat_2.vout2021-07-25 17:09 7.2K 
[ ]nat_2__t15_nat_22021-07-17 17:45 29K 
[ ]nat_2__t15_nat_2.vout2021-07-25 16:45 7.3K 
[ ]nat_2__t16_nat_22021-07-17 17:45 22K 
[ ]nat_2__t16_nat_2.depv12021-07-25 20:57 323  
[ ]nat_2__t16_nat_2.vmin12021-07-25 20:57 1.8K 
[ ]nat_2__t16_nat_2.vmin1out2021-07-25 21:02 2.0K 
[ ]nat_2__t16_nat_2.vout2021-07-25 17:25 16K 
[ ]nat_2__t17_nat_22021-07-17 17:45 28K 
[ ]nat_2__t17_nat_2.vout2021-07-25 16:04 2.0K 
[ ]nat_2__t18_nat_22021-07-17 17:45 78K 
[ ]nat_2__t18_nat_2.vout2021-07-25 20:33 7.3K 
[ ]nat_2__t19_nat_22021-07-17 17:46 9.7K 
[ ]nat_2__t19_nat_2.depv12021-07-25 20:57 122  
[ ]nat_2__t19_nat_2.depvmin12021-07-25 21:03 122  
[ ]nat_2__t19_nat_2.vmin12021-07-25 20:57 785  
[ ]nat_2__t19_nat_2.vmin1out2021-07-25 20:59 6.9K 
[ ]nat_2__t19_nat_2.vout2021-07-25 19:02 6.7K 
[ ]nat_2__t20_nat_22021-07-17 17:46 34K 
[ ]nat_2__t20_nat_2.vout2021-07-25 14:35 7.2K 
[ ]nat_2__t21_nat_22021-07-17 17:46 27K 
[ ]nat_2__t21_nat_2.vout2021-07-25 19:26 7.3K 
[ ]nat_2__t22_nat_22021-07-17 17:40 9.8K 
[ ]nat_2__t22_nat_2.depv12021-07-25 20:57 209  
[ ]nat_2__t22_nat_2.depvmin12021-07-25 21:03 197  
[ ]nat_2__t22_nat_2.vmin12021-07-25 20:57 1.4K 
[ ]nat_2__t22_nat_2.vmin1out2021-07-25 20:59 11K 
[ ]nat_2__t22_nat_2.vout2021-07-25 18:44 13K 
[ ]nat_2__t23_nat_22021-07-17 17:47 132K 
[ ]nat_2__t23_nat_2.vout2021-07-25 14:33 7.2K 
[ ]nat_2__t24_nat_22021-07-17 17:47 29K 
[ ]nat_2__t24_nat_2.vout2021-07-25 17:50 7.3K 
[ ]nat_2__t25_nat_22021-07-17 17:47 19K 
[ ]nat_2__t25_nat_2.vout2021-07-25 20:01 7.2K 
[ ]nat_2__t26_nat_22021-07-17 17:48 28K 
[ ]nat_2__t26_nat_2.vout2021-07-25 20:22 7.3K 
[ ]nat_2__t27_nat_22021-07-17 17:48 20K 
[ ]nat_2__t27_nat_2.vout2021-07-25 18:08 7.3K 
[ ]nat_2__t28_nat_22021-07-17 17:40 7.5K 
[ ]nat_2__t28_nat_2.vout2021-07-25 14:26 8.3K 
[ ]nat_2__t29_nat_22021-07-17 17:48 19K 
[ ]nat_2__t29_nat_2.vout2021-07-25 16:21 5.2K 
[ ]nat_2__t30_nat_22021-07-17 17:48 21K 
[ ]nat_2__t30_nat_2.vout2021-07-25 15:21 2.0K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80