CUED1919_NNL results solving families - 2017

Family# Total# Sat# UnsatTime
Abduction2359.93
Adder86439.73
amba83654.1
arithmetic513600.03
blackbox-01X-QBF7848106.58
BMC7365700
C432210.3
C499311.24
C53155148.77
C62886739.79
C880602.09
circuits7327068.89
conformant_planning5845222.08
Connect21598.73
Connect31592.47
Connect43620971.56
Connect52910.46
Connect62794.25
Connect72917.58
Connect821357.63
Counter194072.81
cycle-sched85423.98
Debug9444369.76
disjunctive_decomposition513620.84
driver83610.24
dungeon6043440.01
evader-pursuer-4x4-logarithmic10447.3
evader-pursuer-4x4-standard6446076.56
evader-pursuer-6x6-logarithmic4434712.94
evader-pursuer-6x6-standard6659400
evader-pursuer-8x8-logarithmic4641400
formula_add121472.58
fpu2016742.46
genbuf83626.4
Generalized-Tic-Tac-Toe203799.84
genpatch52702.95
HardwareFixpoint54144284.59
hwmcc86485.1
hyperLTL410.06
incrementer-encoder351273.28
irqlkeapclte8172900
ISCAS89412.49
ITC993713060.75
jmc_quant426.76
jmc_quant_squaring77118.84
k_branch_n3712824.94
k_branch_p6121809.57
k_ph_p5850237.07
LinearBitvectorRankingFunction7323603.59
ltl2aig-comp84539.14
LTL2DBA41801.16
LTL2DPA41806.6
mqm254.43
mult-matrix83954.46
Planning-CTE5328895.35
QBF-Hardness3016232.56
qbfeval12757
RankingFunctions21800
Reduction-finding291115379.61
s119615206.66
s126915783.79
s29814177.24
s3330197960.83
s49913531.35
s51092182.08
s6411649.12
s71315139.08
s820141756.58
sketch54500
Sorting_networks5718406.65
SzymanskiP1917100
terminator4237800
tipdiam551675.04
tipfixpoint582576.42
toy83612.38
trafficlight-controller10190.06
uclid3029.88