Instances solved by ncQuBE1.0
QBFEVAL'07 - Evaluation track on non-prenex non-cnf formulas.

InstanceResultTime
counter4_2SAT0
counter5_2SAT0.01
counter8_2SAT0.01
counter6_2SAT0.01
counter7_2SAT0.01
counter4_4SAT0.01
counter4_5SAT0.02
ring4_2SAT0.05
ring5_2SAT0.06
counter4_3SAT0.06
semaphore_2SAT0.06
ring6_2SAT0.06
semaphore_3SAT0.06
semaphore3_2SAT0.06
counter5_4SAT0.06
semaphore4_2SAT0.07
ring4_3SAT0.07
counter4_6SAT0.07
semaphore5_2SAT0.07
counter6_4SAT0.08
semaphore6_2SAT0.08
counter4_7SAT0.08
counter7_4SAT0.09
ring4_4SAT0.09
semaphore3_3SAT0.1
counter4_8SAT0.1
counter4_9SAT0.11
counter8_4SAT0.12
ring4_5SAT0.12
semaphore4_3SAT0.12
semaphore_4SAT0.13
counter4_10SAT0.13
ring5_4SAT0.14
semaphore5_3SAT0.15
ring6_4SAT0.15
counter4_11SAT0.16
counter5_8SAT0.17
counter4_12SAT0.18
ring4_6SAT0.2
semaphore_5UNSAT0.22
counter4_13SAT0.23
semaphore6_3SAT0.23
counter4_14SAT0.25
ring4_7UNSAT0.28
counter6_8SAT0.31
counter4_15SAT0.31
counter4_16UNSAT0.38
ring4_8UNSAT0.41
counter7_8SAT0.53
counter8_8SAT0.97
dmeSmall_2SAT0.98
semaphore3_4UNSAT1.04
counter5_16SAT1.1
ring5_8UNSAT1.25
counter6_16SAT2.44
semaphore4_4UNSAT3.94
dme1_2SAT4.17
counter7_16SAT4.36
ring6_8SAT5.72
counter8_16SAT8.01
dmeSmall_4SAT9.19
dme1_3SAT15.07
ring5_16UNSAT15.26
semaphore5_4UNSAT15.87
counter5_32UNSAT26.44
counter6_32SAT27.13
counter5_33UNSAT32.93
dme1_4SAT40.92
counter7_32SAT50.03
semaphore6_4UNSAT54.35
ring6_16UNSAT84.1
counter8_32SAT92.88
ring5_32UNSAT104.78
dme1_5SAT136.04
dmeSmall_8SAT194.84
ring5_33UNSAT246.6
dme1_6SAT305.22
ring6_32UNSAT401.23
dme1_7SAT485.57
counter8_64FAIL600
counter7_129FAIL600
ring6_65FAIL600
ring6_64FAIL600
counter7_128FAIL600
dme1_8FAIL600
counter8_257FAIL600
counter7_64FAIL600
counter6_64FAIL600
counter6_65FAIL600
counter8_256FAIL600
counter8_128FAIL600