Family Model_instances results for solvers
Crafted Instances Track


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
Caqe-bloqqer-qdo4508.11751.35332.39900891.890.167
Caqe-hqspre4504.8750.8333.62900895.20.167
caqe-pre4504.85750.81333.6900895.150.167
depqbf_prefix_opt_qdo5400900090000
depqbf_pre_QxQBH4209.47701.58203.37742.81467.470.5
GhostQ___cegar_pcnf_20195400900090000
GhostQ___plain_pcnf_20195400900090000
iprover_bloqqer_schedule5400900090000
iprover_bloqqer_single5185.12864.1980.08900214.880.167
nanoqbf_bloqqer5400900090000
nanoqbf_hqspre5400900090000
Qute_default1287.99214.67328.3523.7538.090.833
Qute_opt5004.220.71000
Qute_rrs1287.95214.66327.9125.3441.090.833
Rareqs_20181386.73231.12307.83102.7146.780.833