Sota solver details
QBFEVAL'18 - Prenex 2QBF Track

Instance: cycle_sched_4_7_1.sat
Best Solver: Caqe-bloqqer Time: 8.57 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Rareqs_2018 9.32 ijtihad 58.48 Heretiq-simple 87.78
- - aspq2v3 17.43 - - Heretiq-cube 390.28
- - Cued_2_2018 32.9 - - depqbf_pre_QxQBH 395.64
- - Cued_3_2018 35.19 - - Caqe-bloqqer-qdo 802.81
- - ASPQ_2018 40.46 - - - -
- - aspq3alt 42.01 - - - -
Caqe-bloqqer(8.57)
Rareqs_2018(9.32)
aspq2v3(17.43)
Cued_2_2018(32.9)
Cued_3_2018(35.19)
ASPQ_2018(40.46)
aspq3alt(42.01)
ijtihad(58.48)
Heretiq-simple(87.78)
Heretiq-cube(390.28)
depqbf_pre_QxQBH(395.64)
Caqe-bloqqer-qdo(802.81)