ghostq-plain results solving families - 2017

Family# Total# Sat# UnsatTime
Abduction98100
Adder4439600
amba816084.98
Blocks109000
BMC2724272.19
bomb1816169.22
BoundedSynthesisPetriGames425629564.53
C4993430600
C5315119900
C62884136900
C88022116226.43
Chain32323.42
circuits3228800
CombinationalEquivalence6054000
conformant_planning24115835.92
Connect41614400
Counter1311700
cycle-sched87200
Debug4641296.1
driver823624.98
dungeon2118900
evader-pursuer-4x4-logarithmic192107.39
evader-pursuer-4x4-standard4036000
evader-pursuer-6x6-logarithmic37126697.15
evader-pursuer-6x6-standard3632400
evader-pursuer-8x8-logarithmic39127525.9
fpu1223958.26
genbuf87200
HardwareFixpoint3228800
hwmcc823654.84
hyperLTL4110.28
incrementer-encoder2118900
irqlkeapclte4641400
ISCAS8965400
ITC9928119327.7
jmc_quant_squaring5145900
k_branch_n1715300
k_branch_p2825200
k_ph_n98100
k_ph_p1917100
LinearBitvectorRankingFunction3531500
ltl2aig-comp87200
LTL2DBA411900.4
LTL2DPA43600
Model_instances55147875.7
mqm1715300
mult-matrix87200
MutexP37130794.2
Planning-CTE1412523.42
QBF-Hardness1412600
QLTL_safety100385431.28
Qshifter2421600
RankingFunctions3329700
Reduction-finding1614400
s12692219800
s33301614400
Sorting_networks4136900
SzymanskiP4843200
terminator91583.74
tipdiam1715300
toy8122071.92
uclid22113721.29
VonNeumann913447.9
wmiforward1614400