query conservativity (-q -sSe)										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:13	sKizzo -hbdd 1:13	sKizzo -hbdd 2:13	sKizzo	2clsQ	yquaffle	14							sKizzo -hbdd 0:13	sKizzo -hbdd 1:13	sKizzo -hbdd 2:13	2clsQ	yquaffle
	q2-3-YY-04_03.qdimacs	2	7	9	12	43	47	54	62	5718	1566	344	1042	74.89	24.36	22.06											74.89	24.36	22.06	#N/A	#N/A
	q2-3-YY-04_04.qdimacs	2	7	10	12	43	56	54	66	6607	1766	344	1230	95.54	15.35	21.88											95.54	15.35	21.88	#N/A	#N/A
	q2-3-YY-04_01.qdimacs	2	7	11	12	43	66	46	70	7756	1937	344	1389	41.32	17.13	38.74											41.32	17.13	38.74	#N/A	#N/A
	q2-3-YY-04_05.qdimacs	2	10	12	12	57	61	63	71	11669	2752	627	1873	1204.94	>4200	1336.27											1204.94	4200	1336.27	#N/A	#N/A
	q2-3-YY-04_02.qdimacs	2	7	11	12	43	66	54	78	8524	2001	344	1453	28.64	40.25	12.06											28.64	40.25	12.06	#N/A	#N/A
	q2-3-YY-04_07.qdimacs	2	11	13	12	61	65	71	79	15226	3256	732	2248	>4200	463.07	>4200											4200	463.07	4200	#N/A	#N/A
	q2-3-YY-04_09.qdimacs	2	11	13	12	68	72	78	86	16462	3585	816	2493	-910.69	318.12	1196.19											3384.31	318.12	1196.19	#N/A	#N/A
	q2-3-YY-04_06.qdimacs	2	10	14	12	57	80	63	87	16383	3335	627	2432	476.72	722	352.42											476.72	722	352.42	#N/A	#N/A
	q2-3-YY-04_11.qdimacs	2	12	14	12	72	76	86	94	20733	4159	936	2923	1400.74	770.44	1240.91											1400.74	770.44	1240.91	#N/A	#N/A
	q2-3-YY-04_08.qdimacs	2	11	15	12	61	84	71	95	20824	3887	732	2855	>4200	1380.99	-561.49											4200	1380.99	3733.51	#N/A	#N/A
	q2-3-YY-04_10.qdimacs	2	11	15	12	68	91	78	102	22228	4230	816	3114	>4200	777.52	1471.26											4200	777.52	1471.26	#N/A	#N/A
	q2-3-YY-04_12.qdimacs	2	12	16	12	72	95	86	110	27447	4852	936	3592	>4200	978.52	>4200											4200	978.52	4200	#N/A	#N/A
	q2-3-YY-07_03.qdimacs	3	7	9	17	43	47	54	62	5121	1510	344	928	129.42	226.59	90.79											129.42	226.59	90.79	#N/A	#N/A
	q2-3-YY-07_04.qdimacs	3	7	10	17	43	56	54	66	5974	1701	344	1102	73.8	122.72	154.62											73.8	122.72	154.62	#N/A	#N/A
	q2-3-YY-07_01.qdimacs	3	7	11	17	43	66	46	70	7055	1862	344	1246	93.36	147.57	77.6											93.36	147.57	77.6	#N/A	#N/A
	q2-3-YY-07_05.qdimacs	3	10	12	17	57	61	63	71	10748	2679	627	1712	681.61	-1859.4	1901.86											681.61	2435.61	1901.86	#N/A	#N/A
	q2-3-YY-07_02.qdimacs	3	7	11	17	43	66	54	78	7759	1926	344	1310	120.16	580.45	288.34											120.16	580.45	288.34	#N/A	#N/A
	q2-3-YY-07_07.qdimacs	3	11	13	17	61	65	71	79	14113	3178	732	2072	772.27	>4200	1147.61											772.27	4200	1147.61	#N/A	#N/A
	q2-3-YY-07_09.qdimacs	3	11	13	17	68	72	78	86	15265	3500	816	2310	-208.78	>4200	-1270.8											4086.22	4200	3024.21	#N/A	#N/A
	q2-3-YY-07_06.qdimacs	3	10	14	17	57	80	63	87	15234	3243	627	2242	563.42	>4200	925.42											563.42	4200	925.42	#N/A	#N/A
	q2-3-YY-07_11.qdimacs	3	12	14	17	72	76	86	94	19332	4069	936	2725	>4200	-266.99	1403.8											4200	4028.01	1403.8	#N/A	#N/A
	q2-3-YY-07_08.qdimacs	3	11	15	17	61	84	71	95	19463	3790	732	2650	-2125.1	-338.86	1773.04											2169.91	3956.14	1773.04	#N/A	#N/A
	q2-3-YY-07_10.qdimacs	3	11	15	17	68	91	78	102	20783	4126	816	2902	-1806.8	-1452.7	>4200											2488.2	2842.3	4200	#N/A	#N/A
	q2-3-YY-07_12.qdimacs	3	12	16	17	72	95	86	110	25778	4743	936	3365	>4200	>4200	>4200				NOT!							4200	4200	4200	#N/A	#N/A
	q2-3-YY-10_03.qdimacs	4	8	10	21	45	49	54	62	5768	1711	405	991	255.85	137.76	152.01											255.85	137.76	152.01	#N/A	#N/A
	q2-3-YY-10_04.qdimacs	4	8	10	21	45	56	54	66	6020	1816	405	1096	255.52	138.82	154.9											255.52	138.82	154.9	#N/A	#N/A
	q2-3-YY-10_01.qdimacs	4	8	11	23	47	66	48	70	7192	2006	423	1215	495.91	881.76	878.37											495.91	881.76	878.37	#N/A	#N/A
	q2-3-YY-10_05.qdimacs	4	11	13	21	59	63	63	71	11732	2938	708	1789	>4200	-98.5	-1567											4200	4196.5	2727.98	#N/A	#N/A
	q2-3-YY-10_02.qdimacs	4	8	11	23	47	66	56	78	7912	2078	423	1287	183.97	508.92	409.99											183.97	508.92	409.99	#N/A	#N/A
	q2-3-YY-10_07.qdimacs	4	12	14	21	63	67	71	79	15296	3460	819	2158	2058.95	>4200	-2018.2											2058.95	4200	2276.83	#N/A	#N/A
	q2-3-YY-10_09.qdimacs	4	12	14	21	70	74	78	86	16544	3803	910	2410	>4200	>4200	-968.5											4200	4200	3326.5	#N/A	#N/A
	q2-3-YY-10_06.qdimacs	4	11	14	23	61	80	65	87	15421	3436	732	2198	>4200	>4200	>4200				NOT!							4200	4200	4200	#N/A	#N/A
	q2-3-YY-10_11.qdimacs	4	13	15	21	74	78	86	94	20826	4395	1036	2834	>4200	>4200	>4200				NOT!							4200	4200	4200	#N/A	#N/A
	q2-3-YY-10_08.qdimacs	4	12	15	23	65	84	73	95	19670	4001	845	2604	-1222.8	>4200	-1451.6											3072.18	4200	2843.43	#N/A	#N/A
	q2-3-YY-10_10.qdimacs	4	12	15	23	72	91	80	102	21009	4351	936	2863	>4200	>4200	>4200				NOT!							4200	4200	4200	#N/A	#N/A
	q2-3-YY-10_12.qdimacs	4	13	16	23	76	95	88	110	26027	4986	1064	3324	>4200	>4200	>4200				NOT!							4200	4200	4200	#N/A	#N/A
	q2-3-YY-13_03.qdimacs	5	9	10	30	49	51	54	62	5684	1878	490	938	1961.5	977.42	-568.56											1961.5	977.42	3726.44	#N/A	#N/A
	q2-3-YY-13_04.qdimacs	5	9	10	30	49	56	54	66	5924	1953	490	1013	1959.14	975.81	-571.38											1959.14	975.81	3723.62	#N/A	#N/A
	q2-3-YY-13_01.qdimacs	5	9	11	32	51	66	48	70	7139	2140	510	1118	-1033.8	>4200	2134.5											3261.21	4200	2134.5	#N/A	#N/A
	q2-3-YY-13_05.qdimacs	5	12	13	30	63	65	63	71	11643	3152	819	1703	>4200	>4200	>4200				NOT!							4200	4200	4200	#N/A	#N/A
	q2-3-YY-13_02.qdimacs	5	9	11	32	51	66	56	78	7859	2220	510	1198	>4200	>4200	>4200				NOT!							4200	4200	4200	#N/A	#N/A
	q2-3-YY-13_07.qdimacs	5	13	14	30	67	69	71	79	15196	3694	938	2066	>4200	>4200	>4200				NOT!							4200	4200	4200	#N/A	#N/A
	q2-3-YY-13_09.qdimacs	5	13	14	30	74	76	78	86	16442	4051	1036	2325	>4200	>4200	>4200				NOT!							4200	4200	4200	#N/A	#N/A
	q2-3-YY-13_06.qdimacs	5	12	14	32	65	80	65	87	15372	3613	845	2064	>4200	>4200	>4200				NOT!							4200	4200	4200	#N/A	#N/A
	q2-3-YY-13_11.qdimacs	5	14	15	30	78	80	86	94	20719	4663	1170	2743	>4200	>4200	>4200				NOT!							4200	4200	4200	#N/A	#N/A
	q2-3-YY-13_08.qdimacs	5	13	15	32	69	84	73	95	19619	4194	966	2460	>4200	>4200	>4200				NOT!							4200	4200	4200	#N/A	#N/A
	q2-3-YY-13_10.qdimacs	5	13	15	32	76	91	80	102	20963	4558	1064	2726	>4200	>4200	>4200				NOT!							4200	4200	4200	#N/A	#N/A
	q2-3-YY-13_12.qdimacs	5	14	16	32	80	95	88	110	25984	5209	1200	3177	>4200	>4200	>4200				NOT!							4200	4200	4200	#N/A	#N/A
														27	26	31	0	0	0