caqe-picosat-cert results solving families - 2016

Family# Total# Sat# UnsatTime
Abduction70456123.61
Adder93236102.07
blackbox-01X-QBF68524570.08
blackbox_design7627696.45
Blocks8836755.92
BMC772130468.74
bomb48318457.21
C432733113294.65
C499763118370.43
C5315802115220.98
C62887716010.51
C88078213996.6
Chain8246018.74
circuits69137795.32
conformant_planning882139611.04
Connect464123061.42
Counter52811231.79
Debug8249200
DFlipFlop738278
dungeon5533079.59
evader-pursuer-4x4-logarithmic59227295.4
evader-pursuer-4x4-standard6437122.24
evader-pursuer-6x6-logarithmic67232960.11
evader-pursuer-6x6-standard6639600
evader-pursuer-8x8-logarithmic72235530.6
FPGA_PLB_FIT_FAST384160.94
FPGA_PLB_FIT_SLOW25110779.62
fpu47102289.09
Generalized-Tic-Tac-Toe481610447.21
HardwareFixpoint560.92
Impl74101.46
incrementer-encoder52518838.29
irqlkeapclte8119658.51
ISCAS893255699.93
ITC9942115947.38
jmc_quant_squaring9545535.97
k_branch_n75135191.83
k_branch_p8235649.7
k_d4_n73222567.72
k_d4_p72216094.73
k_dum_n66317873.68
k_dum_p74419641.62
k_grz_n6822805.63
k_grz_p70219640.04
k_lin_n64116971.44
k_lin_p6510166.89
k_path_n67123688.41
k_path_p67220511.91
k_ph_n72711026.72
k_ph_p70323196.43
k_poly_n68118576.12
k_poly_p64123815.81
k_t4p_n7126807.56
k_t4p_p7621010
LinearBitvectorRankingFunction6031222.99
Logn29211400.15
mqm75519404.96
MutexP78210075.87
Planning-CTE38217416.16
QBF-Hardness51713536.58
qbfeval1227143128.53
Qshifter61131202.24
RankingFunctions559942.31
Reduction-finding54313167.67
Rewriting45123993.2
s11964410323.53
s12697033644.41
s273613341.41
s2987025124.76
s33307225641.47
s3866915281.07
s4996231962.55
s5105925858.13
s6415513943.78
s7137320631.87
s8207027027.72
Sorting_networks861131109.92
SzymanskiP93421138.43
term1694114498.61
terminator70115166.59
tipdiam68311582.77
tipfixpoint69215272
ToiletA483790.82
ToiletC48183006.71
ToiletG4371.61
trafficlight-controller4586491.88
Tree74184799.41
uclid305000.2
VonNeumann75101401.41
wmiforward70312583.47
z4ml61442.05