caqe-picosat results solving families - 2016

Family# Total# Sat# UnsatTime
Abduction71458009.33
Adder1091215980.99
blackbox-01X-QBF74715777.12
blackbox_design7610115.04
Blocks88366162.41
BMC872140304.85
bomb51422564.56
C432733317381.94
C499763218633.08
C5315832132499.07
C628881238192.31
C88078236004.05
Chain82107.9
circuits75141383.97
conformant_planning882139612.62
Connect468620039.58
Counter5496485.14
Debug9657555.29
DFlipFlop7396586.04
dungeon72328200.19
evader-pursuer-4x4-logarithmic61419271.93
evader-pursuer-4x4-standard6519573.32
evader-pursuer-6x6-logarithmic72331132.78
evader-pursuer-6x6-standard7227756.94
evader-pursuer-8x8-logarithmic75332808.51
FPGA_PLB_FIT_FAST384179.12
FPGA_PLB_FIT_SLOW2512665.94
fpu4710299.08
Generalized-Tic-Tac-Toe54186233.26
HardwareFixpoint752325903.45
Impl74100.38
incrementer-encoder63622718.51
irqlkeapclte11166581.22
ISCAS893261441.08
ITC99511125228.55
jmc_quant_squaring113162704.16
k_branch_n8596781.2
k_branch_p999578.33
k_d4_n731048.61
k_d4_p721014.98
k_dum_n66105.93
k_dum_p74107.15
k_grz_n681018.47
k_grz_p701014.47
k_lin_n6410116.74
k_lin_p651010.19
k_path_n67109.8
k_path_p671012.26
k_ph_n73101407.19
k_ph_p81436074.05
k_poly_n68107.03
k_poly_p64105.17
k_t4p_n711030.22
k_t4p_p761023.98
LinearBitvectorRankingFunction8047979.78
Logn2936988.46
mqm814518730.89
MutexP78797.37
Planning-CTE502120987.78
QBF-Hardness59187255.82
qbfeval1227143092.21
Qshifter626145.79
RankingFunctions601035.58
Reduction-finding652517665.92
Rewriting45100.72
s119644149052.86
s126971331058.54
s2736136.87
s298706215249.08
s333073334076.23
s38669553883.96
s499627115911.48
s51059325818.02
s64155545019.05
s713735411033.47
s820705222892.49
Sorting_networks1043339106.78
SzymanskiP97722700.87
term169441943.34
terminator82530028.7
tipdiam82434798.8
tipfixpoint773224649.37
ToiletA483722.25
ToiletC4819853.23
ToiletG4370.2
trafficlight-controller4586586.56
Tree74280.15
uclid3017995.24
VonNeumann7510200.95
wmiforward731013.27
z4ml61441.82