ghostq-plain results solving families - 2016

Family# Total# Sat# UnsatTime
Abduction71446159.6
Adder109256989.25
blackbox-01X-QBF74523933.74
blackbox_design761071.81
Blocks8837882.26
BMC872239627.73
bomb51320740.24
C4327335556.97
C499763220648.57
C5315833219299.26
C628881237249.88
C88078264535.66
Chain8210359.88
circuits75141384.35
conformant_planning795127312.85
Connect468616871.04
Counter54616508.04
Debug9642169.37
DFlipFlop7394520.45
dungeon72326373.25
evader-pursuer-4x4-logarithmic617580.98
evader-pursuer-4x4-standard6518744.58
evader-pursuer-6x6-logarithmic72317845.76
evader-pursuer-6x6-standard7239044.42
evader-pursuer-8x8-logarithmic75320799.33
FPGA_PLB_FIT_FAST3841548.42
FPGA_PLB_FIT_SLOW25110828.2
fpu47105583.32
Generalized-Tic-Tac-Toe54185699.98
HardwareFixpoint7541223.38
Impl74105.53
incrementer-encoder63622286.11
irqlkeapclte11166596.91
ISCAS8932416067.01
ITC99512114206
jmc_quant_squaring11367316.37
k_branch_n85436770.63
k_branch_p99347348.28
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_n7399698.54
k_ph_p81434441.64
k_poly_n681025.81
k_poly_p641019.09
k_t4p_n7110105.6
k_t4p_p761075.85
LinearBitvectorRankingFunction8034627.16
Logn294395.37
mqm812238691.88
MutexP78140787.08
Planning-CTE50222751.47
QBF-Hardness59620748.82
qbfeval1227142274.34
Qshifter6248370.93
RankingFunctions6035989.5
Reduction-finding651523021.23
Rewriting451012.66
s119644152314.25
s126971522493.65
s2736132.84
s2987073622.47
s333073526510.73
s3866955272.15
s49962731162.11
s51059104344.7
s6415554626.24
s71373551356.34
s82070641491.71
Sorting_networks1042150443.73
SzymanskiP9758168.67
term1694445.12
terminator82815971.85
tipdiam82718724.71
tipfixpoint7773350.13
ToiletA483751.25
ToiletC4819258.01
ToiletG4374.25
trafficlight-controller4572638.21
Tree74184803.53
uclid30116623.43
VonNeumann7576058.76
wmiforward73819759.41
z4ml61444.35