Hiqqer2019_1 results solving families - 2019

Family# Total# Sat# UnsatTime
Adder114192051.37
amba2536520.67
arithmetic3668100.27
blackbox-01X-QBF1334101959.49
BMC795320056.44
CombinationalEquivalence1413979445.78
cycle-sched44610982.72
Debug7668402.58
disjunctive_decomposition40611699.1
driver3460
dungeon110291762.4
formula_add27514394.48
fpu221066.81
genbuf1917097.14
Generalized-Tic-Tac-Toe39375144.51
genpatch20114400.76
HardwareFixpoint288155186841.64
hwmcc2623400.98
incrementer-encoder56540515.2
irqlkeapclte121108904.53
ISCAS89226432.52
ITC9958345930.38
jmc_quant_squaring72153182.12
k_branch_n56320969.96
k_branch_p85710062.33
k_ph_p4237802.5
LinearBitvectorRankingFunction77166895.34
ltl2aig-comp18111730.36
LTL2DBA1220
LTL2DPA717.35
Model_instances47135094.94
mqm76738237.35
mult-matrix3959025.44
Planning-CTE1281110611.8
PositionalGames_gttt4540502.79
PositionalGames_hex4810315952.95
QBF-Hardness60436035.84
Q_2_398185170.95
RankingFunctions53150
Reduction-finding1233582214.68
Selection-hard30316420.86
sketch4742297.75
Sorting_networks1131460180.51
SzymanskiP252266.02
terminator8576500.97
tipdiam8576502.65
tipfixpoint9080995.99
toy3052511.1
trafficlight-controller3027001.56
wgrowing36324877.72
wmiforward70100