Instances of family tipfixpoint solved by <a href='solver_detail.php?solver=64'>AQME-1NN</a> <br> QBFEVAL'08

Instances of family tipfixpoint solved by AQME-1NN
QBFEVAL'08

Instance	Result	Time
texas.ifetch1^8.E-f2	SAT	1.02
eijk.S208o.S-f2	SAT	1.11
eijk.S298.S-f2	SAT	1.11
vis.emodel.E-f2	UNSAT	1.16
texas.ifetch1^4.E-f2	UNSAT	1.2
texas.ifetch1^1.E-f2	UNSAT	1.22
texas.ifetch1^7.E-f2	SAT	1.22
eijk.S382.S-f2	SAT	1.22
texas.ifetch1^3.E-f2	UNSAT	1.26
eijk.S444.S-f2	SAT	1.27
texas.ifetch1^5.E-f2	SAT	1.28
eijk.S344.S-f2	SAT	1.3
eijk.S526.S-f2	SAT	1.32
texas.ifetch1^2.E-f2	UNSAT	1.32
texas.ifetch1^9.E-f2	SAT	1.33
texas.ifetch1^8.E-f3	SAT	1.35
nusmv.brp.B-f2	SAT	1.39
eijk.S349.S-f2	SAT	1.42
texas.parsesys^4.E-f2	UNSAT	1.44
texas.ifetch1^7.E-f3	SAT	1.53
texas.ifetch1^1.E-f3	UNSAT	1.63
eijk.S208c.S-f2	SAT	1.63
nusmv.syncarb5^2.B-f2	SAT	1.74
texas.parsesys^3.E-f2	SAT	1.86
nusmv.syncarb5^2.B-f3	SAT	2.22
ken.oop^2.C-f2	SAT	2.39
texas.ifetch1^4.E-f3	UNSAT	2.45
texas.parsesys^4.E-f4	UNSAT	2.48
vis.elevator^1.E-f2	UNSAT	2.48
texas.ifetch1^1.E-f4	UNSAT	2.48
texas.ifetch1^3.E-f3	UNSAT	2.52
texas.two_proc^1.E-f2	SAT	2.54
vis.emodel.E-f3	UNSAT	2.57
nusmv.syncarb5^2.B-f4	SAT	2.59
ken.oop^1.C-f2	SAT	2.65
texas.two_proc^3.E-f2	SAT	2.67
texas.ifetch1^3.E-f4	UNSAT	2.69
texas.ifetch1^5.E-f4	SAT	2.7
texas.ifetch1^8.E-f4	SAT	2.71
texas.ifetch1^7.E-f4	SAT	2.71
vis.eisenberg.E-f2	SAT	2.72
texas.ifetch1^2.E-f3	UNSAT	2.74
texas.PI_main^14.E-f2	UNSAT	2.74
texas.ifetch1^5.E-f3	SAT	2.77
texas.two_proc^5.E-f2	SAT	2.78
texas.PI_main^10.E-f2	SAT	2.79
texas.two_proc^6.E-f2	SAT	2.8
vis.arbiter.E-f2	SAT	2.8
texas.ifetch1^4.E-f4	UNSAT	2.81
vis.emodel.E-f4	UNSAT	2.81
texas.ifetch1^9.E-f4	SAT	2.82
texas.PI_main^16.E-f2	SAT	2.84
texas.two_proc^2.E-f2	SAT	2.84
vis.elevator^1.E-f4	UNSAT	2.86
texas.PI_main^01.E-f2	SAT	2.89
irst.dme5.B-f2	SAT	2.92
irst.dme4.B-f2	SAT	2.92
eijk.S208o.S-f3	SAT	2.93
texas.PI_main^03.E-f2	SAT	2.93
texas.ifetch1^2.E-f4	UNSAT	2.95
nusmv.reactor^3.C-f4	UNSAT	2.96
eijk.S526.S-f3	SAT	2.98
vis.prodcell^09.E-f2	UNSAT	3
texas.parsesys^4.E-f3	UNSAT	3
nusmv.reactor^5.C-f2	UNSAT	3.02
vis.prodcell^21.E-f2	UNSAT	3.03
texas.parsesys^3.E-f3	SAT	3.03
vis.elevator^1.E-f3	UNSAT	3.06
nusmv.guidance^3.C-f2	SAT	3.1
vis.prodcell^11.E-f2	UNSAT	3.12
nusmv.reactor^5.C-f3	UNSAT	3.14
texas.parsesys^1.E-f3	SAT	3.22
nusmv.reactor^7.C-f2	SAT	3.24
texas.two_proc^4.E-f2	SAT	3.26
nusmv.guidance^9.C-f2	SAT	3.27
eijk.bs3271.S-f2	SAT	3.31
texas.PI_main^13.E-f2	SAT	3.32
nusmv.reactor^4.C-f2	SAT	3.34
ken.flash^08.C-f2	UNSAT	3.35
nusmv.guidance^5.C-f2	SAT	3.38
vis.prodcell^03.E-f3	UNSAT	3.39
vis.prodcell^09.E-f3	UNSAT	3.44
nusmv.guidance^2.C-f2	SAT	3.46
ken.flash^02.C-f2	SAT	3.46
nusmv.reactor^6.C-f2	SAT	3.5
ken.flash^10.C-f2	UNSAT	3.52
nusmv.guidance^8.C-f2	SAT	3.52
texas.PI_main^14.E-f3	UNSAT	3.53
vis.prodcell^11.E-f3	UNSAT	3.59
nusmv.guidance^7.C-f2	SAT	3.62
vis.prodcell^09.E-f4	UNSAT	3.68
vis.prodcell^21.E-f4	UNSAT	3.68
vis.prodcell^06.E-f3	UNSAT	3.76
vis.bakery.E-f2	SAT	3.78
nusmv.reactor^5.C-f4	UNSAT	3.79
vis.prodcell^04.E-f3	UNSAT	3.82
ken.flash^08.C-f4	UNSAT	3.84
ken.flash^06.C-f2	UNSAT	3.94
vis.prodcell^08.E-f3	UNSAT	4.12
eijk.S208c.S-f3	SAT	4.26
cmu.periodic.N-f2	SAT	4.28
ken.flash^10.C-f3	UNSAT	4.29
vis.prodcell^03.E-f4	UNSAT	4.31
vis.prodcell^01.E-f4	UNSAT	4.33
vis.prodcell^02.E-f4	UNSAT	4.36
eijk.bs3271.S-f3	SAT	4.4
vis.prodcell^04.E-f4	UNSAT	4.42
vis.prodcell^20.E-f4	UNSAT	4.52
eijk.S444.S-f3	SAT	4.54
texas.parsesys^2.E-f2	UNSAT	4.56
texas.PI_main^14.E-f4	UNSAT	4.59
vis.prodcell^06.E-f4	UNSAT	4.61
irst.dme6.B-f2	SAT	4.62
vis.prodcell^05.E-f4	UNSAT	4.64
ken.flash^03.C-f2	UNSAT	4.74
nusmv.tcas-t^6.B-f3	SAT	4.84
vis.coherence^3.E-f2	SAT	4.84
vis.prodcell^08.E-f4	UNSAT	5
ken.flash^10.C-f4	UNSAT	5.05
cmu.gigamax.B-f2	SAT	5.15
eijk.S1238.S-f4	UNSAT	5.2
nusmv.guidance^4.C-f2	SAT	5.22
ken.flash^09.C-f2	UNSAT	5.32
vis.coherence^1.E-f2	SAT	5.33
nusmv.dme2-16.B-f2	SAT	5.82
eijk.S208o.S-f4	SAT	5.85
eijk.S349.S-f4	SAT	6.14
nusmv.reactor^3.C-f2	SAT	6.2
texas.parsesys^3.E-f4	SAT	6.74
texas.parsesys^1.E-f4	SAT	6.75
vis.eisenberg.E-f3	SAT	7.08
texas.parsesys^1.E-f2	SAT	7.1
eijk.S298.S-f3	SAT	7.3
ken.flash^03.C-f3	UNSAT	7.3
vis.coherence^2.E-f2	SAT	8.77
ken.flash^02.C-f3	SAT	9.34
eijk.S208.S-f2	SAT	9.37
nusmv.tcas-t^6.B-f2	SAT	9.78
ken.flash^09.C-f3	UNSAT	10.69
ken.flash^06.C-f3	UNSAT	10.79
vis.coherence^5.E-f2	SAT	12.51
vis.bakery.E-f3	SAT	12.85
eijk.S208c.S-f4	SAT	15.87
nusmv.reactor^7.C-f3	SAT	18.33
nusmv.reactor^4.C-f3	SAT	20.56
eijk.S820.S-f2	SAT	21.58
texas.parsesys^2.E-f3	UNSAT	21.87
vis.4-arbit^1.E-f2	SAT	22.23
texas.PI_main^05.E-f2	SAT	22.42
texas.PI_main^02.E-f2	SAT	24.24
texas.PI_main^08.E-f2	SAT	24.59
nusmv.guidance^1.C-f2	SAT	24.63
nusmv.guidance^3.C-f3	SAT	27.31
vis.prodcell^18.E-f2	SAT	27.44
vis.prodcell^16.E-f2	SAT	27.58
nusmv.reactor^2.C-f3	SAT	28.22
vis.prodcell^19.E-f2	SAT	30
vis.arbiter.E-f3	SAT	30.59
vis.prodcell^13.E-f2	SAT	30.8
vis.prodcell^17.E-f2	SAT	31.39
vis.prodcell^15.E-f2	SAT	31.76
eijk.S382.S-f3	SAT	33.34
vis.prodcell^14.E-f2	SAT	34.3
vis.prodcell^01.E-f2	SAT	42.25
vis.4-arbit^2.E-f3	SAT	45.13
vis.prodcell^23.E-f2	SAT	45.41
cmu.periodic.N-f3	SAT	46.49
vis.prodcell^24.E-f2	SAT	46.8
ken.flash^06.C-f4	UNSAT	48.68
vis.prodcell^20.E-f2	SAT	52.35
texas.parsesys^2.E-f4	UNSAT	53.82
ken.flash^03.C-f4	UNSAT	54.71
vis.prodcell^03.E-f2	SAT	55.47
eijk.S208.S-f3	SAT	56.32
nusmv.guidance^6.C-f3	SAT	57.03
nusmv.reactor^3.C-f3	SAT	67.5
nusmv.guidance^9.C-f3	SAT	68.12
nusmv.guidance^7.C-f3	SAT	70.94
vis.prodcell^22.E-f2	SAT	77.51
eijk.S1196.S-f4	UNSAT	78.71
texas.two_proc^6.E-f3	SAT	86.42
vis.prodcell^08.E-f2	UNSAT	88.49
vis.prodcell^21.E-f3	UNSAT	88.63
ken.flash^08.C-f3	UNSAT	88.86
vis.prodcell^11.E-f4	UNSAT	90.06
ken.flash^09.C-f4	UNSAT	92.85
nusmv.reactor^2.C-f2	SAT	136.38
nusmv.guidance^6.C-f2	SAT	141.42
nusmv.reactor^6.C-f3	SAT	148.4
nusmv.queue.B-f2	SAT	153.77
vis.elevator^2.E-f2	SAT	158.09
vis.4-arbit^2.E-f2	SAT	172.16
vis.prodcell^12.E-f2	SAT	179.4
vis.prodcell^05.E-f2	SAT	189.32
vis.eisenberg.E-f4	SAT	204.32
eijk.S344.S-f4	SAT	217.19
eijk.S526.S-f4	SAT	222.35
texas.ifetch1^9.E-f3	SAT	231.01
cmu.gigamax.B-f3	UNSAT	247.38
vis.4-arbit^1.E-f3	SAT	336.21
eijk.S208.S-f4	SAT	416.85
texas.PI_main^11.E-f4	FAIL	520.26
vis.prodcell^05.E-f3	FAIL	523.83
cmu.dme1.B-f4	FAIL	526.43
texas.PI_main^02.E-f4	FAIL	532.07
texas.PI_main^08.E-f4	FAIL	532.68
cmu.dme1.B-f3	FAIL	537.25
nusmv.guidance^1.C-f3	FAIL	537.84
texas.PI_main^13.E-f4	FAIL	540.65
texas.PI_main^15.E-f4	FAIL	541.31
irst.dme4.B-f3	FAIL	541.68
texas.PI_main^16.E-f4	FAIL	542.95
eijk.S349.S-f3	FAIL	545.14
eijk.S838.S-f4	FAIL	545.78
ken.flash^12.C-f4	FAIL	547.11
nusmv.tcas^3.B-f2	FAIL	547.25
texas.PI_main^05.E-f3	FAIL	547.37
eijk.bs6669.S-f2	FAIL	547.63
irst.dme4.B-f4	FAIL	547.72
nusmv.tcas^2.B-f2	FAIL	548.26
eijk.S832.S-f2	FAIL	548.35
nusmv.guidance^5.C-f4	FAIL	548.89
cmu.dme2.B-f4	FAIL	549.27
nusmv.guidance^2.C-f3	FAIL	549.76
cmu.dme2.B-f2	FAIL	549.77
nusmv.guidance^5.C-f3	FAIL	550.07
irst.dme6.B-f3	FAIL	550.08
nusmv.tcas^5.B-f2	FAIL	550.33
eijk.bs3384.S-f2	FAIL	550.55
cmu.dme1.B-f2	FAIL	550.55
nusmv.dme1-16.B-f4	FAIL	551.18
eijk.bs1512.S-f3	FAIL	552.99
nusmv.dme1-16.B-f2	FAIL	553
nusmv.dme1-16.B-f3	FAIL	553.03
vis.prodcell^14.E-f3	FAIL	553.19
nusmv.reactor^6.C-f4	FAIL	553.25
texas.two_proc^4.E-f3	FAIL	553.95
irst.dme5.B-f3	FAIL	554.21
vis.prodcell^14.E-f4	FAIL	554.28
nusmv.reactor^7.C-f4	FAIL	554.29
eijk.S1423.S-f3	FAIL	554.3
vis.coherence^2.E-f3	FAIL	554.3
irst.dme6.B-f4	FAIL	554.43
nusmv.reactor^2.C-f4	FAIL	554.45
eijk.S420.S-f3	FAIL	554.63
eijk.bs6669.S-f4	FAIL	554.79
nusmv.tcas^2.B-f3	FAIL	554.81
texas.two_proc^3.E-f3	FAIL	554.86
eijk.S838.S-f3	FAIL	554.96
eijk.bs1512.S-f2	FAIL	555
eijk.bs6669.S-f3	FAIL	555.17
nusmv.dme2-16.B-f3	FAIL	555.17
eijk.S5378.S-f2	FAIL	555.35
vis.prodcell^24.E-f3	FAIL	555.47
eijk.bs4863.S-f4	FAIL	556.01
eijk.S953.S-f4	FAIL	556.08
nusmv.guidance^7.C-f4	FAIL	556.11
vis.prodcell^23.E-f3	FAIL	556.12
nusmv.dme2-16.B-f4	FAIL	556.19
eijk.S382.S-f4	FAIL	556.47
eijk.S713.S-f2	FAIL	556.54
eijk.S386.S-f4	FAIL	556.56
vis.4-arbit^1.E-f4	FAIL	556.6
eijk.S1423.S-f4	FAIL	556.74
eijk.S1423.S-f2	FAIL	556.79
vis.prodcell^13.E-f3	FAIL	557.01
cmu.dme2.B-f3	FAIL	557.04
eijk.bs4863.S-f2	FAIL	557.16
cmu.gigamax.B-f4	FAIL	557.44
nusmv.tcas^6.B-f2	FAIL	557.76
eijk.S344.S-f3	FAIL	558.08
nusmv.tcas-t^1.B-f3	FAIL	558.2
nusmv.queue.B-f3	FAIL	558.24
nusmv.tcas^4.B-f2	FAIL	558.25
eijk.S444.S-f4	FAIL	558.31
nusmv.guidance^8.C-f3	FAIL	558.32
irst.dme5.B-f4	FAIL	558.56
texas.two_proc^4.E-f4	FAIL	558.78
eijk.S386.S-f2	FAIL	558.84
eijk.S510.S-f3	FAIL	559.04
eijk.bs1512.S-f4	FAIL	559.18
nusmv.guidance^1.C-f4	FAIL	559.34
vis.prodcell^02.E-f2	FAIL	559.42
vis.prodcell^17.E-f4	FAIL	559.68
eijk.bs4863.S-f3	FAIL	559.79
eijk.bs3384.S-f4	FAIL	559.89
nusmv.tcas-t^6.B-f4	FAIL	560.18
vis.prodcell^17.E-f3	FAIL	560.22
eijk.S510.S-f4	FAIL	560.59
vis.prodcell^07.E-f2	FAIL	560.7
nusmv.guidance^6.C-f4	FAIL	560.87
ken.flash^01.C-f2	FAIL	560.93
eijk.bs3271.S-f4	FAIL	560.93
texas.PI_main^10.E-f3	FAIL	561.11
eijk.bs3330.S-f2	FAIL	561.16
texas.PI_main^10.E-f4	FAIL	561.16
eijk.S5378.S-f3	FAIL	561.16
texas.PI_main^16.E-f3	FAIL	561.26
eijk.S641.S-f4	FAIL	561.37
eijk.S713.S-f4	FAIL	561.45
nusmv.reactor^4.C-f4	FAIL	561.64
eijk.S5378.S-f4	FAIL	561.78
nusmv.tcas^4.B-f3	FAIL	562.26
nusmv.tcas^5.B-f3	FAIL	562.33
vis.prodcell^07.E-f4	FAIL	562.48
ken.oop^2.C-f3	FAIL	562.97
vis.prodcell^18.E-f4	FAIL	563.08
eijk.bs3330.S-f3	FAIL	563.13
nusmv.guidance^3.C-f4	FAIL	563.18
vis.prodcell^06.E-f2	FAIL	563.33
nusmv.guidance^2.C-f4	FAIL	563.38
ken.oop^1.C-f3	FAIL	563.51
ken.flash^04.C-f2	FAIL	563.56
texas.PI_main^12.E-f4	FAIL	563.95
texas.PI_main^05.E-f4	FAIL	564.04
vis.prodcell^23.E-f4	FAIL	564.05
texas.two_proc^3.E-f4	FAIL	564.23
eijk.S298.S-f4	FAIL	564.29
nusmv.tcas^3.B-f3	FAIL	564.36
nusmv.guidance^4.C-f3	FAIL	564.38
nusmv.queue.B-f4	FAIL	564.44
eijk.bs3384.S-f3	FAIL	564.54
texas.two_proc^2.E-f4	FAIL	564.76
texas.two_proc^5.E-f3	FAIL	564.88
vis.coherence^2.E-f4	FAIL	564.88
eijk.S953.S-f3	FAIL	564.92
vis.prodcell^10.E-f3	FAIL	565.08
vis.prodcell^16.E-f4	FAIL	565.53
vis.prodcell^19.E-f4	FAIL	565.66
vis.coherence^3.E-f4	FAIL	565.68
vis.coherence^5.E-f4	FAIL	565.8
vis.prodcell^12.E-f4	FAIL	565.85
vis.prodcell^22.E-f4	FAIL	565.92
vis.prodcell^07.E-f3	FAIL	566.69
vis.prodcell^10.E-f4	FAIL	566.7
vis.prodcell^18.E-f3	FAIL	566.8
vis.prodcell^02.E-f3	FAIL	567.27
nusmv.tcas-t^1.B-f4	FAIL	567.31
nusmv.brp.B-f3	FAIL	567.37
ken.flash^07.C-f2	FAIL	567.38
texas.PI_main^11.E-f3	FAIL	567.41
vis.prodcell^15.E-f4	FAIL	567.47
texas.two_proc^1.E-f4	FAIL	567.53
vis.prodcell^16.E-f3	FAIL	567.66
nusmv.tcas^6.B-f3	FAIL	567.77
vis.prodcell^01.E-f3	FAIL	567.92
vis.prodcell^24.E-f4	FAIL	567.94
vis.elevator^2.E-f4	FAIL	567.98
nusmv.tcas-t^4.B-f2	FAIL	568.04
vis.prodcell^12.E-f3	FAIL	568.17
nusmv.tcas^3.B-f4	FAIL	568.28
nusmv.tcas^1.B-f2	FAIL	568.37
eijk.bs3330.S-f4	FAIL	568.5
nusmv.guidance^9.C-f4	FAIL	568.63
vis.prodcell^15.E-f3	FAIL	568.87
vis.coherence^5.E-f3	FAIL	569.07
vis.prodcell^19.E-f3	FAIL	569.16
nusmv.tcas-t^1.B-f2	FAIL	569.17
vis.prodcell^22.E-f3	FAIL	569.2
texas.PI_main^08.E-f3	FAIL	569.27
vis.coherence^1.E-f4	FAIL	569.68
eijk.S641.S-f2	FAIL	569.8
vis.prodcell^20.E-f3	FAIL	569.88
nusmv.tcas-t^3.B-f2	FAIL	570.25
texas.two_proc^2.E-f3	FAIL	570.43
nusmv.guidance^8.C-f4	FAIL	570.56
nusmv.guidance^4.C-f4	FAIL	570.61
vis.4-arbit^2.E-f4	FAIL	570.68
vis.coherence^1.E-f3	FAIL	571.08
texas.PI_main^01.E-f4	FAIL	571.28
texas.PI_main^03.E-f4	FAIL	571.56
nusmv.tcas^2.B-f4	FAIL	571.58
vis.prodcell^13.E-f4	FAIL	573.05
nusmv.tcas-t^2.B-f2	FAIL	573.3
texas.PI_main^15.E-f3	FAIL	573.74
eijk.S713.S-f3	FAIL	574.18
nusmv.tcas^6.B-f4	FAIL	574.23
texas.PI_main^01.E-f3	FAIL	574.4
vis.prodcell^04.E-f2	FAIL	574.52
ken.flash^12.C-f3	FAIL	574.84
ken.flash^02.C-f4	FAIL	575
nusmv.tcas-t^2.B-f3	FAIL	575.08
nusmv.tcas^4.B-f4	FAIL	575.4
nusmv.tcas^5.B-f4	FAIL	575.7
eijk.S641.S-f3	FAIL	575.96
nusmv.tcas-t^3.B-f4	FAIL	576.01
eijk.S420.S-f2	FAIL	576.1
eijk.S820.S-f4	FAIL	576.62
cmu.periodic.N-f4	FAIL	577.24
vis.coherence^3.E-f3	FAIL	577.39
nusmv.tcas^1.B-f4	FAIL	577.51
nusmv.tcas-t^2.B-f4	FAIL	577.89
texas.PI_main^13.E-f3	FAIL	578
texas.two_proc^5.E-f4	FAIL	579.34
vis.elevator^3.E-f4	FAIL	579.53
nusmv.tcas-t^4.B-f4	FAIL	579.58
nusmv.tcas-t^5.B-f4	FAIL	579.62
texas.PI_main^02.E-f3	FAIL	580
texas.two_proc^6.E-f4	FAIL	580.04
eijk.S953.S-f2	FAIL	580.27
texas.PI_main^15.E-f2	FAIL	580.55
texas.PI_main^12.E-f2	FAIL	581.4
nusmv.tcas-t^5.B-f2	FAIL	581.49
nusmv.tcas^1.B-f3	FAIL	581.96
eijk.S838.S-f2	FAIL	582.53
nusmv.syncarb10^2.B-f3	FAIL	583.77
ken.flash^11.C-f3	FAIL	584.25
eijk.S832.S-f3	FAIL	584.79
eijk.S386.S-f3	FAIL	586.07
nusmv.tcas-t^3.B-f3	FAIL	587.08
nusmv.tcas-t^5.B-f3	FAIL	588.05
ken.oop^1.C-f4	FAIL	589.77
texas.two_proc^1.E-f3	FAIL	590.39
nusmv.tcas-t^4.B-f3	FAIL	590.58
eijk.S1196.S-f3	FAIL	592.4
eijk.S510.S-f2	FAIL	593.51
eijk.S1196.S-f2	FAIL	593.71
ken.flash^05.C-f3	FAIL	594.23
vis.arbiter.E-f4	FAIL	594.53
nusmv.syncarb10^2.B-f2	FAIL	596.58
nusmv.syncarb10^2.B-f4	FAIL	596.62
vis.elevator^3.E-f2	FAIL	597.91
nusmv.brp.B-f4	FAIL	598.22
vis.bakery.E-f4	FAIL	598.27
ken.oop^2.C-f4	FAIL	598.35
eijk.S420.S-f4	FAIL	598.47
texas.PI_main^11.E-f2	FAIL	598.49
vis.elevator^2.E-f3	FAIL	598.63
vis.elevator^3.E-f3	FAIL	598.7
ken.flash^01.C-f3	FAIL	598.73
ken.flash^12.C-f2	FAIL	598.84
eijk.S820.S-f3	FAIL	599.04
ken.flash^01.C-f4	FAIL	599.44
ken.flash^07.C-f3	FAIL	599.91
ken.flash^04.C-f3	FAIL	599.97
texas.PI_main^03.E-f3	FAIL	599.99
eijk.S1238.S-f2	FAIL	600
eijk.S832.S-f4	FAIL	600
ken.flash^11.C-f4	FAIL	600
eijk.S1238.S-f3	FAIL	600
ken.flash^04.C-f4	FAIL	600
ken.flash^05.C-f2	FAIL	600
ken.flash^07.C-f4	FAIL	600
ken.flash^05.C-f4	FAIL	600
ken.flash^11.C-f2	FAIL	600
texas.PI_main^12.E-f3	FAIL	600

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances of family tipfixpoint solved by AQME-1NN
QBFEVAL'08

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances of family tipfixpoint solved by AQME-1NN QBFEVAL'08

Instances of family tipfixpoint solved by AQME-1NN
QBFEVAL'08