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

InstanceResultTime
ii8a3-90SAT87.91
counter_r_16FAIL422.05
counter_16FAIL426.83
counter_e_16FAIL633.16
counter_re_16FAIL720.65
test4_quant_squaring2SAT737.48
sortnetsort7.AE.stepl.005SAT749.99
test3_quant4UNSAT1225.82
ii32c1-00FAIL1750.67
stmt1_629_630SAT1768.57
test4_quant2SAT2410.66
k_branch_n-7FAIL4613.35
k_branch_n-6FAIL6090.42
C499.blif_0.10_0.20_0_0_inp_exactUNSAT7553.64
sortnetsort10.v.stepl.007FAIL9017.73
nusmv.syncarb10^2.B-f4FAIL9610.12
sortnetsort10.v.stepl.006FAIL13608.5
eijk.S298.S-f4FAIL13832.3
sortnetsort9.v.stepl.006FAIL14686.5
eijk.S713.S-f2FAIL16955.5
eijk.S641.S-f2FAIL18506.4
cmu.dme1.B-f3FAIL20784.7
nusmv.syncarb10^2.B-f3FAIL24139.7
eijk.S420.S-f2SAT30777.7
C880.blif_0.10_1.00_0_0_inp_exactUNSAT35259
uclid-pipe3aFAIL37060.3
test1_quant3FAIL38321.2
test1_quant2FAIL38809.6
stmt38_943_942FAIL42255.3
test3_quant_squaring4FAIL43200
uclid-pipe2FAIL43200.1
C499.blif_0.10_0.20_0_1_out_exactFAIL43200.1
test1_quant_squaring3FAIL43200.1
C880.blif_0.10_1.00_0_0_out_exactFAIL43200.1
nusmv.syncarb10^2.B-f2FAIL43200.1
C880.blif_0.10_0.20_0_1_out_exactFAIL43200.1
test4_quant4FAIL43200.1
C880.blif_0.10_0.20_0_0_out_exactFAIL43200.1
C499.blif_0.10_0.20_0_0_out_exactFAIL43200.1
test1_quant_squaring2FAIL43200.1
C880.blif_0.10_0.20_0_0_inp_exactFAIL43200.1
ken.oop^1.C-d2FAIL43200.1
cmu.dme1.B-f2FAIL43200.1
cmu.dme2.B-f2FAIL43200.1
test4_quant_squaring4FAIL43200.1
eijk.S344.S-f3FAIL43200.1
eijk.S349.S-f3FAIL43200.1
eijk.S386.S-f2FAIL43200.1
k5_2_2FAIL43200.1
C880.blif_0.10_0.20_0_1_inp_exactFAIL43200.2