Family Selection-hard results for solvers
Crafted Instances Track


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
Caqe-bloqqer-qdo997.99199.6350.4228.2323.330.8
Caqe-hqspre294.6458.9379.848.31331
caqe-pre299.1959.8481.878.2232.571
depqbf_prefix_opt_qdo4500900090000
depqbf_pre_QxQBH3601.94720.39359.22900449.030.2
GhostQ___cegar_pcnf_20194410.6882.1235.7690044.70.2
GhostQ___plain_pcnf_20194500900090000
iprover_bloqqer_schedule4370.14874.0351.9490064.930.2
iprover_bloqqer_single3614.22722.84354.31900442.890.2
nanoqbf_bloqqer4500900090000
nanoqbf_hqspre3601.53720.31359.39900449.240.2
Qute_default1210.58242.12335.52151.43147.840.8
Qute_opt5004.960.990.821.491.530.2
Qute_rrs1215.83243.17335.26153.35150.630.8
Rareqs_20182866.9573.38402.65900816.550.4