Benchmark

non-incremental/QF_RDL/SMT-Temporal-Planning-Benchmarks/tempo-width-3.smt2

SMT-PLAN_GP1 automated Planning to SMT-LIB encoding
by F.Maris and P.Regnier, IRIT - Universite Paul Sabatier, Toulouse
Benchmark encoded from planning problem
domain : domain-cooking, problem : cooking01

Benchmark
Size	236083
Compressed Size	32023
License	Creative Commons Attribution 4.0 International (CC-BY-4.0)
Category	industrial
First Occurrence	2013-07-02
Generated By	—
Generated On	—
Generator	—
Dolmen OK	1
strict Dolmen OK	1
check-sat calls	1

Query 1

Status	sat
Inferred Status	sat
Size	236075
Compressed Size	31738
Max. Term Depth	631
Asserts	1
Declared Functions	0
Declared Constants	238
Declared Sorts	0
Defined Functions	0
Defined Recursive Functions	0
Defined Sorts	0
Constants	0
Declared Datatypes	0

Symbols

not	193	or	3909	and	1	let	628
-	1092	<	1119	>	888	>=	193

Evaluations

Evaluation	Rating	Solver	Variant	Result	Wallclock	CPU Time
SMT Evaluation 2013		CVC3	CVC3-SMT-COMP-2010 default	sat ✅	2.80181	—
			CVC3-SMT-COMP-2011 default	sat ✅	2.54082	—
			CVC3-SMT-COMP-2012 default	sat ✅	2.50586	—
		CVC4	CVC4-SMT-COMP-2012-Resubmission default	sat ✅	0.29468	—
			CVC4-SMT-EVAL-2013 default	sat ✅	0.32027	—
		OpenSMT	OpenSMT-SMT-COMP-2010 default	sat ✅	0.27740	—
			OpenSMT-SMT-COMP-2011 default	sat ✅	0.24193	—
		veriT	veriT-SMT-COMP-2010 default	sat ✅	0.25567	—
			veriT-SMT-COMP-2011 default	sat ✅	0.23538	—
			veriT-SMT-EVAL-2013 default	sat ✅	1.11068	—
		Z3	Z3-4.3.2.a054b099c1d6-x64-debian-6.0.6-SMT-EVAL-2013 default	sat ✅	0.08470	—
			Z3-SMT-COMP-2011 default	sat ✅	0.07424	—
SMT-COMP 2015		CVC4	CVC4-master-2015-06-15-9b32405-main default	sat ✅	0.71472	0.71289
			CVC4-experimental-2015-06-15-ff5745a-main default	sat ✅	0.71420	0.71189
		SMTInterpol	SMTInterpol v2.1-206-g86e9531 default	sat ✅	2.54898	6.01808
		veriT	veriT default	sat ✅	0.59844	0.59791
		Yices2	Yices default	sat ✅	0.02414	0.02300
		Z3	z3 4.4.0 default	sat ✅	0.11615	0.11598
SMT-COMP 2016		CVC4	CVC4-master-2016-05-27-cfef263-main default	sat ✅	0.55502	0.55541
		OpenSMT	OpenSMT2-2016-05-12 default	sat ✅	156.33400	156.42400
		SMTInterpol	smtinterpol-2.1-258-g92ab3df default	sat ✅	1.64033	5.60460
		Toysmt	toysmt default	sat ✅	391.21600	391.42000
		veriT	veriT-dev default	sat ✅	0.59470	0.59548
		Yices2	Yices-2.4.2 default	sat ✅	0.02434	0.02427
		Z3	z3-4.4.1 default	sat ✅	0.11107	0.11301
SMT-COMP 2017		CVC4	CVC4-smtcomp2017-main default	sat ✅	0.56058	0.55947
		SMTInterpol	SMTInterpol default	sat ✅	1.61370	5.31927
		veriT	veriT-2017-06-17 default	sat ✅	0.49080	0.49023
		Yices2	Yices2-Main default	sat ✅	0.02732	0.02676
		Z3	z3-4.5.0 default	sat ✅	0.11898	0.11806
SMT-COMP 2018		CVC4	master-2018-06-10-b19c840-competition-default_default	sat ✅	0.60243	0.60256
		MathSAT	mathsat-5.5.2-linux-x86_64-Main_default	sat ✅	0.19381	0.19484
		OpenSMT	opensmt2_default	sat ✅	86.11080	86.03000
		SMTInterpol	SMTInterpol-2.5-19-g0d39cdee_default	sat ✅	1.74556	4.97496
		SMT-RAT	SMTRAT-Rat-final_default	sat ✅	4.84801	4.84746
		veriT	veriT_default	sat ✅	0.61924	0.61935
		Yices2	Yices 2.6.0_default	sat ✅	0.02595	0.02585
		Z3	z3-4.7.1_default	sat ✅	0.13677	0.13671
SMT-COMP 2019		CVC4	CVC4-2019-06-03-d350fe1-wrapped-sq_default	sat ✅	0.67051	0.67074
		SMTInterpol	smtinterpol-2.5-514-wrapped-sq_default	sat ✅	1.65677	4.58604
		veriT	veriT-wrapped-sq_default	sat ✅	0.61198	0.61220
		Yices2	Yices 2.6.0_default	sat ✅	0.03094	0.03089
			Yices 2.6.2-wrapped-sq_default	sat ✅	0.02769	0.02759
		Z3	z3-4.8.4-d6df51951f4c-wrapped-sq_default	sat ✅	0.14195	0.14195
SMT-COMP 2020		CVC4	CVC4-sq-final_default	sat ✅	0.73538	0.73559
		MathSAT	MathSAT5_default.sh	sat ✅	0.23213	0.23209
		SMTInterpol	smtinterpol-2.5-679-gacfde87a_default	sat ✅	1.86748	4.63065
		veriT	veriT_default	sat ✅	0.82730	0.82448
		Yices2	Yices 2.6.2 bug fix_default	sat ✅	0.02647	0.02639
		Z3	z3-4.8.8_default	sat ✅	1.08323	2.09307
SMT-COMP 2021		MathSAT	mathsat-5.6.6_default	sat ✅	0.19001	0.19000
		SMTInterpol	smtinterpol-2.5-823-g881e8631_default	sat ✅	2.27225	6.68278
		veriT	veriT_default	sat ✅	0.48453	0.48477
		Z3	z3-4.8.11_default	sat ✅	0.71254	0.71240
SMT-COMP 2022		cvc5	cvc5-default-2022-07-02-b15e116-wrapped_sq	sat ✅	1.19792	1.19332
		MathSAT	MathSAT-5.6.8_default	sat ✅	0.25073	0.25064
		veriT	veriT_default	sat ✅	0.57429	0.57455
		Yices2	Yices 2.6.2 for SMTCOMP 2021_default	sat ✅	0.02672	0.02665
			Yices 2.6.2 for SMTCOMP 2021_default	sat ✅	0.02742	0.02738
		Z3	z3-4.8.17_default	sat ✅	0.59987	0.60167
SMT-COMP 2023		cvc5	cvc5-default-2023-05-16-ea045f305_sq	sat ✅	0.59785	0.59265
		OpenSMT	OpenSMT a78dcf01_default	sat ✅	0.10401	0.10397
		SMTInterpol	smtinterpol-2.5-1272-g2d6d356c_default	sat ✅	1.82742	5.37368
		Yices2	Yices 2 for SMTCOMP 2023_default	sat ✅	0.02865	0.02858
			Yices 2.6.2 for SMTCOMP 2021_default	sat ✅	0.02799	0.02794
			Yices 2.6.2 for SMTCOMP 2021_default	sat ✅	0.02676	0.02672
SMT-COMP 2024		cvc5	cvc5	sat ✅	0.64077	0.54141
		OpenSMT	OpenSMT	sat ✅	0.29042	0.19077
		SMTInterpol	SMTInterpol	sat ✅	2.16078	6.36857
		Yices2	Yices2	sat ✅	0.25839	0.15801
		Z3alpha	Z3-alpha	sat ✅	0.76453	0.66419
SMT-COMP 2025		cvc5	cvc5	sat ✅	0.59131	0.47201
		OpenSMT	OpenSMT	sat ✅	0.32477	0.20023
		SMTInterpol	SMTInterpol	sat ✅	1.55356	4.24632
		Yices2	Yices2	sat ✅	0.29406	0.16913
		Z3alpha	Z3-alpha	sat ✅	0.73840	1.55475
		Z3	Z3-alpha-base	sat ✅	0.58495	0.46454