hiqqerfork results solving families - 2016

Family# Total# Sat# UnsatTime
Abduction70455569.87
Adder931242654.9
blackbox-01X-QBF68713450.29
blackbox_design76618013.58
Blocks883734.69
BMC775319204.76
bomb48417983.2
C43273357580.5
C499763223792.9
C5315802130637.15
C62887746200
C880782131893.47
Chain82102.09
circuits69137800.38
conformant_planning795120566.96
Connect464617176.78
Counter5287248.46
Debug8249200
DFlipFlop73109.69
dungeon55420925.97
evader-pursuer-4x4-logarithmic59761.2
evader-pursuer-4x4-standard6471855.84
evader-pursuer-6x6-logarithmic67616399.12
evader-pursuer-6x6-standard6639600
evader-pursuer-8x8-logarithmic72520979.81
FPGA_PLB_FIT_FAST38414.73
FPGA_PLB_FIT_SLOW2512415.78
fpu471058.34
Generalized-Tic-Tac-Toe48192903.82
HardwareFixpoint562220407.71
Impl74101.27
incrementer-encoder521613730.28
irqlkeapclte81239343.85
ISCAS893261125.09
ITC99421119803.55
jmc_quant_squaring952140512.72
k_branch_n7595467
k_branch_p8210287.71
k_d4_n73104.3
k_d4_p72102.89
k_dum_n66101.84
k_dum_p74102.02
k_grz_n68103.11
k_grz_p70102.73
k_lin_n641050.05
k_lin_p65102.29
k_path_n67102
k_path_p67102.19
k_ph_n7210234.55
k_ph_p70331200.34
k_poly_n68101.74
k_poly_p64101.55
k_t4p_n71103.77
k_t4p_p76103.41
LinearBitvectorRankingFunction6036000
Logn29438.91
mqm75552927.17
MutexP7874.54
Planning-CTE382115248.41
QBF-Hardness511711347.26
qbfeval122724180.15
Qshifter61665.61
RankingFunctions55102.16
Reduction-finding542514495.59
Rewriting45100.9
s1196441217843.88
s12697042000
s27361311.86
s29870523097.43
s333072334054.27
s38669559859.63
s49962428099.48
s51059425867.88
s64155516699.27
s713735220128.13
s82070331524.83
Sorting_networks861332294.06
SzymanskiP9310230.44
term1694451.22
terminator70137803.23
tipdiam68426405.07
tipfixpoint693320176.67
ToiletA48377.76
ToiletC48192186.79
ToiletG4370.73
trafficlight-controller4510210.86
Tree74281.28
uclid3018000
VonNeumann751041.11
wmiforward70102.22
z4ml61441.26