GhostQ___plain_pcnf_2019 results solving families - 2020

Family# Total# Sat# UnsatTime
Adder880079200
amba250022500
arithmetic400036000
blackbox-01X-QBF12200109800
BMC790164042.73
bomb10802291.72
C5315350031500
C6288561047983.05
cycle-sched400036000
Debug940084600
disjunctive_decomposition430038700
driver340030600
dungeon440039600
evader-pursuer-6x6-logarithmic230020700
evader-pursuer-6x6-standard510045900
evader-pursuer-8x8-logarithmic310027900
formula_add351031205.16
fpu14337550.56
genbuf140012600
genpatch20314883.28
gttt-4x4_202010009000
HardwareFixpoint259123331911.92
hwmcc120010800
incrementer-encoder502340555.14
irqlkeapclte12100108900
ISCAS8913723773.91
ITC99626127241.01
jmc_quant291114634.01
jmc_quant_squaring620145412.44
k_branch_n450040500
k_branch_p510045900
k_ph_n18306428.66
k_ph_p460137494.54
LinearBitvectorRankingFunction793055084.23
ltl2aig-comp180016200
LTL2DBA120010800
LTL2DPA7006300
mqm760068400
mult-matrix350031500
Planning-CTE13800124200
QBF-Hardness600246928.12
RankingFunctions391003217.48
Reduction-finding130162357893.18
s1269410036900
s3330260023400
s8201711124.28
sketch440039600
Sorting_networks1110186271.04
SzymanskiP25022251.62
terminator85191612.61
tipdiam727118394.07
tipfixpoint79911243.52
toy301020692.64
trafficlight-controller300027000
wmiforward703045132.5