Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: kmdf_pcidrv_sys_hw_physet.c
Best Solver: Qute_random Time: 2.21 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Qute_opt500 2.47 - - prefix-opt-depqbf 24.77
- - caqe_2017_v2 2.78 - - qbfrelay-limited-depqbf 26.11
- - caqe_2017_v3 2.8 - - QELL_unit 27.27
- - - - - - GhostQ-PG_cegar 82.55
- - - - - - GhostQ-PG_plain 121.64
- - - - - - heretiq 152.49
- - - - - - rareqs 182.69
- - - - - - xb-qsts_xbqsts1.0 197.83
- - - - - - xb-qsts_xbqsts2.0 201.1
- - - - - - xb-qsts_bqsts2.0 203.26
Qute_random(2.21)
Qute_opt500(2.47)
caqe_2017_v2(2.78)
caqe_2017_v3(2.8)
prefix-opt-depqbf(24.77)
qbfrelay-limited-depqbf(26.11)
QELL_unit(27.27)
GhostQ-PG_cegar(82.55)
GhostQ-PG_plain(121.64)
heretiq(152.49)
rareqs(182.69)
xb-qsts_xbqsts1.0(197.83)
xb-qsts_xbqsts2.0(201.1)
xb-qsts_bqsts2.0(203.26)
QELL_default(362.06)
qesto(884.82)