Instances of family tipfixpoint solved by <a href='solver_detail.php?solver=77'>QuBE6.1</a> <br> QBFEVAL'08

Instances of family tipfixpoint solved by QuBE6.1
QBFEVAL'08

Instance	Result	Time
texas.parsesys^4.E-f2	UNSAT	0.03
texas.ifetch1^4.E-f2	UNSAT	0.04
texas.parsesys^4.E-f3	UNSAT	0.06
texas.ifetch1^4.E-f3	UNSAT	0.07
texas.ifetch1^8.E-f2	SAT	0.08
vis.emodel.E-f2	UNSAT	0.08
texas.ifetch1^1.E-f2	UNSAT	0.08
eijk.S298.S-f2	SAT	0.08
texas.parsesys^4.E-f4	UNSAT	0.08
texas.ifetch1^3.E-f2	UNSAT	0.08
texas.ifetch1^2.E-f2	UNSAT	0.09
texas.ifetch1^9.E-f2	SAT	0.09
texas.ifetch1^7.E-f2	SAT	0.09
texas.ifetch1^8.E-f3	SAT	0.1
texas.ifetch1^5.E-f2	SAT	0.1
texas.ifetch1^4.E-f4	UNSAT	0.1
nusmv.brp.B-f2	SAT	0.11
eijk.S382.S-f2	SAT	0.11
texas.ifetch1^9.E-f3	SAT	0.12
ken.oop^1.C-f2	SAT	0.12
texas.ifetch1^1.E-f3	UNSAT	0.12
vis.emodel.E-f3	UNSAT	0.12
texas.parsesys^1.E-f2	SAT	0.12
eijk.S526.S-f2	SAT	0.12
eijk.S208o.S-f2	SAT	0.12
eijk.S344.S-f2	SAT	0.12
texas.ifetch1^7.E-f3	SAT	0.12
texas.ifetch1^3.E-f3	UNSAT	0.13
vis.4-arbit^1.E-f2	SAT	0.13
eijk.S444.S-f2	SAT	0.14
texas.ifetch1^5.E-f3	SAT	0.14
texas.ifetch1^2.E-f3	UNSAT	0.14
texas.ifetch1^8.E-f4	SAT	0.14
nusmv.reactor^3.C-f4	UNSAT	0.15
vis.elevator^1.E-f2	UNSAT	0.16
texas.two_proc^6.E-f2	SAT	0.16
vis.emodel.E-f4	UNSAT	0.16
texas.ifetch1^7.E-f4	SAT	0.17
ken.oop^2.C-f2	SAT	0.17
texas.two_proc^5.E-f2	SAT	0.17
texas.ifetch1^5.E-f4	SAT	0.17
texas.ifetch1^1.E-f4	UNSAT	0.18
texas.PI_main^16.E-f2	SAT	0.18
texas.ifetch1^9.E-f4	SAT	0.18
texas.two_proc^1.E-f2	SAT	0.18
texas.ifetch1^3.E-f4	UNSAT	0.19
vis.bakery.E-f2	SAT	0.22
eijk.S349.S-f2	SAT	0.22
texas.PI_main^01.E-f2	SAT	0.24
nusmv.reactor^5.C-f2	UNSAT	0.25
texas.PI_main^10.E-f2	SAT	0.25
texas.two_proc^2.E-f2	SAT	0.26
vis.eisenberg.E-f2	SAT	0.27
vis.prodcell^21.E-f2	UNSAT	0.27
texas.ifetch1^2.E-f4	UNSAT	0.28
texas.PI_main^03.E-f2	SAT	0.28
ken.flash^06.C-f2	UNSAT	0.28
texas.two_proc^3.E-f2	SAT	0.29
ken.flash^10.C-f2	UNSAT	0.29
vis.elevator^1.E-f3	UNSAT	0.29
irst.dme5.B-f2	SAT	0.3
vis.prodcell^09.E-f2	UNSAT	0.33
ken.flash^08.C-f2	UNSAT	0.33
eijk.S526.S-f3	SAT	0.33
irst.dme4.B-f2	SAT	0.34
vis.prodcell^08.E-f2	UNSAT	0.34
vis.4-arbit^2.E-f2	SAT	0.35
vis.prodcell^11.E-f2	UNSAT	0.35
texas.PI_main^13.E-f2	SAT	0.36
texas.PI_main^14.E-f2	UNSAT	0.4
nusmv.reactor^4.C-f2	SAT	0.42
texas.parsesys^3.E-f2	SAT	0.42
nusmv.reactor^5.C-f3	UNSAT	0.42
vis.elevator^1.E-f4	UNSAT	0.45
ken.flash^06.C-f3	UNSAT	0.48
ken.flash^10.C-f3	UNSAT	0.49
nusmv.reactor^7.C-f2	SAT	0.52
nusmv.guidance^3.C-f2	SAT	0.55
vis.prodcell^04.E-f3	UNSAT	0.55
texas.parsesys^3.E-f3	SAT	0.56
vis.prodcell^03.E-f3	UNSAT	0.56
nusmv.guidance^8.C-f2	SAT	0.56
ken.flash^08.C-f3	UNSAT	0.57
nusmv.guidance^5.C-f2	SAT	0.57
nusmv.guidance^9.C-f2	SAT	0.57
eijk.S208c.S-f2	SAT	0.58
nusmv.guidance^2.C-f2	SAT	0.62
texas.parsesys^1.E-f3	SAT	0.62
vis.prodcell^06.E-f3	UNSAT	0.64
texas.two_proc^4.E-f2	SAT	0.64
vis.prodcell^21.E-f3	UNSAT	0.65
eijk.bs3271.S-f2	SAT	0.7
eijk.S344.S-f4	SAT	0.7
nusmv.reactor^5.C-f4	UNSAT	0.71
ken.flash^06.C-f4	UNSAT	0.72
ken.flash^03.C-f2	UNSAT	0.72
ken.flash^10.C-f4	UNSAT	0.73
nusmv.reactor^6.C-f2	SAT	0.75
nusmv.guidance^7.C-f2	SAT	0.75
nusmv.syncarb5^2.B-f2	SAT	0.86
vis.prodcell^01.E-f4	UNSAT	0.87
ken.flash^08.C-f4	UNSAT	0.88
vis.prodcell^03.E-f4	UNSAT	0.88
vis.prodcell^09.E-f3	UNSAT	0.9
vis.prodcell^04.E-f4	UNSAT	0.94
eijk.S208.S-f2	SAT	0.94
nusmv.guidance^6.C-f2	SAT	0.97
vis.prodcell^02.E-f4	UNSAT	0.98
eijk.S526.S-f4	SAT	1
texas.PI_main^14.E-f3	UNSAT	1.04
vis.prodcell^11.E-f3	UNSAT	1.05
ken.flash^09.C-f2	UNSAT	1.06
vis.prodcell^05.E-f4	UNSAT	1.07
vis.prodcell^20.E-f4	UNSAT	1.12
vis.prodcell^06.E-f4	UNSAT	1.13
vis.prodcell^21.E-f4	UNSAT	1.16
ken.flash^03.C-f3	UNSAT	1.23
nusmv.syncarb5^2.B-f3	SAT	1.28
eijk.bs3271.S-f3	SAT	1.43
eijk.S208o.S-f3	SAT	1.49
vis.arbiter.E-f2	SAT	1.6
cmu.periodic.N-f2	SAT	1.63
nusmv.syncarb5^2.B-f4	SAT	1.64
irst.dme6.B-f2	SAT	1.67
vis.prodcell^08.E-f3	UNSAT	1.76
ken.flash^09.C-f3	UNSAT	1.81
ken.flash^03.C-f4	UNSAT	1.95
vis.coherence^3.E-f2	SAT	1.99
vis.prodcell^11.E-f4	UNSAT	2.06
nusmv.guidance^4.C-f2	SAT	2.27
nusmv.reactor^2.C-f2	SAT	2.51
vis.coherence^1.E-f2	SAT	2.67
vis.prodcell^08.E-f4	UNSAT	2.67
vis.prodcell^09.E-f4	UNSAT	2.82
ken.flash^09.C-f4	UNSAT	2.84
nusmv.dme2-16.B-f2	SAT	2.85
eijk.S444.S-f3	SAT	3.03
texas.parsesys^2.E-f2	UNSAT	3.15
nusmv.reactor^3.C-f2	SAT	3.35
eijk.S349.S-f4	SAT	3.9
texas.parsesys^1.E-f4	SAT	4
ken.flash^02.C-f2	SAT	4.14
vis.eisenberg.E-f3	SAT	4.19
eijk.S208o.S-f4	SAT	4.63
vis.coherence^2.E-f2	SAT	5.88
eijk.S298.S-f3	SAT	5.96
nusmv.tcas-t^6.B-f2	SAT	6.56
vis.coherence^5.E-f2	SAT	9.62
vis.bakery.E-f3	SAT	10.03
vis.elevator^2.E-f2	SAT	12.22
vis.prodcell^05.E-f2	SAT	15.12
nusmv.reactor^7.C-f3	SAT	15.47
nusmv.reactor^6.C-f3	SAT	15.93
nusmv.queue.B-f2	SAT	16.09
eijk.S208c.S-f3	SAT	17.41
nusmv.reactor^4.C-f3	SAT	17.72
eijk.S820.S-f2	SAT	18.74
texas.parsesys^2.E-f3	UNSAT	19.04
texas.PI_main^05.E-f2	SAT	19.46
texas.PI_main^02.E-f2	SAT	20.85
texas.PI_main^08.E-f2	SAT	21.08
nusmv.guidance^1.C-f2	SAT	21.57
nusmv.guidance^3.C-f3	SAT	23.6
vis.prodcell^12.E-f2	SAT	24.05
vis.prodcell^16.E-f2	SAT	24.56
vis.prodcell^18.E-f2	SAT	24.58
nusmv.reactor^2.C-f3	SAT	25.25
vis.prodcell^19.E-f2	SAT	26.92
vis.arbiter.E-f3	SAT	27.52
vis.prodcell^13.E-f2	SAT	27.95
vis.prodcell^15.E-f2	SAT	28.47
vis.prodcell^17.E-f2	SAT	28.47
vis.prodcell^14.E-f2	SAT	31.28
eijk.S382.S-f3	SAT	31.94
texas.PI_main^14.E-f4	UNSAT	35.25
vis.prodcell^01.E-f2	SAT	39.09
vis.4-arbit^2.E-f3	SAT	42.16
vis.prodcell^23.E-f2	SAT	42.6
cmu.periodic.N-f3	SAT	43.01
vis.prodcell^24.E-f2	SAT	43.8
texas.parsesys^3.E-f4	SAT	46.52
vis.prodcell^20.E-f2	SAT	48.93
texas.parsesys^2.E-f4	UNSAT	51.42
vis.prodcell^03.E-f2	SAT	52.9
nusmv.guidance^6.C-f3	SAT	53.39
vis.eisenberg.E-f4	SAT	53.48
nusmv.guidance^9.C-f3	SAT	63.69
nusmv.reactor^3.C-f3	SAT	64.37
nusmv.guidance^7.C-f3	SAT	67.09
vis.prodcell^22.E-f2	SAT	74.49
vis.4-arbit^1.E-f3	SAT	77.1
texas.two_proc^6.E-f3	SAT	83.1
eijk.bs4863.S-f2	SAT	88.21
nusmv.tcas^1.B-f2	SAT	97.47
nusmv.tcas-t^1.B-f2	SAT	98.6
vis.prodcell^07.E-f2	SAT	100.52
vis.prodcell^02.E-f2	SAT	101.87
texas.two_proc^1.E-f3	SAT	102.29
texas.two_proc^3.E-f3	SAT	103.97
cmu.gigamax.B-f2	SAT	109.02
nusmv.guidance^8.C-f3	SAT	120.25
nusmv.guidance^5.C-f3	SAT	123.75
vis.prodcell^04.E-f2	SAT	130.21
ken.flash^12.C-f2	SAT	132.72
eijk.S208c.S-f4	SAT	151.9
texas.two_proc^2.E-f3	SAT	161.14
eijk.S208.S-f3	SAT	161.71
vis.prodcell^06.E-f2	SAT	164.76
nusmv.guidance^2.C-f3	SAT	171.45
vis.prodcell^20.E-f3	SAT	174.7
texas.two_proc^5.E-f3	SAT	185.44
vis.prodcell^12.E-f3	SAT	189.49
vis.prodcell^24.E-f3	SAT	199.44
vis.prodcell^22.E-f3	SAT	206.87
eijk.S832.S-f2	SAT	209.21
texas.two_proc^4.E-f3	SAT	213.6
vis.prodcell^19.E-f3	SAT	242.57
eijk.S208.S-f4	SAT	250.95
vis.prodcell^15.E-f3	SAT	280.28
vis.prodcell^13.E-f3	SAT	281.93
vis.prodcell^16.E-f3	SAT	282.38
vis.prodcell^18.E-f3	SAT	290.15
vis.prodcell^05.E-f3	SAT	317.88
ken.flash^02.C-f3	SAT	329.4
vis.prodcell^14.E-f3	SAT	338.79
vis.arbiter.E-f4	SAT	340.75
vis.prodcell^17.E-f3	SAT	371.8
vis.prodcell^23.E-f3	SAT	410.66
nusmv.guidance^4.C-f3	SAT	528.63
nusmv.tcas^2.B-f2	SAT	539.52
vis.elevator^2.E-f3	FAIL	600
ken.oop^1.C-f4	FAIL	600
nusmv.dme1-16.B-f3	FAIL	600
nusmv.guidance^4.C-f4	FAIL	600
vis.prodcell^14.E-f4	FAIL	600
vis.prodcell^22.E-f4	FAIL	600
nusmv.tcas^2.B-f4	FAIL	600
nusmv.tcas^5.B-f3	FAIL	600
nusmv.tcas-t^2.B-f2	FAIL	600
cmu.gigamax.B-f3	FAIL	600
nusmv.tcas-t^4.B-f4	FAIL	600
eijk.bs3384.S-f4	FAIL	600
eijk.S1196.S-f3	FAIL	600
eijk.S349.S-f3	FAIL	600
texas.PI_main^02.E-f4	FAIL	600
eijk.S420.S-f2	FAIL	600
texas.PI_main^08.E-f3	FAIL	600
eijk.S510.S-f4	FAIL	600
texas.PI_main^12.E-f2	FAIL	600
eijk.S641.S-f3	FAIL	600
eijk.S953.S-f4	FAIL	600
irst.dme6.B-f3	FAIL	600
texas.two_proc^6.E-f4	FAIL	600
ken.flash^05.C-f4	FAIL	600
vis.coherence^5.E-f4	FAIL	600
ken.flash^11.C-f2	FAIL	600
vis.elevator^2.E-f4	FAIL	600
vis.prodcell^01.E-f3	FAIL	600
nusmv.dme1-16.B-f4	FAIL	600
nusmv.guidance^7.C-f4	FAIL	600
nusmv.queue.B-f3	FAIL	600
vis.prodcell^17.E-f4	FAIL	600
nusmv.reactor^6.C-f4	FAIL	600
nusmv.tcas^3.B-f2	FAIL	600
nusmv.tcas^5.B-f4	FAIL	600
cmu.dme1.B-f2	FAIL	600
nusmv.tcas-t^2.B-f3	FAIL	600
cmu.gigamax.B-f4	FAIL	600
nusmv.tcas-t^5.B-f2	FAIL	600
eijk.S1196.S-f4	FAIL	600
eijk.S420.S-f3	FAIL	600
texas.PI_main^08.E-f4	FAIL	600
texas.PI_main^12.E-f3	FAIL	600
eijk.S641.S-f4	FAIL	600
texas.PI_main^15.E-f2	FAIL	600
eijk.S832.S-f3	FAIL	600
texas.two_proc^1.E-f4	FAIL	600
irst.dme6.B-f4	FAIL	600
vis.coherence^2.E-f3	FAIL	600
ken.flash^11.C-f3	FAIL	600
ken.flash^11.C-f4	FAIL	600
vis.elevator^3.E-f2	FAIL	600
ken.oop^2.C-f3	FAIL	600
nusmv.guidance^2.C-f4	FAIL	600
vis.prodcell^12.E-f4	FAIL	600
nusmv.queue.B-f4	FAIL	600
nusmv.tcas^3.B-f3	FAIL	600
nusmv.tcas^6.B-f2	FAIL	600
cmu.dme1.B-f3	FAIL	600
nusmv.tcas-t^2.B-f4	FAIL	600
nusmv.tcas-t^5.B-f3	FAIL	600
eijk.bs3271.S-f4	FAIL	600
eijk.bs4863.S-f3	FAIL	600
eijk.S1238.S-f2	FAIL	600
texas.PI_main^03.E-f3	FAIL	600
eijk.S420.S-f4	FAIL	600
texas.PI_main^12.E-f4	FAIL	600
eijk.S713.S-f2	FAIL	600
texas.PI_main^15.E-f3	FAIL	600
eijk.S832.S-f4	FAIL	600
irst.dme4.B-f3	FAIL	600
texas.two_proc^4.E-f4	FAIL	600
ken.flash^01.C-f2	FAIL	600
vis.coherence^2.E-f4	FAIL	600
vis.elevator^3.E-f3	FAIL	600
ken.oop^2.C-f4	FAIL	600
nusmv.dme2-16.B-f3	FAIL	600
vis.prodcell^07.E-f3	FAIL	600
nusmv.guidance^5.C-f4	FAIL	600
vis.prodcell^10.E-f3	FAIL	600
vis.prodcell^15.E-f4	FAIL	600
nusmv.reactor^4.C-f4	FAIL	600
vis.prodcell^23.E-f4	FAIL	600
nusmv.tcas^3.B-f4	FAIL	600
nusmv.tcas^6.B-f3	FAIL	600
cmu.dme1.B-f4	FAIL	600
nusmv.tcas-t^3.B-f2	FAIL	600
nusmv.tcas-t^5.B-f4	FAIL	600
eijk.bs3330.S-f2	FAIL	600
eijk.bs4863.S-f4	FAIL	600
eijk.S1238.S-f3	FAIL	600
eijk.S298.S-f4	FAIL	600
texas.PI_main^03.E-f4	FAIL	600
texas.PI_main^10.E-f3	FAIL	600
eijk.S713.S-f3	FAIL	600
texas.PI_main^15.E-f4	FAIL	600
eijk.S838.S-f2	FAIL	600
irst.dme4.B-f4	FAIL	600
ken.flash^01.C-f3	FAIL	600
vis.4-arbit^1.E-f4	FAIL	600
ken.flash^04.C-f2	FAIL	600
ken.flash^12.C-f3	FAIL	600
vis.elevator^3.E-f4	FAIL	600
vis.prodcell^02.E-f3	FAIL	600
nusmv.dme2-16.B-f4	FAIL	600
vis.prodcell^07.E-f4	FAIL	600
vis.prodcell^10.E-f4	FAIL	600
nusmv.guidance^8.C-f4	FAIL	600
vis.prodcell^18.E-f4	FAIL	600
nusmv.reactor^7.C-f4	FAIL	600
nusmv.tcas^1.B-f3	FAIL	600
nusmv.tcas^4.B-f2	FAIL	600
nusmv.tcas^6.B-f4	FAIL	600
cmu.dme2.B-f2	FAIL	600
nusmv.tcas-t^3.B-f3	FAIL	600
cmu.periodic.N-f4	FAIL	600
eijk.bs3330.S-f3	FAIL	600
eijk.bs6669.S-f2	FAIL	600
eijk.S1238.S-f4	FAIL	600
texas.PI_main^01.E-f3	FAIL	600
eijk.S382.S-f4	FAIL	600
texas.PI_main^10.E-f4	FAIL	600
eijk.S5378.S-f2	FAIL	600
texas.PI_main^13.E-f3	FAIL	600
eijk.S713.S-f4	FAIL	600
eijk.S838.S-f3	FAIL	600
texas.two_proc^2.E-f4	FAIL	600
ken.flash^01.C-f4	FAIL	600
ken.flash^04.C-f3	FAIL	600
vis.bakery.E-f4	FAIL	600
ken.flash^07.C-f2	FAIL	600
vis.coherence^3.E-f3	FAIL	600
ken.flash^12.C-f4	FAIL	600
nusmv.brp.B-f3	FAIL	600
nusmv.guidance^3.C-f4	FAIL	600
vis.prodcell^13.E-f4	FAIL	600
nusmv.reactor^2.C-f4	FAIL	600
nusmv.syncarb10^2.B-f2	FAIL	600
nusmv.tcas^1.B-f4	FAIL	600
nusmv.tcas^4.B-f3	FAIL	600
cmu.dme2.B-f3	FAIL	600
nusmv.tcas-t^3.B-f4	FAIL	600
eijk.bs1512.S-f2	FAIL	600
nusmv.tcas-t^6.B-f3	FAIL	600
eijk.bs3330.S-f4	FAIL	600
eijk.bs6669.S-f3	FAIL	600
eijk.S1423.S-f2	FAIL	600
eijk.S344.S-f3	FAIL	600
texas.PI_main^01.E-f4	FAIL	600
eijk.S386.S-f2	FAIL	600
texas.PI_main^05.E-f3	FAIL	600
eijk.S444.S-f4	FAIL	600
texas.PI_main^11.E-f2	FAIL	600
eijk.S5378.S-f3	FAIL	600
texas.PI_main^13.E-f4	FAIL	600
texas.PI_main^16.E-f3	FAIL	600
eijk.S838.S-f4	FAIL	600
irst.dme5.B-f3	FAIL	600
texas.two_proc^5.E-f4	FAIL	600
ken.flash^04.C-f4	FAIL	600
ken.flash^07.C-f3	FAIL	600
vis.coherence^3.E-f4	FAIL	600
nusmv.brp.B-f4	FAIL	600
nusmv.guidance^1.C-f3	FAIL	600
nusmv.guidance^6.C-f4	FAIL	600
vis.prodcell^16.E-f4	FAIL	600
nusmv.syncarb10^2.B-f3	FAIL	600
vis.prodcell^24.E-f4	FAIL	600
nusmv.tcas^4.B-f4	FAIL	600
nusmv.tcas-t^1.B-f3	FAIL	600
cmu.dme2.B-f4	FAIL	600
nusmv.tcas-t^4.B-f2	FAIL	600
eijk.bs1512.S-f3	FAIL	600
nusmv.tcas-t^6.B-f4	FAIL	600
eijk.bs3384.S-f2	FAIL	600
eijk.bs6669.S-f4	FAIL	600
eijk.S1423.S-f3	FAIL	600
eijk.S386.S-f3	FAIL	600
texas.PI_main^05.E-f4	FAIL	600
eijk.S510.S-f2	FAIL	600
texas.PI_main^11.E-f3	FAIL	600
eijk.S5378.S-f4	FAIL	600
eijk.S820.S-f3	FAIL	600
texas.PI_main^16.E-f4	FAIL	600
eijk.S953.S-f2	FAIL	600
irst.dme5.B-f4	FAIL	600
vis.4-arbit^2.E-f4	FAIL	600
ken.flash^05.C-f2	FAIL	600
vis.coherence^1.E-f3	FAIL	600
ken.flash^07.C-f4	FAIL	600
ken.oop^1.C-f3	FAIL	600
nusmv.dme1-16.B-f2	FAIL	600
nusmv.guidance^1.C-f4	FAIL	600
nusmv.guidance^9.C-f4	FAIL	600
vis.prodcell^19.E-f4	FAIL	600
nusmv.syncarb10^2.B-f4	FAIL	600
nusmv.tcas^2.B-f3	FAIL	600
nusmv.tcas^5.B-f2	FAIL	600
nusmv.tcas-t^1.B-f4	FAIL	600
nusmv.tcas-t^4.B-f3	FAIL	600
eijk.bs1512.S-f4	FAIL	600
eijk.bs3384.S-f3	FAIL	600
eijk.S1196.S-f2	FAIL	600
eijk.S1423.S-f4	FAIL	600
texas.PI_main^02.E-f3	FAIL	600
eijk.S386.S-f4	FAIL	600
eijk.S510.S-f3	FAIL	600
texas.PI_main^11.E-f4	FAIL	600
eijk.S641.S-f2	FAIL	600
eijk.S820.S-f4	FAIL	600
eijk.S953.S-f3	FAIL	600
texas.two_proc^3.E-f4	FAIL	600
ken.flash^02.C-f4	FAIL	600
ken.flash^05.C-f3	FAIL	600
vis.coherence^1.E-f4	FAIL	600
vis.coherence^5.E-f3	FAIL	600

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances of family tipfixpoint solved by QuBE6.1
QBFEVAL'08

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances of family tipfixpoint solved by QuBE6.1 QBFEVAL'08

Instances of family tipfixpoint solved by QuBE6.1
QBFEVAL'08