Family | # Total | # Sat | # Unsat | Time |
---|---|---|---|---|
amba | 25 | 2 | 14467.19 | |
ASP_Equivalence_Checking | 90 | 40 | 1.02 | |
BoundedSynthesisPetriGames | 191 | 17 | 17 | 88194.48 |
chess_composing | 16 | 14400 | ||
chess_solving | 69 | 26 | 13337.65 | |
CombinationalEquivalence | 155 | 15 | 20 | 9376.78 |
cycle-sched | 40 | 2 | 1 | 27988.95 |
driver | 34 | 6 | 11731.58 | |
genbuf | 14 | 2 | 6429.3 | |
hwmcc | 12 | 1 | 7076.07 | |
jctc | 39 | 5 | 4 | 12790.14 |
ltl2aig-comp | 18 | 2 | 10208.02 | |
LTL2DBA | 12 | 1 | 6609.45 | |
LTL2DPA | 7 | 6300 | ||
Model_instances | 166 | 13 | 2 | 90775.64 |
mult-matrix | 35 | 4 | 1 | 15347.78 |
Reduction-finding | 42 | 14 | 2 | 10745.02 |
Reduction-finding-qcir | 36 | 21 | 14 | 6.28 |
toy | 30 | 4 | 12038.86 |