x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | QUANTOR | 2.03 | semprop | 5.76 | preQuantor | 10.21 |
- | - | - | - | - | - | SQBF | 10.3 |
- | - | - | - | - | - | 2clsQ | 10.48 |
- | - | - | - | - | - | Quaffle | 23.19 |
- | - | - | - | - | - | qube5.0 | 79.89 |
QUANTOR_hc(0.87) | |
QUANTOR(2.03) | |
semprop(5.76) | |
preQuantor(10.21) | |
SQBF(10.3) | |
2clsQ(10.48) | |
Quaffle(23.19) | |
qube5.0(79.89) | |
sSolve(117.7) | |
ssolve-ut(118.59) | |
ssolve+ut(119.77) |