Results for instance sortnetsort9.v.stepl.007
Prenex CNF Track



Solver Time Result
Qute_opt5008.57FAIL
nanoqbf_bloqqer16.51SAT
nanoqbf_hqspre21.38SAT
Caqe-bloqqer-qdo27.05SAT
Rareqs_201830.77SAT
caqe-pre39.16SAT
Caqe-hqspre39.2SAT
depqbf_pre_QxQBH343.06SAT
GhostQ___cegar_pcnf_2019804.3SAT
Qute_rrs900FAIL
GhostQ___plain_pcnf_2019900FAIL
iprover_bloqqer_single900FAIL
depqbf_prefix_opt_qdo900FAIL
Qute_default900FAIL
iprover_bloqqer_schedule900FAIL