Qute_opt993 results solving families - 2017

Family# Total# Sat# UnsatTime
Abduction98100
Adder4439600
amba8115310.3
Blocks1014.2
BMC2724300
bomb1816200
BoundedSynthesisPetriGames424631361.08
C4993430600
C5315119900
C62884136900
C8802219800
Chain3233.66
circuits3228800
CombinationalEquivalence60448085.08
conformant_planning2421600
Connect41614400
Counter1316825.84
cycle-sched87200
Debug4641400
driver8113603.16
dungeon21112610.92
evader-pursuer-4x4-logarithmic19267.93
evader-pursuer-4x4-standard4036000
evader-pursuer-6x6-logarithmic3733300
evader-pursuer-6x6-standard3632400
evader-pursuer-8x8-logarithmic39130313.6
fpu12285.5
genbuf87200
HardwareFixpoint3228800
hwmcc823606.24
hyperLTL4110.02
incrementer-encoder2118900
irqlkeapclte4641400
ISCAS8961110.76
ITC9928212810.07
jmc_quant_squaring51139564.4
k_branch_n1715300
k_branch_p28212194.7
k_ph_n912.16
k_ph_p1917100
LinearBitvectorRankingFunction35125622.66
ltl2aig-comp87200
LTL2DBA411838.8
LTL2DPA43600
Model_instances551341687.63
mqm1718106.88
mult-matrix87200
MutexP3732.97
Planning-CTE1412600
QBF-Hardness1412600
QLTL_safety10015851319.68
Qshifter2421600
RankingFunctions3329700
Reduction-finding1614400
s12692219800
s33301614400
Sorting_networks4136900
SzymanskiP485455.43
terminator91634.59
tipdiam1715300
toy8224.8
uclid222997.37
VonNeumann91205.56
wmiforward1614400