Sota solver results for family NuSMV_diam
QBFEVAL'07 - Evaluation track on non-prenex non-cnf formulas.


InstanceSolverResultTime
counter4_10sKizzo-0.10-stdSAT0.08
counter4_11sKizzo-0.10-stdSAT0.07
counter4_12sKizzo-0.10-qckSAT0.12
counter4_13sKizzo-0.10-qckSAT0.17
counter4_14sKizzo-0.10-qckSAT0.18
counter4_15sKizzo-0.10-stdSAT0.2
counter4_16sKizzo-0.10-stdUNSAT0.27
counter4_2ncQuBE1.0SAT0
counter4_3EBDDRESSAT0.01
counter4_4QUANTOR_2.15SAT0.01
counter4_5ncQuBE1.0SAT0.02
counter4_6sKizzo-0.10-stdSAT0.03
counter4_7sKizzo-0.10-stdSAT0.04
counter4_8sKizzo-0.10-qckSAT0.05
counter4_9sKizzo-0.10-qckSAT0.06
counter5_16sKizzo-0.10-stdSAT0.33
counter5_2QUANTOR_2.15SAT0.01
counter5_32sKizzo-0.10-qckUNSAT5.07
counter5_33sKizzo-0.10-qckUNSAT10.52
counter5_4EBDDRESSAT0.02
counter5_8sKizzo-0.10-stdSAT0.07
counter6_16sKizzo-0.10-stdSAT0.56
counter6_2ncQuBE1.1SAT0
counter6_32sKizzo-0.10-stdSAT6.91
counter6_4sKizzo-0.10-qckSAT0.04
counter6_64sKizzo-0.10-stdUNSAT261.68
counter6_65sKizzo-0.10-stdUNSAT184.28
counter6_8sKizzo-0.10-qckSAT0.12
counter7_16sKizzo-0.10-stdSAT0.96
counter7_2EBDDRESSAT0.01
counter7_32sKizzo-0.10-stdSAT30.6
counter7_4yQuaffleSAT0.04
counter7_8sKizzo-0.10-stdSAT0.18
counter8_16sKizzo-0.10-stdSAT1.41
counter8_2ncQuBE1.1SAT0.01
counter8_32ncQuBE1.0SAT92.88
counter8_4yQuaffleSAT0.06
counter8_8sKizzo-0.10-stdSAT0.37
dme1_2ncQuBE1.0SAT4.17
dme1_3ncQuBE1.1SAT14.21
dme1_4AQME-1NNSAT24.3
dme1_5AQME-1NNSAT26.25
dme1_6Adaptive2clsQSAT95.2
dme1_7Adaptive2clsQSAT196.86
dmeSmall_2ncQuBE1.1SAT0.97
dmeSmall_4ncQuBE1.1SAT9.16
dmeSmall_8ncQuBE1.1SAT98.81
ring4_2QUANTOR_2.15SAT0.01
ring4_3EBDDRESSAT0.02
ring4_4yQuaffleSAT0.06
ring4_5yQuaffleSAT0.09
ring4_6yQuaffleSAT0.13
ring4_7sKizzo-0.10-stdUNSAT0.19
ring4_8yQuaffleUNSAT0.22
ring5_16sKizzo-0.10-stdUNSAT4.25
ring5_2EBDDRESSAT0.02
ring5_32yQuaffleUNSAT41.86
ring5_33yQuaffleUNSAT50.25
ring5_4sKizzo-0.10-stdSAT0.08
ring5_8sKizzo-0.10-stdUNSAT0.44
ring6_16sKizzo-0.10-qckUNSAT23.09
ring6_2EBDDRESSAT0.02
ring6_32yQuaffleUNSAT114.89
ring6_4ncQuBE1.0SAT0.15
ring6_64yQuaffleUNSAT536.99
ring6_8ncQuBE1.1SAT3.34
semaphore3_2QUANTOR_2.15SAT0.02
semaphore3_3ncQuBE1.0SAT0.1
semaphore3_4ncQuBE1.1UNSAT0.68
semaphore4_2yQuaffleSAT0.04
semaphore4_3ncQuBE1.0SAT0.12
semaphore4_4ncQuBE1.1UNSAT3.03
semaphore5_2yQuaffleSAT0.04
semaphore5_3ncQuBE1.0SAT0.15
semaphore5_4sKizzo-0.10-qckUNSAT9.77
semaphore6_2yQuaffleSAT0.05
semaphore6_3ncQuBE1.0SAT0.23
semaphore6_4ncQuBE1.0UNSAT54.35
semaphore_2QUANTOR_2.15SAT0.01
semaphore_3sKizzo-0.10-qckSAT0.04
semaphore_4sKizzo-0.10-stdSAT0.07
semaphore_5sKizzo-0.10-stdUNSAT0.13