GhostQ-PG_plain results solving families - 2017

Family# Total# Sat# UnsatTime
Abduction23118393.6
Adder8677400
amba816145.86
arithmetic54500
blackbox-01X-QBF78167505.31
BMC7362696.37
C43221278.69
C49931120048.76
C5315511126148.38
C628867250670.22
C8806065837.07
circuits7365700
conformant_planning5852200
Connect211387.68
Connect31900
Connect436131514.16
Connect521800
Connect621912.04
Connect721800
Connect822420.5
Counter1917100
cycle-sched87200
Debug9484520.23
disjunctive_decomposition54500
driver823613.48
dungeon601251555.39
evader-pursuer-4x4-logarithmic101114.7
evader-pursuer-4x4-standard6457600
evader-pursuer-6x6-logarithmic44138034.6
evader-pursuer-6x6-standard6659400
evader-pursuer-8x8-logarithmic4641400
formula_add12210013.16
fpu20185093.49
genbuf87200
Generalized-Tic-Tac-Toe20117100.86
genpatch5311222.02
HardwareFixpoint542148107.88
hwmcc823740.98
hyperLTL4110.4
incrementer-encoder351724363.64
irqlkeapclte8172900
ISCAS89412904.78
ITC99375118192.68
jmc_quant43600
jmc_quant_squaring7769300
k_branch_n3733300
k_branch_p6154900
k_ph_p58150286.9
LinearBitvectorRankingFunction73358020.15
ltl2aig-comp87200
LTL2DBA411922.58
LTL2DPA43600
mqm2522500
mult-matrix87200
Planning-CTE53147331.02
QBF-Hardness30225231.7
qbfeval12715400.47
RankingFunctions222.93
Reduction-finding291123411.78
s11961521077.46
s12691517223.31
s298141193.52
s33301918245.1
s499131192.38
s51092493.62
s641161183.92
s713152356.04
s8201411142.03
sketch54500
Sorting_networks57141925.8
SzymanskiP1921670.86
terminator4218963.34
tipdiam555124049.55
tipfixpoint58918679.35
toy822549.98
trafficlight-controller1010183.6
uclid30119927.35