Results for instance klieber2017q-082-20-t1
Crafted Instances Track



Solver Time Result
Rareqs_20180UNSAT
nanoqbf_bloqqer1.05UNSAT
Caqe-bloqqer-qdo1.47UNSAT
Qute_opt5002.85FAIL
Caqe-hqspre6.01UNSAT
caqe-pre6.02UNSAT
nanoqbf_hqspre6.31UNSAT
GhostQ___cegar_pcnf_20196.59UNSAT
depqbf_prefix_opt_qdo389.75UNSAT
Qute_rrs900FAIL
GhostQ___plain_pcnf_2019900FAIL
iprover_bloqqer_single900FAIL
depqbf_pre_QxQBH900FAIL
Qute_default900FAIL
iprover_bloqqer_schedule900FAIL