iprover-QBF results solving families - 2016

Family# Total# Sat# UnsatTime
Abduction7141856.12
Adder109334672.29
blackbox-01X-QBF74614327.8
blackbox_design7626312.13
Blocks8837717.43
BMC873122591.56
bomb5172.2
C432732220155.16
C499762221611.3
C5315832226441.39
C62888148536.02
C8807838934.27
Chain8210132.13
circuits75419155.03
conformant_planning793118838.04
Connect468425245.58
Counter5476189.16
Debug9619849.18
DFlipFlop73101120.2
dungeon72430886.72
evader-pursuer-4x4-logarithmic61218149.3
evader-pursuer-4x4-standard6533250.62
evader-pursuer-6x6-logarithmic7236086.14
evader-pursuer-6x6-standard7214550.14
evader-pursuer-8x8-logarithmic7540121.48
FPGA_PLB_FIT_FAST38315521.26
FPGA_PLB_FIT_SLOW2512400.81
fpu471309.68
Generalized-Tic-Tac-Toe54129578.78
HardwareFixpoint759.33
Impl74105.26
incrementer-encoder63722638.6
irqlkeapclte11157508.45
ISCAS89322112430.38
ITC99511120645.11
jmc_quant_squaring11344694.69
k_branch_n85332627.16
k_branch_p99342168.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_n73810349.23
k_ph_p81430013.55
k_poly_n68106887.88
k_poly_p64102261.27
k_t4p_n71126776.7
k_t4p_p76124077.52
LinearBitvectorRankingFunction8047936.6
Logn2941272.23
mqm8134085.13
MutexP7864731.69
Planning-CTE50224456.46
QBF-Hardness59227702.11
qbfeval1227142496.34
Qshifter6242888.53
RankingFunctions60122775.92
Reduction-finding651520098.97
Rewriting451043.31
s11964411870.87
s1269718943.03
s2736132177.36
s29870117676.65
s3330734384.25
s3866933406.11
s4996211578.54
s510596954.01
s6415516403.97
s7137320160.01
s8207010638.82
Sorting_networks1041144116.63
SzymanskiP97114006.81
term1694212449.52
terminator8240038.74
tipdiam82428231.01
tipfixpoint771329382.93
ToiletA4837219.17
ToiletC4819402.58
ToiletG4372.22
trafficlight-controller4588471.24
Tree74284.45
uclid3015743.05
VonNeumann7543398.43
wmiforward73319411.61
z4ml614415.55