Results for instance cycle_sched_4_7_1.sat
QBFEVAL'19 - Prenex CNF Track



Solver Time Result
Qute_opt50072.88FAIL
Hiqqer2019_2107.73SAT
Hiqqer2019_3205.39SAT
Hiqqer2019_1232.39SAT
depqbf_pre_QxQBH402.07SAT
caqe-pre457.03SAT
Caqe-bloqqer-qdo798.15SAT
GhostQ___plain_pcnf_2019900.02FAIL
Qute_default900.04FAIL
Qute_rrs900.04FAIL
depqbf_prefix_opt_qdo900.05FAIL
GhostQ___cegar_pcnf_2019900.06FAIL
Caqe-hqspre900.1FAIL