Family | Overall | Time | Reference solver | |||
---|---|---|---|---|---|---|
N | # | S | U | |||
amba | 4 | 2 | 2 | 0 | 46.67 | quabs___caqe-hqspre |
ASP_Equivalence_Checking | 40 | 40 | 40 | 0 | 0.12 | quabs___caqe-hqspre |
BoundedSynthesisPetriGames | 89 | 45 | 26 | 19 | 5123.66 | Cqesto_2018 |
chess_composing | 8 | 0 | 0 | 0 | - | - |
chess_solving | 32 | 32 | 32 | 0 | 3050.61 | GhostQ___plain_qcir_2019 |
CombinationalEquivalence | 35 | 35 | 15 | 20 | 0 | QFUN |
cycle-sched | 7 | 3 | 2 | 1 | 307.94 | quabs___caqe-hqspre |
driver | 6 | 6 | 6 | 0 | 5.33 | quabs___caqe-hqspre |
genbuf | 2 | 2 | 0 | 2 | 365.52 | quabs___caqe-hqspre |
hwmcc | 2 | 1 | 1 | 0 | 68.23 | quabs___caqe-hqspre |
jctc | 13 | 10 | 6 | 4 | 747.9 | QFUN |
ltl2aig-comp | 3 | 2 | 0 | 2 | 105.01 | QFUN |
LTL2DBA | 2 | 1 | 1 | 0 | 1.4 | quabs___caqe-hqspre |
LTL2DPA | 1 | 0 | 0 | 0 | - | - |
Model_instances | 30 | 15 | 13 | 2 | 2213.52 | QuAbS___quabs-caqe_2019 |
mult-matrix | 6 | 5 | 4 | 1 | 457.69 | quabs___caqe-hqspre |
Reduction-finding | 19 | 18 | 16 | 2 | 821.54 | Cqesto_2018 |
Reduction-finding-qcir | 35 | 35 | 21 | 14 | 0 | Cqesto_2018 |
toy | 5 | 4 | 4 | 0 | 6.2 | quabs___caqe-hqspre |