Family | # Total | # Sat | # Unsat | Time |
---|---|---|---|---|
amba | 25 | 22500 | ||
ASP_Equivalence_Checking | 90 | 0 | ||
BoundedSynthesisPetriGames | 191 | 19 | 19 | 80478.72 |
chess_composing | 16 | 14400 | ||
chess_solving | 69 | 31 | 11312.51 | |
CombinationalEquivalence | 155 | 15 | 20 | 9348.17 |
cycle-sched | 40 | 36000 | ||
driver | 34 | 30600 | ||
genbuf | 14 | 12600 | ||
hwmcc | 12 | 10800 | ||
jctc | 39 | 3 | 5 | 16720.59 |
ltl2aig-comp | 18 | 16200 | ||
LTL2DBA | 12 | 10800 | ||
LTL2DPA | 7 | 6300 | ||
Model_instances | 166 | 12 | 3 | 89485.9 |
mult-matrix | 35 | 31500 | ||
Reduction-finding | 42 | 13 | 1 | 12652.28 |
Reduction-finding-qcir | 36 | 21 | 14 | 6.31 |
toy | 30 | 27000 |