quabs___caqe-hqspre results solving families - 2020

Family# Total# Sat# UnsatTime
amba25210269.67
ASP_Equivalence_Checking90400.25
BoundedSynthesisPetriGames1911820118544.59
chess_composing1614400
chess_solving6962100
CombinationalEquivalence155152015439.88
cycle-sched402123196.57
driver34631.63
genbuf1422362.64
hwmcc1214977.61
jctc393123397.81
ltl2aig-comp1826390.34
LTL2DBA1214509.8
LTL2DPA76300
Model_instances16613184256.02
mult-matrix35417245.72
Reduction-finding421536508.32
Reduction-finding-qcir3621141535.52
toy3044540.02