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

InstanceResultTime
ii32c1-00SAT4.79
counter_16SAT46.76
sortnetsort10.v.stepl.007SAT118.1
eijk.S344.S-f3FAIL520.71
eijk.S349.S-f3FAIL525.93
counter_re_16FAIL526.47
counter_r_16FAIL535.21
k_branch_n-6SAT626.74
k_branch_n-7SAT730.09
test4_quant_squaring4FAIL806.42
ii8a3-90UNSAT1243.9
sortnetsort7.AE.stepl.005SAT1560.71
cmu.dme1.B-f2FAIL3652.27
cmu.dme1.B-f3FAIL4001.75
test1_quant2FAIL4072.29
k5_2_2SAT5405.53
test1_quant_squaring2FAIL5925.03
cmu.dme2.B-f2FAIL6230.67
test1_quant3FAIL6285.19
eijk.S420.S-f2SAT6439.75
test1_quant_squaring3FAIL6481.84
sortnetsort9.v.stepl.006UNSAT6516.65
sortnetsort10.v.stepl.006UNSAT7439.42
C880.blif_0.10_1.00_0_0_out_exactFAIL11083
test3_quant_squaring4FAIL11438.9
test4_quant4FAIL13681.3
test4_quant_squaring2FAIL14406.7
C880.blif_0.10_0.20_0_1_out_exactFAIL14715
C880.blif_0.10_0.20_0_0_out_exactFAIL14858.5
test4_quant2FAIL15189.9
eijk.S386.S-f2FAIL20446.7
ken.oop^1.C-d2FAIL37619.2
test3_quant4FAIL42299.8
C880.blif_0.10_0.20_0_1_inp_exactFAIL43200
C880.blif_0.10_0.20_0_0_inp_exactFAIL43200
uclid-pipe3aFAIL43200
stmt38_943_942FAIL43200
stmt1_629_630FAIL43200
nusmv.syncarb10^2.B-f4FAIL43200
nusmv.syncarb10^2.B-f3FAIL43200
nusmv.syncarb10^2.B-f2FAIL43200
C880.blif_0.10_1.00_0_0_inp_exactFAIL43200
C499.blif_0.10_0.20_0_0_inp_exactFAIL43200
eijk.S298.S-f4FAIL43200
C499.blif_0.10_0.20_0_1_out_exactFAIL43200
counter_e_16FAIL43200
C499.blif_0.10_0.20_0_0_out_exactFAIL43200
eijk.S641.S-f2FAIL43200
uclid-pipe2FAIL43200
eijk.S713.S-f2FAIL43200