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

Sota solver results for family tipdiam
QBFEVAL'07

Instance	Solver	Result	Time
cmu.dme1.B-d3	yQuaffle	SAT	0.04
cmu.dme2.B-d3	ncQuBE1.0	SAT	0.06
cmu.gigamax.B-d2	ncQuBE1.1	SAT	1.61
eijk.bs1512.S-d3	ncQuBE1.0	SAT	0.1
eijk.bs4863.S-d2	ncQuBE1.1	SAT	0.93
eijk.bs4863.S-d3	ncQuBE1.0	SAT	43.83
eijk.bs6669.S-d3	ncQuBE1.1	SAT	0.88
eijk.S1196.S-d3	aigqbf_s	UNSAT	2.52
eijk.S1238.S-d3	aigqbf_s	UNSAT	3.62
eijk.S208.S-d4	QUANTOR_2.15	SAT	0.01
eijk.S208c.S-d3	EBDDRES	SAT	0
eijk.S208c.S-d4	sKizzo-0.10-std	SAT	0.01
eijk.S208o.S-d3	EBDDRES	SAT	0.01
eijk.S344.S-d3	ncQuBE1.0	SAT	0.99
eijk.S349.S-d3	ncQuBE1.1	SAT	1.17
eijk.S382.S-d4	ncQuBE1.1	SAT	0.08
eijk.S386.S-d3	yQuaffle	SAT	0.13
eijk.S386.S-d4	ncQuBE1.0	SAT	0.26
eijk.S420.S-d4	QUANTOR_2.15	SAT	0.01
eijk.S510.S-d3	QUANTOR_2.15	SAT	0
eijk.S510.S-d4	preQuel_sKizzo-0.10	SAT	0.02
eijk.S526.S-d4	ncQuBE1.1	SAT	0.13
eijk.S641.S-d3	yQuaffle	SAT	0.04
eijk.S641.S-d4	AQME-1NN	SAT	0.7
eijk.S713.S-d4	AQME-1NN	SAT	0.66
eijk.S832.S-d4	ncQuBE1.1	SAT	178.08
irst.dme4.B-d3	ncQuBE1.0	SAT	0.09
irst.dme5.B-d4	preQuel_sKizzo-0.10	SAT	22.66
irst.dme6.B-d3	ncQuBE1.1	SAT	3.6
ken.flash^02.C-d2	sKizzo-0.10-std	SAT	0.4
ken.flash^02.C-d3	sKizzo-0.10-std	SAT	1.13
ken.flash^06.C-d2	sKizzo-0.10-std	UNSAT	0.67
ken.flash^06.C-d3	sKizzo-0.10-std	UNSAT	1.92
ken.flash^09.C-d4	sKizzo-0.10-qck	UNSAT	172.16
ken.flash^10.C-d3	sKizzo-0.10-qck	UNSAT	78.37
ken.flash^10.C-d4	sKizzo-0.10-std	UNSAT	125.28
ken.flash^12.C-d4	sKizzo-0.10-qck	SAT	328.77
ken.flash^13.C-d3	sKizzo-0.10-std	UNSAT	0.94
ken.flash^14.C-d2	sKizzo-0.10-std	UNSAT	1.68
ken.flash^14.C-d3	sKizzo-0.10-std	UNSAT	4.68
ken.flash^14.C-d4	sKizzo-0.10-std	UNSAT	10.63
nusmv.brp.B-d2	sKizzo-0.10-qck	SAT	0.07
nusmv.brp.B-d3	ncQuBE1.1	SAT	0.16
nusmv.dme2-16.B-d3	ncQuBE1.1	SAT	20.7
nusmv.queue.B-d2	sKizzo-0.10-std	SAT	0.07
nusmv.queue.B-d3	ncQuBE1.1	SAT	0.49
nusmv.queue.B-d4	ncQuBE1.1	SAT	2.19
nusmv.reactor^1.C-d3	sKizzo-0.10-std	SAT	3.08
nusmv.reactor^1.C-d4	sKizzo-0.10-qck	SAT	4.58
nusmv.reactor^3.C-d4	sKizzo-0.10-qck	SAT	4.94
nusmv.reactor^4.C-d2	ncQuBE1.1	SAT	0.28
nusmv.tcas-t^1.B-d2	ncQuBE1.0	SAT	9.73
nusmv.tcas^1.B-d2	ncQuBE1.1	SAT	9.78
nusmv.tcas^1.B-d3	AQME-1NN	SAT	3.17
nusmv.tcas^1.B-d4	AQME-C4.5	SAT	5.36
texas.ifetch1^1.E-d3	sKizzo-0.10-qck	SAT	0.01
texas.ifetch1^3.E-d3	preQuel_sKizzo-0.10	SAT	0.01
texas.parsesys^1.E-d3	QUANTOR_2.15	SAT	0.01
vis.4-arbit^1.E-d3	ncQuBE1.1	SAT	0.06
vis.4-arbit^1.E-d4	ncQuBE1.1	SAT	0.13
vis.arbiter.E-d4	yQuaffle	SAT	0.04
vis.bakery.E-d3	QUANTOR_2.15	SAT	0.02
vis.bakery.E-d4	yQuaffle	SAT	0.04
vis.coherence^1.E-d4	ncQuBE1.1	SAT	0.92
vis.eisenberg.E-d4	yQuaffle	SAT	0.04
vis.emodel.E-d4	ncQuBE1.1	SAT	0.13
vis.prodcell^01.E-d3	ncQuBE1.1	SAT	0.24
vis.prodcell^01.E-d4	ncQuBE1.1	SAT	0.58

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Sota solver results for family tipdiam
QBFEVAL'07

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Sota solver results for family tipdiam QBFEVAL'07

Sota solver results for family tipdiam
QBFEVAL'07