ProB

Competing	yes
Single Query Track	LIA, NIA, QF_IDL, QF_LIA, QF_NIA
Incremental Track
Challenge Track (non-incremental)
Challenge Track (incremental)
Unsat Core Track
Model Validation Track (experimental)
Preliminary ID	22647
Final ID	23466
Seed	9247
System Description	proB
Variant of Submission ID
Derived from Solver
Wrapped Solvers
Website	http://www.prob2.de
Team Members	Sebastian Krings, Michael Leuschel