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

InstanceResultTime
cmu.dme1.B-f2SAT0.43
cmu.dme2.B-f2SAT0.97
nusmv.syncarb10^2.B-f2SAT3.1
nusmv.syncarb10^2.B-f3SAT249.14
test3_quant_squaring4FAIL3296.6
test1_quant_squaring2FAIL4481.59
C880.blif_0.10_1.00_0_0_out_exactFAIL4542.93
test1_quant_squaring3FAIL5917.68
C880.blif_0.10_0.20_0_1_out_exactFAIL5951.06
C880.blif_0.10_0.20_0_0_out_exactFAIL5961.92
test1_quant3FAIL7789.94
test4_quant4FAIL7861.45
test4_quant_squaring4FAIL9359.21
test4_quant_squaring2FAIL9580.42
C499.blif_0.10_0.20_0_1_out_exactFAIL9587.65
test4_quant2FAIL9617.59
C499.blif_0.10_0.20_0_0_out_exactFAIL9782.09
test3_quant4FAIL12091.4
C880.blif_0.10_0.20_0_0_inp_exactFAIL12576.9
C880.blif_0.10_0.20_0_1_inp_exactFAIL12594.8
test1_quant2FAIL13236
counter_16FAIL14884.3
k5_2_2FAIL15367.4
C880.blif_0.10_1.00_0_0_inp_exactFAIL15528.1
counter_r_16FAIL16909.6
eijk.S713.S-f2FAIL18089.7
ken.oop^1.C-d2FAIL21117
eijk.S641.S-f2FAIL22107.8
eijk.S420.S-f2FAIL22727.7
nusmv.syncarb10^2.B-f4SAT26003.7
counter_e_16FAIL26195.1
eijk.S298.S-f4FAIL32983
eijk.S386.S-f2FAIL35454.2
C499.blif_0.10_0.20_0_0_inp_exactFAIL36423.4
eijk.S344.S-f3FAIL37934.8
cmu.dme1.B-f3FAIL40507.7
stmt38_943_942FAIL43200
stmt1_629_630FAIL43200
ii8a3-90FAIL43200
ii32c1-00FAIL43200
sortnetsort9.v.stepl.006FAIL43200
k_branch_n-7FAIL43200
sortnetsort10.v.stepl.007FAIL43200
sortnetsort10.v.stepl.006FAIL43200
uclid-pipe2FAIL43200
uclid-pipe3aFAIL43200
counter_re_16FAIL43200
eijk.S349.S-f3FAIL43200
k_branch_n-6FAIL43200
sortnetsort7.AE.stepl.005FAIL43200