x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | QELL_unit | 61.78 | ijtihad_v1 | 363.84 | caqe_2017_v2 | 784.81 |
- | - | HQSpre_solver | 156.48 | ijtihad_v2 | 383.98 | AIGSolve | 816.15 |
- | - | Qute_opt500 | 190.54 | heretiq | 388.23 | rareqs | 817.09 |
- | - | Qute_random | 191.1 | - | - | - | - |
- | - | Qute_default | 192.03 | - | - | - | - |
QELL_default(60.15) | |
QELL_unit(61.78) | |
HQSpre_solver(156.48) | |
Qute_opt500(190.54) | |
Qute_random(191.1) | |
Qute_default(192.03) | |
ijtihad_v1(363.84) | |
ijtihad_v2(383.98) | |
heretiq(388.23) | |
caqe_2017_v2(784.81) | |
AIGSolve(816.15) | |
rareqs(817.09) |