caqe-minisat-cert results solving families - 2016

Family# Total# Sat# UnsatTime
Abduction7131417.05
Adder109219609.74
blackbox-01X-QBF74329414.54
blackbox_design7623383.36
Blocks8837746.63
BMC871144032.37
bomb51219919.03
C43273219962.35
C499763115478.64
C5315832111368.6
C6288818060.51
C8807826670.55
Chain8216194.21
circuits75141398.8
conformant_planning883132806.19
Connect468214360.28
Counter54711330.53
Debug9657791.12
DFlipFlop738181.25
dungeon72336136.81
evader-pursuer-4x4-logarithmic61228999.82
evader-pursuer-4x4-standard6539000
evader-pursuer-6x6-logarithmic72140351.49
evader-pursuer-6x6-standard7243200
evader-pursuer-8x8-logarithmic75141028.4
FPGA_PLB_FIT_FAST384174.54
FPGA_PLB_FIT_SLOW25110714.86
fpu47102291.32
Generalized-Tic-Tac-Toe541516576.44
HardwareFixpoint751.24
Impl74102.06
incrementer-encoder63623639.1
irqlkeapclte11117111.1
ISCAS893213557.68
ITC9951117405.98
jmc_quant_squaring11348047.58
k_branch_n85133492.41
k_branch_p9940263.78
k_d4_n73217590.22
k_d4_p72213088.58
k_dum_n6636196.87
k_dum_p74413264.6
k_grz_n6822752.92
k_grz_p70213327.26
k_lin_n6430115.92
k_lin_p651099.3
k_path_n67112821.18
k_path_p6725596.75
k_ph_n73429816.53
k_ph_p81334043.88
k_poly_n68110062.93
k_poly_p6419813.99
k_t4p_n7113365.48
k_t4p_p7622993.19
LinearBitvectorRankingFunction8011237.77
Logn294333.08
mqm81122206.24
MutexP78112425.37
Planning-CTE50225666.15
QBF-Hardness59525983.19
qbfeval1227143004.9
Qshifter62131801.62
RankingFunctions605801.98
Reduction-finding651215133.59
Rewriting45124033.89
s1196447520.51
s12697113625.31
s2736117409.59
s2987014026.99
s33307320051.2
s3866912379.05
s4996210764.09
s5105911004.33
s641559402.7
s7137312147.9
s8207012260.93
Sorting_networks1041123444.76
SzymanskiP9717344.99
term1694110070.64
terminator829997.13
tipdiam8239025.41
tipfixpoint77216036.26
ToiletA483787.17
ToiletC4819891.78
ToiletG4371.6
trafficlight-controller4577494.51
Tree74184802.28
uclid303280.15
VonNeumann75101383.29
wmiforward73311029.62
z4ml61441.58