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

InstanceResultTime
eijk.S208o.S-d4SAT0.01
cmu.periodic.N-d2SAT1.41
cmu.periodic.N-d4SAT8.35
nusmv.dme1-16.B-d4SAT30.45
vis.prodcell^01.E-d4SAT87.73
nusmv.queue.B-d4SAT216.08
irst.dme5.B-d4SAT297.05
irst.dme4.B-d4SAT365.46
vis.coherence^1.E-d4SAT488.55
nusmv.reactor^1.C-d4SAT842.6
eijk.S1238.S-d3UNSAT1180.22
ken.flash^14.C-d4FAIL1200.09
eijk.S1423.S-d4FAIL1200.09
nusmv.reactor^2.C-d4FAIL1200.09