Instances of family tipfixpoint solved by <a href='solver_detail.php?solver=43'>preQuantor</a> <br> QBFEVAL'06

Instances of family tipfixpoint solved by preQuantor
QBFEVAL'06

Instance	Result	Time
texas.parsesys^4.E-f2	UNSAT	0.01
texas.ifetch1^4.E-f2	UNSAT	0.01
vis.emodel.E-f2	UNSAT	0.01
vis.elevator^1.E-f2	UNSAT	0.02
texas.ifetch1^1.E-f2	UNSAT	0.02
nusmv.reactor^5.C-f2	UNSAT	0.12
texas.ifetch1^8.E-f2	SAT	0.12
texas.parsesys^3.E-f2	SAT	0.14
texas.PI_main^14.E-f2	UNSAT	0.31
texas.parsesys^1.E-f2	SAT	0.78
vis.eisenberg.E-f2	SAT	0.89
texas.PI_main^01.E-f2	SAT	1.1
vis.bakery.E-f2	SAT	1.52
nusmv.syncarb5^2.B-f2	SAT	4.13
texas.parsesys^2.E-f2	UNSAT	5.85
cmu.dme1.B-f2	FAIL	15.45
irst.dme6.B-f2	FAIL	15.58
nusmv.reactor^7.C-f2	FAIL	16.71
eijk.S526.S-f2	FAIL	16.97
cmu.dme2.B-f2	FAIL	18.73
nusmv.brp.B-f2	FAIL	18.92
nusmv.reactor^2.C-f2	FAIL	19.01
eijk.bs1512.S-f2	FAIL	19.12
eijk.S382.S-f2	FAIL	19.62
eijk.S444.S-f2	FAIL	19.73
texas.two_proc^4.E-f2	FAIL	20.03
nusmv.reactor^3.C-f2	FAIL	20.11
vis.elevator^2.E-f2	FAIL	20.43
texas.two_proc^3.E-f2	FAIL	21.33
eijk.S298.S-f2	FAIL	21.68
texas.two_proc^1.E-f2	FAIL	21.7
texas.ifetch1^2.E-f2	FAIL	22.15
ken.oop^1.C-f2	FAIL	22.29
vis.elevator^3.E-f2	FAIL	22.49
irst.dme4.B-f2	FAIL	22.77
eijk.S344.S-f2	FAIL	22.96
eijk.S386.S-f2	FAIL	23.18
nusmv.reactor^6.C-f2	FAIL	23.61
eijk.S641.S-f2	FAIL	23.87
eijk.S349.S-f2	FAIL	23.96
eijk.S832.S-f2	FAIL	24
eijk.S420.S-f2	FAIL	24.68
ken.oop^2.C-f2	FAIL	25.14
texas.ifetch1^5.E-f2	FAIL	25.41
eijk.S713.S-f2	FAIL	25.53
texas.two_proc^6.E-f2	FAIL	26.4
vis.coherence^2.E-f2	FAIL	26.93
texas.two_proc^5.E-f2	FAIL	27.61
vis.coherence^5.E-f2	FAIL	28.24
texas.two_proc^2.E-f2	FAIL	28.38
eijk.S838.S-f2	FAIL	28.41
eijk.S953.S-f2	FAIL	28.97
texas.ifetch1^9.E-f2	FAIL	29.77
texas.ifetch1^3.E-f2	FAIL	29.94
texas.PI_main^10.E-f2	FAIL	31.54
texas.PI_main^16.E-f2	FAIL	32.74
texas.PI_main^11.E-f2	FAIL	33.07
nusmv.reactor^4.C-f2	FAIL	33.18
eijk.S820.S-f2	FAIL	34.92
vis.4-arbit^2.E-f2	FAIL	36.53
texas.ifetch1^7.E-f2	FAIL	42.9
vis.4-arbit^1.E-f2	FAIL	43.72
eijk.S208.S-f2	FAIL	47.36
eijk.S208c.S-f2	FAIL	47.72
cmu.gigamax.B-f2	FAIL	51.47
irst.dme5.B-f2	FAIL	62.55
texas.PI_main^02.E-f2	FAIL	67.1
vis.arbiter.E-f2	FAIL	70.17
nusmv.syncarb10^2.B-f2	FAIL	70.79
texas.PI_main^12.E-f2	FAIL	72.66
vis.coherence^1.E-f2	FAIL	87.78
eijk.S510.S-f2	FAIL	96.44
vis.coherence^3.E-f2	FAIL	107.75
eijk.S208o.S-f2	SAT	1921.33

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances of family tipfixpoint solved by preQuantor
QBFEVAL'06

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances of family tipfixpoint solved by preQuantor QBFEVAL'06

Instances of family tipfixpoint solved by preQuantor
QBFEVAL'06