ghostq-cegar results solving families - 2017

Family# Total# Sat# UnsatTime
Abduction98100
Adder4439600
amba815460.4
Blocks10116.5
BMC2724272.64
bomb1816170.12
BoundedSynthesisPetriGames429925991.38
C49934119806.6
C5315119900
C62884136900
C8802219800
Chain3228800
circuits3228800
CombinationalEquivalence6014155744.22
conformant_planning24116703.6
Connect41614400
Counter1311700
cycle-sched87200
Debug4641294.2
driver823655.62
dungeon2118900
evader-pursuer-4x4-logarithmic1929204.17
evader-pursuer-4x4-standard4036000
evader-pursuer-6x6-logarithmic37131693.95
evader-pursuer-6x6-standard3632400
evader-pursuer-8x8-logarithmic3935100
fpu1224034.88
genbuf825139.12
HardwareFixpoint3228800
hwmcc823647.46
hyperLTL4110.28
incrementer-encoder21121703.03
irqlkeapclte46521474.55
ISCAS8965400
ITC9928213478.5
jmc_quant_squaring5145900
k_branch_n1715300
k_branch_p2825200
k_ph_n98100
k_ph_p1917100
LinearBitvectorRankingFunction3531500
ltl2aig-comp815483.36
LTL2DBA411800.7
LTL2DPA411801.94
Model_instances55443212.01
mqm1715300
mult-matrix87200
MutexP3733300
Planning-CTE1412523.63
QBF-Hardness1412600
QLTL_safety100384742.06
Qshifter2421600
RankingFunctions3329700
Reduction-finding1614400
s12692219800
s33301614400
Sorting_networks4136900
SzymanskiP4843200
terminator98100
tipdiam1715300
toy823601.6
uclid2219800
VonNeumann913434.22
wmiforward1625.84