Family k_ph_n results for solvers
Prenex CNF Track


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
Caqe-bloqqer-qdo92.1818.4415.4219.1324.081
Caqe-hqspre20.394.083.033.634.381
caqe-pre20.44.083.013.694.391
depqbf_prefix_opt_qdo111.2122.2426.6111.5216.871
depqbf_pre_QxQBH33.326.664.626.396.851
GhostQ___cegar_pcnf_20192415.3483.06379.08642.93696.890.8
GhostQ___plain_pcnf_20192650.13530.03394.15741.99766.930.6
iprover_bloqqer_schedule1832.6366.52435.6119.03452.730.6
iprover_bloqqer_single1826.95365.39436.5316.91453.440.6
nanoqbf_bloqqer1812.47362.49438.8910.28454.050.6
nanoqbf_hqspre13.872.771.962.892.791
Qute_default25.425.083.834.345.391
Qute_opt50025.345.073.814.35.341
Qute_rrs25.415.083.834.265.321
Rareqs_201880.2116.0418.6912.914.611