CUED1919_NL results solving families - 2017

Family# Total# Sat# UnsatTime
Abduction23395.9
Adder862806.75
amba82621.38
arithmetic513600.09
blackbox-01X-QBF7832520.5
BMC7357583.17
C432210.42
C499311.64
C531551116.31
C62886743.83
C880602.5
circuits7322809.58
conformant_planning5822835.84
Connect21482.09
Connect31463.66
Connect43614950.69
Connect52479.04
Connect62512.15
Connect72827.75
Connect82860.28
Counter193050.98
cycle-sched83182.36
Debug9443875.3
disjunctive_decomposition513130.8
driver82638.5
dungeon6043444.9
evader-pursuer-4x4-logarithmic103524.8
evader-pursuer-4x4-standard6427219.38
evader-pursuer-6x6-logarithmic4421271
evader-pursuer-6x6-standard6657366.88
evader-pursuer-8x8-logarithmic4627431.53
formula_add121315.83
fpu2016765.62
genbuf81575.84
Generalized-Tic-Tac-Toe205152.26
genpatch52702.93
HardwareFixpoint54137486.67
hwmcc85145.48
hyperLTL410.08
incrementer-encoder351279.29
irqlkeapclte8134835.62
ISCAS89413.53
ITC993712261.5
jmc_quant4171.72
jmc_quant_squaring77756.9
k_branch_n3710756.83
k_branch_p6120770.91
k_ph_p5831460.85
LinearBitvectorRankingFunction7325040.95
ltl2aig-comp83463.12
LTL2DBA41803.86
LTL2DPA41827.62
mqm2522.6
mult-matrix84024.78
Planning-CTE5321878.29
QBF-Hardness309444.7
qbfeval127288.57
RankingFunctions21800
Reduction-finding291111933.65
s119615862.15
s1269152225.62
s29814830.13
s3330197111.97
s499131781.48
s51094850.05
s64116218.64
s71315548.61
s820144456.27
sketch54500
Sorting_networks5727340.86
SzymanskiP198011.28
terminator4237800
tipdiam555124.56
tipfixpoint587272.97
toy83673.18
trafficlight-controller10194.25
uclid30170.82