Quabs_2018 results solving families - 2020

Family# Total# Sat# UnsatTime
amba2522500
ASP_Equivalence_Checking900
BoundedSynthesisPetriGames191191980478.72
chess_composing1614400
chess_solving693111312.51
CombinationalEquivalence15515209348.17
cycle-sched4036000
driver3430600
genbuf1412600
hwmcc1210800
jctc393516720.59
ltl2aig-comp1816200
LTL2DBA1210800
LTL2DPA76300
Model_instances16612389485.9
mult-matrix3531500
Reduction-finding4213112652.28
Reduction-finding-qcir3621146.31
toy3027000