query conservativity (-q -sSf)								solved?
sigN	name	roles			b-concepts			axioms		clause	variables			time													graph data
		sig	1	12	sig	1	12	1	12		total	A	E	sKizzo -hbdd 0	sKizzo	2clsQ	yquaffle	0									sKizzo -hbdd 0	sKizzo	2clsQ	yquaffle
	q2-2-YN-04_02.qdimacs	3	7	12	14	44	69	56	86	9236	2076	352	1486		>300	1.09	>300										#N/A	300	1.09	300
	q2-2-YN-04_03.qdimacs	3	7	15	14	44	79	56	98	12995	2510	352	1878		>300	1.47	>300										#N/A	300	1.47	300
	q2-2-YN-04_05.qdimacs	3	11	16	14	62	87	73	103	22276	3998	744	2904		>300	7.93	>300										#N/A	300	7.93	300
	q2-2-YN-04_06.qdimacs	3	11	19	14	62	97	73	115	29119	4578	744	3442		>300	11.36	>300										#N/A	300	11.36	300
	q2-2-YN-04_08.qdimacs	3	12	17	14	73	98	87	117	28851	4959	949	3632		>300	14.77	>300										#N/A	300	14.77	300
	q2-2-YN-04_09.qdimacs	3	12	20	14	73	108	87	129	36963	5595	949	4226		>300	21.48	>300										#N/A	300	21.48	300
	q2-2-YN-04_11.qdimacs	3	14	19	14	86	111	104	134	42169	6590	1290	4866		>300	55.33	>300										#N/A	300	55.33	300
	q2-2-YN-04_12.qdimacs	3	14	22	14	86	121	104	146	52648	7311	1290	5545		>300	69.18	>300										#N/A	300	69.18	300
	q2-2-YN-04_14.qdimacs	3	18	23	14	96	121	121	151	72375	9297	1824	6927		>300	212.89	>300										#N/A	300	212.89	300
	q2-2-YN-04_15.qdimacs	3	18	26	14	96	131	121	163	87519	10140	1824	7728		>300	277.71	>300										#N/A	300	277.71	300
	q2-2-YN-04_17.qdimacs	3	20	25	14	103	128	134	164	93874	11026	2163	8261		>300	439.44	>300										#N/A	300	439.44	300
	q2-2-YN-04_18.qdimacs	3	20	28	14	103	138	134	176	111931	11936	2163	9129		>300	503.39	>300										#N/A	300	503.39	300
	q2-2-YN-07_02.qdimacs	3	7	12	18	44	69	56	86	9236	2076	352	1418		164.1	0.66	>300										#N/A	164.1	0.66	300
	q2-2-YN-07_03.qdimacs	3	7	15	18	44	79	56	98	12995	2510	352	1798		239.94	0.84	>300										#N/A	239.94	0.84	300
	q2-2-YN-07_05.qdimacs	3	11	16	18	62	87	73	103	22276	3998	744	2804		>300	4.57	>300										#N/A	300	4.57	300
	q2-2-YN-07_06.qdimacs	3	11	19	18	62	97	73	115	29119	4578	744	3330		>300	6.41	>300										#N/A	300	6.41	300
	q2-2-YN-07_08.qdimacs	3	12	17	18	73	98	87	117	28851	4959	949	3524		>300	3.4	>300										#N/A	300	3.4	300
	q2-2-YN-07_09.qdimacs	3	12	20	18	73	108	87	129	36963	5595	949	4106		>300	4.75	>300										#N/A	300	4.75	300
	q2-2-YN-07_11.qdimacs	3	14	19	18	86	111	104	134	42169	6590	1290	4742		>300	30.16	>300										#N/A	300	30.16	300
	q2-2-YN-07_12.qdimacs	3	14	22	18	86	121	104	146	52648	7311	1290	5409		>300	34.79	>300										#N/A	300	34.79	300
	q2-2-YN-07_14.qdimacs	3	18	23	18	96	121	121	151	72375	9297	1824	6771		>300	114	>300										#N/A	300	114	300
	q2-2-YN-07_15.qdimacs	3	18	26	18	96	131	121	163	87519	10140	1824	7560		>300	144.05	>300										#N/A	300	144.05	300
	q2-2-YN-07_17.qdimacs	3	20	25	18	103	128	134	164	93874	11026	2163	8089		>300	230.04	>300										#N/A	300	230.04	300
	q2-2-YN-07_18.qdimacs	3	20	28	18	103	138	134	176	111931	11936	2163	8945		>300	254.74	>300										#N/A	300	254.74	300
	q2-2-YN-10_02.qdimacs	5	9	12	33	53	69	58	86	9528	2388	530	1297		>300	0.96	>300										#N/A	300	0.96	300
	q2-2-YN-10_03.qdimacs	5	9	15	33	53	79	58	98	13929	2828	530	1638		>300	1.21	>300										#N/A	300	1.21	300
	q2-2-YN-10_05.qdimacs	5	13	16	33	71	87	75	103	22660	4424	994	2605		>300	1.79	>300										#N/A	300	1.79	300
	q2-2-YN-10_06.qdimacs	5	13	19	33	71	97	75	115	30253	5010	994	3092		>300	8.19	>300										#N/A	300	8.19	300
	q2-2-YN-10_08.qdimacs	5	14	17	33	82	98	89	117	29303	5446	1230	3325		>300	3.82	>300										#N/A	300	3.82	300
	q2-2-YN-10_09.qdimacs	5	14	20	33	82	108	89	129	38249	6088	1230	3868		>300	5.12	>300										#N/A	300	5.12	300
	q2-2-YN-10_11.qdimacs	5	16	19	33	95	111	106	134	42695	7159	1615	4521		>300	34.98	>300										#N/A	300	34.98	300
	q2-2-YN-10_12.qdimacs	5	16	22	33	95	121	106	146	54110	7886	1615	5149		>300	43.79	>300										#N/A	300	43.79	300
	q2-2-YN-10_14.qdimacs	5	20	23	33	105	121	123	151	72983	9964	2205	6472		>300	137.06	>300										#N/A	300	137.06	300
	q2-2-YN-10_15.qdimacs	5	20	26	33	105	131	123	163	89165	10813	2205	7222		>300	158.48	>300										#N/A	300	158.48	300
	q2-2-YN-10_17.qdimacs	5	22	25	33	112	128	136	164	94538	11755	2576	7760		>300	247.62	>300										#N/A	300	247.62	300
	q2-2-YN-10_18.qdimacs	5	22	28	33	112	138	136	176	113711	12671	2576	8577		>300	288.41	>300										#N/A	300	288.41	300
	q2-2-YN-12_02.qdimacs	8	12	15	43	63	79	58	86	12429	3288	819	1609		>300	1.49	>300										#N/A	300	1.49	300
	q2-2-YN-12_03.qdimacs	8	12	18	43	63	89	58	98	18117	3797	819	1989		>300	1.78	>300										#N/A	300	1.78	300
	q2-2-YN-12_05.qdimacs	8	16	19	43	81	97	75	103	27559	5615	1377	3034		>300	13.17	>300										#N/A	300	13.17	300
	q2-2-YN-12_06.qdimacs	8	16	22	43	81	107	75	115	36745	6270	1377	3560		>300	15.45	>300										#N/A	300	15.45	300
	q2-2-YN-12_08.qdimacs	8	16	19	44	90	106	89	117	30959	6258	1530	3496		>300	16.22	>300										#N/A	300	16.22	300
	q2-2-YN-12_09.qdimacs	8	16	22	44	90	116	89	129	40859	6940	1530	4046		>300	24.62	>300										#N/A	300	24.62	300
	q2-2-YN-12_11.qdimacs	8	16	19	45	95	111	106	134	34988	6772	1615	3897		>300	36.66	>300										#N/A	300	36.66	300
	q2-2-YN-12_12.qdimacs	8	16	22	45	95	121	106	146	45755	7469	1615	4459		>300	47.6	>300										#N/A	300	47.6	300
	q2-2-YN-12_14.qdimacs	8	20	23	45	105	121	123	151	62381	9535	2205	5710		>300	153.98	>300										#N/A	300	153.98	300
	q2-2-YN-12_15.qdimacs	8	20	26	45	105	131	123	163	77771	10354	2205	6394		>300	172.16	>300										#N/A	300	172.16	300
	q2-2-YN-12_17.qdimacs	8	22	25	45	112	128	136	164	82025	11299	2576	6923		>300	372.81	>300										#N/A	300	372.81	300
	q2-2-YN-12_18.qdimacs	8	22	28	45	112	138	136	176	100334	12185	2576	7674		>300	420.79	>300										#N/A	300	420.79	300
														0	2	48	0