x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | - | - | - | - | ghostq-plain | 73.83 |
- | - | - | - | - | - | ghostq-cegar | 74.24 |
- | - | - | - | - | - | rareqs-nn | 130.79 |
qsts(4.47) | |
ghostq-plain(73.83) | |
ghostq-cegar(74.24) | |
rareqs-nn(130.79) |