Family | Overall | Time | Reference solver | |||
---|---|---|---|---|---|---|
N | # | S | U | |||
amba | 3 | 3 | 3 | 0 | 4.48 | Qute_random |
arithmetic | 8 | 8 | 8 | 0 | 61.51 | predyndep |
cycle-sched | 6 | 6 | 6 | 0 | 50.41 | Caqe-bloqqer |
disjunctive_decomposition | 9 | 8 | 7 | 1 | 1.97 | Caqe-bloqqer |
driver | 6 | 6 | 6 | 0 | 0 | aspq2v3 |
genbuf | 1 | 1 | 1 | 0 | 7.74 | Qute_default |
HardwareFixpoint | 71 | 63 | 17 | 46 | 2567.95 | CADET_2017 |
hwmcc | 6 | 2 | 2 | 0 | 256.49 | PortfolioDepQBFGhostQRaReQSQute___pf |
irqlkeapclte | 45 | 45 | 45 | 0 | 181.34 | CADET_2017 |
ltl2aig-comp | 1 | 1 | 1 | 0 | 3.63 | Qute_random |
LTL2DBA | 2 | 2 | 2 | 0 | 0 | aspq2v3 |
LTL2DPA | 1 | 1 | 1 | 0 | 1.13 | aspq2v3 |
Model_instances | 6 | 5 | 1 | 4 | 59.81 | PortfolioDepQBFGhostQRaReQSQute___pf |
mult-matrix | 5 | 5 | 5 | 0 | 11.5 | Iprover-HQSpre-Bloqqer |
Q_2_3 | 20 | 18 | 0 | 18 | 987.97 | PortfolioDepQBFGhostQRaReQSQute___pf |
RankingFunctions | 31 | 31 | 31 | 0 | 0 | CADET_2017 |
Reduction-finding | 70 | 67 | 42 | 25 | 4408.34 | GhostQ-PG_cegar |
Selection-hard | 8 | 7 | 7 | 0 | 503.72 | aspq2v3 |
sketch | 10 | 6 | 0 | 6 | 1310.59 | Rareqs_2018 |
Sorting_networks | 25 | 25 | 25 | 0 | 571.16 | Qute_random |
terminator | 46 | 46 | 6 | 40 | 2515.17 | CADET_2017 |
toy | 5 | 5 | 5 | 0 | 6.92 | Iprover-HQSpre-Bloqqer |
wgrowing | 6 | 6 | 6 | 0 | 498.51 | aspq2v3 |
wmiforward | 11 | 11 | 11 | 0 | 0.51 | CADET_2017 |