query entailment (-q -sSg)								not solved?
sigN	name	roles			b-concepts			axioms		clause	variables			time													graph data
		sig	1	12	sig	1	12	1	12		total	A	E	sKizzo 1:13	sKizzo	2clsQ	yquaffle	0									sKizzo 1:13	sKizzo	2clsQ	yquaffle
	q2-2-YN-04_02.qdimacs	3	7	12	14	44	69	56	86	9236	2076	352	1486	>1000		1.12	>1000										1000	#N/A	1.12	1000
	q2-2-YN-04_03.qdimacs	3	7	15	14	44	79	56	98	12995	2510	352	1878	>1000		1.61	>1000										1000	#N/A	1.61	1000
	q2-2-YN-04_05.qdimacs	3	11	16	14	62	87	73	103	22276	3998	744	2904	>1000		9.97	>1000										1000	#N/A	9.97	1000
	q2-2-YN-04_06.qdimacs	3	11	19	14	62	97	73	115	29119	4578	744	3442	>1000		11.76	>1000										1000	#N/A	11.76	1000
	q2-2-YN-04_08.qdimacs	3	12	17	14	72	97	87	117	28851	4919	936	3605	>1000		18.38	>1000										1000	#N/A	18.38	1000
	q2-2-YN-04_09.qdimacs	3	12	20	14	72	107	87	129	36963	5552	936	4196	>1000		27.05	>1000										1000	#N/A	27.05	1000
	q2-2-YN-04_11.qdimacs	3	14	19	14	85	110	104	134	42169	6544	1275	4835	>1000		64.34	>1000										1000	#N/A	64.34	1000
	q2-2-YN-04_12.qdimacs	3	14	22	14	85	120	104	146	52648	7262	1275	5511	>1000		80.89	>1000										1000	#N/A	80.89	1000
	q2-2-YN-04_14.qdimacs	3	18	23	14	95	120	121	151	72375	9239	1805	6888	>1000		254.28	>1000										1000	#N/A	254.28	1000
	q2-2-YN-04_15.qdimacs	3	18	26	14	95	130	121	163	87519	10079	1805	7686	>1000		306.19	>1000										1000	#N/A	306.19	1000
	q2-2-YN-04_17.qdimacs	3	20	25	14	102	127	134	164	93874	10962	2142	8218	>1000		500	>1000										1000	#N/A	500	1000
	q2-2-YN-04_18.qdimacs	3	20	28	14	102	137	134	176	111931	11869	2142	9083	>1000		566.31	>1000										1000	#N/A	566.31	1000
	q2-2-YN-07_02.qdimacs	3	7	12	18	44	69	56	86	9236	2076	352	1418	95.37		0.65	>1000										95.37	#N/A	0.65	1000
	q2-2-YN-07_03.qdimacs	3	7	15	18	44	79	56	98	12995	2510	352	1798	198.86		0.83	>1000										198.86	#N/A	0.83	1000
	q2-2-YN-07_05.qdimacs	3	11	16	18	62	87	73	103	22276	3998	744	2804	>1000		5.22	>1000										1000	#N/A	5.22	1000
	q2-2-YN-07_06.qdimacs	3	11	19	18	62	97	73	115	29119	4578	744	3330	>1000		7.13	>1000										1000	#N/A	7.13	1000
	q2-2-YN-07_08.qdimacs	3	12	17	18	72	97	87	117	28851	4919	936	3497	>1000		9.87	>1000										1000	#N/A	9.87	1000
	q2-2-YN-07_09.qdimacs	3	12	20	18	72	107	87	129	36963	5552	936	4076	>1000		13.2	>1000										1000	#N/A	13.2	1000
	q2-2-YN-07_11.qdimacs	3	14	19	18	85	110	104	134	42169	6544	1275	4711	>1000		33.8	>1000										1000	#N/A	33.8	1000
	q2-2-YN-07_12.qdimacs	3	14	22	18	85	120	104	146	52648	7262	1275	5375	>1000		43.48	>1000										1000	#N/A	43.48	1000
	q2-2-YN-07_14.qdimacs	3	18	23	18	95	120	121	151	72375	9239	1805	6732	>1000		139.71	>1000										1000	#N/A	139.71	1000
	q2-2-YN-07_15.qdimacs	3	18	26	18	95	130	121	163	87519	10079	1805	7518	>1000		167.03	>1000										1000	#N/A	167.03	1000
	q2-2-YN-07_17.qdimacs	3	20	25	18	102	127	134	164	93874	10962	2142	8046	>1000		260.35	>1000										1000	#N/A	260.35	1000
	q2-2-YN-07_18.qdimacs	3	20	28	18	102	137	134	176	111931	11869	2142	8899	>1000		292.74	>1000										1000	#N/A	292.74	1000
	q2-2-YN-10_02.qdimacs	5	9	12	33	53	69	58	86	9528	2388	530	1297	>1000		1.08	>1000										1000	#N/A	1.08	1000
	q2-2-YN-10_03.qdimacs	5	9	15	33	53	79	58	98	13929	2828	530	1638	>1000		1.25	>1000										1000	#N/A	1.25	1000
	q2-2-YN-10_05.qdimacs	5	13	16	33	71	87	75	103	22660	4424	994	2605	>1000		2.53	>1000										1000	#N/A	2.53	1000
	q2-2-YN-10_06.qdimacs	5	13	19	33	71	97	75	115	30253	5010	994	3092	>1000		9.12	>1000										1000	#N/A	9.12	1000
	q2-2-YN-10_08.qdimacs	5	14	17	33	81	97	89	117	29303	5404	1215	3298	>1000		13.22	>1000										1000	#N/A	13.22	1000
	q2-2-YN-10_09.qdimacs	5	14	20	33	81	107	89	129	38249	6043	1215	3838	>1000		17.21	>1000										1000	#N/A	17.21	1000
	q2-2-YN-10_11.qdimacs	5	16	19	33	94	110	106	134	42695	7111	1598	4490	>1000		43.2	>1000										1000	#N/A	43.2	1000
	q2-2-YN-10_12.qdimacs	5	16	22	33	94	120	106	146	54110	7835	1598	5115	>1000		55.34	>1000										1000	#N/A	55.34	1000
	q2-2-YN-10_14.qdimacs	5	20	23	33	104	120	123	151	72983	9904	2184	6433	>1000		166.92	>1000										1000	#N/A	166.92	1000
	q2-2-YN-10_15.qdimacs	5	20	26	33	104	130	123	163	89165	10750	2184	7180	>1000		191.94	>1000										1000	#N/A	191.94	1000
	q2-2-YN-10_17.qdimacs	5	22	25	33	111	127	136	164	94538	11689	2553	7717	>1000		304.69	>1000										1000	#N/A	304.69	1000
	q2-2-YN-10_18.qdimacs	5	22	28	33	111	137	136	176	113711	12602	2553	8531	>1000		339.48	>1000										1000	#N/A	339.48	1000
	q2-2-YN-12_02.qdimacs	8	12	15	43	63	79	58	86	12429	3288	819	1609	>1000		1.83	>1000										1000	#N/A	1.83	1000
	q2-2-YN-12_03.qdimacs	8	12	18	43	63	89	58	98	18117	3797	819	1989	>1000		2.01	>1000										1000	#N/A	2.01	1000
	q2-2-YN-12_05.qdimacs	8	16	19	43	81	97	75	103	27559	5615	1377	3034	>1000		13.03	>1000										1000	#N/A	13.03	1000
	q2-2-YN-12_06.qdimacs	8	16	22	43	81	107	75	115	36745	6270	1377	3560	>1000		20.48	>1000										1000	#N/A	20.48	1000
	q2-2-YN-12_08.qdimacs	8	16	19	44	89	105	89	117	30959	6213	1513	3468	>1000		20.63	>1000										1000	#N/A	20.63	1000
	q2-2-YN-12_09.qdimacs	8	16	22	44	89	115	89	129	40859	6892	1513	4015	>1000		26.44	>1000										1000	#N/A	26.44	1000
	q2-2-YN-12_11.qdimacs	8	16	19	45	94	110	106	134	34988	6727	1598	3869	>1000		42.35	>1000										1000	#N/A	42.35	1000
	q2-2-YN-12_12.qdimacs	8	16	22	45	94	120	106	146	45755	7421	1598	4428	>1000		52.67	>1000										1000	#N/A	52.67	1000
	q2-2-YN-12_14.qdimacs	8	20	23	45	104	120	123	151	62381	9478	2184	5674	>1000		178.31	>1000										1000	#N/A	178.31	1000
	q2-2-YN-12_15.qdimacs	8	20	26	45	104	130	123	163	77771	10294	2184	6355	>1000		211.11	>1000										1000	#N/A	211.11	1000
	q2-2-YN-12_17.qdimacs	8	22	25	45	111	127	136	164	82025	11236	2553	6883	>1000		447.95	>1000										1000	#N/A	447.95	1000
	q2-2-YN-12_18.qdimacs	8	22	28	45	111	137	136	176	100334	12119	2553	7631	>1000		497.64	>1000										1000	#N/A	497.64	1000
														2	0	48	0