STP

Competing	yes
Single Query Track	QF_BV
Incremental Track	QF_BV
Unsat Core Track
Model Validation Track	QF_BV
Proof Exhibition Track
Cloud Track
Parallel Track
Preliminary ID	41385
Final ID	41385
Seed	16
System Description	STP 2023
Variant of Submission ID
Derived from Solver
Wrapped Solvers
Website	https://stp.github.io/
Team Members	Various