GhostQ_PG___plain_qcir_2018 results solving families - 2018

Family# Total# Sat# UnsatTime
amba1319547.16
ASP_Equivalence_Checking45999292.45
bomb2118901.26
BoundedSynthesisPetriGames14416886250.82
chess_composing1614400.74
chess_solving35916866.51
CombinationalEquivalence144129605.48
Counter1513500.65
cycle-sched21800.07
driver323.24
dungeon3027001.8
evader-pursuer-4x4-logarithmic212120.96
evader-pursuer-4x4-standard119900.77
evader-pursuer-6x6-logarithmic33122450.24
evader-pursuer-8x8-logarithmic1111582.79
genbuf1311700.44
HardwareFixpoint2623401.26
hwmcc932757.08
incrementer-encoder3329700.88
jctc476419428.31
jmc_quant_squaring5145901.66
k_branch_n2421601.01
k_branch_p3834201.94
k_ph_n109000
k_ph_p2522500.25
LinearBitvectorRankingFunction5347701.5
ltl2aig-comp1210800.51
LTL2DPA54500.19
Model_instances1391121052.31
mult-matrix43600.15
PetriGames2584198.68
Planning-CTE2219800.77
Qshifter1311700.78
Random-qcir-1000-502525103.18
RankingFunctions2320701.09
Reduction-finding357713545.77
Sorting_networks5852201.7
tipdiam2421601.09
toy18214402.28