nanoqbf_hqspre results solving families - 2020

Family# Total# Sat# UnsatTime
Adder880169556.08
amba250022500
arithmetic406016200
blackbox-01X-QBF12201434893.2
BMC794328785.34
bomb10802754.41
C5315350031500
C6288560050400
cycle-sched400036000
Debug946058272.94
disjunctive_decomposition430038700
driver346062.51
dungeon44010998.92
evader-pursuer-6x6-logarithmic230020700
evader-pursuer-6x6-standard510045900
evader-pursuer-8x8-logarithmic310027900
formula_add355016651.08
fpu14461991.32
genbuf140012600
genpatch200018000
gttt-4x4_202010009000
HardwareFixpoint259182657772.65
hwmcc120010800
incrementer-encoder50271257.03
irqlkeapclte12100108900
ISCAS89138233.71
ITC99626124621.66
jmc_quant290026100
jmc_quant_squaring620055800
k_branch_n450040500
k_branch_p510045900
k_ph_n185036.04
k_ph_p460136809.1
LinearBitvectorRankingFunction791354336.53
ltl2aig-comp18024773.17
LTL2DBA120010800
LTL2DPA7006300
mqm760048668.04
mult-matrix35409940.78
Planning-CTE13853512662.6
QBF-Hardness600150460.4
RankingFunctions391000.72
Reduction-finding130131179512.4
s1269410036900
s3330260023400
s820170015300
sketch440039600
Sorting_networks1112258402.15
SzymanskiP250213111.18
terminator850910037.12
tipdiam726032695.21
tipfixpoint796032456.09
toy30404560.1
trafficlight-controller30010101.73
wmiforward704039897