Cqesto_2018 results solving families - 2020

Family# Total# Sat# UnsatTime
amba2522500
ASP_Equivalence_Checking900
BoundedSynthesisPetriGames191261971300.72
chess_composing1614400
chess_solving692518548.07
CombinationalEquivalence1551520219.96
cycle-sched4036000
driver3430600
genbuf1412600
hwmcc1210800
jctc39127849.93
ltl2aig-comp1816200
LTL2DBA1210800
LTL2DPA76300
Model_instances16610119353.44
mult-matrix3531500
Reduction-finding421625511.96
Reduction-finding-qcir3621140
toy3027000