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

InstanceResultTime
eijk.S208o.S-d4SAT1.07
cmu.periodic.N-d2SAT3.86
cmu.periodic.N-d4SAT4.6
vis.prodcell^01.E-d4SAT6.1
nusmv.reactor^1.C-d4SAT9.89
ken.flash^14.C-d4UNSAT11.07
nusmv.reactor^2.C-d4SAT12.09
vis.coherence^1.E-d4SAT18.17
eijk.S1238.S-d3UNSAT55.56
irst.dme4.B-d4SAT101.99
irst.dme5.B-d4SAT114.93
eijk.S1423.S-d4SAT652.14
nusmv.dme1-16.B-d4FAIL1200
nusmv.queue.B-d4FAIL1200