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

InstanceResultTime
counter4_4SAT0.74
counter4_2SAT0.74
counter4_3SAT0.75
counter6_2SAT0.75
ring6_2SAT0.76
counter7_2SAT0.76
ring4_2SAT0.77
counter4_5SAT0.77
semaphore_3SAT0.77
counter5_2SAT0.78
counter8_2SAT0.79
counter5_4SAT0.79
counter6_4SAT0.81
ring4_3SAT0.82
counter4_6SAT0.83
counter4_7SAT0.83
counter7_4SAT0.83
ring4_4SAT0.88
counter8_4SAT0.89
semaphore_2SAT0.89
counter4_8SAT0.9
counter4_9SAT0.96
semaphore_4SAT0.97
semaphore4_2SAT0.98
counter5_8SAT0.98
ring4_5SAT1.05
counter4_10SAT1.06
ring5_4SAT1.1
semaphore3_2SAT1.11
ring4_6SAT1.16
counter4_11SAT1.16
counter6_8SAT1.22
counter4_12SAT1.37
semaphore_5UNSAT1.4
semaphore3_3SAT1.5
counter7_8SAT1.52
ring4_7UNSAT1.52
counter4_13SAT1.6
counter4_14SAT1.74
ring4_8UNSAT1.83
counter4_15SAT2
counter8_8SAT2.04
ring5_2SAT2.06
counter4_16UNSAT2.92
semaphore5_2SAT2.99
ring6_4SAT3.44
semaphore3_4UNSAT4.25
ring5_8UNSAT4.39
counter5_16SAT4.48
semaphore4_3SAT5.3
counter6_16SAT7.57
counter7_16SAT13.37
counter8_16SAT20.65
semaphore6_2SAT20.81
semaphore5_3SAT21.7
semaphore6_3SAT23.62
ring5_16UNSAT25.46
counter5_33UNSAT25.88
counter5_32UNSAT26.07
counter6_32SAT28.44
ring6_8SAT31.64
dmeSmall_2FAIL40.79
ring5_33FAIL40.81
ring5_32FAIL40.82
dme1_2FAIL40.85
ring6_32FAIL40.88
dmeSmall_4FAIL40.92
counter7_32FAIL40.94
dme1_3FAIL41.01
counter8_32FAIL41.06
dme1_4FAIL41.11
dmeSmall_8FAIL41.16
dme1_5FAIL41.23
counter6_65FAIL41.23
counter6_64FAIL41.24
ring6_65FAIL41.3
ring6_64FAIL41.34
dme1_6FAIL41.38
dme1_7FAIL41.45
counter7_64FAIL41.49
dme1_8FAIL41.62
counter8_64FAIL41.86
counter7_129FAIL43.62
counter7_128FAIL43.71
counter8_128FAIL44.51
semaphore4_4UNSAT46.94
counter8_257FAIL54.42
counter8_256FAIL54.5
semaphore5_4FAIL60.75
semaphore6_4FAIL60.77
ring6_16FAIL60.8