qesto results solving families - 2017

Family# Total# Sat# UnsatTime
Abduction26123344.53
Adder10695400
amba18117935.45
arithmetic1743600.17
blackbox-01X-QBF1181101911.1
BMC92269565.4
C4322118900
C4993127900
C53155448600
C628871156177.73
C8806054000
circuits8475600
conformant_planning6054000
Connect21900
Connect321800
Connect443132858.94
Connect521900.63
Connect6311800.05
Connect743600
Connect8220.49
Counter22118900.12
cycle-sched1828151.6
Debug115103500
disjunctive_decomposition18312914.76
driver14221.45
dungeon1051291948.13
evader-pursuer-4x4-logarithmic109000
evader-pursuer-4x4-standard6558500
evader-pursuer-6x6-logarithmic4843200
evader-pursuer-6x6-standard7264800
evader-pursuer-8x8-logarithmic4843200
formula_add29224486.46
fpu202023.46
genbuf1816200
Generalized-Tic-Tac-Toe32512369.99
genpatch15110801.35
HardwareFixpoint1092385511.69
hwmcc1429024.02
hyperLTL4110
incrementer-encoder501340394.03
irqlkeapclte11199900
ISCAS8962212.89
ITC99501143209
jmc_quant54500
jmc_quant_squaring9484600
k_branch_n51319773.5
k_branch_p80521582.97
k_ph_p7567500
LinearBitvectorRankingFunction110198954.46
ltl2aig-comp1513500
LTL2DBA7111.15
LTL2DPA8117.4
mqm31126649.2
mult-matrix18111701.25
Planning-CTE107294608.35
QBF-Hardness501423943.27
qbfeval12715400.01
RankingFunctions220.13
Reduction-finding451129210.07
s11961522202.76
s126916112869.17
s29814113916.99
s333020111724.3
s4991316474.43
s51098100
s6411611614.32
s7131522196.27
s82014118236.9
sketch1412600
Sorting_networks75159568.67
SzymanskiP2321019.92
terminator69530227.96
tipdiam7769300
tipfixpoint8374700
toy12125400.46
trafficlight-controller1081946.82
uclid3027000