Instances	#var	#clause	zMinimal [1]		OMUS [2]
			#clause	Time	#clause	Time
fpga10_11	220	1122	561	49.83	561	13.75
fpga10_12	240	1344	643	548.77	561	17.03
fpga10_13	260	1586	643	3406.71	561	31.89
fpga10_15	300	2130	time out		561	68.17
fpga11_12	264	1476	738	105.61	738	66.3
fpga11_13	286	1742	time out		738	84.74
fpga11_14	308	2030	time out		738	304.4
fpga11_15	330	2340	time out		738	85.2
aim-100-1_6-no-1	100	160	47	0.13	47	0.39
aim-100-1_6-no-2	100	160	53	0.10	53	0.38
aim-100-1_6-no-3	100	160	53	0.15	57	0.41
aim-100-1_6-no-4	100	160	48	0.14	48	0.29
aim-100-2_0-no-1	100	200	19	0.06	19	0.23
aim-100-2_0-no-2	100	200	39	0.11	39	0.71
aim-100-2_0-no-3	100	200	27	0.13	27	0.45
aim-100-2_0-no-4	100	200	31	0.12	31	0.59
aim-200-1_6-no-1	200	320	55	0.16	55	0.64
aim-200-1_6-no-2	200	320	80	0.18	80	0.53
aim-200-1_6-no-3	200	320	83	0.23	83	0.83
aim-200-1_6-no-4	200	320	46	0.15	46	0.39
aim-200-2_0-no-1	200	400	53	0.21	53	1.21
aim-200-2_0-no-2	200	400	50	0.16	50	1.12
aim-200-2_0-no-3	200	400	37	0.09	37	0.54
aim-200-2_0-no-4	200	400	42	0.16	42	0.88
aim-50-1_6-no-1	50	80	22	0.11	22	0.17
aim-50-1_6-no-2	50	80	32	0.10	32	0.23
aim-50-1_6-no-3	50	80	31	0.11	31	0.20
aim-50-1_6-no-4	50	80	20	0.05	20	0.17
aim-50-2_0-no-1	50	100	22	0.10	22	0.35
aim-50-2_0-no-2	50	100	30	0.14	30	0.66