iprover-QBF results solving families - 2016

Family# Total# Sat# UnsatTime
Abduction7141856.12
Adder115336680
blackbox-01X-QBF77615186.2
blackbox_design7626312.13
Blocks8837717.43
BMC913123583.34
bomb5172.2
C432732220155.16
C499762221611.3
C5315862228239.05
C62888651532.02
C8807838934.27
Chain8210132.13
circuits75419155.03
conformant_planning793118838.04
Connect468425245.58
Counter5476189.16
Debug10321564.45
DFlipFlop73101120.2
dungeon73431039.73
evader-pursuer-4x4-logarithmic61218149.3
evader-pursuer-4x4-standard6533250.62
evader-pursuer-6x6-logarithmic7437284.58
evader-pursuer-6x6-standard7714999.64
evader-pursuer-8x8-logarithmic7841919.14
FPGA_PLB_FIT_FAST38315521.26
FPGA_PLB_FIT_SLOW2512400.81
fpu471309.68
Generalized-Tic-Tac-Toe54129578.78
HardwareFixpoint8110.57
Impl74105.26
incrementer-encoder67724836.32
irqlkeapclte12162676.08
ISCAS89322112430.38
ITC99561123013.49
jmc_quant_squaring11846876.18
k_branch_n88334239.58
k_branch_p103344446.16
k_d4_n73321240.77
k_d4_p72714193.68
k_dum_n6610971.48
k_dum_p74101075.99
k_grz_n68103703.9
k_grz_p70103040.25
k_lin_n64717188.09
k_lin_p6510396.04
k_path_n67412127.9
k_path_p67315368.91
k_ph_n74810394.28
k_ph_p85432103.86
k_poly_n68106887.88
k_poly_p64102261.27
k_t4p_n71126776.7
k_t4p_p76124077.52
LinearBitvectorRankingFunction8651531.82
Logn2941272.23
mqm8435483.63
MutexP7864731.69
Planning-CTE55225012.82
QBF-Hardness63229879.7
qbfeval1227142496.34
Qshifter6242888.53
RankingFunctions61123375.14
Reduction-finding651520098.97
Rewriting451043.31
s11964411870.87
s1269769054.14
s2736132177.36
s29870117676.65
s3330764460.15
s3866933406.11
s4996211578.54
s510596954.01
s6415516403.97
s7137320160.01
s8207210786.59
Sorting_networks1101146920.97
SzymanskiP99114052.51
term1694212449.52
terminator8641871.65
tipdiam86430186.45
tipfixpoint811331590.56
ToiletA4837219.17
ToiletC4819402.58
ToiletG4372.22
trafficlight-controller4588471.24
Tree74284.45
uclid3015743.05
VonNeumann7543398.43
wmiforward74319868.95
z4ml614415.55