ghostq-plain results solving families - 2016

Family# Total# Sat# UnsatTime
Abduction70445559.79
Adder93247391.47
blackbox-01X-QBF68520334.48
blackbox_design761071.81
Blocks8837882.26
BMC772233633.53
bomb48319245.9
C4327335556.97
C499763220648.57
C5315803217499.13
C628877234850.34
C88078264535.66
Chain8210359.88
circuits69137785.89
conformant_planning795127312.85
Connect464614963.65
Counter52615308.32
Debug8235507.55
DFlipFlop7394520.45
dungeon55319491.73
evader-pursuer-4x4-logarithmic597548.74
evader-pursuer-4x4-standard6418518.46
evader-pursuer-6x6-logarithmic67316429.92
evader-pursuer-6x6-standard6635521.55
evader-pursuer-8x8-logarithmic72320013.46
FPGA_PLB_FIT_FAST3841548.42
FPGA_PLB_FIT_SLOW25110828.2
fpu47105583.32
Generalized-Tic-Tac-Toe48184132.72
HardwareFixpoint5630537.4
Impl74105.53
incrementer-encoder52615687.3
irqlkeapclte8148597.78
ISCAS8932416067.01
ITC99422111182.03
jmc_quant_squaring9556604.34
k_branch_n75430771.73
k_branch_p82337150.11
k_d4_n731099.91
k_d4_p721032.57
k_dum_n661016.2
k_dum_p741017.73
k_grz_n681040.31
k_grz_p701034.87
k_lin_n6410692.2
k_lin_p651015.19
k_path_n671018.68
k_path_p671023.44
k_ph_n7299098.73
k_ph_p70427842.93
k_poly_n681025.81
k_poly_p641019.09
k_t4p_n7110105.6
k_t4p_p761075.85
LinearBitvectorRankingFunction6025984.42
Logn294395.37
mqm752235092.42
MutexP78140787.08
Planning-CTE38216113.59
QBF-Hardness51615949.94
qbfeval1227142274.34
Qshifter6148074.1
RankingFunctions5532990.25
Reduction-finding541516423.12
Rewriting451012.66
s119644152314.25
s126970521893.84
s2736132.84
s2987073622.47
s333072525910.91
s3866955272.15
s49962731162.11
s51059104344.7
s6415554626.24
s71373551356.34
s82070641491.71
Sorting_networks862139645.75
SzymanskiP9355770.21
term1694445.12
terminator70812096.99
tipdiam68713896.29
tipfixpoint6973310.81
ToiletA483751.25
ToiletC4819258.01
ToiletG4374.25
trafficlight-controller4572638.21
Tree74184803.53
uclid30116623.43
VonNeumann7576058.76
wmiforward70817959.08
z4ml61444.35