Suite Amendola-Ricca-Truszczynski results for solvers
Crafted Instances Track

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
Caqe-bloqqer-qdo7273.55363.68400.2128.96876.310.65
Caqe-hqspre9407.96470.4431.86555.74892.210.5
caqe-pre8248.74412.44389.7367.96892.260.7
depqbf_prefix_opt_qdo17100.01855196.1590000.05
depqbf_pre_QxQBH15011.41750.57287.6900157.190.25
GhostQ___cegar_pcnf_201917910.6895.5319.4890000.05
GhostQ___plain_pcnf_201918000900090000
iprover_bloqqer_schedule17738.97886.9539.1690000.1
iprover_bloqqer_single16022.85801.14264.9190000.15
nanoqbf_bloqqer18000900090000
nanoqbf_hqspre16201.53810.08269.7790000.1
Qute_default4907.22245.36316.03107.16349.540.85
Qute_opt50019.310.970.850.721.850.1
Qute_rrs4977.33248.87317.5109.45355.740.85
Rareqs_20189498.65474.93393.98327.43831.870.55