Results for instance load_2c_comp_comp7_REAL.sat
QBFEVAL'18 - Prenex 2QBF Track



Solver Time Result
Qute_random3.63SAT
Qute_opt5003.65SAT
Rareqs_201810.42SAT
depqbf_pre_QxQBH11.74SAT
aspq3alt12.06SAT
ASPQ_201812.24SAT
Cued_3_201812.89SAT
Cued_2_201812.89SAT
predyndep14.73SAT
aspq2v316.51SAT
Caqe-bloqqer25.63SAT
ijtihad663.27SAT
Heretiq-cube838.14FAIL
Caqe-bloqqer-qdo900FAIL
Iprover-HQSpre-Bloqqer900.01FAIL
Heretiq-simple900.02FAIL
CADET_2017900.04FAIL
depqbf_prefix_opt_qdo900.04FAIL
GhostQ-PG_plain900.05FAIL
Qute_default900.06FAIL
PortfolioDepQBFGhostQRaReQSQute___pf900.07FAIL
Caqe-hqspre900.07FAIL
GhostQ-PG_cegar900.07FAIL