QELL_default results solving families - 2017

Family# Total# Sat# UnsatTime
Abduction26120317.24
Adder106281003.58
amba18112678.88
arithmetic17114400.01
blackbox-01X-QBF118395640.74
BMC92265522
C4322123.42
C49931210141.49
C531554137816.68
C628871156174.04
C88060419723.46
circuits84173580.16
conformant_planning603515519.06
Connect21900
Connect321800
Connect443137800.24
Connect521904.6
Connect6311800.35
Connect743600
Connect8223.56
Counter22115421.8
cycle-sched1816200
Debug115198840.18
disjunctive_decomposition1816200
driver14110804
dungeon1051587488.44
evader-pursuer-4x4-logarithmic109000
evader-pursuer-4x4-standard6558500
evader-pursuer-6x6-logarithmic48136522.56
evader-pursuer-6x6-standard7264800
evader-pursuer-8x8-logarithmic48139406.4
formula_add29517594.95
fpu202080.11
genbuf1816200
Generalized-Tic-Tac-Toe32127981.33
genpatch1532433.62
HardwareFixpoint1091286404.47
hwmcc1429034.46
hyperLTL4110.06
incrementer-encoder5021173.59
irqlkeapclte11199900
ISCAS896113602.04
ITC9950144100.64
jmc_quant54500
jmc_quant_squaring9484600
k_branch_n5145900
k_branch_p8072000
k_ph_p7567500
LinearBitvectorRankingFunction1102274667.91
ltl2aig-comp1525804.59
LTL2DBA714500.12
LTL2DPA814501.05
mqm3127900
mult-matrix1816200
Planning-CTE1072272463.91
QBF-Hardness50142300.33
qbfeval1276300
RankingFunctions21800
Reduction-finding452222504.86
s11961528343.52
s12691618371.53
s298141188.76
s33302019064.8
s499131120.68
s51092148.08
s6411611241.6
s7131521717.47
s820141123.8
sketch1412600
Sorting_networks752422513.39
SzymanskiP23115759.35
terminator69344336.13
tipdiam77445936.86
tipfixpoint83819823.55
toy12125547.86
trafficlight-controller109943.07
uclid3027000