Instances solved by nenofex-qbfeval10
QBFEVAL'10 - Small Hard Track.

InstanceResultTime
counter_e_16FAIL34.21
counter_re_16FAIL36.73
C880.blif_0.10_0.20_0_1_inp_exactFAIL47.32
C880.blif_0.10_0.20_0_0_inp_exactFAIL48.25
C499.blif_0.10_0.20_0_0_inp_exactFAIL69.74
C880.blif_0.10_1.00_0_0_inp_exactFAIL71.48
C499.blif_0.10_0.20_0_1_out_exactFAIL76.14
C499.blif_0.10_0.20_0_0_out_exactFAIL76.64
C880.blif_0.10_1.00_0_0_out_exactFAIL85.11
C880.blif_0.10_0.20_0_1_out_exactFAIL102.99
C880.blif_0.10_0.20_0_0_out_exactFAIL103.79
test3_quant4FAIL168.38
nusmv.syncarb10^2.B-f2FAIL176.42
counter_16FAIL177.92
test3_quant_squaring4FAIL183.92
uclid-pipe2FAIL185.12
uclid-pipe3aFAIL188.4
test1_quant2FAIL189.44
k_branch_n-6FAIL193.75
test1_quant_squaring2FAIL199.46
test1_quant3FAIL214.74
test4_quant2FAIL224.89
sortnetsort10.v.stepl.007SAT250
test4_quant4FAIL276.33
test4_quant_squaring4FAIL292.62
test1_quant_squaring3FAIL303.83
eijk.S713.S-f2FAIL321.91
counter_r_16FAIL332.49
cmu.dme1.B-f3FAIL334.4
k_branch_n-7FAIL340.31
nusmv.syncarb10^2.B-f3FAIL353.56
test4_quant_squaring2FAIL391.47
cmu.dme1.B-f2FAIL411.41
eijk.S641.S-f2FAIL416.23
eijk.S344.S-f3FAIL446.7
cmu.dme2.B-f2FAIL447.76
ken.oop^1.C-d2FAIL455.44
eijk.S420.S-f2FAIL530.61
eijk.S298.S-f4FAIL534.21
eijk.S349.S-f3FAIL602.76
nusmv.syncarb10^2.B-f4FAIL732.55
sortnetsort7.AE.stepl.005FAIL732.94
eijk.S386.S-f2FAIL772.25
stmt38_943_942FAIL975.91
ii8a3-90FAIL1054.34
stmt1_629_630FAIL1805.84
ii32c1-00FAIL2574.56
sortnetsort9.v.stepl.006UNSAT14932.9
sortnetsort10.v.stepl.006UNSAT15011.3
k5_2_2FAIL43200