Sota solver results for family tipfixpoint <br> QBFEVAL'06

Sota solver results for family tipfixpoint
QBFEVAL'06

Instance	Solver	Result	Time
cmu.gigamax.B-f2	sKizzo-0.9-abs	SAT	3.19
eijk.S208.S-f2	ssolve-ut	SAT	12.95
eijk.S208c.S-f2	ssolve-ut	SAT	4.82
eijk.S208o.S-f2	ssolve-ut	SAT	14.5
eijk.S298.S-f2	qube5.0	SAT	0.57
eijk.S344.S-f2	qube5.0	SAT	1.75
eijk.S349.S-f2	qube5.0	SAT	78.85
eijk.S382.S-f2	qube5.0	SAT	65.71
eijk.S444.S-f2	qube5.0	SAT	9.51
eijk.S526.S-f2	qube5.0	SAT	8.95
eijk.S820.S-f2	qube5.0	SAT	231.27
eijk.S832.S-f2	qube5.0	SAT	123.18
irst.dme4.B-f2	qube5.0	SAT	27.45
irst.dme5.B-f2	qube5.0	SAT	40.08
irst.dme6.B-f2	qube5.0	SAT	123.65
ken.oop^1.C-f2	qube5.0	SAT	6.11
ken.oop^2.C-f2	qube5.0	SAT	6.3
nusmv.brp.B-f2	qube5.0	SAT	3.3
nusmv.reactor^2.C-f2	qube5.0	SAT	470.13
nusmv.reactor^4.C-f2	qube5.0	SAT	43.62
nusmv.reactor^5.C-f2	GRL	UNSAT	0.08
nusmv.reactor^6.C-f2	qube5.0	SAT	13.41
nusmv.reactor^7.C-f2	qube5.0	SAT	41.99
nusmv.syncarb5^2.B-f2	sKizzo-0.9-std	SAT	0.18
texas.ifetch1^1.E-f2	yQuaffle	UNSAT	0.02
texas.ifetch1^2.E-f2	yQuaffle	UNSAT	0.02
texas.ifetch1^3.E-f2	yQuaffle	UNSAT	0.02
texas.ifetch1^4.E-f2	2clsQ	UNSAT	0.01
texas.ifetch1^5.E-f2	qube5.0	SAT	1.49
texas.ifetch1^7.E-f2	qube5.0	SAT	0.92
texas.ifetch1^8.E-f2	preQuantor	SAT	0.12
texas.ifetch1^9.E-f2	qube5.0	SAT	2.99
texas.parsesys^1.E-f2	QUANTOR	SAT	0.61
texas.parsesys^2.E-f2	QUANTOR_hc	UNSAT	0.15
texas.parsesys^3.E-f2	QUANTOR_hc	SAT	0.07
texas.parsesys^4.E-f2	Qbfl	UNSAT	0
texas.PI_main^01.E-f2	SQBF	SAT	1.1
texas.PI_main^14.E-f2	yQuaffle	UNSAT	0.14
texas.two_proc^6.E-f2	qube5.0	SAT	1.91
vis.4-arbit^1.E-f2	ssolve-ut	SAT	30.39
vis.4-arbit^2.E-f2	ssolve-ut	SAT	94.83
vis.arbiter.E-f2	ssolve-ut	SAT	37.89
vis.bakery.E-f2	QUANTOR_hc	UNSAT	0.21
vis.eisenberg.E-f2	QUANTOR	SAT	0.46
vis.elevator^1.E-f2	SQBF	UNSAT	0.02
vis.emodel.E-f2	preQuantor	UNSAT	0.01

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Sota solver results for family tipfixpoint
QBFEVAL'06

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Sota solver results for family tipfixpoint QBFEVAL'06

Sota solver results for family tipfixpoint
QBFEVAL'06