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	48									sKizzo -hbdd 0	sKizzo	2clsQ	yquaffle
	q2-3-YY-04_01.qdimacs	2	7	11	12	43	66	46	70	7759	1928	344	1380		>300	>300.370	>300	NOT!									#N/A	300	300.37	300
	q2-3-YY-04_02.qdimacs	2	7	11	12	43	66	54	78	8527	1992	344	1444		>300	>300.030	>300	NOT!									#N/A	300	300.03	300
	q2-3-YY-04_03.qdimacs	2	7	9	12	43	47	54	62	5725	1556	344	1035		>300	>300.030	>300	NOT!									#N/A	300	300.03	300
	q2-3-YY-04_04.qdimacs	2	7	10	12	43	56	54	66	6612	1755	344	1222		>300	>300.010	>300	NOT!									#N/A	300	300.01	300
	q2-3-YY-04_05.qdimacs	2	10	12	12	57	61	63	71	11679	2739	627	1863		>300	>300.290	>300	NOT!									#N/A	300	300.29	300
	q2-3-YY-04_06.qdimacs	2	10	14	12	57	80	63	87	16389	3323	627	2420		>300	>300.270	>300	NOT!									#N/A	300	300.27	300
	q2-3-YY-04_07.qdimacs	2	11	13	12	61	65	71	79	15237	3245	732	2237		>300	>300.790	>300	NOT!									#N/A	300	300.79	300
	q2-3-YY-04_08.qdimacs	2	11	15	12	61	84	71	95	20831	3874	732	2842		>300	>300.690	>300	NOT!									#N/A	300	300.69	300
	q2-3-YY-04_09.qdimacs	2	11	13	12	68	72	78	86	16473	3574	816	2482		>300	>300.700	>300	NOT!									#N/A	300	300.7	300
	q2-3-YY-04_10.qdimacs	2	11	15	12	68	91	78	102	22235	4217	816	3101		>300	>300.600	>300	NOT!									#N/A	300	300.6	300
	q2-3-YY-04_11.qdimacs	2	12	14	12	72	76	86	94	20745	4147	936	2911		>300	>300.840	>300	NOT!									#N/A	300	300.84	300
	q2-3-YY-04_12.qdimacs	2	12	16	12	72	95	86	110	27455	4838	936	3578		>300	>300.620	>300	NOT!									#N/A	300	300.62	300
	q2-3-YY-07_01.qdimacs	3	7	11	17	43	66	46	70	7060	1854	344	1238		>300	>300.010	>300	NOT!									#N/A	300	300.01	300
	q2-3-YY-07_02.qdimacs	3	7	11	17	43	66	54	78	7764	1918	344	1302		>300	>300.010	>300	NOT!									#N/A	300	300.01	300
	q2-3-YY-07_03.qdimacs	3	7	9	17	43	47	54	62	5130	1501	344	922		>300	>300.010	>300	NOT!									#N/A	300	300.01	300
	q2-3-YY-07_04.qdimacs	3	7	10	17	43	56	54	66	5981	1691	344	1095		>300	>300.010	>300	NOT!									#N/A	300	300.01	300
	q2-3-YY-07_05.qdimacs	3	10	12	17	57	61	63	71	10760	2667	627	1703		>300	>300.010	>300	NOT!									#N/A	300	300.01	300
	q2-3-YY-07_06.qdimacs	3	10	14	17	57	80	63	87	15242	3232	627	2231		>300	>300.020	>300	NOT!									#N/A	300	300.02	300
	q2-3-YY-07_07.qdimacs	3	11	13	17	61	65	71	79	14126	3168	732	2062		>300	>300.010	>300	NOT!									#N/A	300	300.01	300
	q2-3-YY-07_08.qdimacs	3	11	15	17	61	84	71	95	19472	3778	732	2638		>300	>300.020	>300	NOT!									#N/A	300	300.02	300
	q2-3-YY-07_09.qdimacs	3	11	13	17	68	72	78	86	15278	3490	816	2300		>300	>300.010	>300	NOT!									#N/A	300	300.01	300
	q2-3-YY-07_10.qdimacs	3	11	15	17	68	91	78	102	20792	4114	816	2890		>300	>300.010	>300	NOT!									#N/A	300	300.01	300
	q2-3-YY-07_11.qdimacs	3	12	14	17	72	76	86	94	19346	4058	936	2714		>300	>301.150	>300	NOT!									#N/A	300	301.15	300
	q2-3-YY-07_12.qdimacs	3	12	16	17	72	95	86	110	25788	4730	936	3352		>300	>301.120	>300	NOT!									#N/A	300	301.12	300
	q2-3-YY-10_01.qdimacs	4	8	11	23	47	66	48	70	7202	1999	423	1208		>300	>300.010	>300	NOT!									#N/A	300	300.01	300
	q2-3-YY-10_02.qdimacs	4	8	11	23	47	66	56	78	7922	2071	423	1280		>300	>300.010	>300	NOT!									#N/A	300	300.01	300
	q2-3-YY-10_03.qdimacs	4	8	10	21	45	49	54	62	5780	1702	405	985		>300	>300.010	>300	NOT!									#N/A	300	300.01	300
	q2-3-YY-10_04.qdimacs	4	8	10	21	45	56	54	66	6032	1807	405	1090		>300	>300.010	>300	NOT!									#N/A	300	300.01	300
	q2-3-YY-10_05.qdimacs	4	11	13	21	59	63	63	71	11747	2926	708	1780		>300	>300.010	>300	NOT!									#N/A	300	300.01	300
	q2-3-YY-10_06.qdimacs	4	11	14	23	61	80	65	87	15434	3426	732	2188		>300	>300.020	>300	NOT!									#N/A	300	300.02	300
	q2-3-YY-10_07.qdimacs	4	12	14	21	63	67	71	79	15312	3450	819	2148		>300	>300.010	>300	NOT!									#N/A	300	300.01	300
	q2-3-YY-10_08.qdimacs	4	12	15	23	65	84	73	95	19684	3990	845	2593		>300	>300.080	>300	NOT!									#N/A	300	300.08	300
	q2-3-YY-10_09.qdimacs	4	12	14	21	70	74	78	86	16560	3793	910	2400		>300	>300.020	>300	NOT!									#N/A	300	300.02	300
	q2-3-YY-10_10.qdimacs	4	12	15	23	72	91	80	102	21023	4340	936	2852		>300	>300.130	>300	NOT!									#N/A	300	300.13	300
	q2-3-YY-10_11.qdimacs	4	13	15	21	74	78	86	94	20843	4384	1036	2823		>300	>301.220	>300	NOT!									#N/A	300	301.22	300
	q2-3-YY-10_12.qdimacs	4	13	16	23	76	95	88	110	26042	4974	1064	3312		>300	>301.380	>300	NOT!									#N/A	300	301.38	300
	q2-3-YY-13_01.qdimacs	5	9	11	32	51	66	48	70	7154	2134	510	1112		>300	>300.010	>300	NOT!									#N/A	300	300.01	300
	q2-3-YY-13_02.qdimacs	5	9	11	32	51	66	56	78	7874	2214	510	1192		>300	>300.010	>300	NOT!									#N/A	300	300.01	300
	q2-3-YY-13_03.qdimacs	5	9	10	30	49	51	54	62	5701	1870	490	933		>300	>300.010	>300	NOT!									#N/A	300	300.01	300
	q2-3-YY-13_04.qdimacs	5	9	10	30	49	56	54	66	5941	1945	490	1008		>300	>300.010	>300	NOT!									#N/A	300	300.01	300
	q2-3-YY-13_05.qdimacs	5	12	13	30	63	65	63	71	11663	3141	819	1695		>300	>300.010	>300	NOT!									#N/A	300	300.01	300
	q2-3-YY-13_06.qdimacs	5	12	14	32	65	80	65	87	15390	3604	845	2055		>300	>300.230	>300	NOT!									#N/A	300	300.23	300
	q2-3-YY-13_07.qdimacs	5	13	14	30	67	69	71	79	15217	3685	938	2057		>300	>300.050	>300	NOT!									#N/A	300	300.05	300
	q2-3-YY-13_08.qdimacs	5	13	15	32	69	84	73	95	19638	4184	966	2450		>300	>300.250	>300	NOT!									#N/A	300	300.25	300
	q2-3-YY-13_09.qdimacs	5	13	14	30	74	76	78	86	16463	4042	1036	2316		>300	>300.040	>300	NOT!									#N/A	300	300.04	300
	q2-3-YY-13_10.qdimacs	5	13	15	32	76	91	80	102	20982	4548	1064	2716		>300	>300.170	>300	NOT!									#N/A	300	300.17	300
	q2-3-YY-13_11.qdimacs	5	14	15	30	78	80	86	94	20741	4653	1170	2733		>300	>301.380	>300	NOT!									#N/A	300	301.38	300
	q2-3-YY-13_12.qdimacs	5	14	16	32	80	95	88	110	26004	5198	1200	3166		>300	>301.990	>300	NOT!									#N/A	300	301.99	300
														0	0	0	0