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

Sota solver results for family tipfixpoint
QBFEVAL'07

Instance	Solver	Result	Time
cmu.gigamax.B-f2	sKizzo-0.10-qck	SAT	3.07
cmu.gigamax.B-f3	sKizzo-0.10-qck	UNSAT	99.45
cmu.periodic.N-f2	ncQuBE1.1	SAT	2.66
cmu.periodic.N-f3	AQME-RIPPER	SAT	4.04
eijk.bs4863.S-f2	ncQuBE1.1	SAT	147.4
eijk.S208.S-f2	ncQuBE1.1	SAT	1.09
eijk.S208.S-f3	ncQuBE1.0	SAT	249.62
eijk.S208c.S-f2	ncQuBE1.0	SAT	0.59
eijk.S208o.S-f2	ncQuBE1.1	SAT	0.15
eijk.S208o.S-f3	ncQuBE1.1	SAT	1.79
eijk.S298.S-f2	ncQuBE1.1	SAT	0.1
eijk.S344.S-f2	ncQuBE1.0	SAT	0.17
eijk.S349.S-f2	ncQuBE1.0	SAT	0.28
eijk.S382.S-f2	ncQuBE1.1	SAT	0.15
eijk.S444.S-f2	ncQuBE1.1	SAT	0.18
eijk.S526.S-f2	ncQuBE1.1	SAT	0.17
eijk.S526.S-f3	ncQuBE1.1	SAT	0.48
eijk.S526.S-f4	ncQuBE1.1	SAT	1.6
eijk.S820.S-f2	ncQuBE1.1	SAT	31.43
eijk.S832.S-f2	ncQuBE1.1	SAT	297
irst.dme4.B-f2	ncQuBE1.1	SAT	0.46
irst.dme5.B-f2	ncQuBE1.1	SAT	0.41
irst.dme6.B-f2	ncQuBE1.1	SAT	2.58
ken.flash^02.C-f2	sKizzo-0.10-std	SAT	0.9
ken.flash^03.C-f3	yQuaffle	UNSAT	0.43
ken.flash^03.C-f4	yQuaffle	UNSAT	0.58
ken.flash^06.C-f2	yQuaffle	UNSAT	0.12
ken.flash^08.C-f3	yQuaffle	UNSAT	0.21
ken.flash^08.C-f4	yQuaffle	UNSAT	0.29
ken.flash^09.C-f2	yQuaffle	UNSAT	0.44
ken.flash^09.C-f4	yQuaffle	UNSAT	1.01
ken.flash^10.C-f2	preQuel_sKizzo-0.10	SAT	0.11
ken.flash^10.C-f4	preQuel_sKizzo-0.10	SAT	0.2
ken.oop^1.C-f2	ncQuBE1.1	SAT	0.16
ken.oop^2.C-f2	ncQuBE1.1	SAT	0.23
nusmv.brp.B-f2	ncQuBE1.1	SAT	0.15
nusmv.dme2-16.B-f2	ncQuBE1.1	SAT	4.52
nusmv.guidance^2.C-f3	ncQuBE1.1	SAT	275.47
nusmv.guidance^3.C-f2	ncQuBE1.1	SAT	0.79
nusmv.guidance^9.C-f3	ncQuBE1.1	SAT	108
nusmv.queue.B-f2	AQME-C4.5	SAT	21.04
nusmv.reactor^2.C-f2	ncQuBE1.1	SAT	3.93
nusmv.reactor^3.C-f3	sKizzo-0.10-qck	SAT	69.35
nusmv.reactor^3.C-f4	preQuel_sKizzo-0.10	SAT	0.06
nusmv.reactor^4.C-f2	ncQuBE1.1	SAT	0.6
nusmv.reactor^4.C-f3	ncQuBE1.1	SAT	31.68
nusmv.reactor^5.C-f4	yQuaffle	UNSAT	0.29
nusmv.reactor^6.C-f2	ncQuBE1.1	SAT	1.12
nusmv.reactor^7.C-f2	ncQuBE1.1	SAT	0.78
nusmv.reactor^7.C-f3	ncQuBE1.1	SAT	26.85
nusmv.syncarb5^2.B-f3	sKizzo-0.10-qck	SAT	0.8
nusmv.syncarb5^2.B-f4	ncQuBE1.1	SAT	2.19
nusmv.tcas-t^6.B-f2	sKizzo-0.10-std	SAT	0.47
nusmv.tcas^1.B-f2	AQME-C4.5	SAT	3.97
nusmv.tcas^1.B-f4	AQME-RIPPER	SAT	17.47
texas.ifetch1^1.E-f3	preQuel_sKizzo-0.10	SAT	0.05
texas.ifetch1^1.E-f4	yQuaffle	UNSAT	0.08
texas.ifetch1^2.E-f2	yQuaffle	UNSAT	0.05
texas.ifetch1^2.E-f3	yQuaffle	UNSAT	0.07
texas.ifetch1^3.E-f2	yQuaffle	UNSAT	0.05
texas.ifetch1^3.E-f4	yQuaffle	UNSAT	0.08
texas.ifetch1^4.E-f4	preQuel_sKizzo-0.10	SAT	0.04
texas.ifetch1^5.E-f2	ncQuBE1.1	SAT	0.13
texas.ifetch1^7.E-f2	ncQuBE1.1	SAT	0.13
texas.ifetch1^8.E-f2	ncQuBE1.1	SAT	0.1
texas.ifetch1^8.E-f4	ncQuBE1.1	SAT	0.19
texas.ifetch1^9.E-f2	ncQuBE1.1	SAT	0.13
texas.ifetch1^9.E-f4	ncQuBE1.1	SAT	0.24
texas.parsesys^1.E-f3	ncQuBE1.1	SAT	0.86
texas.parsesys^2.E-f2	ncQuBE1.0	UNSAT	3.13
texas.parsesys^2.E-f4	sKizzo-0.10-qck	UNSAT	81.87
texas.parsesys^3.E-f2	qZilla	SAT	0.14
texas.parsesys^3.E-f4	sKizzo-0.10-std	SAT	8.35
texas.parsesys^4.E-f3	preQuel_sKizzo-0.10	SAT	0.03
texas.parsesys^4.E-f4	preQuel_sKizzo-0.10	SAT	0.04
texas.PI_main^01.E-f2	ncQuBE1.1	SAT	0.33
texas.PI_main^05.E-f2	ncQuBE1.0	SAT	35.08
texas.PI_main^08.E-f2	ncQuBE1.1	SAT	37.57
texas.PI_main^14.E-f3	yQuaffle	UNSAT	0.75
texas.two_proc^1.E-f3	ncQuBE1.1	SAT	158.11
texas.two_proc^2.E-f3	ncQuBE1.1	SAT	244.97
texas.two_proc^5.E-f3	ncQuBE1.1	SAT	272.11
texas.two_proc^6.E-f2	ncQuBE1.1	SAT	0.21
vis.4-arbit^1.E-f2	ncQuBE1.1	SAT	0.17
vis.4-arbit^1.E-f3	ncQuBE1.1	SAT	126.52
vis.4-arbit^2.E-f2	ncQuBE1.0	SAT	0.4
vis.4-arbit^2.E-f3	ncQuBE1.1	SAT	78.03
vis.arbiter.E-f2	ncQuBE1.1	SAT	2.04
vis.arbiter.E-f3	ncQuBE1.1	SAT	48.1
vis.eisenberg.E-f3	ncQuBE1.1	SAT	6.52
vis.elevator^1.E-f3	preQuel_sKizzo-0.10	SAT	0.1
vis.elevator^1.E-f4	preQuel_sKizzo-0.10	SAT	0.17
vis.emodel.E-f4	preQuel_sKizzo-0.10	SAT	0.08
vis.prodcell^02.E-f4	yQuaffle	UNSAT	0.42
vis.prodcell^03.E-f3	yQuaffle	UNSAT	0.22
vis.prodcell^04.E-f2	ncQuBE1.1	SAT	238.59
vis.prodcell^04.E-f3	yQuaffle	UNSAT	0.2
vis.prodcell^04.E-f4	yQuaffle	UNSAT	0.39
vis.prodcell^07.E-f2	ncQuBE1.1	SAT	187.38
vis.prodcell^08.E-f3	yQuaffle	UNSAT	0.52
vis.prodcell^08.E-f4	yQuaffle	UNSAT	0.94
vis.prodcell^09.E-f4	preQuel_sKizzo-0.10	SAT	0.68
vis.prodcell^19.E-f2	ncQuBE1.1	SAT	49.56
vis.prodcell^20.E-f4	yQuaffle	UNSAT	0.41
vis.prodcell^21.E-f2	preQuel_sKizzo-0.10	SAT	0.06
vis.prodcell^21.E-f3	yQuaffle	UNSAT	0.23
vis.prodcell^21.E-f4	yQuaffle	UNSAT	0.43
vis.prodcell^22.E-f2	ncQuBE1.0	SAT	131.6
vis.prodcell^22.E-f3	ncQuBE1.1	SAT	376.36
vis.prodcell^23.E-f2	ncQuBE1.0	SAT	80.97
vis.prodcell^24.E-f2	ncQuBE1.1	SAT	80.81
vis.prodcell^24.E-f3	ncQuBE1.1	SAT	366.66

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Sota solver results for family tipfixpoint
QBFEVAL'07

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Sota solver results for family tipfixpoint QBFEVAL'07

Sota solver results for family tipfixpoint
QBFEVAL'07