Sota solver results for family tipdiam <br> QBFEVAL'10

Instance	Solver	Result	Time
cmu.periodic.N-d2	QuBE7	SAT	0.2
cmu.periodic.N-d4	QuBE7-m	SAT	0.75
eijk.S1238.S-d3	AIGSolve	UNSAT	0.18
eijk.S1423.S-d4	QuBE7	SAT	0.78
eijk.S208o.S-d4	quantor-3.1	SAT	0
irst.dme4.B-d4	QuBE7-c	SAT	0.09
irst.dme5.B-d4	QuBE7-m	SAT	0.13
ken.flash^14.C-d4	aqme-10	UNSAT	11.07
nusmv.dme1-16.B-d4	QuBE7	SAT	0.19
nusmv.queue.B-d4	QuBE7-m	SAT	1.34
nusmv.reactor^1.C-d4	QuBE7-c	SAT	1.63
nusmv.reactor^2.C-d4	QuBE7-c	SAT	1.91
vis.coherence^1.E-d4	QuBE7	SAT	0.74
vis.prodcell^01.E-d4	QuBE7	SAT	0.94

QBF Solver Evaluation Portal