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

InstanceResultTime
cmu.dme1.B-f2SAT0.11
cmu.dme2.B-f2SAT0.13
nusmv.syncarb10^2.B-f2SAT0.42
test4_quant_squaring2SAT1.92
nusmv.syncarb10^2.B-f3SAT4.56
test4_quant2SAT19.24
eijk.S298.S-f4SAT34.61
nusmv.syncarb10^2.B-f4SAT48.15
sortnetsort7.AE.stepl.005SAT59.54
eijk.S349.S-f3SAT94.57
ii32c1-00SAT255.7
counter_16FAIL356.41
counter_e_16FAIL721.01
counter_re_16FAIL1098.76
stmt1_629_630SAT1290.72
counter_r_16FAIL1457.31
k_branch_n-7FAIL1706.57
test4_quant4SAT1752.08
test3_quant4UNSAT2677.97
C499.blif_0.10_0.20_0_0_inp_exactUNSAT4500.74
k_branch_n-6FAIL4972.92
k5_2_2FAIL6198.81
ii8a3-90FAIL6505.83
C880.blif_0.10_1.00_0_0_inp_exactUNSAT16466.6
sortnetsort10.v.stepl.007FAIL16888.3
cmu.dme1.B-f3FAIL19631.6
eijk.S344.S-f3FAIL21571.5
sortnetsort10.v.stepl.006FAIL22491.8
test1_quant2FAIL25718.3
sortnetsort9.v.stepl.006FAIL27919.5
test1_quant3FAIL33773.7
stmt38_943_942FAIL34314.6
eijk.S713.S-f2FAIL38105.2
test1_quant_squaring3FAIL39455.9
ken.oop^1.C-d2FAIL43200
uclid-pipe3aFAIL43200.1
C880.blif_0.10_1.00_0_0_out_exactFAIL43200.1
uclid-pipe2FAIL43200.1
C499.blif_0.10_0.20_0_1_out_exactFAIL43200.1
eijk.S641.S-f2FAIL43200.1
test1_quant_squaring2FAIL43200.1
C880.blif_0.10_0.20_0_0_out_exactFAIL43200.1
test3_quant_squaring4FAIL43200.1
test4_quant_squaring4FAIL43200.1
C880.blif_0.10_0.20_0_1_out_exactFAIL43200.1
eijk.S420.S-f2FAIL43200.1
C499.blif_0.10_0.20_0_0_out_exactFAIL43200.1
eijk.S386.S-f2FAIL43200.2
C880.blif_0.10_0.20_0_1_inp_exactFAIL43200.2
C880.blif_0.10_0.20_0_0_inp_exactFAIL43200.3