pair id	benchmark	benchmark id	solver	solver id	configuration	configuration id	status	cpu time	wallclock time	memory usage	result	expected
429882068	qf_bsl_sat/dispose-1.cvc4.smt2	8317023	CVC4-070618	20439	def	303345	complete	0.011871	0.021075	0.0	unsat	unsat
429882032	qf_bsl_sat/dispose-2.cvc4.smt2	8316986	CVC4-070618	20439	def	303345	complete	0.015918	0.016064	113176.0	unsat	unsat
429882034	qf_bsl_sat/dispose-3.cvc4.smt2	8316988	CVC4-070618	20439	def	303345	complete	0.02574	0.0259639	113176.0	unsat	unsat
429882028	qf_bsl_sat/dispose-4.cvc4.smt2	8316982	CVC4-070618	20439	def	303345	complete	0.037251	0.0373459	113176.0	unsat	unsat
429882044	qf_bsl_sat/dispose-8.cvc4.smt2	8316999	CVC4-070618	20439	def	303345	complete	0.158027	0.158108	113176.0	unsat	unsat
429882030	qf_bsl_sat/dispose-iter-1.cvc4.smt2	8316984	CVC4-070618	20439	def	303345	complete	0.0113	0.011362	113176.0	unsat	unsat
429882037	qf_bsl_sat/dispose-iter-4.cvc4.smt2	8316991	CVC4-070618	20439	def	303345	complete	0.167709	0.167783	113176.0	unsat	unsat
429882040	qf_bsl_sat/dispose-iter-8.cvc4.smt2	8316995	CVC4-070618	20439	def	303345	complete	2.7498	2.75003	159880.0	unsat	unsat
429882035	qf_bsl_sat/rev-1-0.cvc4.smt2	8316989	CVC4-070618	20439	def	303345	complete	0.052052	0.0520909	113176.0	unsat	unsat
429882062	qf_bsl_sat/rev-2-0.cvc4.smt2	8317017	CVC4-070618	20439	def	303345	complete	0.034849	0.034948	113176.0	unsat	unsat
429882023	qf_bsl_sat/rev-3-0.cvc4.smt2	8316977	CVC4-070618	20439	def	303345	complete	0.057271	0.0573489	113176.0	unsat	unsat
429882053	qf_bsl_sat/rev-4-0.cvc4.smt2	8317008	CVC4-070618	20439	def	303345	complete	0.095076	0.095136	113176.0	unsat	unsat
429882038	qf_bsl_sat/rev-8-0.cvc4.smt2	8316993	CVC4-070618	20439	def	303345	complete	0.410379	0.410469	113176.0	unsat	unsat
429882065	qf_bsl_sat/rev-iter-1-0.cvc4.smt2	8317020	CVC4-070618	20439	def	303345	complete	0.052871	0.0529571	113176.0	unsat	unsat
429882029	qf_bsl_sat/rev-iter-2-0.cvc4.smt2	8316983	CVC4-070618	20439	def	303345	complete	0.045815	0.0458441	113176.0	unsat	unsat
429882058	qf_bsl_sat/rev-iter-3-0.cvc4.smt2	8317013	CVC4-070618	20439	def	303345	complete	0.080962	0.0830129	113176.0	unsat	unsat
429882041	qf_bsl_sat/rev-iter-4-0.cvc4.smt2	8316996	CVC4-070618	20439	def	303345	complete	0.199488	0.199558	113176.0	unsat	unsat
429882050	qf_bsl_sat/rev-iter-8-0.cvc4.smt2	8317005	CVC4-070618	20439	def	303345	complete	1.52062	1.52087	158428.0	unsat	unsat
429882051	qf_bsl_sat/test-dispose-2.cvc4.smt2	8317006	CVC4-070618	20439	def	303345	complete	0.01653	0.016612	113176.0	unsat	unsat
429882049	qf_bsl_sat/test-dispose-3.cvc4.smt2	8317004	CVC4-070618	20439	def	303345	complete	0.030717	0.032713	113176.0	unsat	unsat
429882055	qf_bsl_sat/test-dispose-4.cvc4.smt2	8317010	CVC4-070618	20439	def	303345	complete	0.045813	0.04585	113176.0	unsat	unsat
429882056	qf_bsl_sat/test-dispose-8.cvc4.smt2	8317011	CVC4-070618	20439	def	303345	complete	0.20899	0.210679	113176.0	unsat	unsat
429882052	qf_bsl_sat/test-dispose-iter-2.cvc4.smt2	8317007	CVC4-070618	20439	def	303345	complete	0.02629	0.039507	113176.0	unsat	unsat
429882048	qf_bsl_sat/test-dispose-iter-3.cvc4.smt2	8317003	CVC4-070618	20439	def	303345	complete	0.072161	0.07225	113176.0	unsat	unsat
429882054	qf_bsl_sat/test-dispose-iter-4.cvc4.smt2	8317009	CVC4-070618	20439	def	303345	complete	0.186596	0.186688	113176.0	unsat	unsat
429882057	qf_bsl_sat/test-dispose-iter-8.cvc4.smt2	8317012	CVC4-070618	20439	def	303345	complete	3.0557	3.05586	160156.0	unsat	unsat
429882066	qf_bsl_sat/test-rev-1-0.cvc4.smt2	8317021	CVC4-070618	20439	def	303345	complete	0.032492	0.03257	113176.0	unsat	unsat
429882027	qf_bsl_sat/test-rev-2-0.cvc4.smt2	8316981	CVC4-070618	20439	def	303345	complete	0.021646	0.0217361	113176.0	unsat	unsat
429882060	qf_bsl_sat/test-rev-3-0.cvc4.smt2	8317015	CVC4-070618	20439	def	303345	complete	0.03817	0.0382509	113176.0	unsat	unsat
429882043	qf_bsl_sat/test-rev-4-0.cvc4.smt2	8316998	CVC4-070618	20439	def	303345	complete	0.056979	0.0570121	113176.0	unsat	unsat
429882045	qf_bsl_sat/test-rev-8-0.cvc4.smt2	8317000	CVC4-070618	20439	def	303345	complete	0.258121	0.258222	113176.0	unsat	unsat
429882025	qf_bsl_sat/test-rev-iter-1-0.cvc4.smt2	8316979	CVC4-070618	20439	def	303345	complete	0.032128	0.0322001	113176.0	unsat	unsat
429882067	qf_bsl_sat/test-rev-iter-2-0.cvc4.smt2	8317022	CVC4-070618	20439	def	303345	complete	0.021843	0.021892	113176.0	unsat	unsat
429882033	qf_bsl_sat/test-rev-iter-3-0.cvc4.smt2	8316987	CVC4-070618	20439	def	303345	complete	0.035553	0.0355831	113176.0	unsat	unsat
429882047	qf_bsl_sat/test-rev-iter-4-0.cvc4.smt2	8317002	CVC4-070618	20439	def	303345	complete	0.055236	0.0553371	113176.0	unsat	unsat
429882042	qf_bsl_sat/test-rev-iter-8-0.cvc4.smt2	8316997	CVC4-070618	20439	def	303345	complete	0.241925	0.242025	113176.0	unsat	unsat
429882059	qf_bsl_sat/tree-1.cvc4.smt2	8317014	CVC4-070618	20439	def	303345	complete	0.00796	0.0195799	0.0	unsat	unsat
429882063	qf_bsl_sat/tree-2.cvc4.smt2	8317018	CVC4-070618	20439	def	303345	complete	0.0093	0.0205561	0.0	unsat	unsat
429882061	qf_bsl_sat/tree-3.cvc4.smt2	8317016	CVC4-070618	20439	def	303345	complete	0.011967	0.0208539	0.0	unsat	unsat
429882064	qf_bsl_sat/tree-4.cvc4.smt2	8317019	CVC4-070618	20439	def	303345	complete	0.015996	0.0220619	0.0	unsat	unsat
429882046	qf_bsl_sat/tree-8.cvc4.smt2	8317001	CVC4-070618	20439	def	303345	complete	0.144929	0.144957	113176.0	unsat	unsat
429882031	qf_bsl_sat/tseg-1.cvc4.smt2	8316985	CVC4-070618	20439	def	303345	complete	0.010017	0.012037	0.0	unsat	unsat
429882024	qf_bsl_sat/tseg-2.cvc4.smt2	8316978	CVC4-070618	20439	def	303345	complete	0.04663	0.046701	113176.0	unsat	unsat
429882026	qf_bsl_sat/tseg-3.cvc4.smt2	8316980	CVC4-070618	20439	def	303345	complete	368.339	368.389	214224.0	unsat	unsat
429882036	qf_bsl_sat/tseg-4.cvc4.smt2	8316990	CVC4-070618	20439	def	303345	timeout (cpu)	2400.01	2400.1	389372.0	starexec-unknown	unsat
429882039	qf_bsl_sat/tseg-8.cvc4.smt2	8316994	CVC4-070618	20439	def	303345	memout	153.14	153.222	4198948.0	starexec-unknown	unsat