Family wgrowing results for solvers
Crafted Instances Track


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
Caqe-bloqqer-qdo1767.45196.38266.29105.96151.960.889
Caqe-hqspre4608.52512.06434.17900881.580.444
caqe-pre3444.7382.74336.57519.12554.930.889
depqbf_prefix_opt_qdo7200.01800282.8490000.111
depqbf_pre_QxQBH7200800282.8490000.111
GhostQ___cegar_pcnf_20198100900090000
GhostQ___plain_pcnf_20198100900090000
iprover_bloqqer_schedule7968.83885.4341.2290000.111
iprover_bloqqer_single7223.51802.61275.4590000.111
nanoqbf_bloqqer8100900090000
nanoqbf_hqspre7200800282.8490000.111
Qute_default2408.65267.63293.93176.05313.390.889
Qute_opt50010.131.130.70.751.190.111
Qute_rrs2473.55274.84297.34181.98329.660.889
Rareqs_20185245.02582.78367.48900695.180.444