Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-005
Best Solver: Qute_opt500 Time: 0.18 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Qute_default 0.19 rev_qfun0.1 1.36 ghostq-cegar 2.69
- - Qute_random 0.19 GhostQ-PG_plain 1.77 xb-qsts_bqsts2.0 2.76
- - rareqs 0.21 - - GhostQ-PG_cegar 2.91
- - prefix-opt-depqbf 0.3 - - xb-qsts_xbqsts2.0 3.46
- - caqe_2017_v2 0.42 - - xb-qsts_xbqsts1.0 3.5
- - caqe_2017_v1 0.43 - - QELL_unit 9.74
- - caqe_2017_v3 0.44 - - - -
- - qbfrelay-limited-depqbf 0.53 - - - -
Qute_opt500(0.18)
Qute_default(0.19)
Qute_random(0.19)
rareqs(0.21)
prefix-opt-depqbf(0.3)
caqe_2017_v2(0.42)
caqe_2017_v1(0.43)
caqe_2017_v3(0.44)
qbfrelay-limited-depqbf(0.53)
rev_qfun0.1(1.36)
GhostQ-PG_plain(1.77)
ghostq-cegar(2.69)
xb-qsts_bqsts2.0(2.76)
GhostQ-PG_cegar(2.91)
xb-qsts_xbqsts2.0(3.46)
xb-qsts_xbqsts1.0(3.5)
QELL_unit(9.74)
QELL_default(25.93)
heretiq(30.74)
ijtihad_v2(41.32)
qesto(42.22)
qbfrelay(201.53)