Family s820 results for solvers
Prenex CNF Track


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
Caqe-bloqqer-qdo544.96272.48124.44272.4801
Caqe-hqspre1049.49524.75160.75524.7501
caqe-pre1266.86633.43266.57633.4300.5
depqbf_prefix_opt_qdo1800900090000
depqbf_pre_QxQBH1741.21870.613.75870.6100
GhostQ___cegar_pcnf_201915.517.760.817.7601
GhostQ___plain_pcnf_201914.527.260.867.2601
iprover_bloqqer_schedule1030.71515.3672.04515.3600
iprover_bloqqer_single1041.22520.6169.8520.6100
nanoqbf_bloqqer1800900090000
nanoqbf_hqspre1800900090000
Qute_default1000.07500.04399.97500.0400.5
Qute_opt500112.4556.230.6356.2300
Qute_rrs1800900090000
Rareqs_2018240.01120.0118.29120.0101