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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]bvfunc_1__t2_bvfunc_12021-07-18 01:27 21K 
[ ]bvfunc_1__t2_bvfunc_1.vout2021-07-25 17:55 4.7K 
[ ]bvfunc_1__t3_bvfunc_12021-07-18 01:20 11K 
[ ]bvfunc_1__t3_bvfunc_1.depv12021-07-25 20:57 60  
[ ]bvfunc_1__t3_bvfunc_1.depvmin12021-07-25 21:03 60  
[ ]bvfunc_1__t3_bvfunc_1.vmin12021-07-25 20:57 1.0K 
[ ]bvfunc_1__t3_bvfunc_1.vmin1out2021-07-25 21:01 13K 
[ ]bvfunc_1__t3_bvfunc_1.vout2021-07-25 15:39 8.8K 
[ ]bvfunc_1__t4_bvfunc_12021-07-18 01:28 20K 
[ ]bvfunc_1__t4_bvfunc_1.vout2021-07-25 18:45 4.7K 
[ ]bvfunc_1__t5_bvfunc_12021-07-18 01:28 20K 
[ ]bvfunc_1__t5_bvfunc_1.vout2021-07-25 14:41 4.7K 
[ ]bvfunc_1__t6_bvfunc_12021-07-18 01:28 20K 
[ ]bvfunc_1__t6_bvfunc_1.vout2021-07-25 15:42 4.7K 
[ ]bvfunc_1__t7_bvfunc_12021-07-18 01:20 10K 
[ ]bvfunc_1__t7_bvfunc_1.depv12021-07-25 20:57 60  
[ ]bvfunc_1__t7_bvfunc_1.depvmin12021-07-25 21:03 60  
[ ]bvfunc_1__t7_bvfunc_1.vmin12021-07-25 20:57 893  
[ ]bvfunc_1__t7_bvfunc_1.vmin1out2021-07-25 21:02 12K 
[ ]bvfunc_1__t7_bvfunc_1.vout2021-07-25 20:19 7.3K 
[ ]bvfunc_1__t8_bvfunc_12021-07-18 01:29 24K 
[ ]bvfunc_1__t8_bvfunc_1.vout2021-07-25 19:03 4.7K 
[ ]bvfunc_1__t9_bvfunc_12021-07-18 01:29 24K 
[ ]bvfunc_1__t9_bvfunc_1.vout2021-07-25 17:49 4.7K 
[ ]bvfunc_1__t10_bvfunc_12021-07-18 01:29 24K 
[ ]bvfunc_1__t10_bvfunc_1.vout2021-07-25 18:54 4.7K 
[ ]bvfunc_1__t11_bvfunc_12021-07-18 01:30 36K 
[ ]bvfunc_1__t11_bvfunc_1.vout2021-07-25 20:05 4.7K 
[ ]bvfunc_1__t12_bvfunc_12021-07-18 01:30 36K 
[ ]bvfunc_1__t12_bvfunc_1.vout2021-07-25 16:14 4.7K 
[ ]bvfunc_1__t13_bvfunc_12021-07-18 01:30 38K 
[ ]bvfunc_1__t13_bvfunc_1.vout2021-07-25 19:58 4.7K 
[ ]bvfunc_1__t14_bvfunc_12021-07-18 01:31 31K 
[ ]bvfunc_1__t14_bvfunc_1.vout2021-07-25 16:44 4.7K 
[ ]bvfunc_1__t15_bvfunc_12021-07-18 01:31 11K 
[ ]bvfunc_1__t15_bvfunc_1.vout2021-07-25 18:12 4.7K 
[ ]bvfunc_1__t16_bvfunc_12021-07-18 01:31 25K 
[ ]bvfunc_1__t16_bvfunc_1.vout2021-07-25 14:23 4.7K 
[ ]bvfunc_1__t17_bvfunc_12021-07-18 01:32 64K 
[ ]bvfunc_1__t17_bvfunc_1.vout2021-07-25 15:28 4.8K 
[ ]bvfunc_1__t18_bvfunc_12021-07-18 01:32 26K 
[ ]bvfunc_1__t18_bvfunc_1.vout2021-07-25 18:33 4.7K 
[ ]bvfunc_1__t19_bvfunc_12021-07-18 01:33 25K 
[ ]bvfunc_1__t19_bvfunc_1.vout2021-07-25 17:36 4.7K 
[ ]bvfunc_1__t20_bvfunc_12021-07-18 01:33 12K 
[ ]bvfunc_1__t20_bvfunc_1.depv12021-07-25 20:57 258  
[ ]bvfunc_1__t20_bvfunc_1.depvmin12021-07-25 21:03 157  
[ ]bvfunc_1__t20_bvfunc_1.vmin12021-07-25 20:57 4.0K 
[ ]bvfunc_1__t20_bvfunc_1.vmin1out2021-07-25 20:59 41K 
[ ]bvfunc_1__t20_bvfunc_1.vout2021-07-25 19:21 82K 
[ ]bvfunc_1__t21_bvfunc_12021-07-18 01:33 12K 
[ ]bvfunc_1__t21_bvfunc_1.vout2021-07-25 17:47 4.7K 
[ ]bvfunc_1__t22_bvfunc_12021-07-18 01:34 13K 
[ ]bvfunc_1__t22_bvfunc_1.depv12021-07-25 20:57 287  
[ ]bvfunc_1__t22_bvfunc_1.depvmin12021-07-25 21:03 216  
[ ]bvfunc_1__t22_bvfunc_1.vmin12021-07-25 20:57 4.0K 
[ ]bvfunc_1__t22_bvfunc_1.vmin1out2021-07-25 21:02 77K 
[ ]bvfunc_1__t22_bvfunc_1.vout2021-07-25 15:21 57K 
[ ]bvfunc_1__t23_bvfunc_12021-07-18 01:34 39K 
[ ]bvfunc_1__t23_bvfunc_1.vout2021-07-25 19:38 4.7K 
[ ]bvfunc_1__t24_bvfunc_12021-07-18 01:35 41K 
[ ]bvfunc_1__t24_bvfunc_1.vout2021-07-25 19:42 4.7K 
[ ]bvfunc_1__t25_bvfunc_12021-07-18 01:35 35K 
[ ]bvfunc_1__t25_bvfunc_1.vout2021-07-25 18:02 4.7K 
[ ]bvfunc_1__t26_bvfunc_12021-07-18 01:36 36K 
[ ]bvfunc_1__t26_bvfunc_1.vout2021-07-25 15:38 4.7K 
[ ]bvfunc_1__t27_bvfunc_12021-07-18 01:36 36K 
[ ]bvfunc_1__t27_bvfunc_1.vout2021-07-25 14:40 4.7K 
[ ]bvfunc_1__t28_bvfunc_12021-07-18 01:36 9.7K 
[ ]bvfunc_1__t28_bvfunc_1.vout2021-07-25 18:25 7.3K 
[ ]bvfunc_1__t29_bvfunc_12021-07-18 01:37 13K 
[ ]bvfunc_1__t29_bvfunc_1.vout2021-07-25 18:47 4.7K 
[ ]bvfunc_1__t30_bvfunc_12021-07-18 01:37 13K 
[ ]bvfunc_1__t30_bvfunc_1.vout2021-07-25 20:54 6.8K 
[ ]bvfunc_1__t31_bvfunc_12021-07-18 01:37 13K 
[ ]bvfunc_1__t31_bvfunc_1.vout2021-07-25 20:08 6.8K 
[ ]bvfunc_1__t32_bvfunc_12021-07-18 01:38 34K 
[ ]bvfunc_1__t32_bvfunc_1.vout2021-07-25 15:56 4.7K 
[ ]bvfunc_1__t33_bvfunc_12021-07-18 01:38 34K 
[ ]bvfunc_1__t33_bvfunc_1.vout2021-07-25 15:38 4.7K 
[ ]bvfunc_1__t34_bvfunc_12021-07-18 01:38 22K 
[ ]bvfunc_1__t34_bvfunc_1.vout2021-07-25 17:50 4.7K 
[ ]bvfunc_1__t35_bvfunc_12021-07-18 01:39 16K 
[ ]bvfunc_1__t35_bvfunc_1.vout2021-07-25 20:07 4.7K 
[ ]bvfunc_1__t36_bvfunc_12021-07-18 01:39 16K 
[ ]bvfunc_1__t36_bvfunc_1.vout2021-07-25 20:43 4.7K 
[ ]bvfunc_1__t37_bvfunc_12021-07-18 01:39 14K 
[ ]bvfunc_1__t37_bvfunc_1.vout2021-07-25 17:13 7.4K 
[ ]bvfunc_1__t38_bvfunc_12021-07-18 01:40 14K 
[ ]bvfunc_1__t38_bvfunc_1.vout2021-07-25 15:29 7.3K 
[ ]bvfunc_1__t39_bvfunc_12021-07-18 01:40 24K 
[ ]bvfunc_1__t39_bvfunc_1.vout2021-07-25 20:23 4.7K 
[ ]bvfunc_1__t40_bvfunc_12021-07-18 01:40 34K 
[ ]bvfunc_1__t40_bvfunc_1.vout2021-07-25 16:57 4.7K 
[ ]bvfunc_1__t41_bvfunc_12021-07-18 01:41 13K 
[ ]bvfunc_1__t41_bvfunc_1.vout2021-07-25 19:01 7.3K 
[ ]bvfunc_1__t42_bvfunc_12021-07-18 01:41 14K 
[ ]bvfunc_1__t42_bvfunc_1.vout2021-07-25 16:06 3.7K 
[ ]bvfunc_1__t43_bvfunc_12021-07-18 01:20 10K 
[ ]bvfunc_1__t43_bvfunc_1.depv12021-07-25 20:57 134  
[ ]bvfunc_1__t43_bvfunc_1.depvmin12021-07-25 21:03 134  
[ ]bvfunc_1__t43_bvfunc_1.vmin12021-07-25 20:57 839  
[ ]bvfunc_1__t43_bvfunc_1.vmin1out2021-07-25 20:58 6.6K 
[ ]bvfunc_1__t43_bvfunc_1.vout2021-07-25 16:26 6.6K 
[ ]bvfunc_1__t44_bvfunc_12021-07-18 01:20 11K 
[ ]bvfunc_1__t44_bvfunc_1.depv12021-07-25 20:57 256  
[ ]bvfunc_1__t44_bvfunc_1.depvmin12021-07-25 21:03 256  
[ ]bvfunc_1__t44_bvfunc_1.vmin12021-07-25 20:57 1.4K 
[ ]bvfunc_1__t44_bvfunc_1.vmin1out2021-07-25 20:59 11K 
[ ]bvfunc_1__t44_bvfunc_1.vout2021-07-25 15:33 11K 
[ ]bvfunc_1__t45_bvfunc_12021-07-18 01:20 20K 
[ ]bvfunc_1__t45_bvfunc_1.depv12021-07-25 20:57 76  
[ ]bvfunc_1__t45_bvfunc_1.depvmin12021-07-25 21:03 76  
[ ]bvfunc_1__t45_bvfunc_1.vmin12021-07-25 20:57 502  
[ ]bvfunc_1__t45_bvfunc_1.vmin1out2021-07-25 21:02 5.8K 
[ ]bvfunc_1__t45_bvfunc_1.vout2021-07-25 15:08 4.8K 
[ ]bvfunc_1__t46_bvfunc_12021-07-18 01:21 13K 
[ ]bvfunc_1__t46_bvfunc_1.depv12021-07-25 20:57 65  
[ ]bvfunc_1__t46_bvfunc_1.depvmin12021-07-25 21:03 65  
[ ]bvfunc_1__t46_bvfunc_1.vmin12021-07-25 20:57 513  
[ ]bvfunc_1__t46_bvfunc_1.vmin1out2021-07-25 21:00 4.6K 
[ ]bvfunc_1__t46_bvfunc_1.vout2021-07-25 19:02 4.7K 
[ ]bvfunc_1__t47_bvfunc_12021-07-18 01:21 14K 
[ ]bvfunc_1__t47_bvfunc_1.depv12021-07-25 20:57 223  
[ ]bvfunc_1__t47_bvfunc_1.depvmin12021-07-25 21:03 223  
[ ]bvfunc_1__t47_bvfunc_1.vmin12021-07-25 20:57 1.0K 
[ ]bvfunc_1__t47_bvfunc_1.vmin1out2021-07-25 21:02 8.1K 
[ ]bvfunc_1__t47_bvfunc_1.vout2021-07-25 18:05 8.3K 
[ ]bvfunc_1__t48_bvfunc_12021-07-18 01:21 15K 
[ ]bvfunc_1__t48_bvfunc_1.vout2021-07-25 14:35 2.0K 
[ ]bvfunc_1__t49_bvfunc_12021-07-18 01:21 15K 
[ ]bvfunc_1__t49_bvfunc_1.vout2021-07-25 17:55 2.0K 
[ ]bvfunc_1__t50_bvfunc_12021-07-18 01:22 15K 
[ ]bvfunc_1__t50_bvfunc_1.depv12021-07-25 20:57 388  
[ ]bvfunc_1__t50_bvfunc_1.depvmin12021-07-25 21:03 311  
[ ]bvfunc_1__t50_bvfunc_1.vmin12021-07-25 20:57 2.2K 
[ ]bvfunc_1__t50_bvfunc_1.vmin1out2021-07-25 21:00 14K 
[ ]bvfunc_1__t50_bvfunc_1.vout2021-07-25 17:45 39K 
[ ]bvfunc_1__t51_bvfunc_12021-07-18 01:22 15K 
[ ]bvfunc_1__t51_bvfunc_1.vout2021-07-25 17:51 2.0K 
[ ]bvfunc_1__t52_bvfunc_12021-07-18 01:22 20K 
[ ]bvfunc_1__t52_bvfunc_1.depv12021-07-25 20:57 77  
[ ]bvfunc_1__t52_bvfunc_1.depvmin12021-07-25 21:03 77  
[ ]bvfunc_1__t52_bvfunc_1.vmin12021-07-25 20:57 503  
[ ]bvfunc_1__t52_bvfunc_1.vmin1out2021-07-25 20:58 5.8K 
[ ]bvfunc_1__t52_bvfunc_1.vout2021-07-25 15:07 4.8K 
[ ]bvfunc_1__t53_bvfunc_12021-07-18 01:22 14K 
[ ]bvfunc_1__t53_bvfunc_1.depv12021-07-25 20:57 66  
[ ]bvfunc_1__t53_bvfunc_1.depvmin12021-07-25 21:03 66  
[ ]bvfunc_1__t53_bvfunc_1.vmin12021-07-25 20:57 514  
[ ]bvfunc_1__t53_bvfunc_1.vmin1out2021-07-25 21:01 4.6K 
[ ]bvfunc_1__t53_bvfunc_1.vout2021-07-25 17:55 4.7K 
[ ]bvfunc_1__t54_bvfunc_12021-07-18 01:23 22K 
[ ]bvfunc_1__t54_bvfunc_1.depv12021-07-25 20:57 297  
[ ]bvfunc_1__t54_bvfunc_1.depvmin12021-07-25 21:03 263  
[ ]bvfunc_1__t54_bvfunc_1.vmin12021-07-25 20:57 1.3K 
[ ]bvfunc_1__t54_bvfunc_1.vmin1out2021-07-25 20:59 10K 
[ ]bvfunc_1__t54_bvfunc_1.vout2021-07-25 18:30 11K 
[ ]bvfunc_1__t55_bvfunc_12021-07-18 01:23 20K 
[ ]bvfunc_1__t55_bvfunc_1.vout2021-07-25 19:52 2.0K 
[ ]bvfunc_1__t56_bvfunc_12021-07-18 01:23 22K 
[ ]bvfunc_1__t56_bvfunc_1.vout2021-07-25 14:27 2.0K 
[ ]bvfunc_1__t57_bvfunc_12021-07-18 01:23 22K 
[ ]bvfunc_1__t57_bvfunc_1.vout2021-07-25 20:49 2.0K 
[ ]bvfunc_1__t58_bvfunc_12021-07-18 01:24 23K 
[ ]bvfunc_1__t58_bvfunc_1.depv12021-07-25 20:57 103  
[ ]bvfunc_1__t58_bvfunc_1.depvmin12021-07-25 21:03 91  
[ ]bvfunc_1__t58_bvfunc_1.vmin12021-07-25 20:57 508  
[ ]bvfunc_1__t58_bvfunc_1.vmin1out2021-07-25 20:58 6.2K 
[ ]bvfunc_1__t58_bvfunc_1.vout2021-07-25 18:48 4.3K 
[ ]bvfunc_1__t59_bvfunc_12021-07-18 01:24 18K 
[ ]bvfunc_1__t59_bvfunc_1.depv12021-07-25 20:57 26  
[ ]bvfunc_1__t59_bvfunc_1.depvmin12021-07-25 21:03 26  
[ ]bvfunc_1__t59_bvfunc_1.vmin12021-07-25 20:57 295  
[ ]bvfunc_1__t59_bvfunc_1.vmin1out2021-07-25 21:02 3.0K 
[ ]bvfunc_1__t59_bvfunc_1.vout2021-07-25 20:04 3.1K 
[ ]bvfunc_1__t60_bvfunc_12021-07-18 01:24 23K 
[ ]bvfunc_1__t60_bvfunc_1.depv12021-07-25 20:57 103  
[ ]bvfunc_1__t60_bvfunc_1.depvmin12021-07-25 21:03 91  
[ ]bvfunc_1__t60_bvfunc_1.vmin12021-07-25 20:57 560  
[ ]bvfunc_1__t60_bvfunc_1.vmin1out2021-07-25 21:02 6.6K 
[ ]bvfunc_1__t60_bvfunc_1.vout2021-07-25 19:54 4.7K 
[ ]bvfunc_1__t61_bvfunc_12021-07-18 01:25 27K 
[ ]bvfunc_1__t61_bvfunc_1.vout2021-07-25 17:29 2.0K 
[ ]bvfunc_1__t62_bvfunc_12021-07-18 01:25 51K 
[ ]bvfunc_1__t62_bvfunc_1.depv12021-07-25 20:57 25  
[ ]bvfunc_1__t62_bvfunc_1.depvmin12021-07-25 21:03 25  
[ ]bvfunc_1__t62_bvfunc_1.vmin12021-07-25 20:57 330  
[ ]bvfunc_1__t62_bvfunc_1.vmin1out2021-07-25 21:01 3.2K 
[ ]bvfunc_1__t62_bvfunc_1.vout2021-07-25 17:42 3.4K 
[ ]bvfunc_1__t63_bvfunc_12021-07-18 01:25 13K 
[ ]bvfunc_1__t63_bvfunc_1.depv12021-07-25 20:57 93  
[ ]bvfunc_1__t63_bvfunc_1.depvmin12021-07-25 21:03 93  
[ ]bvfunc_1__t63_bvfunc_1.vmin12021-07-25 20:57 635  
[ ]bvfunc_1__t63_bvfunc_1.vmin1out2021-07-25 20:59 6.1K 
[ ]bvfunc_1__t63_bvfunc_1.vout2021-07-25 17:45 6.4K 
[ ]bvfunc_1__t64_bvfunc_12021-07-18 01:25 51K 
[ ]bvfunc_1__t64_bvfunc_1.vout2021-07-25 14:46 2.0K 
[ ]bvfunc_1__t65_bvfunc_12021-07-18 01:26 14K 
[ ]bvfunc_1__t65_bvfunc_1.depv12021-07-25 20:57 188  
[ ]bvfunc_1__t65_bvfunc_1.depvmin12021-07-25 21:03 188  
[ ]bvfunc_1__t65_bvfunc_1.vmin12021-07-25 20:57 1.2K 
[ ]bvfunc_1__t65_bvfunc_1.vmin1out2021-07-25 21:02 15K 
[ ]bvfunc_1__t65_bvfunc_1.vout2021-07-25 14:59 16K 
[ ]bvfunc_1__t66_bvfunc_12021-07-18 01:26 14K 
[ ]bvfunc_1__t66_bvfunc_1.vout2021-07-25 17:41 2.0K 
[ ]bvfunc_1__t67_bvfunc_12021-07-18 01:26 14K 
[ ]bvfunc_1__t67_bvfunc_1.vout2021-07-25 15:10 2.0K 
[ ]bvfunc_1__t68_bvfunc_12021-07-18 01:26 21K 
[ ]bvfunc_1__t68_bvfunc_1.vout2021-07-25 15:22 2.0K 
[ ]bvfunc_1__t69_bvfunc_12021-07-18 01:27 21K 
[ ]bvfunc_1__t69_bvfunc_1.vout2021-07-25 18:06 2.0K 
[ ]bvfunc_1__t70_bvfunc_12021-07-18 01:27 14K 
[ ]bvfunc_1__t70_bvfunc_1.depv12021-07-25 20:57 298  
[ ]bvfunc_1__t70_bvfunc_1.depvmin12021-07-25 21:03 298  
[ ]bvfunc_1__t70_bvfunc_1.vmin12021-07-25 20:57 1.8K 
[ ]bvfunc_1__t70_bvfunc_1.vmin1out2021-07-25 20:57 25K 
[ ]bvfunc_1__t70_bvfunc_1.vout2021-07-25 19:50 26K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80