ghostq-plain results solving families - 2017

Family# Total# Sat# UnsatTime
Abduction109000
Adder5246800
amba18113969.96
Blocks109000
BMC3127866.01
bomb2118864.09
BoundedSynthesisPetriGames785651060.17
C4993430600
C53151210800
C62884439600
C88022116226.43
Chain32323.42
circuits3531500
CombinationalEquivalence142127800
conformant_planning24115835.92
Connect41816200
Counter1513500
cycle-sched1816200
Debug5448485.71
driver1429024.98
dungeon3027000
evader-pursuer-4x4-logarithmic212118.33
evader-pursuer-4x4-standard4136900
evader-pursuer-6x6-logarithmic42130463.5
evader-pursuer-6x6-standard4036000
evader-pursuer-8x8-logarithmic41128568.49
fpu1223958.26
genbuf1816200
HardwareFixpoint4136900
hwmcc1429054.84
hyperLTL4110.28
incrementer-encoder3027000
irqlkeapclte6154900
ISCAS8965400
ITC9936124849.9
jmc_quant_squaring6154900
k_branch_n2320700
k_branch_p3733300
k_ph_n109000
k_ph_p2421600
LinearBitvectorRankingFunction4843200
ltl2aig-comp1513500
LTL2DBA714600.4
LTL2DPA87200
Model_instances95182251.4
mqm1917100
mult-matrix1816200
MutexP37130794.2
Planning-CTE2017890.6
QBF-Hardness1816200
QLTL_safety100385431.28
Qshifter2522500
RankingFunctions3632400
Reduction-finding2219800
s12692219800
s33301614400
Sorting_networks5448600
SzymanskiP4843200
terminator121778.32
tipdiam2320700
toy12125671.92
uclid22113721.29
VonNeumann913447.9
wmiforward1614400