Instances of family tipdiam solved by depqbf-pre
QBFEVAL'10 - Competitive Track.

InstanceResultTime
eijk.S208o.S-d4SAT0
vis.coherence^1.E-d4SAT3.29
irst.dme4.B-d4SAT7.59
vis.prodcell^01.E-d4SAT13.51
irst.dme5.B-d4SAT20.88
ken.flash^14.C-d4FAIL1200.14
nusmv.queue.B-d4FAIL1200.15
eijk.S1238.S-d3FAIL1200.16
eijk.S1423.S-d4FAIL1200.16
nusmv.reactor^2.C-d4FAIL1200.16
nusmv.dme1-16.B-d4FAIL1200.16
nusmv.reactor^1.C-d4FAIL1200.17
cmu.periodic.N-d4FAIL1200.17
cmu.periodic.N-d2FAIL1200.18