Family mult-matrix results for solvers
Prenex CNF Track


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
Caqe-bloqqer-qdo2675.96445.99380.47422.01620.410.667
Caqe-hqspre1803.96300.66423.81.982.170.667
caqe-pre1354.59225.77343.2222.20.833
depqbf_prefix_opt_qdo5400900090000
depqbf_pre_QxQBH914.42152.4334.343.233.990.833
GhostQ___cegar_pcnf_20195400900090000
GhostQ___plain_pcnf_20195400900090000
iprover_bloqqer_schedule3505.94584.32401.72832.728890.5
iprover_bloqqer_single2775.28462.55437.51467.67889.10.5
nanoqbf_bloqqer3621.79603.63419.13900893.10.333
nanoqbf_hqspre1806.94301.16423.452.922.790.667
Qute_default5400900090000
Qute_opt500221.2436.8742.1211.712.670
Qute_rrs4508.99751.5332.06900891.010.167
Rareqs_20182700.54450.09449.91450.279000.5