Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/bkmodel4

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]bkmodel4__l46_bkmodel42024-07-28 06:51 28K 
[ ]bkmodel4__l46_bkmodel4.depv12024-08-03 10:19 85  
[ ]bkmodel4__l46_bkmodel4.depvmin12024-08-03 10:24 85  
[ ]bkmodel4__l46_bkmodel4.vmin12024-08-03 10:20 611  
[ ]bkmodel4__l46_bkmodel4.vmin1out2024-08-03 10:20 4.4K 
[ ]bkmodel4__l46_bkmodel4.vout2024-08-03 08:51 4.4K 
[ ]bkmodel4__t1_bkmodel42024-07-28 03:42 28K 
[ ]bkmodel4__t1_bkmodel4.vout2024-08-03 08:11 7.9K 
[ ]bkmodel4__t2_bkmodel42024-07-28 03:43 22K 
[ ]bkmodel4__t2_bkmodel4.depv12024-08-03 10:19 633  
[ ]bkmodel4__t2_bkmodel4.depvmin12024-08-03 10:24 467  
[ ]bkmodel4__t2_bkmodel4.vmin12024-08-03 10:20 5.3K 
[ ]bkmodel4__t2_bkmodel4.vmin1out2024-08-03 10:22 89K 
[ ]bkmodel4__t2_bkmodel4.vout2024-08-03 06:53 104K 
[ ]bkmodel4__t3_bkmodel42024-07-28 03:44 34K 
[ ]bkmodel4__t3_bkmodel4.vout2024-08-03 08:14 2.0K 
[ ]bkmodel4__t4_bkmodel42024-07-28 03:45 28K 
[ ]bkmodel4__t4_bkmodel4.vout2024-08-03 04:21 2.0K 
[ ]bkmodel4__t5_bkmodel42024-07-28 03:46 19K 
[ ]bkmodel4__t5_bkmodel4.depv12024-08-03 10:19 203  
[ ]bkmodel4__t5_bkmodel4.depvmin12024-08-03 10:24 111  
[ ]bkmodel4__t5_bkmodel4.vmin12024-08-03 10:20 1.6K 
[ ]bkmodel4__t5_bkmodel4.vmin1out2024-08-03 10:23 20K 
[ ]bkmodel4__t5_bkmodel4.vout2024-08-03 05:57 20K 
[ ]bkmodel4__t6_bkmodel42024-07-28 03:47 32K 
[ ]bkmodel4__t6_bkmodel4.depv12024-08-03 10:19 60  
[ ]bkmodel4__t6_bkmodel4.depvmin12024-08-03 10:24 60  
[ ]bkmodel4__t6_bkmodel4.vmin12024-08-03 10:20 671  
[ ]bkmodel4__t6_bkmodel4.vmin1out2024-08-03 10:20 4.8K 
[ ]bkmodel4__t6_bkmodel4.vout2024-08-03 05:17 4.9K 
[ ]bkmodel4__t7_bkmodel42024-07-28 03:50 38K 
[ ]bkmodel4__t7_bkmodel4.vout2024-08-03 05:36 8.4K 
[ ]bkmodel4__t8_bkmodel42024-07-28 03:52 40K 
[ ]bkmodel4__t8_bkmodel4.depv12024-08-03 10:19 514  
[ ]bkmodel4__t8_bkmodel4.depvmin12024-08-03 10:24 402  
[ ]bkmodel4__t8_bkmodel4.vmin12024-08-03 10:20 4.3K 
[ ]bkmodel4__t8_bkmodel4.vmin1out2024-08-03 10:23 32K 
[ ]bkmodel4__t8_bkmodel4.vout2024-08-03 05:55 41K 
[ ]bkmodel4__t9_bkmodel42024-07-28 03:55 49K 
[ ]bkmodel4__t9_bkmodel4.vout2024-08-03 08:32 6.2K 
[ ]bkmodel4__t10_bkmodel42024-07-28 03:58 55K 
[ ]bkmodel4__t10_bkmodel4.vout2024-08-03 06:03 4.7K 
[ ]bkmodel4__t11_bkmodel42024-07-28 04:00 40K 
[ ]bkmodel4__t11_bkmodel4.depv12024-08-03 10:19 52  
[ ]bkmodel4__t11_bkmodel4.depvmin12024-08-03 10:24 52  
[ ]bkmodel4__t11_bkmodel4.vmin12024-08-03 10:20 801  
[ ]bkmodel4__t11_bkmodel4.vmin1out2024-08-03 10:23 10K 
[ ]bkmodel4__t11_bkmodel4.vout2024-08-03 04:23 8.8K 
[ ]bkmodel4__t12_bkmodel42024-07-28 04:03 43K 
[ ]bkmodel4__t12_bkmodel4.vout2024-08-03 10:09 5.8K 
[ ]bkmodel4__t13_bkmodel42024-07-28 04:04 31K 
[ ]bkmodel4__t13_bkmodel4.depv12024-08-03 10:19 45  
[ ]bkmodel4__t13_bkmodel4.depvmin12024-08-03 10:24 45  
[ ]bkmodel4__t13_bkmodel4.vmin12024-08-03 10:20 617  
[ ]bkmodel4__t13_bkmodel4.vmin1out2024-08-03 10:22 9.0K 
[ ]bkmodel4__t13_bkmodel4.vout2024-08-03 07:35 6.3K 
[ ]bkmodel4__t14_bkmodel42024-07-28 04:06 58K 
[ ]bkmodel4__t14_bkmodel4.vout2024-08-03 06:47 4.7K 
[ ]bkmodel4__t15_bkmodel42024-07-28 04:09 40K 
[ ]bkmodel4__t15_bkmodel4.depv12024-08-03 10:19 286  
[ ]bkmodel4__t15_bkmodel4.depvmin12024-08-03 10:24 286  
[ ]bkmodel4__t15_bkmodel4.vmin12024-08-03 10:20 2.9K 
[ ]bkmodel4__t15_bkmodel4.vmin1out2024-08-03 10:22 27K 
[ ]bkmodel4__t15_bkmodel4.vout2024-08-03 06:33 27K 
[ ]bkmodel4__t16_bkmodel42024-07-28 04:11 39K 
[ ]bkmodel4__t16_bkmodel4.depv12024-08-03 10:19 110  
[ ]bkmodel4__t16_bkmodel4.depvmin12024-08-03 10:24 110  
[ ]bkmodel4__t16_bkmodel4.vmin12024-08-03 10:20 1.5K 
[ ]bkmodel4__t16_bkmodel4.vmin1out2024-08-03 10:21 19K 
[ ]bkmodel4__t16_bkmodel4.vout2024-08-03 07:34 12K 
[ ]bkmodel4__t17_bkmodel42024-07-28 04:14 65K 
[ ]bkmodel4__t17_bkmodel4.vout2024-08-03 09:43 5.8K 
[ ]bkmodel4__t18_bkmodel42024-07-28 04:16 291K 
[ ]bkmodel4__t18_bkmodel4.vout2024-08-03 10:07 5.8K 
[ ]bkmodel4__t19_bkmodel42024-07-28 03:38 63K 
[ ]bkmodel4__t19_bkmodel4.vout2024-08-03 09:26 4.7K 
[ ]bkmodel4__t20_bkmodel42024-07-28 04:19 429K 
[ ]bkmodel4__t20_bkmodel4.vout2024-08-03 07:38 5.8K 
[ ]bkmodel4__t21_bkmodel42024-07-28 04:22 429K 
[ ]bkmodel4__t21_bkmodel4.vout2024-08-03 05:57 5.8K 
[ ]bkmodel4__t22_bkmodel42024-07-28 04:24 64K 
[ ]bkmodel4__t22_bkmodel4.depv12024-08-03 10:19 158  
[ ]bkmodel4__t22_bkmodel4.depvmin12024-08-03 10:24 158  
[ ]bkmodel4__t22_bkmodel4.vmin12024-08-03 10:20 4.3K 
[ ]bkmodel4__t22_bkmodel4.vmin1out2024-08-03 10:22 73K 
[ ]bkmodel4__t22_bkmodel4.vout2024-08-03 04:37 54K 
[ ]bkmodel4__t23_bkmodel42024-07-28 04:28 831K 
[ ]bkmodel4__t23_bkmodel4.vout2024-08-03 06:24 7.3K 
[ ]bkmodel4__t24_bkmodel42024-07-28 04:31 572K 
[ ]bkmodel4__t24_bkmodel4.vout2024-08-03 10:07 7.4K 
[ ]bkmodel4__t25_bkmodel42024-07-28 04:33 49K 
[ ]bkmodel4__t25_bkmodel4.vout2024-08-03 06:09 4.7K 
[ ]bkmodel4__t26_bkmodel42024-07-28 04:35 90K 
[ ]bkmodel4__t26_bkmodel4.vout2024-08-03 05:17 5.8K 
[ ]bkmodel4__t27_bkmodel42024-07-28 04:38 74K 
[ ]bkmodel4__t27_bkmodel4.vout2024-08-03 04:20 6.8K 
[ ]bkmodel4__t28_bkmodel42024-07-28 04:41 111K 
[ ]bkmodel4__t28_bkmodel4.vout2024-08-03 04:35 4.7K 
[ ]bkmodel4__t29_bkmodel42024-07-28 04:44 100K 
[ ]bkmodel4__t29_bkmodel4.vout2024-08-03 06:32 5.3K 
[ ]bkmodel4__t30_bkmodel42024-07-28 04:47 104K 
[ ]bkmodel4__t30_bkmodel4.vout2024-08-03 09:14 4.7K 
[ ]bkmodel4__t31_bkmodel42024-07-28 04:50 143K 
[ ]bkmodel4__t31_bkmodel4.vout2024-08-03 08:48 5.3K 
[ ]bkmodel4__t32_bkmodel42024-07-28 04:53 146K 
[ ]bkmodel4__t32_bkmodel4.vout2024-08-03 07:21 4.7K 
[ ]bkmodel4__t33_bkmodel42024-07-28 04:56 106K 
[ ]bkmodel4__t33_bkmodel4.vout2024-08-03 09:03 4.7K 
[ ]bkmodel4__t34_bkmodel42024-07-28 04:59 148K 
[ ]bkmodel4__t34_bkmodel4.vout2024-08-03 08:45 4.7K 
[ ]bkmodel4__t35_bkmodel42024-07-28 06:51 60K 
[ ]bkmodel4__t35_bkmodel4.vout2024-08-03 07:09 6.8K 
[ ]bkmodel4__t36_bkmodel42024-07-28 05:01 54K 
[ ]bkmodel4__t36_bkmodel4.depv12024-08-03 10:19 205  
[ ]bkmodel4__t36_bkmodel4.depvmin12024-08-03 10:24 205  
[ ]bkmodel4__t36_bkmodel4.vmin12024-08-03 10:20 2.3K 
[ ]bkmodel4__t36_bkmodel4.vmin1out2024-08-03 10:22 20K 
[ ]bkmodel4__t36_bkmodel4.vout2024-08-03 05:33 22K 
[ ]bkmodel4__t37_bkmodel42024-07-28 05:03 158K 
[ ]bkmodel4__t37_bkmodel4.vout2024-08-03 05:03 4.7K 
[ ]bkmodel4__t38_bkmodel42024-07-28 05:06 111K 
[ ]bkmodel4__t38_bkmodel4.vout2024-08-03 07:12 3.7K 
[ ]bkmodel4__t39_bkmodel42024-07-28 05:08 112K 
[ ]bkmodel4__t39_bkmodel4.vout2024-08-03 04:44 3.7K 
[ ]bkmodel4__t40_bkmodel42024-07-28 05:11 91K 
[ ]bkmodel4__t40_bkmodel4.vout2024-08-03 04:25 4.7K 
[ ]bkmodel4__t41_bkmodel42024-07-28 05:14 105K 
[ ]bkmodel4__t41_bkmodel4.vout2024-08-03 08:03 5.8K 
[ ]bkmodel4__t42_bkmodel42024-07-28 05:17 68K 
[ ]bkmodel4__t42_bkmodel4.vout2024-08-03 09:45 4.7K 
[ ]bkmodel4__t43_bkmodel42024-07-28 05:18 51K 
[ ]bkmodel4__t43_bkmodel4.vout2024-08-03 07:24 7.3K 
[ ]bkmodel4__t44_bkmodel42024-07-28 05:22 80K 
[ ]bkmodel4__t44_bkmodel4.vout2024-08-03 10:16 4.7K 
[ ]bkmodel4__t45_bkmodel42024-07-28 05:24 50K 
[ ]bkmodel4__t45_bkmodel4.vout2024-08-03 06:26 4.1K 
[ ]bkmodel4__t46_bkmodel42024-07-28 05:28 148K 
[ ]bkmodel4__t46_bkmodel4.vout2024-08-03 10:06 7.4K 
[ ]bkmodel4__t47_bkmodel42024-07-28 05:30 57K 
[ ]bkmodel4__t47_bkmodel4.vout2024-08-03 09:58 5.8K 
[ ]bkmodel4__t48_bkmodel42024-07-28 05:35 208K 
[ ]bkmodel4__t48_bkmodel4.vout2024-08-03 07:54 7.3K 
[ ]bkmodel4__t49_bkmodel42024-07-28 05:37 89K 
[ ]bkmodel4__t49_bkmodel4.vout2024-08-03 08:47 6.8K 
[ ]bkmodel4__t50_bkmodel42024-07-28 05:40 127K 
[ ]bkmodel4__t50_bkmodel4.vout2024-08-03 06:06 4.7K 
[ ]bkmodel4__t51_bkmodel42024-07-28 05:42 62K 
[ ]bkmodel4__t51_bkmodel4.vout2024-08-03 04:29 7.3K 
[ ]bkmodel4__t52_bkmodel42024-07-28 05:44 110K 
[ ]bkmodel4__t52_bkmodel4.vout2024-08-03 08:09 7.3K 
[ ]bkmodel4__t53_bkmodel42024-07-28 05:47 52K 
[ ]bkmodel4__t53_bkmodel4.vout2024-08-03 09:56 4.1K 
[ ]bkmodel4__t54_bkmodel42024-07-28 05:49 35K 
[ ]bkmodel4__t54_bkmodel4.depv12024-08-03 10:19 391  
[ ]bkmodel4__t54_bkmodel4.depvmin12024-08-03 10:24 253  
[ ]bkmodel4__t54_bkmodel4.vmin12024-08-03 10:20 4.2K 
[ ]bkmodel4__t54_bkmodel4.vmin1out2024-08-03 10:23 59K 
[ ]bkmodel4__t54_bkmodel4.vout2024-08-03 05:52 64K 
[ ]bkmodel4__t55_bkmodel42024-07-28 05:52 76K 
[ ]bkmodel4__t55_bkmodel4.vout2024-08-03 05:41 4.7K 
[ ]bkmodel4__t56_bkmodel42024-07-28 05:55 74K 
[ ]bkmodel4__t56_bkmodel4.vout2024-08-03 08:35 4.7K 
[ ]bkmodel4__t57_bkmodel42024-07-28 05:58 135K 
[ ]bkmodel4__t57_bkmodel4.vout2024-08-03 07:53 6.8K 
[ ]bkmodel4__t58_bkmodel42024-07-28 06:01 169K 
[ ]bkmodel4__t58_bkmodel4.vout2024-08-03 06:34 7.3K 
[ ]bkmodel4__t59_bkmodel42024-07-28 06:04 45K 
[ ]bkmodel4__t59_bkmodel4.depv12024-08-03 10:19 131  
[ ]bkmodel4__t59_bkmodel4.depvmin12024-08-03 10:24 131  
[ ]bkmodel4__t59_bkmodel4.vmin12024-08-03 10:20 1.7K 
[ ]bkmodel4__t59_bkmodel4.vmin1out2024-08-03 10:20 27K 
[ ]bkmodel4__t59_bkmodel4.vout2024-08-03 05:21 46K 
[ ]bkmodel4__t60_bkmodel42024-07-28 06:07 51K 
[ ]bkmodel4__t60_bkmodel4.depv12024-08-03 10:19 238  
[ ]bkmodel4__t60_bkmodel4.depvmin12024-08-03 10:24 238  
[ ]bkmodel4__t60_bkmodel4.vmin12024-08-03 10:20 3.5K 
[ ]bkmodel4__t60_bkmodel4.vmin1out2024-08-03 10:23 89K 
[ ]bkmodel4__t60_bkmodel4.vout2024-08-03 04:50 59K 
[ ]bkmodel4__t61_bkmodel42024-07-28 06:09 38K 
[ ]bkmodel4__t61_bkmodel4.depv12024-08-03 10:19 275  
[ ]bkmodel4__t61_bkmodel4.depvmin12024-08-03 10:24 260  
[ ]bkmodel4__t61_bkmodel4.vmin12024-08-03 10:20 3.4K 
[ ]bkmodel4__t61_bkmodel4.vmin1out2024-08-03 10:20 43K 
[ ]bkmodel4__t61_bkmodel4.vout2024-08-03 08:12 37K 
[ ]bkmodel4__t62_bkmodel42024-07-28 06:11 44K 
[ ]bkmodel4__t62_bkmodel4.depv12024-08-03 10:19 149  
[ ]bkmodel4__t62_bkmodel4.depvmin12024-08-03 10:24 149  
[ ]bkmodel4__t62_bkmodel4.vmin12024-08-03 10:20 2.1K 
[ ]bkmodel4__t62_bkmodel4.vmin1out2024-08-03 10:21 29K 
[ ]bkmodel4__t62_bkmodel4.vout2024-08-03 04:51 32K 
[ ]bkmodel4__t63_bkmodel42024-07-28 06:13 44K 
[ ]bkmodel4__t63_bkmodel4.vout2024-08-03 07:13 6.3K 
[ ]bkmodel4__t64_bkmodel42024-07-28 06:15 44K 
[ ]bkmodel4__t64_bkmodel4.vout2024-08-03 06:19 6.3K 
[ ]bkmodel4__t65_bkmodel42024-07-28 06:18 50K 
[ ]bkmodel4__t65_bkmodel4.vout2024-08-03 04:47 4.7K 
[ ]bkmodel4__t66_bkmodel42024-07-28 06:21 43K 
[ ]bkmodel4__t66_bkmodel4.depv12024-08-03 10:19 136  
[ ]bkmodel4__t66_bkmodel4.depvmin12024-08-03 10:24 136  
[ ]bkmodel4__t66_bkmodel4.vmin12024-08-03 10:20 3.5K 
[ ]bkmodel4__t66_bkmodel4.vmin1out2024-08-03 10:22 50K 
[ ]bkmodel4__t66_bkmodel4.vout2024-08-03 04:52 52K 
[ ]bkmodel4__t67_bkmodel42024-07-28 06:23 50K 
[ ]bkmodel4__t67_bkmodel4.vout2024-08-03 10:15 6.3K 
[ ]bkmodel4__t68_bkmodel42024-07-28 06:26 42K 
[ ]bkmodel4__t68_bkmodel4.depv12024-08-03 10:19 26  
[ ]bkmodel4__t68_bkmodel4.depvmin12024-08-03 10:24 26  
[ ]bkmodel4__t68_bkmodel4.vmin12024-08-03 10:20 1.4K 
[ ]bkmodel4__t68_bkmodel4.vmin1out2024-08-03 10:21 33K 
[ ]bkmodel4__t68_bkmodel4.vout2024-08-03 07:10 21K 
[ ]bkmodel4__t69_bkmodel42024-07-28 06:28 57K 
[ ]bkmodel4__t69_bkmodel4.vout2024-08-03 08:13 6.3K 
[ ]bkmodel4__t70_bkmodel42024-07-28 06:31 58K 
[ ]bkmodel4__t70_bkmodel4.vout2024-08-03 06:46 7.9K 
[ ]bkmodel4__t71_bkmodel42024-07-28 06:33 40K 
[ ]bkmodel4__t71_bkmodel4.vout2024-08-03 09:39 6.3K 
[ ]bkmodel4__t72_bkmodel42024-07-28 06:35 41K 
[ ]bkmodel4__t72_bkmodel4.depv12024-08-03 10:19 265  
[ ]bkmodel4__t72_bkmodel4.depvmin12024-08-03 10:24 265  
[ ]bkmodel4__t72_bkmodel4.vmin12024-08-03 10:20 2.3K 
[ ]bkmodel4__t72_bkmodel4.vmin1out2024-08-03 10:20 23K 
[ ]bkmodel4__t72_bkmodel4.vout2024-08-03 06:49 21K 
[ ]bkmodel4__t73_bkmodel42024-07-28 06:37 44K 
[ ]bkmodel4__t73_bkmodel4.vout2024-08-03 09:52 6.3K 
[ ]bkmodel4__t74_bkmodel42024-07-28 06:41 70K 
[ ]bkmodel4__t74_bkmodel4.vout2024-08-03 05:35 7.9K 
[ ]bkmodel4__t75_bkmodel42024-07-28 06:43 40K 
[ ]bkmodel4__t75_bkmodel4.depv12024-08-03 10:19 52  
[ ]bkmodel4__t75_bkmodel4.depvmin12024-08-03 10:24 52  
[ ]bkmodel4__t75_bkmodel4.vmin12024-08-03 10:20 865  
[ ]bkmodel4__t75_bkmodel4.vmin1out2024-08-03 10:21 17K 
[ ]bkmodel4__t75_bkmodel4.vout2024-08-03 05:10 15K 
[ ]bkmodel4__t76_bkmodel42024-07-28 03:40 32K 
[ ]bkmodel4__t76_bkmodel4.depv12024-08-03 10:19 172  
[ ]bkmodel4__t76_bkmodel4.depvmin12024-08-03 10:24 172  
[ ]bkmodel4__t76_bkmodel4.vmin12024-08-03 10:20 2.6K 
[ ]bkmodel4__t76_bkmodel4.vmin1out2024-08-03 10:22 29K 
[ ]bkmodel4__t76_bkmodel4.vout2024-08-03 05:45 33K 
[ ]bkmodel4__t77_bkmodel42024-07-28 03:41 33K 
[ ]bkmodel4__t77_bkmodel4.vout2024-08-03 06:36 5.3K 
[ ]bkmodel4__t78_bkmodel42024-07-28 06:46 38K 
[ ]bkmodel4__t78_bkmodel4.depv12024-08-03 10:19 125  
[ ]bkmodel4__t78_bkmodel4.depvmin12024-08-03 10:24 125  
[ ]bkmodel4__t78_bkmodel4.vmin12024-08-03 10:20 1.5K 
[ ]bkmodel4__t78_bkmodel4.vmin1out2024-08-03 10:20 14K 
[ ]bkmodel4__t78_bkmodel4.vout2024-08-03 06:36 13K 
[ ]bkmodel4__t79_bkmodel42024-07-28 06:48 43K 
[ ]bkmodel4__t79_bkmodel4.vout2024-08-03 08:59 7.3K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80