Family | # Total | # Sat | # Unsat | Time |
---|---|---|---|---|
amba | 16 | 1 | 2 | 6368.33 |
ASP_Equivalence_Checking | 90 | 40 | 0.94 | |
BoundedSynthesisPetriGames | 157 | 35 | 20 | 36310.03 |
chess_composing | 36 | 32401.25 | ||
chess_solving | 73 | 26 | 16952.57 | |
CombinationalEquivalence | 157 | 15 | 22 | 9342.61 |
cycle-sched | 1 | 900.05 | ||
driver | 3 | 2 | 25.65 | |
genbuf | 13 | 4 | 4464.87 | |
hwmcc | 10 | 5 | 2127.19 | |
jctc | 47 | 5 | 4 | 18734.74 |
ltl2aig-comp | 3 | 2 | 1016.76 | |
Model_instances | 135 | 9 | 4 | 71562.57 |
mult-matrix | 3 | 3 | 300 | |
Reduction-finding | 37 | 11 | 15 | 4196.92 |
Reduction-finding-qcir | 14 | 4 | 9 | 0 |
toy | 27 | 7 | 13 | 3016.68 |