Results for instance klieber2017q-076-19-t1
Crafted Instances Track



Solver Time Result
Rareqs_20180.93UNSAT
nanoqbf_hqspre1.59UNSAT
Qute_opt5002.33FAIL
Caqe-hqspre2.68UNSAT
caqe-pre2.73UNSAT
nanoqbf_bloqqer3.36UNSAT
Caqe-bloqqer-qdo4.57UNSAT
depqbf_pre_QxQBH31.44UNSAT
GhostQ___cegar_pcnf_201951.48UNSAT
Qute_rrs900FAIL
GhostQ___plain_pcnf_2019900FAIL
iprover_bloqqer_single900FAIL
depqbf_prefix_opt_qdo900FAIL
Qute_default900FAIL
iprover_bloqqer_schedule900FAIL