caqe-picosat-cert results solving families - 2016

Family# Total# Sat# UnsatTime
Abduction71456723.61
Adder109243094.27
blackbox-01X-QBF74527331.26
blackbox_design7627696.45
Blocks8836755.92
BMC872135405.2
bomb51320271.14
C432733113294.65
C499763118370.43
C5315832115814.2
C62888116996.25
C88078213996.6
Chain8246018.74
circuits75141395.32
conformant_planning882139611.04
Connect468125461.42
Counter54812422.72
Debug9657600
DFlipFlop738278
dungeon7243300.41
evader-pursuer-4x4-logarithmic61228495.4
evader-pursuer-4x4-standard6537722.24
evader-pursuer-6x6-logarithmic72235960.11
evader-pursuer-6x6-standard7243200
evader-pursuer-8x8-logarithmic75237016.14
FPGA_PLB_FIT_FAST384160.94
FPGA_PLB_FIT_SLOW25110779.62
fpu47102289.09
Generalized-Tic-Tac-Toe541614047.21
HardwareFixpoint751.16
Impl74101.46
incrementer-encoder63524367.56
irqlkeapclte11126950.79
ISCAS893255699.93
ITC9951119962.34
jmc_quant_squaring11353707.83
k_branch_n85139905.67
k_branch_p9943484.46
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_n73711420.66
k_ph_p81327942.86
k_poly_n68118576.12
k_poly_p64123815.81
k_t4p_n7126807.56
k_t4p_p7621010
LinearBitvectorRankingFunction8041175.7
Logn29211400.15
mqm81522022.88
MutexP78210075.87
Planning-CTE50224616.16
QBF-Hardness59717760.64
qbfeval1227143128.53
Qshifter62131802.24
RankingFunctions6010850.41
Reduction-finding65315900.86
Rewriting45123993.2
s11964410323.53
s12697134244.41
s273613341.41
s2987025124.76
s33307325828.57
s3866915281.07
s4996231962.55
s5105925858.13
s6415513943.78
s7137320631.87
s8207027027.72
Sorting_networks1041139308.38
SzymanskiP97421847.65
term1694114498.61
terminator82117850.66
tipdiam82314928.95
tipfixpoint77217836.92
ToiletA483790.82
ToiletC48183006.71
ToiletG4371.61
trafficlight-controller4586491.88
Tree74184799.41
uclid305000.2
VonNeumann75101401.41
wmiforward73313103.07
z4ml61442.05