QuAbS_2017 results solving families - 2017

Family# Total# Sat# UnsatTime
Abduction98100
Adder4439600
amba87200
Blocks109000
BMC27117440.92
bomb1816200
BoundedSynthesisPetriGames42101320024.12
C4993430600
C5315119900
C62884136900
C880229901.54
Chain3228800
circuits3228800
CombinationalEquivalence6015152707.2
conformant_planning2421600
Connect41614400
Counter1311700
cycle-sched87200
Debug4641400
driver823602.1
dungeon21113507.41
evader-pursuer-4x4-logarithmic19112720.96
evader-pursuer-4x4-standard4032970
evader-pursuer-6x6-logarithmic37127443.34
evader-pursuer-6x6-standard3632400
evader-pursuer-8x8-logarithmic39126747.3
fpu122247.02
genbuf87200
HardwareFixpoint3228800
hwmcc823620.06
hyperLTL4110.02
incrementer-encoder2118900
irqlkeapclte4641400
ISCAS8965400
ITC992825200
jmc_quant_squaring5145900
k_branch_n1721015.09
k_branch_p283119.84
k_ph_n91165.87
k_ph_p1917100
LinearBitvectorRankingFunction3531500
ltl2aig-comp87200
LTL2DBA411948.18
LTL2DPA43600
Model_instances5510321904.24
mqm17114234.85
mult-matrix87200
MutexP37320.78
Planning-CTE1412600
QBF-Hardness1416368.18
QLTL_safety100137875.12
Qshifter2421600
RankingFunctions3329700
Reduction-finding1614400
s12692219800
s33301614400
Sorting_networks41127106.04
SzymanskiP4858716.83
terminator9130.33
tipdiam17110262.88
toy8121875.92
uclid22112910.81
VonNeumann915501.34
wmiforward1614400