PortfolioGhostQQfunQuAbSQute___pf2 results solving families - 2018

Family# Total# Sat# UnsatTime
amba1390.31
ASP_Equivalence_Checking452302.65
bomb21176.19
BoundedSynthesisPetriGames144271824448.71
chess_composing16113.1
chess_solving355604.92
CombinationalEquivalence1442984.73
Counter1517694.21
cycle-sched214.17
driver3216.52
dungeon30252.6
evader-pursuer-4x4-logarithmic212137.72
evader-pursuer-4x4-standard1177.77
evader-pursuer-6x6-logarithmic33124606.49
evader-pursuer-8x8-logarithmic1176.78
genbuf1389.97
HardwareFixpoint26180.16
hwmcc9158.59
incrementer-encoder33229.24
jctc471333
jmc_quant_squaring51359.07
k_branch_n24113385.24
k_branch_p3835744.56
k_ph_n10157.7
k_ph_p25174.69
LinearBitvectorRankingFunction53371.66
ltl2aig-comp1283.44
LTL2DPA534.39
Model_instances13912451878.87
mult-matrix427.78
PetriGames25617491.57
Planning-CTE2219800.88
Qshifter1311701.04
Random-qcir-1000-502525116.38
RankingFunctions23159.31
Reduction-finding3547258.95
Sorting_networks5814318.46
tipdiam24166.68
toy182120.84