caqe-minisat-cert results solving families - 2016

Family# Total# Sat# UnsatTime
Abduction7030817.05
Adder93216239.88
blackbox-01X-QBF68325814.54
blackbox_design7623383.36
Blocks8837746.63
BMC771138022.73
bomb48218119.31
C43273219962.35
C499763115478.64
C5315802111072.06
C6288777624.44
C8807826670.55
Chain8216194.21
circuits69137798.8
conformant_planning883132806.19
Connect464212757.33
Counter52710429.14
Debug8249369.91
DFlipFlop738181.25
dungeon55325936.81
evader-pursuer-4x4-logarithmic59227799.82
evader-pursuer-4x4-standard6438400
evader-pursuer-6x6-logarithmic67137351.49
evader-pursuer-6x6-standard6639600
evader-pursuer-8x8-logarithmic72139228.4
FPGA_PLB_FIT_FAST384174.54
FPGA_PLB_FIT_SLOW25110714.86
fpu47102291.32
Generalized-Tic-Tac-Toe481513656.4
HardwareFixpoint560.97
Impl74102.06
incrementer-encoder52617003.16
irqlkeapclte8112472.02
ISCAS893213557.68
ITC9942113979.74
jmc_quant_squaring9540914.5
k_branch_n75127492.41
k_branch_p8232433.39
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_n72429216.53
k_ph_p70328334.32
k_poly_n68110062.93
k_poly_p6419813.99
k_t4p_n7113365.48
k_t4p_p7622993.19
LinearBitvectorRankingFunction608444.52
Logn294333.08
mqm75120831.86
MutexP78112425.37
Planning-CTE38218466.15
QBF-Hardness51521183.19
qbfeval1227143004.9
Qshifter61131201.62
RankingFunctions555317.84
Reduction-finding541212975.67
Rewriting45124033.89
s1196447520.51
s12697013427.19
s2736117409.59
s2987014026.99
s33307219818.63
s3866912379.05
s4996210764.09
s5105911004.33
s641559402.7
s7137312147.9
s8207012260.93
Sorting_networks861119411.69
SzymanskiP9315880.93
term1694110070.64
terminator708513.42
tipdiam6837069.05
tipfixpoint69213919.64
ToiletA483787.17
ToiletC4819891.78
ToiletG4371.6
trafficlight-controller4577494.51
Tree74184802.28
uclid303280.15
VonNeumann75101383.29
wmiforward70310682.22
z4ml61441.58