pair id	benchmark	benchmark id	solver	solver id	configuration	configuration id	status	cpu time	wallclock time	memory usage	result	expected
433163056	qf_shid_sat/abduced00.defs.smt2	8318320	s2s.0.3.3	22440	default	326050	complete	0.016538	0.016574	113176.0	sat	sat
433163052	qf_shid_sat/abduced01.defs.smt2	8318316	s2s.0.3.3	22440	default	326050	complete	0.016724	0.0167711	113176.0	sat	sat
433163049	qf_shid_sat/abduced02.defs.smt2	8318313	s2s.0.3.3	22440	default	326050	complete	0.015847	0.015889	113176.0	sat	sat
433163048	qf_shid_sat/abduced03.defs.smt2	8318312	s2s.0.3.3	22440	default	326050	complete	0.01757	0.017644	113176.0	sat	sat
433163044	qf_shid_sat/abduced04.defs.smt2	8318308	s2s.0.3.3	22440	default	326050	complete	0.017054	0.0170921	113176.0	sat	sat
433163036	qf_shid_sat/abduced05.defs.smt2	8318300	s2s.0.3.3	22440	default	326050	complete	0.018101	0.018133	113176.0	sat	sat
433163034	qf_shid_sat/abduced06.defs.smt2	8318298	s2s.0.3.3	22440	default	326050	complete	0.018034	0.0180669	113176.0	sat	sat
433163033	qf_shid_sat/abduced07.defs.smt2	8318297	s2s.0.3.3	22440	default	326050	complete	0.018905	0.0189351	113176.0	sat	sat
433163070	qf_shid_sat/abduced08.defs.smt2	8318334	s2s.0.3.3	22440	default	326050	complete	0.018618	0.0186941	113176.0	sat	sat
433163075	qf_shid_sat/abduced09.defs.smt2	8318339	s2s.0.3.3	22440	default	326050	complete	0.018079	0.0181291	113176.0	sat	sat
433163111	qf_shid_sat/abduced10.defs.smt2	8318375	s2s.0.3.3	22440	default	326050	complete	0.017903	0.0179799	113176.0	sat	sat
433163113	qf_shid_sat/abduced11.defs.smt2	8318377	s2s.0.3.3	22440	default	326050	complete	0.020536	0.0413169	0.0	sat	sat
433163102	qf_shid_sat/abduced12.defs.smt2	8318366	s2s.0.3.3	22440	default	326050	complete	0.018255	0.018286	113176.0	sat	sat
433163105	qf_shid_sat/abduced13.defs.smt2	8318369	s2s.0.3.3	22440	default	326050	complete	0.01777	0.0178371	113176.0	sat	sat
433163126	qf_shid_sat/abduced14.defs.smt2	8318390	s2s.0.3.3	22440	default	326050	complete	0.017805	0.0178531	113176.0	sat	sat
433163130	qf_shid_sat/abduced15.defs.smt2	8318394	s2s.0.3.3	22440	default	326050	complete	0.017725	0.017792	113176.0	sat	sat
433163120	qf_shid_sat/abduced16.defs.smt2	8318384	s2s.0.3.3	22440	default	326050	complete	0.01753	0.017557	113176.0	sat	sat
433163123	qf_shid_sat/abduced17.defs.smt2	8318387	s2s.0.3.3	22440	default	326050	complete	0.017512	0.0175749	113176.0	sat	sat
433163086	qf_shid_sat/abduced18.defs.smt2	8318350	s2s.0.3.3	22440	default	326050	complete	0.017059	0.0171049	113176.0	sat	sat
433163084	qf_shid_sat/abduced19.defs.smt2	8318348	s2s.0.3.3	22440	default	326050	complete	0.017219	0.0172709	113176.0	sat	sat
433163074	qf_shid_sat/atll-01.smt2	8318338	s2s.0.3.3	22440	default	326050	complete	0.011948	0.011989	113176.0	sat	sat
433163116	qf_shid_sat/atll-02.smt2	8318380	s2s.0.3.3	22440	default	326050	complete	0.012324	0.012387	113176.0	unsat	unsat
433163097	qf_shid_sat/atll-03.smt2	8318361	s2s.0.3.3	22440	default	326050	complete	0.011357	0.011415	113176.0	unsat	unsat
433163068	qf_shid_sat/dll-01.smt2	8318332	s2s.0.3.3	22440	default	326050	complete	0.012528	0.012566	113176.0	unsat	unsat
433163107	qf_shid_sat/dll-02.smt2	8318371	s2s.0.3.3	22440	default	326050	complete	0.012487	0.0125651	113176.0	unsat	unsat
433163089	qf_shid_sat/dll-03.smt2	8318353	s2s.0.3.3	22440	default	326050	complete	0.013164	0.013216	113176.0	sat	sat
433163041	qf_shid_sat/dll-04.smt2	8318305	s2s.0.3.3	22440	default	326050	complete	0.018289	0.018367	113176.0	unsat	unsat
433163076	qf_shid_sat/dll-05.smt2	8318340	s2s.0.3.3	22440	default	326050	complete	0.012857	0.0128849	113176.0	sat	sat
433163117	qf_shid_sat/dll-06.smt2	8318381	s2s.0.3.3	22440	default	326050	complete	1.86072	1.86096	161380.0	unsat	unsat
433163083	qf_shid_sat/dltree-01.smt2	8318347	s2s.0.3.3	22440	default	326050	complete	0.011776	0.011799	113176.0	sat	sat
433163106	qf_shid_sat/inconsistent-ls-of-ls.defs.smt2	8318370	s2s.0.3.3	22440	default	326050	complete	0.01213	0.012184	113176.0	unsat	unsat
433163094	qf_shid_sat/lasso-01.smt2	8318358	s2s.0.3.3	22440	default	326050	complete	0.012534	0.0126069	113176.0	sat	sat
433163040	qf_shid_sat/lasso-02.smt2	8318304	s2s.0.3.3	22440	default	326050	complete	0.011567	0.0116049	113176.0	unsat	unsat
433163071	qf_shid_sat/lasso-03.smt2	8318335	s2s.0.3.3	22440	default	326050	complete	0.011774	0.0118589	113176.0	unsat	unsat
433163101	qf_shid_sat/lasso-04.smt2	8318365	s2s.0.3.3	22440	default	326050	complete	0.012997	0.0130239	113176.0	unsat	unsat
433163087	qf_shid_sat/lasso-05.smt2	8318351	s2s.0.3.3	22440	default	326050	complete	0.012285	0.012347	113176.0	sat	sat
433163114	qf_shid_sat/lss-03-01.smt2	8318378	s2s.0.3.3	22440	default	326050	complete	0.012326	0.0123721	113176.0	unsat	unsat
433163077	qf_shid_sat/lss-03-02.smt2	8318341	s2s.0.3.3	22440	default	326050	complete	0.012375	0.0124071	113176.0	unsat	unsat
433163042	qf_shid_sat/lss-03-03.smt2	8318306	s2s.0.3.3	22440	default	326050	complete	0.012653	0.0127111	113176.0	unsat	unsat
433163072	qf_shid_sat/lss-04-01.smt2	8318336	s2s.0.3.3	22440	default	326050	complete	0.012837	0.0128709	113176.0	sat	sat
433163112	qf_shid_sat/lss-04-02.smt2	8318376	s2s.0.3.3	22440	default	326050	complete	0.014403	0.0144719	113176.0	sat	sat
433163095	qf_shid_sat/lss-04-03.smt2	8318359	s2s.0.3.3	22440	default	326050	complete	0.013681	0.0137061	113176.0	unsat	unsat
433163037	qf_shid_sat/lss-05-01.smt2	8318301	s2s.0.3.3	22440	default	326050	complete	0.014181	0.014246	113176.0	sat	sat
433163091	qf_shid_sat/lss-05-02.smt2	8318355	s2s.0.3.3	22440	default	326050	complete	0.01444	0.0144601	113176.0	sat	sat
433163110	qf_shid_sat/lss-05-03.smt2	8318374	s2s.0.3.3	22440	default	326050	complete	0.014525	0.041692	0.0	sat	sat
433163062	qf_shid_sat/ncll-01.smt2	8318326	s2s.0.3.3	22440	default	326050	complete	0.012072	0.0121179	113176.0	sat	sat
433163051	qf_shid_sat/nll-01.smt2	8318315	s2s.0.3.3	22440	default	326050	complete	0.011897	0.014752	0.0	sat	sat
433163067	qf_shid_sat/sll2h-01.smt2	8318331	s2s.0.3.3	22440	default	326050	complete	0.011671	0.011693	113176.0	sat	sat
433163125	qf_shid_sat/succ-circuit01.defs.smt2	8318389	s2s.0.3.3	22440	default	326050	complete	0.012495	0.0125271	113176.0	sat	sat
433163122	qf_shid_sat/succ-circuit02.defs.smt2	8318386	s2s.0.3.3	22440	default	326050	complete	0.01321	0.0132339	113176.0	sat	sat
433163121	qf_shid_sat/succ-circuit03.defs.smt2	8318385	s2s.0.3.3	22440	default	326050	complete	0.012908	0.0129551	113176.0	sat	sat
433163115	qf_shid_sat/succ-circuit04.defs.smt2	8318379	s2s.0.3.3	22440	default	326050	complete	0.012969	0.013	113176.0	sat	sat
433163109	qf_shid_sat/succ-circuit05.defs.smt2	8318373	s2s.0.3.3	22440	default	326050	complete	0.012923	0.01295	113176.0	sat	sat
433163104	qf_shid_sat/succ-circuit06.defs.smt2	8318368	s2s.0.3.3	22440	default	326050	complete	0.013848	0.013903	113176.0	sat	sat
433163103	qf_shid_sat/succ-circuit07.defs.smt2	8318367	s2s.0.3.3	22440	default	326050	complete	0.013355	0.013409	113176.0	sat	sat
433163092	qf_shid_sat/succ-circuit08.defs.smt2	8318356	s2s.0.3.3	22440	default	326050	complete	0.015154	0.0152011	113176.0	sat	sat
433163098	qf_shid_sat/succ-circuit09.defs.smt2	8318362	s2s.0.3.3	22440	default	326050	complete	0.013936	0.013969	113176.0	sat	sat
433163038	qf_shid_sat/succ-circuit10.defs.smt2	8318302	s2s.0.3.3	22440	default	326050	complete	0.01427	0.0143129	113176.0	sat	sat
433163043	qf_shid_sat/succ-circuit11.defs.smt2	8318307	s2s.0.3.3	22440	default	326050	complete	0.015161	0.0151889	113176.0	sat	sat
433163032	qf_shid_sat/succ-circuit12.defs.smt2	8318296	s2s.0.3.3	22440	default	326050	complete	0.016044	0.01609	113176.0	sat	sat
433163035	qf_shid_sat/succ-circuit13.defs.smt2	8318299	s2s.0.3.3	22440	default	326050	complete	0.015381	0.015409	113176.0	sat	sat
433163054	qf_shid_sat/succ-circuit14.defs.smt2	8318318	s2s.0.3.3	22440	default	326050	complete	0.015959	0.0159891	113176.0	sat	sat
433163055	qf_shid_sat/succ-circuit15.defs.smt2	8318319	s2s.0.3.3	22440	default	326050	complete	0.017195	0.0177051	113176.0	sat	sat
433163047	qf_shid_sat/succ-circuit16.defs.smt2	8318311	s2s.0.3.3	22440	default	326050	complete	0.01712	0.01717	113176.0	sat	sat
433163050	qf_shid_sat/succ-circuit17.defs.smt2	8318314	s2s.0.3.3	22440	default	326050	complete	0.017812	0.0178289	113176.0	sat	sat
433163065	qf_shid_sat/succ-circuit18.defs.smt2	8318329	s2s.0.3.3	22440	default	326050	complete	0.018259	0.018333	113176.0	sat	sat
433163063	qf_shid_sat/succ-circuit19.defs.smt2	8318327	s2s.0.3.3	22440	default	326050	complete	0.019978	0.0200551	113176.0	sat	sat
433163096	qf_shid_sat/succ-circuit20.defs.smt2	8318360	s2s.0.3.3	22440	default	326050	complete	0.019987	0.020011	113176.0	sat	sat
433163099	qf_shid_sat/succ-rec01.defs.smt2	8318363	s2s.0.3.3	22440	default	326050	complete	0.011481	0.0115451	113176.0	sat	sat
433163088	qf_shid_sat/succ-rec02.defs.smt2	8318352	s2s.0.3.3	22440	default	326050	complete	0.011979	0.0120211	113176.0	sat	sat
433163090	qf_shid_sat/succ-rec03.defs.smt2	8318354	s2s.0.3.3	22440	default	326050	complete	0.012556	0.0126301	113176.0	sat	sat
433163082	qf_shid_sat/succ-rec04.defs.smt2	8318346	s2s.0.3.3	22440	default	326050	complete	0.012934	0.0129879	113176.0	sat	sat
433163085	qf_shid_sat/succ-rec05.defs.smt2	8318349	s2s.0.3.3	22440	default	326050	complete	0.013193	0.013263	113176.0	sat	sat
433163079	qf_shid_sat/succ-rec06.defs.smt2	8318343	s2s.0.3.3	22440	default	326050	complete	0.013829	0.0138849	113176.0	sat	sat
433163081	qf_shid_sat/succ-rec07.defs.smt2	8318345	s2s.0.3.3	22440	default	326050	complete	0.014581	0.014667	113176.0	sat	sat
433163128	qf_shid_sat/succ-rec08.defs.smt2	8318392	s2s.0.3.3	22440	default	326050	complete	0.015085	0.0151271	113176.0	sat	sat
433163124	qf_shid_sat/succ-rec09.defs.smt2	8318388	s2s.0.3.3	22440	default	326050	complete	0.017016	0.017062	113176.0	sat	sat
433163064	qf_shid_sat/succ-rec10.defs.smt2	8318328	s2s.0.3.3	22440	default	326050	complete	0.016778	0.01685	113176.0	sat	sat
433163060	qf_shid_sat/succ-rec11.defs.smt2	8318324	s2s.0.3.3	22440	default	326050	complete	0.017787	0.0178689	113176.0	sat	sat
433163059	qf_shid_sat/succ-rec12.defs.smt2	8318323	s2s.0.3.3	22440	default	326050	complete	0.019916	0.0199519	113176.0	sat	sat
433163058	qf_shid_sat/succ-rec13.defs.smt2	8318322	s2s.0.3.3	22440	default	326050	complete	0.020414	0.020455	113176.0	sat	sat
433163078	qf_shid_sat/succ-rec14.defs.smt2	8318342	s2s.0.3.3	22440	default	326050	complete	0.021794	0.0218659	113176.0	sat	sat
433163073	qf_shid_sat/succ-rec15.defs.smt2	8318337	s2s.0.3.3	22440	default	326050	complete	0.023456	0.023515	113176.0	sat	sat
433163069	qf_shid_sat/succ-rec16.defs.smt2	8318333	s2s.0.3.3	22440	default	326050	complete	0.026427	0.0265021	113176.0	sat	sat
433163066	qf_shid_sat/succ-rec17.defs.smt2	8318330	s2s.0.3.3	22440	default	326050	complete	0.027288	0.0273119	113176.0	sat	sat
433163039	qf_shid_sat/succ-rec18.defs.smt2	8318303	s2s.0.3.3	22440	default	326050	complete	0.029083	0.0291629	113176.0	sat	sat
433163045	qf_shid_sat/succ-rec19.defs.smt2	8318309	s2s.0.3.3	22440	default	326050	complete	0.031761	0.0317831	113176.0	sat	sat
433163129	qf_shid_sat/succ-rec20.defs.smt2	8318393	s2s.0.3.3	22440	default	326050	complete	0.034038	0.0340691	113176.0	sat	sat
433163127	qf_shid_sat/tll-01.smt2	8318391	s2s.0.3.3	22440	default	326050	complete	0.012054	0.0121311	113176.0	sat	sat
433163061	qf_shid_sat/tll-02.smt2	8318325	s2s.0.3.3	22440	default	326050	complete	0.011715	0.0117731	113176.0	unsat	unsat
433163053	qf_shid_sat/tll-03.smt2	8318317	s2s.0.3.3	22440	default	326050	complete	0.011711	0.0117731	113176.0	sat	sat
433163080	qf_shid_sat/tll-04.smt2	8318344	s2s.0.3.3	22440	default	326050	complete	0.011905	0.0119389	113176.0	sat	sat
433163119	qf_shid_sat/tll-05.smt2	8318383	s2s.0.3.3	22440	default	326050	complete	0.011866	0.011915	113176.0	sat	sat
433163057	qf_shid_sat/tll-06.smt2	8318321	s2s.0.3.3	22440	default	326050	complete	0.011842	0.01192	113176.0	unsat	unsat
433163046	qf_shid_sat/tll-07.smt2	8318310	s2s.0.3.3	22440	default	326050	complete	0.013447	0.0135231	113176.0	sat	sat
433163100	qf_shid_sat/tll-08.smt2	8318364	s2s.0.3.3	22440	default	326050	complete	0.012979	0.0130549	113176.0	unsat	unsat
433163118	qf_shid_sat/tll-09.smt2	8318382	s2s.0.3.3	22440	default	326050	complete	0.012972	0.0130089	113176.0	unsat	unsat
433163093	qf_shid_sat/tll-10.smt2	8318357	s2s.0.3.3	22440	default	326050	complete	0.013623	0.0136379	113176.0	sat	sat
433163108	qf_shid_sat/tree-01.smt2	8318372	s2s.0.3.3	22440	default	326050	complete	0.011678	0.011702	113176.0	sat	sat