GhostQ___cegar_qcir_2019 results solving families - 2020

Family# Total# Sat# UnsatTime
amba2522500
ASP_Equivalence_Checking902.32
BoundedSynthesisPetriGames1911715101454.82
chess_composing1614400
chess_solving692026468.95
CombinationalEquivalence15515204140.94
cycle-sched4036000
driver3430600
genbuf1425091.86
hwmcc1210800
jctc396215361.11
ltl2aig-comp18110199.11
LTL2DBA1210800
LTL2DPA76300
Model_instances1664135116.76
mult-matrix3531500
Reduction-finding4215210202.82
Reduction-finding-qcir36211412.55
toy3027000