Instances solved by AIGSolve
QBFEVAL'10 - Small Hard Track.

InstanceResultTime
test4_quant_squaring2UNSAT0.08
test4_quant2UNSAT0.09
nusmv.syncarb10^2.B-f2SAT0.19
test3_quant4UNSAT0.19
stmt1_629_630SAT0.19
C880.blif_0.10_1.00_0_0_out_exactUNSAT0.27
test4_quant4UNSAT0.42
C880.blif_0.10_0.20_0_1_out_exactUNSAT0.44
ken.oop^1.C-d2UNSAT0.44
C880.blif_0.10_0.20_0_0_out_exactUNSAT0.44
stmt38_943_942SAT0.48
test1_quant_squaring2SAT1.75
test1_quant2SAT1.75
C499.blif_0.10_0.20_0_0_out_exactUNSAT2.05
C499.blif_0.10_0.20_0_1_out_exactUNSAT2.33
test3_quant_squaring4UNSAT2.37
eijk.S420.S-f2SAT2.61
k_branch_n-6SAT3.75
test1_quant3SAT4.16
cmu.dme2.B-f2SAT4.52
test4_quant_squaring4UNSAT5.43
k_branch_n-7SAT5.75
eijk.S298.S-f4SAT9.1
nusmv.syncarb10^2.B-f3SAT9.44
uclid-pipe3aSAT12.09
eijk.S386.S-f2SAT12.36
C499.blif_0.10_0.20_0_0_inp_exactUNSAT13.54
eijk.S344.S-f3SAT20.31
test1_quant_squaring3SAT22.81
counter_16SAT43.47
eijk.S349.S-f3SAT46.84
C880.blif_0.10_1.00_0_0_inp_exactUNSAT53.04
counter_r_16SAT105.05
counter_e_16SAT116.17
counter_re_16SAT164.46
k5_2_2SAT187.02
cmu.dme1.B-f2SAT284.6
C880.blif_0.10_0.20_0_1_inp_exactFAIL303.88
C880.blif_0.10_0.20_0_0_inp_exactFAIL304.12
uclid-pipe2FAIL320.41
nusmv.syncarb10^2.B-f4FAIL361.02
eijk.S641.S-f2FAIL505.06
sortnetsort7.AE.stepl.005FAIL518.71
eijk.S713.S-f2FAIL873.17
sortnetsort9.v.stepl.006FAIL1278.71
cmu.dme1.B-f3FAIL2241.4
ii32c1-00FAIL2429.49
ii8a3-90FAIL4369.2
sortnetsort10.v.stepl.006FAIL4836.52
sortnetsort10.v.stepl.007FAIL10020.5