GhostQ___plain_pcnf_2019 results solving families - 2019

Family# Total# Sat# UnsatTime
Adder114102603.6
amba2522501.55
arithmetic3632401.41
blackbox-01X-QBF1331115215.83
BMC79163968.62
CombinationalEquivalence141126907.73
cycle-sched4439602.07
Debug7668403
disjunctive_decomposition4036001.71
driver3430601.72
dungeon11099004.78
formula_add27122318.8
fpu2287599.15
genbuf1917100.98
Generalized-Tic-Tac-Toe3935101.53
genpatch20314882.04
HardwareFixpoint288123452146.29
hwmcc2623401.5
incrementer-encoder56540552.88
irqlkeapclte121108905.47
ISCAS8922543657.82
ITC99585320764.55
jmc_quant_squaring7264803.2
k_branch_n5650402.99
k_branch_p8576503.05
k_ph_p42133904.55
LinearBitvectorRankingFunction77353307.38
ltl2aig-comp1816201.01
LTL2DBA1210800.48
LTL2DPA76300.21
Model_instances4742301.94
mqm7668402.67
mult-matrix3935101.81
Planning-CTE128115206.99
PositionalGames_gttt45429766.6
PositionalGames_hex48239806.54
QBF-Hardness60246930.26
Q_2_39888204.75
RankingFunctions53154366.9
Reduction-finding1232585466.73
Selection-hard3027000.6
sketch4742302.6
Sorting_networks113188071.81
SzymanskiP2522222.53
terminator85191608.88
tipdiam855135472.45
tipfixpoint909111195.08
toy30120684.63
trafficlight-controller3027001.26
wgrowing3632401.84
wmiforward70345134.86