QuAbS_2017 results solving families - 2017

Family# Total# Sat# UnsatTime
Abduction109000
Adder5549500
amba2219800
Blocks109000
BMC32119654.56
bomb2118900
BoundedSynthesisPetriGames106101335579.53
C4993430600
C53151311700
C62884742300
C880229901.54
Chain3228800
circuits3531500
CombinationalEquivalence17915156970.67
conformant_planning2421600
Connect41816200
Counter1513500
cycle-sched2421600
Debug5852200
driver18212602.1
dungeon30119296.3
evader-pursuer-4x4-logarithmic21114034.4
evader-pursuer-4x4-standard4133854.73
evader-pursuer-6x6-logarithmic44133092.6
evader-pursuer-6x6-standard4338700
evader-pursuer-8x8-logarithmic43129512.03
fpu122247.02
genbuf2219800
HardwareFixpoint4338700
hwmcc16210820.06
hyperLTL4110.02
incrementer-encoder3329700
irqlkeapclte6659400
ISCAS8965400
ITC994036000
jmc_quant_squaring6457600
k_branch_n2421457.48
k_branch_p383163.01
k_ph_n101184.3
k_ph_p2522500
LinearBitvectorRankingFunction5347700
ltl2aig-comp1917100
LTL2DBA916448.18
LTL2DPA109000
Model_instances11710345093.24
mqm20115644.52
mult-matrix2421600
MutexP37320.78
Planning-CTE2219800
QBF-Hardness2019097.4
QLTL_safety100137875.12
Qshifter2522500
RankingFunctions3632400
Reduction-finding2219800
s12692522500
s33301715300
Sorting_networks58137954.24
SzymanskiP4858716.83
terminator13143.81
tipdiam24114324.16
toy14127275.92
uclid22112910.81
VonNeumann915501.34
wmiforward1614400