Solver performance
Crafted Instances Track

                                                         
SolverTotalSatUnsatUnique
#Time#Time#Time#Time
Caqe-bloqqer-qdo1551193.7213973.55142220.1700
depqbf_pre_QxQBH1412793.9721.941392792.0300
Qute_default1402644.51131822.34127822.1700
caqe-pre1406180.26163287.321242892.9400
Qute_rrs1382567.04131892.19125674.8500
iprover_bloqqer_single135917.293722.85132194.4400
Rareqs_20181351510.6881144.53127366.151222.98
GhostQ___cegar_pcnf_20191352390.72111814.4124576.327874.31
iprover_bloqqer_schedule1341731.6721538.97132192.700
Caqe-hqspre1301036.3312845.71118190.6200
nanoqbf_hqspre119800.7421.53117799.2100
Qute_opt500103100.1821.5710198.6100
depqbf_prefix_opt_qdo1005890.2141302.93964587.2800

    Problematic solver
    Hors-Concours solver