Family | # Total | # Sat | # Unsat | Time |
---|---|---|---|---|
amba | 16 | 1 | 13784.2 | |
ASP_Equivalence_Checking | 90 | 0 | ||
BoundedSynthesisPetriGames | 157 | 38 | 22 | 25975.07 |
chess_composing | 36 | 32401.49 | ||
chess_solving | 73 | 31 | 14900.69 | |
CombinationalEquivalence | 157 | 15 | 22 | 9297.55 |
cycle-sched | 1 | 900.08 | ||
driver | 3 | 2 | 25.7 | |
genbuf | 13 | 1 | 10801.65 | |
hwmcc | 10 | 4 | 2721.39 | |
jctc | 47 | 3 | 5 | 23947.52 |
ltl2aig-comp | 3 | 2700.16 | ||
Model_instances | 135 | 9 | 5 | 67670.97 |
mult-matrix | 3 | 2 | 900.04 | |
Reduction-finding | 37 | 11 | 12 | 7589.73 |
Reduction-finding-qcir | 14 | 4 | 9 | 0 |
toy | 27 | 6 | 13 | 7200.7 |