iprover-QBF results solving families - 2016

Family# Total# Sat# UnsatTime
Abduction7041325.68
Adder93328937.77
blackbox-01X-QBF68612611
blackbox_design7626312.13
Blocks8837717.43
BMC773119409.46
bomb4862.71
C432732220155.16
C499762221611.3
C5315802224643.73
C62887746139.14
C8807838934.27
Chain8210132.13
circuits69416897.53
conformant_planning793118838.04
Connect464422848.7
Counter5275651.26
Debug8216335.43
DFlipFlop73101120.2
dungeon55423299.27
evader-pursuer-4x4-logarithmic59217725.57
evader-pursuer-4x4-standard6432651.4
evader-pursuer-6x6-logarithmic6733407.59
evader-pursuer-6x6-standard6613861.4
evader-pursuer-8x8-logarithmic7238543.3
FPGA_PLB_FIT_FAST38315521.26
FPGA_PLB_FIT_SLOW2512400.81
fpu471309.68
Generalized-Tic-Tac-Toe48126152.2
HardwareFixpoint567.4
Impl74105.26
incrementer-encoder52716644.66
irqlkeapclte8142005.56
ISCAS89322112430.38
ITC99421116305.89
jmc_quant_squaring9537766.65
k_branch_n75327058.71
k_branch_p82333203.98
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_n7289750.01
k_ph_p70424574.97
k_poly_n68106887.88
k_poly_p64102261.27
k_t4p_n71126776.7
k_t4p_p76124077.52
LinearBitvectorRankingFunction6035952.5
Logn2941272.23
mqm7531288.13
MutexP7864731.69
Planning-CTE38223186.91
QBF-Hardness51223346.93
qbfeval1227142496.34
Qshifter6142697.69
RankingFunctions55120423.88
Reduction-finding541515353.92
Rewriting451043.31
s11964411870.87
s1269708920.99
s2736132177.36
s29870117676.65
s3330724360.22
s3866933406.11
s4996211578.54
s510596954.01
s6415516403.97
s7137320160.01
s8207010638.82
Sorting_networks861136106
SzymanskiP93113915.41
term1694212449.52
terminator7034540.01
tipdiam68421476.32
tipfixpoint691324967.67
ToiletA4837219.17
ToiletC4819402.58
ToiletG4372.22
trafficlight-controller4588471.24
Tree74284.45
uclid3015743.05
VonNeumann7543398.43
wmiforward70318039.59
z4ml614415.55