Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: c1_BMC_p1_k2048
Best Solver: rareqs Time: 80.32 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - heretiq 90.06 AIGSolve 797.23 - -
- - ijtihad_v1 90.29 - - - -
- - ijtihad_v2 90.36 - - - -
- - caqe_2017_v1 122.83 - - - -
rareqs(80.32)
heretiq(90.06)
ijtihad_v1(90.29)
ijtihad_v2(90.36)
caqe_2017_v1(122.83)
AIGSolve(797.23)