caqe-picosat results solving families - 2016

Family# Total# Sat# UnsatTime
Abduction71458009.33
Adder1151217406.51
blackbox-01X-QBF77717085.06
blackbox_design7610115.04
Blocks88366162.41
BMC912142703.71
bomb51422564.56
C432733317381.94
C499763218633.08
C5315862134298.91
C628886241191.02
C88078236004.05
Chain82107.9
circuits75141383.97
conformant_planning882139612.62
Connect468620039.58
Counter5496485.14
Debug10361752.53
DFlipFlop7396586.04
dungeon73328302.23
evader-pursuer-4x4-logarithmic61419271.93
evader-pursuer-4x4-standard6519573.32
evader-pursuer-6x6-logarithmic74332332.21
evader-pursuer-6x6-standard7729536.11
evader-pursuer-8x8-logarithmic78334607.98
FPGA_PLB_FIT_FAST384179.12
FPGA_PLB_FIT_SLOW2512665.94
fpu4710299.08
Generalized-Tic-Tac-Toe54186233.26
HardwareFixpoint812328911.71
Impl74100.38
incrementer-encoder67625117.37
irqlkeapclte12172579.48
ISCAS893261441.08
ITC99561128227.04
jmc_quant_squaring118165242.09
k_branch_n8897389.04
k_branch_p1039624.16
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_n74101407.52
k_ph_p85438472.92
k_poly_n68107.03
k_poly_p64105.17
k_t4p_n711030.22
k_t4p_p761023.98
LinearBitvectorRankingFunction8651578.33
Logn2936988.46
mqm844520184.99
MutexP78797.37
Planning-CTE552123470.88
QBF-Hardness63188105.2
qbfeval1227143092.21
Qshifter626145.79
RankingFunctions611038.27
Reduction-finding652517665.92
Rewriting45100.72
s119644149052.86
s126976334056.72
s2736136.87
s298706215249.08
s333076335875.37
s38669553883.96
s499627115911.48
s51059325818.02
s64155545019.05
s713735411033.47
s820725223657.72
Sorting_networks1103342267.46
SzymanskiP99723900.27
term169441943.34
terminator86532427.96
tipdiam86437198.05
tipfixpoint813226453.43
ToiletA483722.25
ToiletC4819853.23
ToiletG4370.2
trafficlight-controller4586586.56
Tree74280.15
uclid3017995.24
VonNeumann7510200.95
wmiforward741013.83
z4ml61441.82