qfun0.1 results solving families - 2017

Family# Total# Sat# UnsatTime
Abduction98100
Adder4439600
amba815430.42
Blocks10110.3
BMC27117162.82
bomb18117016.34
BoundedSynthesisPetriGames429826463.82
C49934333.38
C5315119900
C62884136900
C8802219926.84
Chain32345.32
circuits32124480.96
CombinationalEquivalence60151535.46
conformant_planning2426560.32
Connect41614400
Counter1311700
cycle-sched816992.96
Debug4641111.8
driver8122228.56
dungeon21114759.22
evader-pursuer-4x4-logarithmic1917100
evader-pursuer-4x4-standard4036000
evader-pursuer-6x6-logarithmic3733300
evader-pursuer-6x6-standard3632334.75
evader-pursuer-8x8-logarithmic39127198
fpu122995.1
genbuf824564.56
HardwareFixpoint3228800
hwmcc823632
hyperLTL4110.24
incrementer-encoder211240.88
irqlkeapclte4652491.39
ISCAS8965400
ITC992841749.09
jmc_quant_squaring5145900
k_branch_n1715300
k_branch_p2825200
k_ph_n91873.63
k_ph_p1918415.9
LinearBitvectorRankingFunction35125270.35
ltl2aig-comp823832.56
LTL2DBA411800.54
LTL2DPA411801.28
Model_instances55247003.5
mqm1715300
mult-matrix87200
MutexP37318.91
Planning-CTE1419548.35
QBF-Hardness1412600
QLTL_safety10017458.16
Qshifter2421600
RankingFunctions3329700
Reduction-finding1614400
s12692219800
s33301614400
Sorting_networks411118337.79
SzymanskiP48419178.18
terminator98100
tipdiam17110600.38
toy822424.86
uclid22110309.86
VonNeumann912223.54
wmiforward1623.6