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	1									sKizzo -hbdd 0	sKizzo	2clsQ	yquaffle
	q2-1-NN-04_07.qdimacs	3	12	16	15	65	88	76	110	25674	4340	845	3105		>300	5.09	>300									#N/A	300	#N/A	5.09	300
	q2-1-NN-04_08.qdimacs	3	12	19	15	65	98	76	122	33384	4936	845	3656		>300	8.39	>300									#N/A	300	#N/A	8.39	300
	q2-1-NN-04_11.qdimacs	3	13	17	15	76	99	90	124	32843	5346	1064	3862		>300	9.69	>300									#N/A	300	#N/A	9.69	300
	q2-1-NN-04_12.qdimacs	3	13	20	15	76	109	90	136	41900	5998	1064	4469		>300	12.5	>300									#N/A	300	#N/A	12.5	300
	q2-1-NN-04_15.qdimacs	3	15	19	15	89	112	107	141	47263	7038	1424	5134		>300	37.3	>300									#N/A	300	#N/A	37.3	300
	q2-1-NN-04_16.qdimacs	3	15	22	15	89	122	107	153	58810	7775	1424	5826		>300	49.09	>300									#N/A	300	#N/A	49.09	300
	q2-1-NN-04_19.qdimacs	3	19	23	15	99	122	124	158	79679	9818	1980	7238		>300	145.04	>300									#N/A	300	#N/A	145.04	300
	q2-1-NN-04_20.qdimacs	3	19	26	15	99	132	124	170	96086	10677	1980	8052		>300	173.57	>300									#N/A	300	#N/A	173.57	300
	q2-1-NN-04_23.qdimacs	3	21	25	15	106	129	137	171	102541	11592	2332	8600		>300	259.64	>300									#N/A	300	#N/A	259.64	300
	q2-1-NN-04_24.qdimacs	3	21	28	15	106	139	137	183	121972	12518	2332	9481		>300	328.56	>300									#N/A	300	#N/A	328.56	300
	q2-1-NN-04_27.qdimacs	3	23	27	15	114	137	152	186	130631	13630	2736	10174		>300	393.92	>300									#N/A	300	#N/A	393.92	300
	q2-1-NN-04_28.qdimacs	3	23	30	15	114	147	152	198	153482	14626	2736	11125		>300	442.61	>300									#N/A	300	#N/A	442.61	300
	q2-1-NN-10_07.qdimacs	5	13	16	30	69	88	78	110	24102	4463	966	2747		>300	2.83	>300									#N/A	300	#N/A	2.83	300
	q2-1-NN-10_08.qdimacs	5	13	19	30	69	98	78	122	32031	5052	966	3246		>300	4.28	>300									#N/A	300	#N/A	4.28	300
	q2-1-NN-10_11.qdimacs	5	14	17	30	80	99	92	124	30968	5488	1200	3478		>300	4.8	>300									#N/A	300	#N/A	4.8	300
	q2-1-NN-10_12.qdimacs	5	14	20	30	80	109	92	136	40274	6133	1200	4033		>300	5.77	>300									#N/A	300	#N/A	5.77	300
	q2-1-NN-10_15.qdimacs	5	16	19	30	93	112	109	141	44854	7207	1581	4696		>300	13.12	>300									#N/A	300	#N/A	13.12	300
	q2-1-NN-10_16.qdimacs	5	16	22	30	93	122	109	153	56677	7937	1581	5336		>300	18.08	>300									#N/A	300	#N/A	18.08	300
	q2-1-NN-10_19.qdimacs	5	20	23	30	103	122	126	158	76322	10024	2163	6691		>300	80.99	>300									#N/A	300	#N/A	80.99	300
	q2-1-NN-10_20.qdimacs	5	20	26	30	103	132	126	170	93008	10876	2163	7453		>300	104.6	>300									#N/A	300	#N/A	104.6	300
	q2-1-NN-10_23.qdimacs	5	22	25	30	110	129	139	171	98563	11821	2530	8001		>300	159.06	>300									#N/A	300	#N/A	159.06	300
	q2-1-NN-10_24.qdimacs	5	22	28	30	110	139	139	183	118288	12740	2530	8830		>300	185.4	>300									#N/A	300	#N/A	185.4	300
	q2-1-NN-10_27.qdimacs	5	24	27	30	118	137	154	186	125933	13884	2950	9524		>300	181.84	>300									#N/A	300	#N/A	181.84	300
	q2-1-NN-10_28.qdimacs	5	24	30	30	118	147	154	198	149099	14873	2950	10423		>300	196.53	>300									#N/A	300	#N/A	196.53	300
	q2-1-NN-14_07.qdimacs	7	14	16	40	73	88	78	110	21998	4564	1095	2509		>300	5.87	>300									#N/A	300	#N/A	5.87	300
	q2-1-NN-14_08.qdimacs	7	14	19	40	73	98	78	122	30098	5146	1095	2971		>300	8.71	>300									#N/A	300	#N/A	8.71	300
	q2-1-NN-14_11.qdimacs	7	15	17	40	84	99	92	124	28501	5606	1344	3222		>300	14.54	>300									#N/A	300	#N/A	14.54	300
	q2-1-NN-14_12.qdimacs	7	15	20	40	84	109	92	136	38008	6244	1344	3740		>300	17.84	>300									#N/A	300	#N/A	17.84	300
	q2-1-NN-14_15.qdimacs	7	17	19	40	97	112	109	141	41777	7348	1746	4402		>300	45.33	>300									#N/A	300	#N/A	45.33	300
	q2-1-NN-14_16.qdimacs	7	17	22	40	97	122	109	153	53828	8071	1746	5005		>300	55.72	>300									#N/A	300	#N/A	55.72	300
	q2-1-NN-14_19.qdimacs	7	21	23	40	107	122	126	158	72213	10194	2354	6320		>300	158.34	>300									#N/A	300	#N/A	158.34	300
	q2-1-NN-14_20.qdimacs	7	21	26	40	107	132	126	170	89130	11039	2354	7045		>300	175.69	>300									#N/A	300	#N/A	175.69	300
	q2-1-NN-14_23.qdimacs	7	23	25	40	114	129	139	171	93773	12010	2736	7594		>300	288.32	>300									#N/A	300	#N/A	288.32	300
	q2-1-NN-14_24.qdimacs	7	23	28	40	114	139	139	183	113744	12922	2736	8386		>300	314.26	>300									#N/A	300	#N/A	314.26	300
	q2-1-NN-14_27.qdimacs	7	25	27	40	122	137	154	186	120355	14094	3172	9082		>300	400.76	>300									#N/A	300	#N/A	400.76	300
	q2-1-NN-14_28.qdimacs	7	25	30	40	122	147	154	198	143788	15076	3172	9944		>300	436.35	>300									#N/A	300	#N/A	436.35	300
	q2-1-NN-15_07.qdimacs	10	17	19	50	83	98	78	110	26468	5767	1494	2923		>300	12.97	>300									#N/A	300	#N/A	12.97	300
	q2-1-NN-15_08.qdimacs	10	17	22	50	83	108	78	122	36161	6418	1494	3424		>300	17.44	>300									#N/A	300	#N/A	17.44	300
	q2-1-NN-15_11.qdimacs	10	17	19	51	92	107	92	124	29564	6424	1656	3391		>300	20.2	>300									#N/A	300	#N/A	20.2	300
	q2-1-NN-15_12.qdimacs	10	17	22	51	92	117	92	136	40013	7102	1656	3916		>300	24.44	>300									#N/A	300	#N/A	24.44	300
	q2-1-NN-15_15.qdimacs	10	17	19	52	97	112	109	141	33218	6955	1746	3805		>300	45.12	>300									#N/A	300	#N/A	45.12	300
	q2-1-NN-15_16.qdimacs	10	17	22	52	97	122	109	153	44585	7648	1746	4342		>300	48.37	>300									#N/A	300	#N/A	48.37	300
	q2-1-NN-15_19.qdimacs	10	21	23	52	107	122	126	158	60612	9759	2354	5585		>300	59.94	>300									#N/A	300	#N/A	59.94	300
	q2-1-NN-15_20.qdimacs	10	21	26	52	107	132	126	170	76701	10574	2354	6244		>300	N	>300	NOT!								#N/A	300	#N/A	#N/A	300
	q2-1-NN-15_23.qdimacs	10	23	25	52	114	129	139	171	80174	11548	2736	6784		>300	174.64	>300									#N/A	300	#N/A	174.64	300
	q2-1-NN-15_24.qdimacs	10	23	28	52	114	139	139	183	99245	12430	2736	7510		>300	206.16	>300									#N/A	300	#N/A	206.16	300
	q2-1-NN-15_27.qdimacs	10	25	27	52	122	137	154	186	104446	13602	3172	8194		>300	322.15	>300									#N/A	300	#N/A	322.15	300
	q2-1-NN-15_28.qdimacs	10	25	30	52	122	147	154	198	126907	14554	3172	8990		>300	368.25	>300									#N/A	300	#N/A	368.25	300
														0	0	47	0