Sota solver details
QBFEVAL'17 - Random QBFs Track

Instance: hex_hein_4x4_07
Best Solver: heretiq Time: 300.1 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - prefix-opt-depqbf 424.76 - - - -
- - caqe_2017_v1 505.3 - - - -
- - caqe_2017_v3 509.68 - - - -
- - xb-qsts_xbqsts1.0 532.63 - - - -
- - xb-qsts_xbqsts2.0 534.55 - - - -
- - xb-qsts_bqsts2.0 535.3 - - - -
- - caqe_2017_v2 556.94 - - - -
- - qbfrelay-limited-depqbf 604.91 - - - -
heretiq(300.1)
prefix-opt-depqbf(424.76)
caqe_2017_v1(505.3)
caqe_2017_v3(509.68)
xb-qsts_xbqsts1.0(532.63)
xb-qsts_xbqsts2.0(534.55)
xb-qsts_bqsts2.0(535.3)
caqe_2017_v2(556.94)
qbfrelay-limited-depqbf(604.91)