caqe-picosat results solving families - 2016

Family# Total# Sat# UnsatTime
Abduction70457409.63
Adder931213085.69
blackbox-01X-QBF68713161.24
blackbox_design7610115.04
Blocks88366162.41
BMC772134307.64
bomb48420800.5
C432733317381.94
C499763218633.08
C5315802130699.23
C628877235793.2
C88078236004.05
Chain82107.9
circuits69137785.4
conformant_planning882139612.62
Connect464617640.75
Counter5295884.89
Debug8249161.39
DFlipFlop7396586.04
dungeon55319967.75
evader-pursuer-4x4-logarithmic59418531.4
evader-pursuer-4x4-standard6419491.88
evader-pursuer-6x6-logarithmic67328509.06
evader-pursuer-6x6-standard6625804.14
evader-pursuer-8x8-logarithmic72331524.49
FPGA_PLB_FIT_FAST384179.12
FPGA_PLB_FIT_SLOW2512665.94
fpu4710299.08
Generalized-Tic-Tac-Toe48184508.08
HardwareFixpoint562317474.18
Impl74100.38
incrementer-encoder52616121.64
irqlkeapclte8148586.44
ISCAS893261441.08
ITC99421119831.3
jmc_quant_squaring95152369.32
k_branch_n7595553.29
k_branch_p829453.95
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_n72101269.78
k_ph_p70429477.13
k_poly_n68107.03
k_poly_p64105.17
k_t4p_n711030.22
k_t4p_p761023.98
LinearBitvectorRankingFunction6035984.79
Logn2936988.46
mqm754515822.69
MutexP78797.37
Planning-CTE382114822.34
QBF-Hardness51185557.06
qbfeval1227143092.21
Qshifter616144.92
RankingFunctions551029.28
Reduction-finding542512800.14
Rewriting45100.72
s119644149052.86
s126970330458.83
s2736136.87
s298706215249.08
s333072333476.53
s38669553883.96
s499627115911.48
s51059325818.02
s64155545019.05
s713735411033.47
s820705222892.49
Sorting_networks863329943.93
SzymanskiP93720302.07
term169441943.34
terminator70522830.92
tipdiam68426401.93
tipfixpoint693221041.25
ToiletA483722.25
ToiletC4819853.23
ToiletG4370.2
trafficlight-controller4586586.56
Tree74280.15
uclid3017995.24
VonNeumann7510200.95
wmiforward701011.59
z4ml61441.82