Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: beemldelec4b1_c0to127.sat
Best Solver: qbfrelay Time: 66.41 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - caqe_2017_v3 123.42 - - - -
- - caqe_2017_v2 129.16 - - - -
- - AIGSolve 137.18 - - - -
- - qbfrelay-limited-depqbf 145.68 - - - -
- - Qute_default 203.38 - - - -
- - Qute_opt500 212.46 - - - -
- - Qute_random 214.5 - - - -
qbfrelay(66.41)
caqe_2017_v3(123.42)
caqe_2017_v2(129.16)
AIGSolve(137.18)
qbfrelay-limited-depqbf(145.68)
Qute_default(203.38)
Qute_opt500(212.46)
Qute_random(214.5)