QF_IDL (Main Track)

Benchmarks in this division: 174
Time Limit: 1200s

Non-Competitive Division

Result table¹

Solver	Score	Time
CVC4 1.0rc.3931	124	4734.8
CVC3 2.4.2	81	3326.1
Z3, 2011 winnern	202	251.6

n. Non-competitive.