Index of /~mptp/mml5.63.1382/8.1.10_5.63.1382/mptp/problems_small_thf.orig2021/bkmodel4

	Name	Last modified	Size	Description
	Parent Directory		-
	bkmodel4__l46_bkmodel4	2021-07-18 21:46	49K
	bkmodel4__t1_bkmodel4	2021-07-18 20:51	48K
	bkmodel4__t2_bkmodel4	2021-07-18 20:51	37K
	bkmodel4__t3_bkmodel4	2021-07-18 20:52	59K
	bkmodel4__t4_bkmodel4	2021-07-18 20:52	48K
	bkmodel4__t5_bkmodel4	2021-07-18 20:52	33K
	bkmodel4__t6_bkmodel4	2021-07-18 20:53	48K
	bkmodel4__t7_bkmodel4	2021-07-18 20:53	59K
	bkmodel4__t8_bkmodel4	2021-07-18 20:54	62K
	bkmodel4__t9_bkmodel4	2021-07-18 20:55	78K
	bkmodel4__t10_bkmodel4	2021-07-18 20:56	87K
	bkmodel4__t11_bkmodel4	2021-07-18 20:56	62K
	bkmodel4__t12_bkmodel4	2021-07-18 20:57	67K
	bkmodel4__t13_bkmodel4	2021-07-18 20:58	46K
	bkmodel4__t14_bkmodel4	2021-07-18 20:58	92K
	bkmodel4__t15_bkmodel4	2021-07-18 20:59	62K
	bkmodel4__t16_bkmodel4	2021-07-18 21:00	60K
	bkmodel4__t17_bkmodel4	2021-07-18 21:01	106K
	bkmodel4__t18_bkmodel4	2021-07-18 21:01	484K
	bkmodel4__t19_bkmodel4	2021-07-18 20:50	100K
	bkmodel4__t20_bkmodel4	2021-07-18 21:02	666K
	bkmodel4__t21_bkmodel4	2021-07-18 21:03	666K
	bkmodel4__t22_bkmodel4	2021-07-18 21:04	103K
	bkmodel4__t23_bkmodel4	2021-07-18 21:05	1.2M
	bkmodel4__t24_bkmodel4	2021-07-18 21:06	886K
	bkmodel4__t25_bkmodel4	2021-07-18 21:06	76K
	bkmodel4__t26_bkmodel4	2021-07-18 21:07	151K
	bkmodel4__t27_bkmodel4	2021-07-18 21:08	117K
	bkmodel4__t28_bkmodel4	2021-07-18 21:09	186K
	bkmodel4__t29_bkmodel4	2021-07-18 21:10	168K
	bkmodel4__t30_bkmodel4	2021-07-18 21:11	175K
	bkmodel4__t31_bkmodel4	2021-07-18 21:11	244K
	bkmodel4__t32_bkmodel4	2021-07-18 21:12	251K
	bkmodel4__t33_bkmodel4	2021-07-18 21:13	178K
	bkmodel4__t34_bkmodel4	2021-07-18 21:14	253K
	bkmodel4__t35_bkmodel4	2021-07-18 21:15	96K
	bkmodel4__t36_bkmodel4	2021-07-18 21:15	86K
	bkmodel4__t37_bkmodel4	2021-07-18 21:16	270K
	bkmodel4__t38_bkmodel4	2021-07-18 21:17	185K
	bkmodel4__t39_bkmodel4	2021-07-18 21:18	187K
	bkmodel4__t40_bkmodel4	2021-07-18 21:18	154K
	bkmodel4__t41_bkmodel4	2021-07-18 21:19	176K
	bkmodel4__t42_bkmodel4	2021-07-18 21:20	109K
	bkmodel4__t43_bkmodel4	2021-07-18 21:21	81K
	bkmodel4__t44_bkmodel4	2021-07-18 21:22	130K
	bkmodel4__t45_bkmodel4	2021-07-18 21:22	80K
	bkmodel4__t46_bkmodel4	2021-07-18 21:23	245K
	bkmodel4__t47_bkmodel4	2021-07-18 21:24	90K
	bkmodel4__t48_bkmodel4	2021-07-18 21:25	349K
	bkmodel4__t49_bkmodel4	2021-07-18 21:26	148K
	bkmodel4__t50_bkmodel4	2021-07-18 21:27	212K
	bkmodel4__t51_bkmodel4	2021-07-18 21:28	97K
	bkmodel4__t52_bkmodel4	2021-07-18 21:28	183K
	bkmodel4__t53_bkmodel4	2021-07-18 21:29	82K
	bkmodel4__t54_bkmodel4	2021-07-18 21:30	52K
	bkmodel4__t55_bkmodel4	2021-07-18 21:31	123K
	bkmodel4__t56_bkmodel4	2021-07-18 21:32	120K
	bkmodel4__t57_bkmodel4	2021-07-18 21:32	228K
	bkmodel4__t58_bkmodel4	2021-07-18 21:33	284K
	bkmodel4__t59_bkmodel4	2021-07-18 21:34	71K
	bkmodel4__t60_bkmodel4	2021-07-18 21:35	81K
	bkmodel4__t61_bkmodel4	2021-07-18 21:36	59K
	bkmodel4__t62_bkmodel4	2021-07-18 21:36	68K
	bkmodel4__t63_bkmodel4	2021-07-18 21:37	68K
	bkmodel4__t64_bkmodel4	2021-07-18 21:37	68K
	bkmodel4__t65_bkmodel4	2021-07-18 21:38	79K
	bkmodel4__t66_bkmodel4	2021-07-18 21:39	66K
	bkmodel4__t67_bkmodel4	2021-07-18 21:40	79K
	bkmodel4__t68_bkmodel4	2021-07-18 21:40	65K
	bkmodel4__t69_bkmodel4	2021-07-18 21:41	91K
	bkmodel4__t70_bkmodel4	2021-07-18 21:41	90K
	bkmodel4__t71_bkmodel4	2021-07-18 21:42	60K
	bkmodel4__t72_bkmodel4	2021-07-18 21:42	62K
	bkmodel4__t73_bkmodel4	2021-07-18 21:43	68K
	bkmodel4__t74_bkmodel4	2021-07-18 21:44	108K
	bkmodel4__t75_bkmodel4	2021-07-18 21:44	62K
	bkmodel4__t76_bkmodel4	2021-07-18 20:50	48K
	bkmodel4__t77_bkmodel4	2021-07-18 20:51	51K
	bkmodel4__t78_bkmodel4	2021-07-18 21:45	60K
	bkmodel4__t79_bkmodel4	2021-07-18 21:45	67K