Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: query42_query06_1344n
Best Solver: rareqs Time: 34.28 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - xb-qsts_bqsts2.0 130.19 - - caqe_2017_v1 431.36
- - xb-qsts_xbqsts1.0 139.03 - - - -
- - xb-qsts_xbqsts2.0 140.94 - - - -
- - GhostQ-PG_cegar 163.93 - - - -
rareqs(34.28)
xb-qsts_bqsts2.0(130.19)
xb-qsts_xbqsts1.0(139.03)
xb-qsts_xbqsts2.0(140.94)
GhostQ-PG_cegar(163.93)
caqe_2017_v1(431.36)