COLIBRI

Competing	yes
Single Query Track	QF_ABVFP, QF_ABVFPLRA, QF_AUFBVFP, QF_BVFP, QF_BVFPLRA, QF_FP, QF_FPLRA, QF_UFFP
Incremental Track
Unsat Core Track
Model Validation Track
Cloud Track
Parallel Track
Preliminary ID	32990
Final ID	32990
Seed	9075420
System Description	COLIBRI
Variant of Submission ID
Derived from Solver
Wrapped Solvers
Website	http://colibri.frama-c.com/
Team Members	Bruno Marre, François Bobot, Zakaria Chihani