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

InstanceResultTime
eijk.S208.S-d2SAT0.74
eijk.S208c.S-d3SAT0.78
texas.parsesys^1.E-d2SAT0.78
eijk.S298.S-d2SAT0.8
eijk.S510.S-d3SAT0.82
eijk.S444.S-d2SAT0.82
eijk.S386.S-d2SAT0.83
cmu.dme1.B-d2SAT0.84
vis.bakery.E-d2SAT0.84
eijk.S444.S-d4SAT0.84
eijk.S208o.S-d4SAT0.84
eijk.S208.S-d3SAT0.84
vis.eisenberg.E-d2SAT0.85
eijk.S208o.S-d3SAT0.86
eijk.S526.S-d3SAT0.86
eijk.S208c.S-d4SAT0.86
cmu.dme2.B-d2SAT0.86
eijk.S526.S-d2SAT0.86
vis.4-arbit^1.E-d2SAT0.86
eijk.S382.S-d2SAT0.87
vis.emodel.E-d2SAT0.87
eijk.S208c.S-d2SAT0.88
eijk.S208.S-d4SAT0.88
vis.eisenberg.E-d3SAT0.88
eijk.S641.S-d3SAT0.88
cmu.dme1.B-d3SAT0.88
cmu.dme1.B-d4SAT0.88
eijk.S298.S-d3SAT0.9
irst.dme5.B-d2SAT0.91
nusmv.dme1-16.B-d2SAT0.93
vis.4-arbit^1.E-d3SAT0.93
eijk.S444.S-d3SAT0.94
vis.bakery.E-d3SAT0.94
texas.ifetch1^3.E-d3SAT0.94
texas.ifetch1^3.E-d4SAT0.94
eijk.S382.S-d4SAT0.95
texas.ifetch1^1.E-d3SAT0.95
eijk.S510.S-d4SAT0.96
texas.ifetch1^1.E-d4SAT0.96
eijk.S526.S-d4SAT0.97
nusmv.dme1-16.B-d3SAT0.97
texas.parsesys^1.E-d3SAT0.97
irst.dme4.B-d2SAT0.97
eijk.S298.S-d4SAT0.98
vis.coherence^1.E-d2SAT0.98
eijk.S344.S-d2SAT0.99
eijk.S349.S-d2SAT0.99
texas.parsesys^1.E-d4SAT1
cmu.dme2.B-d3SAT1
eijk.S1423.S-d2SAT1.01
eijk.S382.S-d3SAT1.01
vis.emodel.E-d3SAT1.02
eijk.S953.S-d3SAT1.04
vis.prodcell^01.E-d2SAT1.05
nusmv.dme2-16.B-d2SAT1.06
vis.eisenberg.E-d4SAT1.07
vis.bakery.E-d4SAT1.18
eijk.bs3330.S-d2SAT1.21
nusmv.brp.B-d2SAT1.22
vis.4-arbit^1.E-d4SAT1.25
vis.emodel.E-d4SAT1.34
eijk.bs1512.S-d4SAT1.36
vis.coherence^1.E-d3SAT1.38
eijk.S1196.S-d2SAT1.4
eijk.S953.S-d4SAT1.44
eijk.S386.S-d4SAT1.44
eijk.S208o.S-d2SAT1.58
eijk.S953.S-d2SAT1.67
eijk.S420.S-d4SAT1.68
vis.arbiter.E-d4SAT1.69
eijk.S1238.S-d2SAT1.7
irst.dme6.B-d2SAT1.72
texas.ifetch1^9.E-d3SAT1.73
eijk.bs1512.S-d2SAT1.75
texas.ifetch1^9.E-d4SAT1.76
eijk.S820.S-d2SAT1.76
eijk.S1423.S-d3SAT1.79
eijk.S832.S-d2SAT1.82
eijk.S349.S-d3SAT2.05
irst.dme5.B-d3SAT2.23
nusmv.brp.B-d3SAT2.47
nusmv.brp.B-d4SAT2.53
nusmv.reactor^2.C-d2SAT2.6
eijk.S641.S-d4SAT2.68
nusmv.reactor^3.C-d2SAT2.69
cmu.periodic.N-d2SAT2.75
nusmv.reactor^5.C-d2SAT2.78
eijk.S832.S-d3SAT2.79
vis.prodcell^01.E-d3SAT2.82
vis.elevator^1.E-d3SAT2.88
nusmv.reactor^1.C-d2SAT2.98
vis.elevator^1.E-d4SAT3.06
eijk.S820.S-d3SAT3.08
nusmv.queue.B-d3SAT3.08
eijk.S1423.S-d4SAT3.1
cmu.dme2.B-d4SAT3.18
nusmv.reactor^4.C-d2SAT3.19
ken.flash^02.C-d2SAT3.23
cmu.periodic.N-d3SAT3.27
vis.prodcell^01.E-d4SAT3.28
vis.coherence^1.E-d4SAT3.4
ken.flash^13.C-d2UNSAT3.42
eijk.bs4863.S-d2SAT3.52
eijk.bs1512.S-d3SAT3.57
cmu.periodic.N-d4SAT3.68
ken.flash^06.C-d2UNSAT3.69
vis.elevator^1.E-d2SAT3.82
ken.flash^13.C-d3UNSAT3.86
irst.dme4.B-d3SAT4.19
cmu.gigamax.B-d2SAT4.19
ken.flash^02.C-d3SAT4.32
nusmv.queue.B-d4SAT4.51
eijk.S713.S-d4SAT4.57
ken.flash^06.C-d3UNSAT4.61
ken.flash^13.C-d4UNSAT4.67
eijk.S344.S-d4SAT5.43
nusmv.reactor^3.C-d3SAT5.75
nusmv.reactor^2.C-d3SAT5.96
nusmv.reactor^4.C-d3SAT6.27
nusmv.reactor^1.C-d3SAT6.28
eijk.S349.S-d4SAT6.57
ken.flash^06.C-d4UNSAT6.98
ken.flash^14.C-d3UNSAT6.99
nusmv.reactor^5.C-d3SAT7
ken.flash^12.C-d3SAT8
ken.flash^03.C-d2UNSAT8.35
nusmv.tcas^1.B-d2SAT8.47
nusmv.tcas-t^1.B-d2SAT8.84
irst.dme6.B-d3SAT10.72
irst.dme4.B-d4SAT10.79
ken.flash^14.C-d4UNSAT13.03
eijk.S1238.S-d3UNSAT16.11
nusmv.reactor^5.C-d4SAT16.94
nusmv.dme2-16.B-d3SAT18.22
nusmv.reactor^3.C-d4SAT18.55
nusmv.reactor^2.C-d4SAT19.31
nusmv.reactor^4.C-d4SAT19.33
eijk.S1238.S-d4UNSAT19.53
ken.flash^03.C-d4UNSAT22.67
ken.flash^14.C-d2UNSAT27.73
nusmv.reactor^1.C-d4SAT36.16
eijk.S1196.S-d3UNSAT37.04
eijk.S386.S-d3SAT38.17
eijk.S832.S-d4SAT65.3
ken.flash^12.C-d2SAT65.64
eijk.S820.S-d4SAT66.16
ken.flash^02.C-d4SAT71.12
eijk.S1196.S-d4UNSAT72.24
ken.flash^09.C-d2UNSAT78.95
ken.flash^10.C-d2UNSAT83.87
nusmv.queue.B-d2SAT88.33
eijk.bs6669.S-d3SAT130.99
eijk.bs6669.S-d4SAT136.18
eijk.S344.S-d3SAT155.03
eijk.bs4863.S-d3SAT170.31
ken.flash^03.C-d3UNSAT185.59
nusmv.dme1-16.B-d4SAT215.22
irst.dme6.B-d4SAT322.56
nusmv.dme2-16.B-d4FAIL540.13
ken.flash^12.C-d4FAIL547.31
nusmv.guidance^1.C-d3FAIL548.41
ken.oop^2.C-d2FAIL552.88
ken.oop^1.C-d3FAIL555.61
irst.dme5.B-d4FAIL556.42
ken.oop^1.C-d4FAIL556.83
nusmv.guidance^5.C-d3FAIL556.95
nusmv.guidance^2.C-d3FAIL556.99
eijk.bs4863.S-d4FAIL557.31
nusmv.tcas-t^1.B-d4FAIL557.51
nusmv.tcas^1.B-d4FAIL557.56
nusmv.guidance^4.C-d3FAIL557.77
nusmv.guidance^6.C-d3FAIL557.83
nusmv.guidance^1.C-d2FAIL558.8
nusmv.tcas^1.B-d3FAIL559.11
nusmv.tcas-t^1.B-d3FAIL559.84
ken.oop^2.C-d3FAIL562.02
ken.oop^1.C-d2FAIL562.28
eijk.bs3330.S-d4FAIL562.82
eijk.bs3330.S-d3FAIL565.32
ken.flash^11.C-d4FAIL569.57
nusmv.guidance^1.C-d4FAIL574.34
ken.flash^09.C-d4FAIL576.55
ken.flash^01.C-d3FAIL579.42
ken.flash^10.C-d4FAIL583.08
ken.flash^10.C-d3FAIL588.25
ken.flash^08.C-d2FAIL589.4
ken.flash^05.C-d2FAIL589.51
ken.flash^11.C-d3FAIL590.65
ken.flash^04.C-d4FAIL596.23
ken.flash^01.C-d2FAIL598.25
cmu.gigamax.B-d3FAIL598.37
cmu.gigamax.B-d4FAIL598.38
ken.oop^2.C-d4FAIL598.56
ken.flash^04.C-d2FAIL598.61
ken.flash^08.C-d3FAIL599.09
ken.flash^04.C-d3FAIL599.36
ken.flash^01.C-d4FAIL599.43
ken.flash^07.C-d4FAIL599.92
ken.flash^11.C-d2FAIL600
ken.flash^05.C-d3FAIL600
ken.flash^08.C-d4FAIL600
ken.flash^05.C-d4FAIL600
ken.flash^09.C-d3FAIL600