Instances of family tipdiam solved by quantor-3.1
QBFEVAL'10 - Competitive Track.

InstanceResultTime
eijk.S208o.S-d4SAT0
cmu.periodic.N-d2SAT0.85
nusmv.dme1-16.B-d4FAIL33.08
nusmv.reactor^2.C-d4FAIL76.2
cmu.periodic.N-d4FAIL107.78
nusmv.reactor^1.C-d4FAIL138.36
eijk.S1238.S-d3FAIL143.41
ken.flash^14.C-d4FAIL288.19
irst.dme4.B-d4FAIL304.8
irst.dme5.B-d4FAIL435.71
nusmv.queue.B-d4FAIL454.03
vis.coherence^1.E-d4FAIL485.36
vis.prodcell^01.E-d4FAIL636.12
eijk.S1423.S-d4FAIL865.91