Instances of family NuSMV_diam solved by AQME-1NN
QBFEVAL'07 - Evaluation track on non-prenex non-cnf formulas.

InstanceResultTime
counter7_2SAT0.46
counter5_2SAT0.46
counter4_2SAT0.47
ring6_2SAT0.47
ring5_2SAT0.48
counter6_2SAT0.49
counter8_2SAT0.5
counter4_3SAT0.5
ring4_2SAT0.51
semaphore_2SAT0.52
semaphore3_2SAT0.62
counter8_8SAT0.86
counter4_4SAT0.99
counter7_16SAT1.52
counter5_4SAT1.63
counter8_16SAT1.97
semaphore4_2SAT4.32
counter6_32SAT8.09
counter7_4SAT8.66
counter6_4SAT8.84
counter8_4SAT14.64
counter4_7SAT15.12
ring6_4SAT15.33
semaphore_4SAT15.57
ring4_4SAT15.6
counter4_8SAT15.61
semaphore6_2SAT16.49
ring5_4SAT17.03
counter4_12SAT18.07
semaphore3_3SAT18.13
counter5_8SAT18.35
counter4_11SAT18.51
ring4_5SAT18.82
counter4_9SAT19.1
dmeSmall_2SAT19.64
counter4_6SAT20.45
counter4_5SAT20.45
counter4_10SAT20.46
ring4_3SAT20.52
semaphore_3SAT20.52
semaphore5_2SAT20.65
dme1_2SAT21.97
counter4_14SAT22.29
dmeSmall_4SAT22.55
dme1_4SAT24.3
ring4_6SAT24.3
dme1_5SAT26.25
counter4_13SAT27.07
counter7_8SAT75.65
counter6_8SAT77.15
semaphore_5UNSAT78.97
semaphore4_3SAT82.71
semaphore3_4UNSAT89.53
ring4_7UNSAT92.9
ring4_8UNSAT96.19
counter4_15SAT96.79
semaphore6_3SAT97.88
semaphore5_3SAT99.15
counter4_16UNSAT99.32
ring5_8UNSAT100.01
counter5_16SAT104.7
counter6_16SAT107.94
dme1_3SAT124.27
ring6_8SAT132.48
ring5_16UNSAT137.78
counter5_32UNSAT146.3
semaphore4_4UNSAT148.94
dme1_6FAIL153.63
counter7_32SAT186.39
counter8_32SAT222.84
counter7_129FAIL370.61
counter7_128FAIL379.44
counter6_64UNSAT496.1
counter6_65UNSAT570.33
ring6_65FAIL600
dme1_8FAIL600
ring6_16FAIL600
ring6_64FAIL600
counter5_33FAIL600
dme1_7FAIL600
ring5_33FAIL600
ring5_32FAIL600
semaphore5_4FAIL600
dmeSmall_8FAIL600
counter8_257FAIL600
counter8_256FAIL600
counter7_64FAIL600
ring6_32FAIL600
counter8_64FAIL600
counter8_128FAIL600
semaphore6_4FAIL600