Sota solver details
QBFEVAL'18 - Prenex CNF Track

Instance: c1_Debug_s5_f1_e1_v2
Best Solver: ijtihad Time: 532.87 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Rareqs_2018 575.14 - - - -
- - Qute_random 726.8 - - - -
- - Heretiq-simple 828.96 - - - -
- - Caqe-hqspre 838.24 - - - -
- - Heretiq-cube 896.47 - - - -
ijtihad(532.87)
Rareqs_2018(575.14)
Qute_random(726.8)
Heretiq-simple(828.96)
Caqe-hqspre(838.24)
Heretiq-cube(896.47)