Instances solved by QuBE7-m
QBFEVAL'10 - Small Hard Track.

InstanceResultTime
cmu.dme1.B-f2SAT0.12
cmu.dme2.B-f2SAT0.14
nusmv.syncarb10^2.B-f2SAT0.42
test4_quant2SAT2.09
test4_quant_squaring2SAT2.11
nusmv.syncarb10^2.B-f3SAT3.7
nusmv.syncarb10^2.B-f4SAT23.69
eijk.S298.S-f4SAT51.19
eijk.S349.S-f3SAT55.45
sortnetsort7.AE.stepl.005SAT130.73
ii8a3-90SAT223.13
ii32c1-00SAT231.37
counter_16FAIL401.43
counter_e_16FAIL810.32
stmt1_629_630SAT1116.72
counter_re_16FAIL1156.95
counter_r_16FAIL1192.2
test4_quant4SAT1210.48
k_branch_n-7FAIL1703.63
k_branch_n-6FAIL3490.4
k5_2_2FAIL6076.25
test3_quant4UNSAT8776.38
C880.blif_0.10_1.00_0_0_inp_exactUNSAT9630.8
uclid-pipe3aFAIL12309.6
sortnetsort10.v.stepl.007FAIL14461.1
sortnetsort10.v.stepl.006FAIL18292.8
cmu.dme1.B-f3FAIL18850.8
test1_quant2FAIL20289.9
stmt38_943_942FAIL21345.3
test1_quant3FAIL21852.5
sortnetsort9.v.stepl.006FAIL22424.6
test1_quant_squaring3FAIL28167.8
eijk.S344.S-f3FAIL28336.3
uclid-pipe2FAIL33136.9
eijk.S713.S-f2FAIL40049
eijk.S420.S-f2FAIL43200
C499.blif_0.10_0.20_0_0_inp_exactFAIL43200
eijk.S641.S-f2FAIL43200.1
C880.blif_0.10_0.20_0_0_out_exactFAIL43200.1
test1_quant_squaring2FAIL43200.1
C880.blif_0.10_1.00_0_0_out_exactFAIL43200.1
test3_quant_squaring4FAIL43200.1
C499.blif_0.10_0.20_0_0_out_exactFAIL43200.1
C880.blif_0.10_0.20_0_0_inp_exactFAIL43200.1
C880.blif_0.10_0.20_0_1_inp_exactFAIL43200.1
C880.blif_0.10_0.20_0_1_out_exactFAIL43200.1
C499.blif_0.10_0.20_0_1_out_exactFAIL43200.1
eijk.S386.S-f2FAIL43200.1
test4_quant_squaring4FAIL43200.5
ken.oop^1.C-d2FAIL43200.7