QuAbS___quabs-caqe_2019 results solving families - 2019

Family# Total# Sat# UnsatTime
amba16126368.33
ASP_Equivalence_Checking90400.94
BoundedSynthesisPetriGames157352036310.03
chess_composing3632401.25
chess_solving732616952.57
CombinationalEquivalence15715229342.61
cycle-sched1900.05
driver3225.65
genbuf1344464.87
hwmcc1052127.19
jctc475418734.74
ltl2aig-comp321016.76
Model_instances1359471562.57
mult-matrix33300
Reduction-finding3711154196.92
Reduction-finding-qcir14490
toy277133016.68