NRA-LS

Competing	yes
Single Query Track	QF_NRA
Incremental Track
Unsat Core Track
Model Validation Track
Proof Exhibition Track
Cloud Track
Parallel Track
Preliminary ID	36859(sq)
Final ID	39120
Seed	666
System Description	NRA-LS at the SMT Competition 2022
Variant of Submission ID
Derived from Solver
Wrapped Solvers	cvc5-1.0.0
Website	https://github.com/minghao-liu/NRA-LS
Team Members	Minghao Liu, Fuqi Jia, Pei Huang, Rui Han, Yu Zhang, Feifei Ma, Jian Zhang