cqesto results solving families - 2017

Family# Total# Sat# UnsatTime
Abduction98100
Adder4439600
amba87200
Blocks109000
BMC2724300
bomb1816200
BoundedSynthesisPetriGames4281222956.2
C49934366.27
C5315119900
C62884136900
C88022112268.96
Chain3235.6
circuits3228800
CombinationalEquivalence6015151328.24
conformant_planning2421600
Connect41614400
Counter1311700
cycle-sched87200
Debug4641400
driver815401.7
dungeon2118900
evader-pursuer-4x4-logarithmic1924161.81
evader-pursuer-4x4-standard4036000
evader-pursuer-6x6-logarithmic37128966.05
evader-pursuer-6x6-standard3632400
evader-pursuer-8x8-logarithmic39126290.5
fpu122536.94
genbuf87200
HardwareFixpoint3228800
hwmcc823604.28
hyperLTL4110
incrementer-encoder21126.16
irqlkeapclte4651656.5
ISCAS8965400
ITC992825200
jmc_quant_squaring5145900
k_branch_n1715300
k_branch_p28122419.04
k_ph_n91425.88
k_ph_p1917100
LinearBitvectorRankingFunction35125204.62
ltl2aig-comp87200
LTL2DBA411802.74
LTL2DPA43600
Model_instances55837462.17
mqm1718100.4
mult-matrix87200
MutexP3731.56
Planning-CTE1412600
QBF-Hardness1416344.31
QLTL_safety1006331232.74
Qshifter2421600
RankingFunctions3329700
Reduction-finding1614400
s12692219800
s33301614400
Sorting_networks41127068.2
SzymanskiP48320140.55
terminator98100
tipdiam1715300
toy823600.12
uclid2219922.44
VonNeumann91122.67
wmiforward1620.32