Caqe-hqspre results solving families - 2018

Family# Total# Sat# UnsatTime
Adder114554571.4
amba1516015.84
arithmetic2029000.35
blackbox-01X-QBF1331342978.37
BMC794333212.42
CombinationalEquivalence14131047438.4
cycle-sched24116549.42
Debug76739937.08
disjunctive_decomposition20119138.95
driver14216.8
dungeon110212496.13
formula_add27412511.47
fpu221065.03
genbuf1927062.13
Generalized-Tic-Tac-Toe3934433.4
genpatch20117832.36
HardwareFixpoint1001833398.7
hwmcc1215163.71
incrementer-encoder5619573.31
irqlkeapclte121108905.62
ISCAS89226429.44
ITC99583330782.66
jmc_quant_squaring72156088.32
k_branch_n5666973.04
k_branch_p85810597
k_ph_p4237801.78
LinearBitvectorRankingFunction776423087.74
ltl2aig-comp1322223.68
LTL2DBA7112.53
LTL2DPA76300
Model_instances47136941.79
mqm76732213.87
mult-matrix2429013
Planning-CTE12822410977.58
PositionalGames_gttt45429702.1
PositionalGames_hex485132147.81
QBF-Hardness601434781.84
Q_2_3981045995.34
RankingFunctions53150
Reduction-finding602330951.34
Selection-hard3051153.62
sketch47233457.67
Sorting_networks1133714177.26
SzymanskiP2523565.08
terminator8519123.39
tipdiam85543799.09
tipfixpoint90820321.11
toy8110.32
trafficlight-controller301089.07
wgrowing36618282.88
wmiforward70626148.02