pair id	benchmark	benchmark id	solver	solver id	configuration	configuration id	status	cpu time	wallclock time	memory usage	result	expected
430512831	qf_shid_sat/abduced00.defs.smt2	8318320	s2s.0.3.3	22440	default	326050	complete	0.01627	0.0163011	113176.0	sat	sat
430512827	qf_shid_sat/abduced01.defs.smt2	8318316	s2s.0.3.3	22440	default	326050	complete	0.016757	0.0167969	113176.0	sat	sat
430512824	qf_shid_sat/abduced02.defs.smt2	8318313	s2s.0.3.3	22440	default	326050	complete	0.016073	0.016143	113176.0	sat	sat
430512823	qf_shid_sat/abduced03.defs.smt2	8318312	s2s.0.3.3	22440	default	326050	complete	0.017419	0.017489	113176.0	sat	sat
430512819	qf_shid_sat/abduced04.defs.smt2	8318308	s2s.0.3.3	22440	default	326050	complete	0.017198	0.0172759	113176.0	sat	sat
430512811	qf_shid_sat/abduced05.defs.smt2	8318300	s2s.0.3.3	22440	default	326050	complete	0.018329	0.0184071	113176.0	sat	sat
430512809	qf_shid_sat/abduced06.defs.smt2	8318298	s2s.0.3.3	22440	default	326050	complete	0.01901	0.0190821	113176.0	sat	sat
430512808	qf_shid_sat/abduced07.defs.smt2	8318297	s2s.0.3.3	22440	default	326050	complete	0.017968	0.0180261	113176.0	sat	sat
430512845	qf_shid_sat/abduced08.defs.smt2	8318334	s2s.0.3.3	22440	default	326050	complete	0.017558	0.017645	113176.0	sat	sat
430512850	qf_shid_sat/abduced09.defs.smt2	8318339	s2s.0.3.3	22440	default	326050	complete	0.017847	0.0178859	113176.0	sat	sat
430512886	qf_shid_sat/abduced10.defs.smt2	8318375	s2s.0.3.3	22440	default	326050	complete	0.018404	0.0184259	113176.0	sat	sat
430512888	qf_shid_sat/abduced11.defs.smt2	8318377	s2s.0.3.3	22440	default	326050	complete	0.017426	0.017476	113176.0	sat	sat
430512877	qf_shid_sat/abduced12.defs.smt2	8318366	s2s.0.3.3	22440	default	326050	complete	0.018007	0.0180181	113176.0	sat	sat
430512880	qf_shid_sat/abduced13.defs.smt2	8318369	s2s.0.3.3	22440	default	326050	complete	0.017736	0.0177611	113176.0	sat	sat
430512901	qf_shid_sat/abduced14.defs.smt2	8318390	s2s.0.3.3	22440	default	326050	complete	0.018121	0.0181559	113176.0	sat	sat
430512905	qf_shid_sat/abduced15.defs.smt2	8318394	s2s.0.3.3	22440	default	326050	complete	0.017661	0.017687	113176.0	sat	sat
430512895	qf_shid_sat/abduced16.defs.smt2	8318384	s2s.0.3.3	22440	default	326050	complete	0.01723	0.0173001	113176.0	sat	sat
430512898	qf_shid_sat/abduced17.defs.smt2	8318387	s2s.0.3.3	22440	default	326050	complete	0.017467	0.017495	113176.0	sat	sat
430512861	qf_shid_sat/abduced18.defs.smt2	8318350	s2s.0.3.3	22440	default	326050	complete	0.017204	0.017254	113176.0	sat	sat
430512859	qf_shid_sat/abduced19.defs.smt2	8318348	s2s.0.3.3	22440	default	326050	complete	0.017327	0.0173999	113176.0	sat	sat
430512849	qf_shid_sat/atll-01.smt2	8318338	s2s.0.3.3	22440	default	326050	complete	0.011889	0.0119661	113176.0	sat	sat
430512891	qf_shid_sat/atll-02.smt2	8318380	s2s.0.3.3	22440	default	326050	complete	0.012591	0.0126749	113176.0	unsat	unsat
430512872	qf_shid_sat/atll-03.smt2	8318361	s2s.0.3.3	22440	default	326050	complete	0.012688	0.0127159	113176.0	unsat	unsat
430512843	qf_shid_sat/dll-01.smt2	8318332	s2s.0.3.3	22440	default	326050	complete	0.011988	0.012068	113176.0	unsat	unsat
430512882	qf_shid_sat/dll-02.smt2	8318371	s2s.0.3.3	22440	default	326050	complete	0.012298	0.012379	113176.0	unsat	unsat
430512864	qf_shid_sat/dll-03.smt2	8318353	s2s.0.3.3	22440	default	326050	complete	0.012413	0.01248	113176.0	sat	sat
430512816	qf_shid_sat/dll-04.smt2	8318305	s2s.0.3.3	22440	default	326050	complete	0.017993	0.018044	113176.0	unsat	unsat
430512851	qf_shid_sat/dll-05.smt2	8318340	s2s.0.3.3	22440	default	326050	complete	0.012386	0.0124271	113176.0	sat	sat
430512892	qf_shid_sat/dll-06.smt2	8318381	s2s.0.3.3	22440	default	326050	complete	1.85005	1.85013	161380.0	unsat	unsat
430512858	qf_shid_sat/dltree-01.smt2	8318347	s2s.0.3.3	22440	default	326050	complete	0.011418	0.0114491	113176.0	sat	sat
430512881	qf_shid_sat/inconsistent-ls-of-ls.defs.smt2	8318370	s2s.0.3.3	22440	default	326050	complete	0.011716	0.011739	113176.0	unsat	unsat
430512869	qf_shid_sat/lasso-01.smt2	8318358	s2s.0.3.3	22440	default	326050	complete	0.01162	0.0116961	113176.0	sat	sat
430512815	qf_shid_sat/lasso-02.smt2	8318304	s2s.0.3.3	22440	default	326050	complete	0.011811	0.0118349	113176.0	unsat	unsat
430512846	qf_shid_sat/lasso-03.smt2	8318335	s2s.0.3.3	22440	default	326050	complete	0.012261	0.0123169	113176.0	unsat	unsat
430512876	qf_shid_sat/lasso-04.smt2	8318365	s2s.0.3.3	22440	default	326050	complete	0.011966	0.0120131	113176.0	unsat	unsat
430512862	qf_shid_sat/lasso-05.smt2	8318351	s2s.0.3.3	22440	default	326050	complete	0.012234	0.0122989	113176.0	sat	sat
430512889	qf_shid_sat/lss-03-01.smt2	8318378	s2s.0.3.3	22440	default	326050	complete	0.012668	0.0126941	113176.0	unsat	unsat
430512852	qf_shid_sat/lss-03-02.smt2	8318341	s2s.0.3.3	22440	default	326050	complete	0.012558	0.01259	113176.0	unsat	unsat
430512817	qf_shid_sat/lss-03-03.smt2	8318306	s2s.0.3.3	22440	default	326050	complete	0.012347	0.0123741	113176.0	unsat	unsat
430512847	qf_shid_sat/lss-04-01.smt2	8318336	s2s.0.3.3	22440	default	326050	complete	0.012877	0.0129	113176.0	sat	sat
430512887	qf_shid_sat/lss-04-02.smt2	8318376	s2s.0.3.3	22440	default	326050	complete	0.012874	0.012939	113176.0	sat	sat
430512870	qf_shid_sat/lss-04-03.smt2	8318359	s2s.0.3.3	22440	default	326050	complete	0.013942	0.014014	113176.0	unsat	unsat
430512812	qf_shid_sat/lss-05-01.smt2	8318301	s2s.0.3.3	22440	default	326050	complete	0.01439	0.014456	113176.0	sat	sat
430512866	qf_shid_sat/lss-05-02.smt2	8318355	s2s.0.3.3	22440	default	326050	complete	0.014345	0.014412	113176.0	sat	sat
430512885	qf_shid_sat/lss-05-03.smt2	8318374	s2s.0.3.3	22440	default	326050	complete	0.014694	0.014736	113176.0	sat	sat
430512837	qf_shid_sat/ncll-01.smt2	8318326	s2s.0.3.3	22440	default	326050	complete	0.01177	0.0118199	113176.0	sat	sat
430512826	qf_shid_sat/nll-01.smt2	8318315	s2s.0.3.3	22440	default	326050	complete	0.012014	0.012042	113176.0	sat	sat
430512842	qf_shid_sat/sll2h-01.smt2	8318331	s2s.0.3.3	22440	default	326050	complete	0.012446	0.0125029	113176.0	sat	sat
430512900	qf_shid_sat/succ-circuit01.defs.smt2	8318389	s2s.0.3.3	22440	default	326050	complete	0.012264	0.01236	113176.0	sat	sat
430512897	qf_shid_sat/succ-circuit02.defs.smt2	8318386	s2s.0.3.3	22440	default	326050	complete	0.012693	0.0127251	113176.0	sat	sat
430512896	qf_shid_sat/succ-circuit03.defs.smt2	8318385	s2s.0.3.3	22440	default	326050	complete	0.012862	0.0129151	113176.0	sat	sat
430512890	qf_shid_sat/succ-circuit04.defs.smt2	8318379	s2s.0.3.3	22440	default	326050	complete	0.012661	0.012686	113176.0	sat	sat
430512884	qf_shid_sat/succ-circuit05.defs.smt2	8318373	s2s.0.3.3	22440	default	326050	complete	0.013141	0.0140681	0.0	sat	sat
430512879	qf_shid_sat/succ-circuit06.defs.smt2	8318368	s2s.0.3.3	22440	default	326050	complete	0.01343	0.0134549	113176.0	sat	sat
430512878	qf_shid_sat/succ-circuit07.defs.smt2	8318367	s2s.0.3.3	22440	default	326050	complete	0.013394	0.01345	113176.0	sat	sat
430512867	qf_shid_sat/succ-circuit08.defs.smt2	8318356	s2s.0.3.3	22440	default	326050	complete	0.013809	0.013851	113176.0	sat	sat
430512873	qf_shid_sat/succ-circuit09.defs.smt2	8318362	s2s.0.3.3	22440	default	326050	complete	0.014065	0.014124	113176.0	sat	sat
430512813	qf_shid_sat/succ-circuit10.defs.smt2	8318302	s2s.0.3.3	22440	default	326050	complete	0.014316	0.0143659	113176.0	sat	sat
430512818	qf_shid_sat/succ-circuit11.defs.smt2	8318307	s2s.0.3.3	22440	default	326050	complete	0.015662	0.0157331	113176.0	sat	sat
430512807	qf_shid_sat/succ-circuit12.defs.smt2	8318296	s2s.0.3.3	22440	default	326050	complete	0.015104	0.015158	113176.0	sat	sat
430512810	qf_shid_sat/succ-circuit13.defs.smt2	8318299	s2s.0.3.3	22440	default	326050	complete	0.01546	0.0154921	113176.0	sat	sat
430512829	qf_shid_sat/succ-circuit14.defs.smt2	8318318	s2s.0.3.3	22440	default	326050	complete	0.016614	0.016693	113176.0	sat	sat
430512830	qf_shid_sat/succ-circuit15.defs.smt2	8318319	s2s.0.3.3	22440	default	326050	complete	0.017278	0.017321	113176.0	sat	sat
430512822	qf_shid_sat/succ-circuit16.defs.smt2	8318311	s2s.0.3.3	22440	default	326050	complete	0.016989	0.0170199	113176.0	sat	sat
430512825	qf_shid_sat/succ-circuit17.defs.smt2	8318314	s2s.0.3.3	22440	default	326050	complete	0.017786	0.017838	113176.0	sat	sat
430512840	qf_shid_sat/succ-circuit18.defs.smt2	8318329	s2s.0.3.3	22440	default	326050	complete	0.018279	0.0183349	113176.0	sat	sat
430512838	qf_shid_sat/succ-circuit19.defs.smt2	8318327	s2s.0.3.3	22440	default	326050	complete	0.019411	0.0194799	113176.0	sat	sat
430512871	qf_shid_sat/succ-circuit20.defs.smt2	8318360	s2s.0.3.3	22440	default	326050	complete	0.019608	0.0196911	113176.0	sat	sat
430512874	qf_shid_sat/succ-rec01.defs.smt2	8318363	s2s.0.3.3	22440	default	326050	complete	0.011769	0.0118009	113176.0	sat	sat
430512863	qf_shid_sat/succ-rec02.defs.smt2	8318352	s2s.0.3.3	22440	default	326050	complete	0.012329	0.012362	113176.0	sat	sat
430512865	qf_shid_sat/succ-rec03.defs.smt2	8318354	s2s.0.3.3	22440	default	326050	complete	0.012277	0.0123111	113176.0	sat	sat
430512857	qf_shid_sat/succ-rec04.defs.smt2	8318346	s2s.0.3.3	22440	default	326050	complete	0.013835	0.013899	113176.0	sat	sat
430512860	qf_shid_sat/succ-rec05.defs.smt2	8318349	s2s.0.3.3	22440	default	326050	complete	0.013201	0.013287	113176.0	sat	sat
430512854	qf_shid_sat/succ-rec06.defs.smt2	8318343	s2s.0.3.3	22440	default	326050	complete	0.013774	0.0138349	113176.0	sat	sat
430512856	qf_shid_sat/succ-rec07.defs.smt2	8318345	s2s.0.3.3	22440	default	326050	complete	0.014379	0.0144271	113176.0	sat	sat
430512903	qf_shid_sat/succ-rec08.defs.smt2	8318392	s2s.0.3.3	22440	default	326050	complete	0.015094	0.015152	113176.0	sat	sat
430512899	qf_shid_sat/succ-rec09.defs.smt2	8318388	s2s.0.3.3	22440	default	326050	complete	0.016184	0.0162369	113176.0	sat	sat
430512839	qf_shid_sat/succ-rec10.defs.smt2	8318328	s2s.0.3.3	22440	default	326050	complete	0.016816	0.0168719	113176.0	sat	sat
430512835	qf_shid_sat/succ-rec11.defs.smt2	8318324	s2s.0.3.3	22440	default	326050	complete	0.018245	0.018316	113176.0	sat	sat
430512834	qf_shid_sat/succ-rec12.defs.smt2	8318323	s2s.0.3.3	22440	default	326050	complete	0.020102	0.0201361	113176.0	sat	sat
430512833	qf_shid_sat/succ-rec13.defs.smt2	8318322	s2s.0.3.3	22440	default	326050	complete	0.020582	0.0206209	113176.0	sat	sat
430512853	qf_shid_sat/succ-rec14.defs.smt2	8318342	s2s.0.3.3	22440	default	326050	complete	0.021739	0.0218391	113176.0	sat	sat
430512848	qf_shid_sat/succ-rec15.defs.smt2	8318337	s2s.0.3.3	22440	default	326050	complete	0.023492	0.0235329	113176.0	sat	sat
430512844	qf_shid_sat/succ-rec16.defs.smt2	8318333	s2s.0.3.3	22440	default	326050	complete	0.025237	0.025281	113176.0	sat	sat
430512841	qf_shid_sat/succ-rec17.defs.smt2	8318330	s2s.0.3.3	22440	default	326050	complete	0.027184	0.0272291	113176.0	sat	sat
430512814	qf_shid_sat/succ-rec18.defs.smt2	8318303	s2s.0.3.3	22440	default	326050	complete	0.029131	0.029186	113176.0	sat	sat
430512820	qf_shid_sat/succ-rec19.defs.smt2	8318309	s2s.0.3.3	22440	default	326050	complete	0.031381	0.0314111	113176.0	sat	sat
430512904	qf_shid_sat/succ-rec20.defs.smt2	8318393	s2s.0.3.3	22440	default	326050	complete	0.034348	0.0343871	113176.0	sat	sat
430512902	qf_shid_sat/tll-01.smt2	8318391	s2s.0.3.3	22440	default	326050	complete	0.01182	0.011857	113176.0	sat	sat
430512836	qf_shid_sat/tll-02.smt2	8318325	s2s.0.3.3	22440	default	326050	complete	0.011754	0.0117809	113176.0	unsat	unsat
430512828	qf_shid_sat/tll-03.smt2	8318317	s2s.0.3.3	22440	default	326050	complete	0.011741	0.0118141	113176.0	sat	sat
430512855	qf_shid_sat/tll-04.smt2	8318344	s2s.0.3.3	22440	default	326050	complete	0.012439	0.0125169	113176.0	sat	sat
430512894	qf_shid_sat/tll-05.smt2	8318383	s2s.0.3.3	22440	default	326050	complete	0.011975	0.0120001	113176.0	sat	sat
430512832	qf_shid_sat/tll-06.smt2	8318321	s2s.0.3.3	22440	default	326050	complete	0.012061	0.0125109	0.0	unsat	unsat
430512821	qf_shid_sat/tll-07.smt2	8318310	s2s.0.3.3	22440	default	326050	complete	0.012597	0.0126721	113176.0	sat	sat
430512875	qf_shid_sat/tll-08.smt2	8318364	s2s.0.3.3	22440	default	326050	complete	0.012091	0.01213	113176.0	unsat	unsat
430512893	qf_shid_sat/tll-09.smt2	8318382	s2s.0.3.3	22440	default	326050	complete	0.012773	0.0128049	113176.0	unsat	unsat
430512868	qf_shid_sat/tll-10.smt2	8318357	s2s.0.3.3	22440	default	326050	complete	0.013965	0.013991	113176.0	sat	sat
430512883	qf_shid_sat/tree-01.smt2	8318372	s2s.0.3.3	22440	default	326050	complete	0.012014	0.012088	113176.0	sat	sat