Instances solved by quantor-3.1
QBFEVAL'10 - Small Hard Track.

InstanceResultTime
k_branch_n-7FAIL21.31
cmu.dme1.B-f3FAIL21.6
counter_e_16FAIL21.67
test1_quant2FAIL24.3
k_branch_n-6FAIL24.31
counter_re_16FAIL25.05
uclid-pipe3aFAIL25.3
C880.blif_0.10_0.20_0_1_inp_exactFAIL25.94
C880.blif_0.10_0.20_0_0_inp_exactFAIL26.59
test1_quant_squaring3FAIL26.95
counter_r_16FAIL28.43
test1_quant_squaring2FAIL29.42
uclid-pipe2FAIL30.73
test1_quant3FAIL31.87
stmt1_629_630FAIL32.56
counter_16FAIL38.92
C880.blif_0.10_0.20_0_1_out_exactFAIL40.03
C880.blif_0.10_0.20_0_0_out_exactFAIL41.88
stmt38_943_942FAIL47.51
cmu.dme2.B-f2FAIL69.21
eijk.S420.S-f2FAIL74.27
cmu.dme1.B-f2FAIL77.1
sortnetsort7.AE.stepl.005FAIL77.77
eijk.S349.S-f3FAIL88.51
eijk.S386.S-f2FAIL124.06
ii8a3-90FAIL158.24
sortnetsort10.v.stepl.007SAT216.06
ken.oop^1.C-d2FAIL225.31
ii32c1-00FAIL295.23
eijk.S641.S-f2FAIL303.94
eijk.S713.S-f2FAIL344.79
nusmv.syncarb10^2.B-f4FAIL354.24
nusmv.syncarb10^2.B-f3FAIL390.93
eijk.S298.S-f4FAIL407.06
eijk.S344.S-f3FAIL554.91
test4_quant2FAIL647.11
test4_quant_squaring2FAIL655.47
test4_quant_squaring4FAIL1276.26
k5_2_2SAT1993.14
nusmv.syncarb10^2.B-f2FAIL3393.36
test3_quant_squaring4FAIL4142.68
C499.blif_0.10_0.20_0_0_inp_exactFAIL4623.44
sortnetsort9.v.stepl.006UNSAT5009.75
test4_quant4FAIL5791
sortnetsort10.v.stepl.006UNSAT9620.41
test3_quant4FAIL18962.6
C880.blif_0.10_1.00_0_0_inp_exactUNSAT41121.6
C499.blif_0.10_0.20_0_0_out_exactFAIL43200
C499.blif_0.10_0.20_0_1_out_exactFAIL43200
C880.blif_0.10_1.00_0_0_out_exactFAIL43200