STP-incremental

Competing	yes
Single Query Track	QF_BV
Incremental Track	QF_BV
Challenge Track (non-incremental)
Challenge Track (incremental)	QF_BV
Unsat Core Track
Model Validation Track (experimental)	QF_BV
Preliminary ID	23396
Final ID	23687
Seed	1094795585
System Description	STP
Variant of Submission ID	23321
Derived from Solver
Wrapped Solvers
Website	https://github.com/stp/stp
Team Members	Trevor Hansen, Norbert Manthey, Mate Soos