query conservativity (-q -sSf -r1 -r2)								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	9239	2066	352	1477		>300	1.12	>300										#N/A	300	1.12	300
	q2-2-YN-04_03.qdimacs	3	7	15	14	44	79	56	98	12992	2497	352	1866		>300	1.55	>300										#N/A	300	1.55	300
	q2-2-YN-04_05.qdimacs	3	11	16	14	62	87	73	103	22283	3984	744	2891		>300	6.91	>300										#N/A	300	6.91	300
	q2-2-YN-04_06.qdimacs	3	11	19	14	62	97	73	115	29120	4561	744	3426		>300	12.04	>300										#N/A	300	12.04	300
	q2-2-YN-04_08.qdimacs	3	12	17	14	73	98	87	117	28859	4944	949	3618		>300	14.47	>300										#N/A	300	14.47	300
	q2-2-YN-04_09.qdimacs	3	12	20	14	73	108	87	129	36965	5577	949	4209		>300	21.03	>300										#N/A	300	21.03	300
	q2-2-YN-04_11.qdimacs	3	14	19	14	86	111	104	134	42179	6573	1290	4850		>300	49.84	>300										#N/A	300	49.84	300
	q2-2-YN-04_12.qdimacs	3	14	22	14	86	121	104	146	52652	7291	1290	5526		>300	66.96	>300										#N/A	300	66.96	300
	q2-2-YN-04_14.qdimacs	3	18	23	14	96	121	121	151	72389	9276	1824	6907		>300	190.58	>300										#N/A	300	190.58	300
	q2-2-YN-04_15.qdimacs	3	18	26	14	96	131	121	163	87527	10116	1824	7705		>300	225.48	>300										#N/A	300	225.48	300
	q2-2-YN-04_17.qdimacs	3	20	25	14	103	128	134	164	93890	11003	2163	8239		>300	363.05	>300										#N/A	300	363.05	300
	q2-2-YN-04_18.qdimacs	3	20	28	14	103	138	134	176	111941	11910	2163	9104		>300	418.95	>300										#N/A	300	418.95	300
	q2-2-YN-07_02.qdimacs	3	7	12	18	44	69	56	86	9239	2066	352	1409		>300	1.03	>300										#N/A	300	1.03	300
	q2-2-YN-07_03.qdimacs	3	7	15	18	44	79	56	98	12992	2497	352	1786		>300	1.23	>300										#N/A	300	1.23	300
	q2-2-YN-07_05.qdimacs	3	11	16	18	62	87	73	103	22283	3984	744	2791		>300	3.43	>300										#N/A	300	3.43	300
	q2-2-YN-07_06.qdimacs	3	11	19	18	62	97	73	115	29120	4561	744	3314		>300	4.89	>300										#N/A	300	4.89	300
	q2-2-YN-07_08.qdimacs	3	12	17	18	73	98	87	117	28859	4944	949	3510		>300	6.12	>300										#N/A	300	6.12	300
	q2-2-YN-07_09.qdimacs	3	12	20	18	73	108	87	129	36965	5577	949	4089		>300	8.37	>300										#N/A	300	8.37	300
	q2-2-YN-07_11.qdimacs	3	14	19	18	86	111	104	134	42179	6573	1290	4726		>300	22.3	>300										#N/A	300	22.3	300
	q2-2-YN-07_12.qdimacs	3	14	22	18	86	121	104	146	52652	7291	1290	5390		>300	29.37	>300										#N/A	300	29.37	300
	q2-2-YN-07_14.qdimacs	3	18	23	18	96	121	121	151	72389	9276	1824	6751		>300	193.36	>300										#N/A	300	193.36	300
	q2-2-YN-07_15.qdimacs	3	18	26	18	96	131	121	163	87527	10116	1824	7537		>300	228.96	>300										#N/A	300	228.96	300
	q2-2-YN-07_17.qdimacs	3	20	25	18	103	128	134	164	93890	11003	2163	8067		>300	465.57	>300										#N/A	300	465.57	300
	q2-2-YN-07_18.qdimacs	3	20	28	18	103	138	134	176	111941	11910	2163	8920		>300	535	>300										#N/A	300	535	300
	q2-2-YN-10_02.qdimacs	5	9	12	33	53	69	58	86	9541	2380	530	1290		>300	0.54	>300										#N/A	300	0.54	300
	q2-2-YN-10_03.qdimacs	5	9	15	33	53	79	58	98	13936	2817	530	1628		>300	0.68	>300										#N/A	300	0.68	300
	q2-2-YN-10_05.qdimacs	5	13	16	33	71	87	75	103	22677	4412	994	2594		>300	9.27	>300										#N/A	300	9.27	300
	q2-2-YN-10_06.qdimacs	5	13	19	33	71	97	75	115	30264	4995	994	3078		>300	12.64	>300										#N/A	300	12.64	300
	q2-2-YN-10_08.qdimacs	5	14	17	33	82	98	89	117	29321	5433	1230	3313		>300	18.7	>300										#N/A	300	18.7	300
	q2-2-YN-10_09.qdimacs	5	14	20	33	82	108	89	129	38261	6072	1230	3853		>300	24.98	>300										#N/A	300	24.98	300
	q2-2-YN-10_11.qdimacs	5	16	19	33	95	111	106	134	42715	7144	1615	4507		>300	38.75	>300										#N/A	300	38.75	300
	q2-2-YN-10_12.qdimacs	5	16	22	33	95	121	106	146	54124	7868	1615	5132		>300	46.68	>300										#N/A	300	46.68	300
	q2-2-YN-10_14.qdimacs	5	20	23	33	105	121	123	151	73007	9945	2205	6454		>300	245.21	>300										#N/A	300	245.21	300
	q2-2-YN-10_15.qdimacs	5	20	26	33	105	131	123	163	89183	10791	2205	7201		>300	272.1	>300										#N/A	300	272.1	300
	q2-2-YN-10_17.qdimacs	5	22	25	33	112	128	136	164	94564	11734	2576	7740		>300	392.71	>300										#N/A	300	392.71	300
	q2-2-YN-10_18.qdimacs	5	22	28	33	112	138	136	176	113731	12647	2576	8554		>300	441.9	>300										#N/A	300	441.9	300
	q2-2-YN-12_02.qdimacs	8	12	15	43	63	79	58	86	12451	3280	819	1602		>300	3.07	>300										#N/A	300	3.07	300
	q2-2-YN-12_03.qdimacs	8	12	18	43	63	89	58	98	18133	3786	819	1979		>300	3.79	>300										#N/A	300	3.79	300
	q2-2-YN-12_05.qdimacs	8	16	19	43	81	97	75	103	27585	5603	1377	3023		>300	15.63	>300										#N/A	300	15.63	300
	q2-2-YN-12_06.qdimacs	8	16	22	43	81	107	75	115	36765	6255	1377	3546		>300	25.75	>300										#N/A	300	25.75	300
	q2-2-YN-12_08.qdimacs	8	16	19	44	90	106	89	117	30985	6246	1530	3485		>300	22.76	>300										#N/A	300	22.76	300
	q2-2-YN-12_09.qdimacs	8	16	22	44	90	116	89	129	40879	6925	1530	4032		>300	30.67	>300										#N/A	300	30.67	300
	q2-2-YN-12_11.qdimacs	8	16	19	45	95	111	106	134	35014	6760	1615	3886		>300	34.48	>300										#N/A	300	34.48	300
	q2-2-YN-12_12.qdimacs	8	16	22	45	95	121	106	146	45775	7454	1615	4445		>300	40.46	>300										#N/A	300	40.46	300
	q2-2-YN-12_14.qdimacs	8	20	23	45	105	121	123	151	62411	9519	2205	5695		>300	353.77	>300										#N/A	300	353.77	300
	q2-2-YN-12_15.qdimacs	8	20	26	45	105	131	123	163	77795	10335	2205	6376		>300	402.58	>300										#N/A	300	402.58	300
	q2-2-YN-12_17.qdimacs	8	22	25	45	112	128	136	164	82057	11281	2576	6906		>300	562.73	>300										#N/A	300	562.73	300
	q2-2-YN-12_18.qdimacs	8	22	28	45	112	138	136	176	100360	12164	2576	7654		>300	1172.13	>300										#N/A	300	1172.13	300
														0	0	48	0