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

InstanceResultTime
counter4_2SAT0
counter4_4SAT0.01
ring4_2SAT0.01
counter6_2SAT0.01
counter4_3SAT0.01
counter5_2SAT0.01
semaphore_2SAT0.01
counter7_2SAT0.02
counter8_2SAT0.02
ring5_2SAT0.02
ring6_2SAT0.02
semaphore3_2SAT0.02
counter5_4SAT0.06
ring4_3SAT0.15
semaphore_3SAT0.15
counter4_5SAT0.16
semaphore4_2SAT0.18
semaphore5_2SAT1.45
counter6_4SAT1.73
semaphore3_3SAT4.73
counter4_6SAT5.47
semaphore6_2SAT9.75
counter4_9FAIL12.54
ring6_4FAIL13.26
ring4_7FAIL13.61
counter5_8FAIL13.67
ring4_5FAIL13.71
counter4_10FAIL13.85
semaphore6_3FAIL13.88
counter4_13FAIL14.17
ring5_8FAIL14.18
semaphore3_4FAIL14.54
semaphore5_3FAIL14.72
counter4_11FAIL15
counter7_8FAIL15.19
counter4_8FAIL15.33
semaphore5_4FAIL15.37
semaphore6_4FAIL15.55
counter4_14FAIL15.61
ring4_6FAIL15.76
counter4_12FAIL15.88
ring6_8FAIL15.88
semaphore_5FAIL16.12
counter6_8FAIL16.39
ring4_8FAIL16.41
semaphore4_4FAIL16.43
counter4_15FAIL16.87
counter4_16FAIL16.89
semaphore_4SAT17.15
ring5_16FAIL17.27
counter8_8FAIL17.66
ring5_4FAIL18.2
dmeSmall_2FAIL18.37
dme1_2FAIL19.39
counter5_33FAIL19.66
counter5_16FAIL20.05
ring5_32FAIL20.07
counter6_16FAIL20.68
counter8_4FAIL20.84
ring6_16FAIL21.81
semaphore4_3FAIL23.89
counter5_32FAIL24.34
ring5_33FAIL25.36
ring6_32FAIL26.31
counter7_16FAIL27.07
counter6_32FAIL27.91
counter8_16FAIL27.93
counter7_32FAIL30.25
ring6_65FAIL36.55
ring6_64FAIL36.76
counter8_257FAIL37.7
counter8_256FAIL37.93
counter6_64FAIL39.37
counter6_65FAIL41.38
counter7_64FAIL41.7
counter8_128FAIL46.42
dmeSmall_4FAIL47.42
counter8_32FAIL47.96
counter7_4SAT49.78
dme1_3FAIL52.78
ring4_4SAT65.36
counter8_64FAIL66.74
counter4_7FAIL71.69
counter7_128FAIL79.78
dmeSmall_8FAIL81.61
counter7_129FAIL82.61
dme1_4FAIL115.38
dme1_5FAIL119.36
dme1_6FAIL152.6
dme1_7FAIL178.42
dme1_8FAIL204.43