ghostq-plain results solving families - 2017

Family# Total# Sat# UnsatTime
Abduction109000
Adder5549500
amba22117569.96
Blocks109000
BMC3228762.92
bomb2118864.09
BoundedSynthesisPetriGames1065670299.8
C4993430600
C53151311700
C62884742300
C88022116226.43
Chain32323.42
circuits3531500
CombinationalEquivalence179161100
conformant_planning24115835.92
Connect41816200
Counter1513500
cycle-sched2421600
Debug5852085.71
driver18212624.98
dungeon3027000
evader-pursuer-4x4-logarithmic212118.33
evader-pursuer-4x4-standard4136900
evader-pursuer-6x6-logarithmic44132263.5
evader-pursuer-6x6-standard4338700
evader-pursuer-8x8-logarithmic43130368.49
fpu1223958.26
genbuf2219800
HardwareFixpoint4338700
hwmcc16210854.84
hyperLTL4110.28
incrementer-encoder3329700
irqlkeapclte6659400
ISCAS8965400
ITC9940127611
jmc_quant_squaring6457600
k_branch_n2421600
k_branch_p3834200
k_ph_n109000
k_ph_p2522500
LinearBitvectorRankingFunction5347700
ltl2aig-comp1917100
LTL2DBA916400.4
LTL2DPA109000
Model_instances1171101239.25
mqm2018000
mult-matrix2421600
MutexP37130794.2
Planning-CTE2219679.66
QBF-Hardness2018000
QLTL_safety100385431.28
Qshifter2522500
RankingFunctions3632400
Reduction-finding2219800
s12692522500
s33301715300
Sorting_networks5852200
SzymanskiP4843200
terminator131843.18
tipdiam2421600
toy14127471.92
uclid22113721.29
VonNeumann913447.9
wmiforward1614400