GhostQ-PG_cegar results solving families - 2018

Family# Total# Sat# UnsatTime
Adder114102603.25
amba1513501.65
arithmetic2018000.55
blackbox-01X-QBF1331115218.2
BMC79354506.16
CombinationalEquivalence14110107717.92
cycle-sched2421600.63
Debug7668402.94
disjunctive_decomposition2018000.85
driver1412600.35
dungeon11099003.98
formula_add27220403.69
fpu2287996.45
genbuf1929881.96
Generalized-Tic-Tac-Toe3935102.15
genpatch20322842.64
HardwareFixpoint100113904.03
hwmcc1210800.38
incrementer-encoder5619753.18
irqlkeapclte1211015177.3
ISCAS8922543698.66
ITC99585321565.96
jmc_quant_squaring7264802.59
k_branch_n5650403.69
k_branch_p8576505.02
k_ph_p42133989.04
LinearBitvectorRankingFunction773337709.51
ltl2aig-comp1315742.65
LTL2DBA76300.49
LTL2DPA76300.56
Model_instances4742302.15
mqm76352438.83
mult-matrix2421601.05
Planning-CTE128115204.99
PositionalGames_gttt45429901.09
PositionalGames_hex48140502.45
QBF-Hardness60249476.74
Q_2_398187466.98
RankingFunctions5315679.63
Reduction-finding603414193.14
Selection-hard30126823.72
sketch4742301.54
Sorting_networks1132177652.48
SzymanskiP2522802.5
terminator85911648.34
tipdiam85539820.74
tipfixpoint90819146.55
toy87200.64
trafficlight-controller3010817.65
wgrowing3632401.8
wmiforward701064.13