Index of /~mptp/8.1.15_5.94.1493/MPTP2/problems_small_thf/bvfunc_6

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]bvfunc_6__l103_bvfunc_62025-09-13 19:38 26K 
[ ]bvfunc_6__l104_bvfunc_62025-09-13 19:38 20K 
[ ]bvfunc_6__l105_bvfunc_62025-09-13 19:39 20K 
[ ]bvfunc_6__l106_bvfunc_62025-09-13 19:40 20K 
[ ]bvfunc_6__l107_bvfunc_62025-09-13 19:41 20K 
[ ]bvfunc_6__l108_bvfunc_62025-09-13 19:42 21K 
[ ]bvfunc_6__l132_bvfunc_62025-09-13 19:43 30K 
[ ]bvfunc_6__l133_bvfunc_62025-09-13 19:44 32K 
[ ]bvfunc_6__l134_bvfunc_62025-09-13 19:45 32K 
[ ]bvfunc_6__l152_bvfunc_62025-09-13 19:46 191K 
[ ]bvfunc_6__l154_bvfunc_62025-09-13 19:47 113K 
[ ]bvfunc_6__l159_bvfunc_62025-09-13 19:48 118K 
[ ]bvfunc_6__l169_bvfunc_62025-09-13 19:49 115K 
[ ]bvfunc_6__t1_bvfunc_62025-09-13 16:49 48K 
[ ]bvfunc_6__t2_bvfunc_62025-09-13 16:51 1.3M 
[ ]bvfunc_6__t3_bvfunc_62025-09-13 16:52 42K 
[ ]bvfunc_6__t4_bvfunc_62025-09-13 16:53 48K 
[ ]bvfunc_6__t5_bvfunc_62025-09-13 16:54 37K 
[ ]bvfunc_6__t6_bvfunc_62025-09-13 16:55 2.5M 
[ ]bvfunc_6__t7_bvfunc_62025-09-13 16:56 374K 
[ ]bvfunc_6__t8_bvfunc_62025-09-13 16:57 45K 
[ ]bvfunc_6__t9_bvfunc_62025-09-13 16:58 110K 
[ ]bvfunc_6__t10_bvfunc_62025-09-13 16:59 51K 
[ ]bvfunc_6__t11_bvfunc_62025-09-13 17:01 110K 
[ ]bvfunc_6__t12_bvfunc_62025-09-13 17:02 189K 
[ ]bvfunc_6__t13_bvfunc_62025-09-13 17:03 52K 
[ ]bvfunc_6__t14_bvfunc_62025-09-13 17:04 189K 
[ ]bvfunc_6__t15_bvfunc_62025-09-13 17:05 35K 
[ ]bvfunc_6__t16_bvfunc_62025-09-13 17:06 46K 
[ ]bvfunc_6__t17_bvfunc_62025-09-13 17:07 48K 
[ ]bvfunc_6__t18_bvfunc_62025-09-13 17:08 48K 
[ ]bvfunc_6__t19_bvfunc_62025-09-13 17:09 46K 
[ ]bvfunc_6__t20_bvfunc_62025-09-13 17:10 45K 
[ ]bvfunc_6__t21_bvfunc_62025-09-13 17:11 49K 
[ ]bvfunc_6__t22_bvfunc_62025-09-13 17:12 66K 
[ ]bvfunc_6__t23_bvfunc_62025-09-13 17:13 52K 
[ ]bvfunc_6__t24_bvfunc_62025-09-13 17:14 33K 
[ ]bvfunc_6__t25_bvfunc_62025-09-13 17:15 44K 
[ ]bvfunc_6__t26_bvfunc_62025-09-13 17:16 44K 
[ ]bvfunc_6__t27_bvfunc_62025-09-13 17:18 185K 
[ ]bvfunc_6__t28_bvfunc_62025-09-13 17:19 192K 
[ ]bvfunc_6__t29_bvfunc_62025-09-13 17:20 20K 
[ ]bvfunc_6__t30_bvfunc_62025-09-13 17:21 48K 
[ ]bvfunc_6__t31_bvfunc_62025-09-13 17:22 43K 
[ ]bvfunc_6__t32_bvfunc_62025-09-13 17:23 51K 
[ ]bvfunc_6__t33_bvfunc_62025-09-13 17:24 185K 
[ ]bvfunc_6__t34_bvfunc_62025-09-13 17:25 52K 
[ ]bvfunc_6__t35_bvfunc_62025-09-13 17:26 52K 
[ ]bvfunc_6__t36_bvfunc_62025-09-13 17:27 56K 
[ ]bvfunc_6__t37_bvfunc_62025-09-13 17:28 20K 
[ ]bvfunc_6__t38_bvfunc_62025-09-13 17:29 48K 
[ ]bvfunc_6__t39_bvfunc_62025-09-13 17:30 52K 
[ ]bvfunc_6__t40_bvfunc_62025-09-13 17:31 48K 
[ ]bvfunc_6__t41_bvfunc_62025-09-13 17:32 43K 
[ ]bvfunc_6__t42_bvfunc_62025-09-13 17:33 182K 
[ ]bvfunc_6__t43_bvfunc_62025-09-13 16:44 14K 
[ ]bvfunc_6__t44_bvfunc_62025-09-13 17:34 91K 
[ ]bvfunc_6__t45_bvfunc_62025-09-13 17:35 48K 
[ ]bvfunc_6__t46_bvfunc_62025-09-13 17:36 91K 
[ ]bvfunc_6__t47_bvfunc_62025-09-13 17:38 53K 
[ ]bvfunc_6__t48_bvfunc_62025-09-13 17:39 53K 
[ ]bvfunc_6__t49_bvfunc_62025-09-13 17:40 33K 
[ ]bvfunc_6__t50_bvfunc_62025-09-13 17:41 47K 
[ ]bvfunc_6__t51_bvfunc_62025-09-13 17:42 51K 
[ ]bvfunc_6__t52_bvfunc_62025-09-13 17:43 40K 
[ ]bvfunc_6__t53_bvfunc_62025-09-13 17:43 36K 
[ ]bvfunc_6__t54_bvfunc_62025-09-13 17:44 22K 
[ ]bvfunc_6__t55_bvfunc_62025-09-13 17:45 44K 
[ ]bvfunc_6__t56_bvfunc_62025-09-13 17:47 49K 
[ ]bvfunc_6__t57_bvfunc_62025-09-13 17:48 53K 
[ ]bvfunc_6__t58_bvfunc_62025-09-13 17:49 234K 
[ ]bvfunc_6__t59_bvfunc_62025-09-13 17:50 31K 
[ ]bvfunc_6__t60_bvfunc_62025-09-13 17:51 34K 
[ ]bvfunc_6__t61_bvfunc_62025-09-13 17:52 31K 
[ ]bvfunc_6__t62_bvfunc_62025-09-13 17:53 29K 
[ ]bvfunc_6__t63_bvfunc_62025-09-13 17:54 32K 
[ ]bvfunc_6__t64_bvfunc_62025-09-13 17:55 41K 
[ ]bvfunc_6__t65_bvfunc_62025-09-13 17:57 2.9M 
[ ]bvfunc_6__t66_bvfunc_62025-09-13 17:58 629K 
[ ]bvfunc_6__t67_bvfunc_62025-09-13 17:59 382K 
[ ]bvfunc_6__t68_bvfunc_62025-09-13 18:00 804K 
[ ]bvfunc_6__t69_bvfunc_62025-09-13 18:02 194K 
[ ]bvfunc_6__t70_bvfunc_62025-09-13 18:04 3.4M 
[ ]bvfunc_6__t71_bvfunc_62025-09-13 18:05 307K 
[ ]bvfunc_6__t72_bvfunc_62025-09-13 18:06 307K 
[ ]bvfunc_6__t73_bvfunc_62025-09-13 18:07 62K 
[ ]bvfunc_6__t74_bvfunc_62025-09-13 18:08 105K 
[ ]bvfunc_6__t75_bvfunc_62025-09-13 18:09 33K 
[ ]bvfunc_6__t76_bvfunc_62025-09-13 18:10 48K 
[ ]bvfunc_6__t77_bvfunc_62025-09-13 18:11 109K 
[ ]bvfunc_6__t78_bvfunc_62025-09-13 18:12 27K 
[ ]bvfunc_6__t79_bvfunc_62025-09-13 18:13 21K 
[ ]bvfunc_6__t80_bvfunc_62025-09-13 18:14 21K 
[ ]bvfunc_6__t81_bvfunc_62025-09-13 18:14 22K 
[ ]bvfunc_6__t82_bvfunc_62025-09-13 18:15 22K 
[ ]bvfunc_6__t83_bvfunc_62025-09-13 18:16 54K 
[ ]bvfunc_6__t84_bvfunc_62025-09-13 18:18 53K 
[ ]bvfunc_6__t85_bvfunc_62025-09-13 18:18 29K 
[ ]bvfunc_6__t86_bvfunc_62025-09-13 18:20 78K 
[ ]bvfunc_6__t87_bvfunc_62025-09-13 18:20 24K 
[ ]bvfunc_6__t88_bvfunc_62025-09-13 18:21 24K 
[ ]bvfunc_6__t89_bvfunc_62025-09-13 18:22 22K 
[ ]bvfunc_6__t90_bvfunc_62025-09-13 18:23 25K 
[ ]bvfunc_6__t91_bvfunc_62025-09-13 18:24 24K 
[ ]bvfunc_6__t92_bvfunc_62025-09-13 18:25 24K 
[ ]bvfunc_6__t93_bvfunc_62025-09-13 18:25 26K 
[ ]bvfunc_6__t94_bvfunc_62025-09-13 18:26 26K 
[ ]bvfunc_6__t95_bvfunc_62025-09-13 18:27 27K 
[ ]bvfunc_6__t96_bvfunc_62025-09-13 18:28 196K 
[ ]bvfunc_6__t97_bvfunc_62025-09-13 18:30 261K 
[ ]bvfunc_6__t98_bvfunc_62025-09-13 18:31 62K 
[ ]bvfunc_6__t99_bvfunc_62025-09-13 18:32 26K 
[ ]bvfunc_6__t100_bvfunc_62025-09-13 18:33 26K 
[ ]bvfunc_6__t101_bvfunc_62025-09-13 18:34 27K 
[ ]bvfunc_6__t102_bvfunc_62025-09-13 18:34 26K 
[ ]bvfunc_6__t103_bvfunc_62025-09-13 18:36 58K 
[ ]bvfunc_6__t104_bvfunc_62025-09-13 18:37 58K 
[ ]bvfunc_6__t105_bvfunc_62025-09-13 18:38 58K 
[ ]bvfunc_6__t106_bvfunc_62025-09-13 18:39 54K 
[ ]bvfunc_6__t107_bvfunc_62025-09-13 18:40 46K 
[ ]bvfunc_6__t108_bvfunc_62025-09-13 18:42 58K 
[ ]bvfunc_6__t109_bvfunc_62025-09-13 18:43 55K 
[ ]bvfunc_6__t110_bvfunc_62025-09-13 18:44 56K 
[ ]bvfunc_6__t111_bvfunc_62025-09-13 18:45 51K 
[ ]bvfunc_6__t112_bvfunc_62025-09-13 18:46 59K 
[ ]bvfunc_6__t113_bvfunc_62025-09-13 18:47 35K 
[ ]bvfunc_6__t114_bvfunc_62025-09-13 18:49 57K 
[ ]bvfunc_6__t115_bvfunc_62025-09-13 18:50 50K 
[ ]bvfunc_6__t116_bvfunc_62025-09-13 18:51 50K 
[ ]bvfunc_6__t117_bvfunc_62025-09-13 18:52 58K 
[ ]bvfunc_6__t118_bvfunc_62025-09-13 18:53 58K 
[ ]bvfunc_6__t119_bvfunc_62025-09-13 18:54 54K 
[ ]bvfunc_6__t120_bvfunc_62025-09-13 18:56 57K 
[ ]bvfunc_6__t121_bvfunc_62025-09-13 18:56 17K 
[ ]bvfunc_6__t122_bvfunc_62025-09-13 18:57 22K 
[ ]bvfunc_6__t123_bvfunc_62025-09-13 18:58 57K 
[ ]bvfunc_6__t124_bvfunc_62025-09-13 18:59 20K 
[ ]bvfunc_6__t125_bvfunc_62025-09-13 19:00 36K 
[ ]bvfunc_6__t126_bvfunc_62025-09-13 19:01 36K 
[ ]bvfunc_6__t127_bvfunc_62025-09-13 19:03 196K 
[ ]bvfunc_6__t128_bvfunc_62025-09-13 19:03 26K 
[ ]bvfunc_6__t129_bvfunc_62025-09-13 16:45 14K 
[ ]bvfunc_6__t130_bvfunc_62025-09-13 16:45 15K 
[ ]bvfunc_6__t131_bvfunc_62025-09-13 16:46 16K 
[ ]bvfunc_6__t132_bvfunc_62025-09-13 16:47 16K 
[ ]bvfunc_6__t133_bvfunc_62025-09-13 16:47 16K 
[ ]bvfunc_6__t134_bvfunc_62025-09-13 16:48 17K 
[ ]bvfunc_6__t135_bvfunc_62025-09-13 19:04 20K 
[ ]bvfunc_6__t136_bvfunc_62025-09-13 19:05 25K 
[ ]bvfunc_6__t137_bvfunc_62025-09-13 19:06 24K 
[ ]bvfunc_6__t138_bvfunc_62025-09-13 19:07 22K 
[ ]bvfunc_6__t139_bvfunc_62025-09-13 19:08 20K 
[ ]bvfunc_6__t140_bvfunc_62025-09-13 19:09 18K 
[ ]bvfunc_6__t141_bvfunc_62025-09-13 19:09 21K 
[ ]bvfunc_6__t142_bvfunc_62025-09-13 19:11 237K 
[ ]bvfunc_6__t143_bvfunc_62025-09-13 19:11 23K 
[ ]bvfunc_6__t144_bvfunc_62025-09-13 19:12 23K 
[ ]bvfunc_6__t145_bvfunc_62025-09-13 19:13 15K 
[ ]bvfunc_6__t146_bvfunc_62025-09-13 19:14 15K 
[ ]bvfunc_6__t147_bvfunc_62025-09-13 19:15 198K 
[ ]bvfunc_6__t148_bvfunc_62025-09-13 19:16 25K 
[ ]bvfunc_6__t149_bvfunc_62025-09-13 19:17 17K 
[ ]bvfunc_6__t150_bvfunc_62025-09-13 19:17 18K 
[ ]bvfunc_6__t151_bvfunc_62025-09-13 19:18 24K 
[ ]bvfunc_6__t152_bvfunc_62025-09-13 19:19 116K 
[ ]bvfunc_6__t153_bvfunc_62025-09-13 19:21 116K 
[ ]bvfunc_6__t154_bvfunc_62025-09-13 19:21 22K 
[ ]bvfunc_6__t155_bvfunc_62025-09-13 19:23 117K 
[ ]bvfunc_6__t156_bvfunc_62025-09-13 19:23 26K 
[ ]bvfunc_6__t157_bvfunc_62025-09-13 19:25 814K 
[ ]bvfunc_6__t158_bvfunc_62025-09-13 19:26 58K 
[ ]bvfunc_6__t159_bvfunc_62025-09-13 19:27 59K 
[ ]bvfunc_6__t160_bvfunc_62025-09-13 19:29 55K 
[ ]bvfunc_6__t161_bvfunc_62025-09-13 19:30 55K 
[ ]bvfunc_6__t162_bvfunc_62025-09-13 19:31 55K 
[ ]bvfunc_6__t163_bvfunc_62025-09-13 19:32 55K 
[ ]bvfunc_6__t164_bvfunc_62025-09-13 19:33 24K 
[ ]bvfunc_6__t165_bvfunc_62025-09-13 19:34 26K 
[ ]bvfunc_6__t166_bvfunc_62025-09-13 19:35 24K 
[ ]bvfunc_6__t167_bvfunc_62025-09-13 19:36 26K 
[ ]bvfunc_6__t168_bvfunc_62025-09-13 19:37 26K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80