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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]filerec1__t1_filerec12021-07-18 09:06 18K 
[ ]filerec1__t1_filerec1.depv12021-07-25 20:57 40  
[ ]filerec1__t1_filerec1.depvmin12021-07-25 21:03 40  
[ ]filerec1__t1_filerec1.vmin12021-07-25 20:57 1.2K 
[ ]filerec1__t1_filerec1.vmin1out2021-07-25 21:02 35K 
[ ]filerec1__t1_filerec1.vout2021-07-25 19:23 16K 
[ ]filerec1__t2_filerec12021-07-18 09:06 24K 
[ ]filerec1__t2_filerec1.vout2021-07-25 15:19 4.2K 
[ ]filerec1__t3_filerec12021-07-18 09:07 19K 
[ ]filerec1__t3_filerec1.depv12021-07-25 20:57 107  
[ ]filerec1__t3_filerec1.depvmin12021-07-25 21:03 107  
[ ]filerec1__t3_filerec1.vmin12021-07-25 20:57 851  
[ ]filerec1__t3_filerec1.vmin1out2021-07-25 21:00 7.8K 
[ ]filerec1__t3_filerec1.vout2021-07-25 19:13 7.8K 
[ ]filerec1__t4_filerec12021-07-18 09:07 46K 
[ ]filerec1__t4_filerec1.vout2021-07-25 17:59 2.0K 
[ ]filerec1__t5_filerec12021-07-18 09:07 40K 
[ ]filerec1__t5_filerec1.vout2021-07-25 19:36 4.7K 
[ ]filerec1__t6_filerec12021-07-18 09:08 48K 
[ ]filerec1__t6_filerec1.vout2021-07-25 16:50 2.0K 
[ ]filerec1__t7_filerec12021-07-18 09:08 41K 
[ ]filerec1__t7_filerec1.vout2021-07-25 18:20 2.0K 
[ ]filerec1__t8_filerec12021-07-18 09:08 25K 
[ ]filerec1__t8_filerec1.depv12021-07-25 20:57 345  
[ ]filerec1__t8_filerec1.depvmin12021-07-25 21:03 332  
[ ]filerec1__t8_filerec1.vmin12021-07-25 20:57 2.7K 
[ ]filerec1__t8_filerec1.vmin1out2021-07-25 21:00 32K 
[ ]filerec1__t8_filerec1.vout2021-07-25 19:01 32K 
[ ]filerec1__t9_filerec12021-07-18 09:08 28K 
[ ]filerec1__t9_filerec1.depv12021-07-25 20:57 247  
[ ]filerec1__t9_filerec1.depvmin12021-07-25 21:03 247  
[ ]filerec1__t9_filerec1.vmin12021-07-25 20:57 2.4K 
[ ]filerec1__t9_filerec1.vmin1out2021-07-25 21:01 29K 
[ ]filerec1__t9_filerec1.vout2021-07-25 16:31 29K 
[ ]filerec1__t10_filerec12021-07-18 09:09 23K 
[ ]filerec1__t10_filerec1.depv12021-07-25 20:57 126  
[ ]filerec1__t10_filerec1.depvmin12021-07-25 21:03 126  
[ ]filerec1__t10_filerec1.vmin12021-07-25 20:57 1.5K 
[ ]filerec1__t10_filerec1.vmin1out2021-07-25 21:00 23K 
[ ]filerec1__t10_filerec1.vout2021-07-25 17:52 24K 
[ ]filerec1__t11_filerec12021-07-18 09:09 19K 
[ ]filerec1__t11_filerec1.depv12021-07-25 20:57 177  
[ ]filerec1__t11_filerec1.depvmin12021-07-25 21:03 152  
[ ]filerec1__t11_filerec1.vmin12021-07-25 20:57 1.2K 
[ ]filerec1__t11_filerec1.vmin1out2021-07-25 21:01 13K 
[ ]filerec1__t11_filerec1.vout2021-07-25 20:46 16K 
[ ]filerec1__t12_filerec12021-07-18 09:09 30K 
[ ]filerec1__t12_filerec1.depv12021-07-25 20:57 347  
[ ]filerec1__t12_filerec1.depvmin12021-07-25 21:03 347  
[ ]filerec1__t12_filerec1.vmin12021-07-25 20:57 3.0K 
[ ]filerec1__t12_filerec1.vmin1out2021-07-25 20:58 35K 
[ ]filerec1__t12_filerec1.vout2021-07-25 20:13 30K 
[ ]filerec1__t13_filerec12021-07-18 09:10 25K 
[ ]filerec1__t13_filerec1.depv12021-07-25 20:57 168  
[ ]filerec1__t13_filerec1.depvmin12021-07-25 21:03 168  
[ ]filerec1__t13_filerec1.vmin12021-07-25 20:57 1.2K 
[ ]filerec1__t13_filerec1.vmin1out2021-07-25 21:01 9.4K 
[ ]filerec1__t13_filerec1.vout2021-07-25 20:51 9.1K 
[ ]filerec1__t14_filerec12021-07-18 09:10 25K 
[ ]filerec1__t14_filerec1.depv12021-07-25 20:57 144  
[ ]filerec1__t14_filerec1.depvmin12021-07-25 21:03 144  
[ ]filerec1__t14_filerec1.vmin12021-07-25 20:57 1.2K 
[ ]filerec1__t14_filerec1.vmin1out2021-07-25 20:59 8.8K 
[ ]filerec1__t14_filerec1.vout2021-07-25 18:18 9.2K 
[ ]filerec1__t15_filerec12021-07-18 09:10 24K 
[ ]filerec1__t15_filerec1.depv12021-07-25 20:57 213  
[ ]filerec1__t15_filerec1.depvmin12021-07-25 21:03 122  
[ ]filerec1__t15_filerec1.vmin12021-07-25 20:57 1.8K 
[ ]filerec1__t15_filerec1.vmin1out2021-07-25 21:01 18K 
[ ]filerec1__t15_filerec1.vout2021-07-25 19:10 19K 
[ ]filerec1__t16_filerec12021-07-18 09:10 31K 
[ ]filerec1__t16_filerec1.vout2021-07-25 20:15 6.8K 
[ ]filerec1__t17_filerec12021-07-18 09:11 16K 
[ ]filerec1__t17_filerec1.depv12021-07-25 20:57 256  
[ ]filerec1__t17_filerec1.depvmin12021-07-25 21:03 215  
[ ]filerec1__t17_filerec1.vmin12021-07-25 20:57 1.9K 
[ ]filerec1__t17_filerec1.vmin1out2021-07-25 21:00 13K 
[ ]filerec1__t17_filerec1.vout2021-07-25 15:47 15K 
[ ]filerec1__t18_filerec12021-07-18 09:11 97K 
[ ]filerec1__t18_filerec1.vout2021-07-25 19:43 4.7K 
[ ]filerec1__t19_filerec12021-07-18 09:11 52K 
[ ]filerec1__t19_filerec1.vout2021-07-25 14:43 7.9K 
[ ]filerec1__t20_filerec12021-07-18 09:12 32K 
[ ]filerec1__t20_filerec1.vout2021-07-25 15:55 2.0K 
[ ]filerec1__t21_filerec12021-07-18 09:12 23K 
[ ]filerec1__t21_filerec1.depv12021-07-25 20:57 229  
[ ]filerec1__t21_filerec1.depvmin12021-07-25 21:03 229  
[ ]filerec1__t21_filerec1.vmin12021-07-25 20:57 1.9K 
[ ]filerec1__t21_filerec1.vmin1out2021-07-25 20:59 18K 
[ ]filerec1__t21_filerec1.vout2021-07-25 16:03 17K 
[ ]filerec1__t22_filerec12021-07-18 09:12 26K 
[ ]filerec1__t22_filerec1.depv12021-07-25 20:57 371  
[ ]filerec1__t22_filerec1.depvmin12021-07-25 21:03 371  
[ ]filerec1__t22_filerec1.vmin12021-07-25 20:57 3.0K 
[ ]filerec1__t22_filerec1.vmin1out2021-07-25 21:01 25K 
[ ]filerec1__t22_filerec1.vout2021-07-25 19:41 27K 
[ ]filerec1__t23_filerec12021-07-18 09:13 48K 
[ ]filerec1__t23_filerec1.vout2021-07-25 16:14 4.7K 
[ ]filerec1__t24_filerec12021-07-18 09:13 28K 
[ ]filerec1__t24_filerec1.vout2021-07-25 18:10 2.0K 
[ ]filerec1__t25_filerec12021-07-18 09:13 25K 
[ ]filerec1__t25_filerec1.vout2021-07-25 18:25 2.0K 
[ ]filerec1__t26_filerec12021-07-18 09:13 28K 
[ ]filerec1__t26_filerec1.vout2021-07-25 14:31 2.0K 
[ ]filerec1__t27_filerec12021-07-18 09:14 58K 
[ ]filerec1__t27_filerec1.vout2021-07-25 16:28 4.7K 
[ ]filerec1__t28_filerec12021-07-18 09:14 95K 
[ ]filerec1__t28_filerec1.vout2021-07-25 16:29 7.4K 
[ ]filerec1__t29_filerec12021-07-18 09:06 25K 
[ ]filerec1__t29_filerec1.depv12021-07-25 20:57 296  
[ ]filerec1__t29_filerec1.depvmin12021-07-25 21:03 263  
[ ]filerec1__t29_filerec1.vmin12021-07-25 20:57 2.6K 
[ ]filerec1__t29_filerec1.vmin1out2021-07-25 21:01 23K 
[ ]filerec1__t29_filerec1.vout2021-07-25 16:32 24K 
[ ]filerec1__t30_filerec12021-07-18 09:14 33K 
[ ]filerec1__t30_filerec1.vout2021-07-25 14:50 2.0K 
[ ]filerec1__t31_filerec12021-07-18 09:15 30K 
[ ]filerec1__t31_filerec1.vout2021-07-25 19:29 7.4K 
[ ]filerec1__t32_filerec12021-07-18 09:15 23K 
[ ]filerec1__t32_filerec1.depv12021-07-25 20:57 39  
[ ]filerec1__t32_filerec1.depvmin12021-07-25 21:03 39  
[ ]filerec1__t32_filerec1.vmin12021-07-25 20:57 792  
[ ]filerec1__t32_filerec1.vmin1out2021-07-25 20:58 6.0K 
[ ]filerec1__t32_filerec1.vout2021-07-25 17:18 6.0K 
[ ]filerec1__t33_filerec12021-07-18 09:15 24K 
[ ]filerec1__t33_filerec1.depv12021-07-25 20:57 77  
[ ]filerec1__t33_filerec1.depvmin12021-07-25 21:03 77  
[ ]filerec1__t33_filerec1.vmin12021-07-25 20:57 1.1K 
[ ]filerec1__t33_filerec1.vmin1out2021-07-25 20:59 9.1K 
[ ]filerec1__t33_filerec1.vout2021-07-25 17:35 7.9K 
[ ]filerec1__t34_filerec12021-07-18 09:16 52K 
[ ]filerec1__t34_filerec1.vout2021-07-25 17:52 4.7K 
[ ]filerec1__t35_filerec12021-07-18 09:16 48K 
[ ]filerec1__t35_filerec1.vout2021-07-25 14:44 7.3K 
[ ]filerec1__t36_filerec12021-07-18 09:16 29K 
[ ]filerec1__t36_filerec1.vout2021-07-25 16:49 7.4K 
[ ]filerec1__t37_filerec12021-07-18 09:16 28K 
[ ]filerec1__t37_filerec1.vout2021-07-25 17:08 4.7K 
[ ]filerec1__t38_filerec12021-07-18 09:17 32K 
[ ]filerec1__t38_filerec1.vout2021-07-25 16:38 7.3K 
[ ]filerec1__t39_filerec12021-07-18 09:17 52K 
[ ]filerec1__t39_filerec1.vout2021-07-25 19:02 7.3K 
[ ]filerec1__t40_filerec12021-07-18 09:17 19K 
[ ]filerec1__t40_filerec1.depv12021-07-25 20:57 64  
[ ]filerec1__t40_filerec1.depvmin12021-07-25 21:03 64  
[ ]filerec1__t40_filerec1.vmin12021-07-25 20:57 657  
[ ]filerec1__t40_filerec1.vmin1out2021-07-25 20:58 5.8K 
[ ]filerec1__t40_filerec1.vout2021-07-25 16:17 6.0K 
[ ]filerec1__t41_filerec12021-07-18 09:18 47K 
[ ]filerec1__t41_filerec1.vout2021-07-25 19:04 2.0K 
[ ]filerec1__t42_filerec12021-07-18 09:18 56K 
[ ]filerec1__t42_filerec1.vout2021-07-25 15:33 4.7K 
[ ]filerec1__t43_filerec12021-07-18 09:06 23K 
[ ]filerec1__t43_filerec1.depv12021-07-25 20:57 60  
[ ]filerec1__t43_filerec1.depvmin12021-07-25 21:03 60  
[ ]filerec1__t43_filerec1.vmin12021-07-25 20:57 833  
[ ]filerec1__t43_filerec1.vmin1out2021-07-25 21:01 9.3K 
[ ]filerec1__t43_filerec1.vout2021-07-25 17:28 9.5K 
[ ]filerec1__t44_filerec12021-07-18 09:18 34K 
[ ]filerec1__t44_filerec1.vout2021-07-25 16:29 2.0K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80