x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
Qute_opt500 | 0 | - | - | - | - | - | - |
Qute_random | 0 | - | - | - | - | - | - |
Qute_default(0) | |
Qute_opt500(0) | |
Qute_random(0) | |
Cued_2_2018(1.03) | |
Cued_3_2018(1.04) | |
depqbf_prefix_opt_qdo(17.33) | |
Heretiq-simple(42.59) | |
Heretiq-cube(43.44) | |
depqbf_pre_QxQBH(49.47) | |
predyndep(146.31) | |
Caqe-hqspre(229.58) |