Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: neclaftp4001
Best Solver: caqe_2017_v2 Time: 1.56 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - caqe_2017_v3 1.57 - - CUED1919_NNL 20.84
- - Qute_random 6.35 - - CUED1919_NL 36.2
- - Qute_opt500 6.36 - - rareqs 58.33
- - - - - - AIGSolve 110.17
caqe_2017_v2(1.56)
caqe_2017_v3(1.57)
Qute_random(6.35)
Qute_opt500(6.36)
CUED1919_NNL(20.84)
CUED1919_NL(36.2)
rareqs(58.33)
AIGSolve(110.17)
qesto(278.52)
caqe_2017_v1(791.1)