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

	Name	Last modified	Size	Description
	Parent Directory		-
	boolmark__l11_boolmark	2021-07-17 22:19	32K
	boolmark__l11_boolmark.vout	2021-07-25 20:00	4.7K
	boolmark__t1_boolmark	2021-07-17 22:13	19K
	boolmark__t1_boolmark.vout	2021-07-25 20:18	6.8K
	boolmark__t2_boolmark	2021-07-17 22:13	16K
	boolmark__t2_boolmark.vout	2021-07-25 20:32	7.3K
	boolmark__t3_boolmark	2021-07-17 22:13	18K
	boolmark__t3_boolmark.vout	2021-07-25 20:17	7.3K
	boolmark__t4_boolmark	2021-07-17 22:14	16K
	boolmark__t4_boolmark.vout	2021-07-25 16:34	4.7K
	boolmark__t5_boolmark	2021-07-17 22:14	27K
	boolmark__t5_boolmark.vout	2021-07-25 18:01	4.7K
	boolmark__t6_boolmark	2021-07-17 22:15	25K
	boolmark__t6_boolmark.vout	2021-07-25 20:22	2.0K
	boolmark__t7_boolmark	2021-07-17 22:15	24K
	boolmark__t7_boolmark.vout	2021-07-25 18:01	7.3K
	boolmark__t8_boolmark	2021-07-17 22:16	51K
	boolmark__t8_boolmark.vout	2021-07-25 18:56	4.7K
	boolmark__t9_boolmark	2021-07-17 22:16	55K
	boolmark__t9_boolmark.vout	2021-07-25 15:13	4.7K
	boolmark__t10_boolmark	2021-07-17 22:17	31K
	boolmark__t10_boolmark.vout	2021-07-25 14:33	7.4K
	boolmark__t11_boolmark	2021-07-17 22:18	32K
	boolmark__t11_boolmark.vout	2021-07-25 14:43	4.7K
	boolmark__t12_boolmark	2021-07-17 22:18	47K
	boolmark__t12_boolmark.vout	2021-07-25 18:26	4.7K