Instances of family tipfixpoint solved by <a href='solver_detail.php?solver=45'>QUANTOR

Instances of family tipfixpoint solved by QUANTOR_hc
QBFEVAL'06

Instance	Result	Time
texas.ifetch1^4.E-f2	UNSAT	0.01
vis.emodel.E-f2	UNSAT	0.02
texas.parsesys^4.E-f2	UNSAT	0.02
texas.parsesys^3.E-f2	SAT	0.07
vis.elevator^1.E-f2	UNSAT	0.08
texas.ifetch1^8.E-f2	SAT	0.14
texas.parsesys^2.E-f2	UNSAT	0.15
vis.bakery.E-f2	UNSAT	0.21
vis.eisenberg.E-f2	SAT	0.5
texas.parsesys^1.E-f2	SAT	0.61
texas.two_proc^6.E-f2	UNSAT	2.87
nusmv.syncarb5^2.B-f2	UNSAT	3.51
texas.ifetch1^9.E-f2	SAT	3.79
nusmv.reactor^4.C-f2	FAIL	20.91
nusmv.reactor^7.C-f2	FAIL	28.08
ken.oop^1.C-f2	UNSAT	36.45
nusmv.reactor^3.C-f2	FAIL	42.01
nusmv.reactor^2.C-f2	FAIL	42.14
nusmv.reactor^6.C-f2	FAIL	54.14
cmu.dme2.B-f2	FAIL	57.33
texas.PI_main^14.E-f2	FAIL	61.47
eijk.S832.S-f2	FAIL	64.29
eijk.S444.S-f2	FAIL	65.48
eijk.S382.S-f2	FAIL	66.96
irst.dme5.B-f2	FAIL	69.21
eijk.S820.S-f2	FAIL	79.95
nusmv.reactor^5.C-f2	FAIL	81.08
texas.PI_main^11.E-f2	FAIL	105.65
irst.dme4.B-f2	FAIL	117.88
eijk.S386.S-f2	FAIL	139.95
vis.elevator^2.E-f2	FAIL	141.53
eijk.S510.S-f2	FAIL	150.17
texas.PI_main^02.E-f2	FAIL	152.49
ken.oop^2.C-f2	FAIL	153.9
eijk.S344.S-f2	FAIL	154.86
cmu.dme1.B-f2	FAIL	159.84
eijk.S641.S-f2	FAIL	165.6
eijk.S953.S-f2	FAIL	170.75
eijk.S713.S-f2	FAIL	170.77
texas.ifetch1^7.E-f2	FAIL	176.74
eijk.S838.S-f2	FAIL	196.77
eijk.S526.S-f2	FAIL	205.82
texas.ifetch1^1.E-f2	FAIL	220.15
eijk.bs1512.S-f2	FAIL	228.82
eijk.S420.S-f2	FAIL	236.59
cmu.gigamax.B-f2	FAIL	238.39
eijk.S349.S-f2	FAIL	241.97
nusmv.brp.B-f2	FAIL	255.95
irst.dme6.B-f2	FAIL	263.59
nusmv.syncarb10^2.B-f2	FAIL	307.32
eijk.S298.S-f2	FAIL	385.29
texas.two_proc^5.E-f2	FAIL	416.94
vis.coherence^5.E-f2	FAIL	468.41
texas.ifetch1^3.E-f2	FAIL	477.21
texas.two_proc^4.E-f2	FAIL	525.14
texas.two_proc^3.E-f2	FAIL	548.13
vis.elevator^3.E-f2	FAIL	553.39
texas.two_proc^2.E-f2	FAIL	598.75
texas.ifetch1^2.E-f2	FAIL	600.17
texas.two_proc^1.E-f2	FAIL	600.22
texas.PI_main^12.E-f2	FAIL	600.24
eijk.S208c.S-f2	FAIL	600.28
texas.ifetch1^5.E-f2	FAIL	600.3
vis.coherence^1.E-f2	FAIL	600.44
vis.coherence^2.E-f2	FAIL	600.62
texas.PI_main^16.E-f2	FAIL	600.7
eijk.S208.S-f2	FAIL	600.7
vis.4-arbit^1.E-f2	FAIL	600.75
eijk.S208o.S-f2	FAIL	600.78
vis.coherence^3.E-f2	FAIL	600.84
vis.4-arbit^2.E-f2	FAIL	600.88
texas.PI_main^01.E-f2	FAIL	600.91
vis.arbiter.E-f2	FAIL	600.93
texas.PI_main^10.E-f2	FAIL	600.95

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances of family tipfixpoint solved by QUANTOR_hc
QBFEVAL'06

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances of family tipfixpoint solved by QUANTOR_hc QBFEVAL'06

Instances of family tipfixpoint solved by QUANTOR_hc
QBFEVAL'06