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

InstanceResultTime
counter5_2SAT0.01
counter4_2SAT0.02
counter6_2SAT0.02
counter4_3SAT0.02
counter8_16FAIL0.04
counter7_128FAIL0.04
counter7_129FAIL0.05
counter7_32FAIL0.05
ring6_64FAIL0.05
counter8_128FAIL0.05
counter7_2SAT0.05
counter8_32FAIL0.05
counter8_64FAIL0.05
counter6_64FAIL0.06
counter6_32FAIL0.06
ring4_2SAT0.06
counter7_64FAIL0.06
ring6_65FAIL0.06
dme1_8FAIL0.06
counter6_65FAIL0.06
ring6_32FAIL0.06
dme1_7FAIL0.07
dmeSmall_8FAIL0.07
dme1_5FAIL0.08
dme1_6FAIL0.08
dme1_4FAIL0.08
counter8_2SAT0.17
semaphore_2SAT0.25
counter4_4SAT0.27
ring5_2SAT0.42
ring6_2SAT2.69
counter5_4SAT3.69
counter4_5SAT4.82
ring4_3SAT6.41
semaphore3_2SAT12.59
semaphore_3SAT33.49
counter6_4SAT67.36
counter4_6SAT75.42
semaphore4_2SAT314.88
semaphore5_2FAIL600
counter8_256FAIL600
counter7_4FAIL600
counter5_8FAIL600
counter8_257FAIL600
counter5_33FAIL600
counter5_32FAIL600
semaphore5_4FAIL600
semaphore6_3FAIL600
counter5_16FAIL600
counter7_8FAIL600
counter7_16FAIL600
counter6_8FAIL600
counter6_16FAIL600
dmeSmall_2FAIL600
dmeSmall_4FAIL600
semaphore6_4FAIL600
semaphore6_2FAIL600
semaphore5_3FAIL600
counter8_4FAIL600
ring4_5FAIL600
ring4_6FAIL600
ring4_7FAIL600
ring4_8FAIL600
dme1_3FAIL600
counter4_12FAIL600
counter4_13FAIL600
counter4_14FAIL600
counter4_15FAIL600
counter4_16FAIL600
counter4_7FAIL600
counter4_9FAIL600
counter4_10FAIL600
counter4_11FAIL600
ring4_4FAIL600
semaphore_5FAIL600
semaphore_4FAIL600
counter8_8FAIL600
ring5_32FAIL600
ring5_33FAIL600
ring5_4FAIL600
ring5_8FAIL600
ring5_16FAIL600
counter4_8FAIL600
ring6_4FAIL600
ring6_8FAIL600
ring6_16FAIL600
semaphore4_4FAIL600
semaphore4_3FAIL600
semaphore3_4FAIL600
semaphore3_3FAIL600
dme1_2FAIL600