QBF Solver Evaluation Portal
Home
QBFLIB
QBFGALLERY'23
QBFEVALs
2022
2020
2019
2018
2017
2016
2010
2008
2007
2006
2005
2004
QBF GALLERIES
QBF Gallery 2014
QBF Gallery 2013
DOWNLOADS
Download the QBFEVAL'22 dataset
Download the QBFEVAL'20 dataset
Download the QBFEVAL'19 dataset and raw results
Download the QBFEVAL'18 dataset and raw results
Download the QBFEVAL'17 dataset and raw results
Download the QBFEVAL'16 dataset
Download the QBFEVAL'10 dataset
Download the QBFEVAL'08 dataset
Download the non-prenex non-cnf track dataset
Download the QBFEVAL'07 dataset
Download the QBFEVAL'06 dataset
Download the QDIMACS to QPRO converter
Download the QDIMACS to QBF1.0 converter
qbflib.org
Sota solver results for family Tentrup_dqbf
QBFEVAL'18 - DQBF Solvers Track
Instance
Solver
Result
Time
amba_case_study_system_1.dqdimacs
dCaqe
UNSAT
458.81
amba_case_study_unreal2_system_1.dqdimacs
dCaqe
UNSAT
489.34
amba_decomposed_arbiter_system_8.dqdimacs
iprover_hqspre
SAT
748.29
amba_decomposed_decode_environment_16.dqdimacs
hqs
UNSAT
0.61
amba_decomposed_lock_environment_2.dqdimacs
iprover_hqspre
UNSAT
1.76
amba_decomposed_tburst4_system_1.dqdimacs
hqs
UNSAT
0.98
detector_unreal_environment_16.dqdimacs
iprover_hqspre
SAT
0.68
full_arbiter_environment_4.dqdimacs
iprover_hqspre
UNSAT
68.04
full_arbiter_unreal1_environment_1.dqdimacs
iprover_hqspre
SAT
5.18
full_arbiter_unreal1_system_1.dqdimacs
iprover_hqspre
UNSAT
0.41
full_arbiter_unreal2_system_1.dqdimacs
hqs
UNSAT
0.88
full_arbiter_unreal3_environment_2.dqdimacs
iprover_hqspre
UNSAT
68
genbuf2_system_4.dqdimacs
iprover_hqspre
UNSAT
23.63
generalized_buffer_unreal2_system_1.dqdimacs
iprover_hqspre
UNSAT
2.09
lilydemo01_environment_8.dqdimacs
iprover_hqspre
SAT
0.54
lilydemo02_system_4.dqdimacs
iprover_hqspre
UNSAT
0.45
lilydemo04_environment_8.dqdimacs
iprover_hqspre
SAT
62.14
lilydemo07_system_16.dqdimacs
hqs
SAT
25.57
lilydemo12_environment_8.dqdimacs
iprover_hqspre
UNSAT
7.75
lilydemo19_environment_4.dqdimacs
iprover_hqspre
UNSAT
12.2
loadcomp2_environment_4.dqdimacs
iprover_hqspre
SAT
0.3
loadcomp3_environment_1.dqdimacs
iprover_hqspre
SAT
0.84
load_balancer_environment_8.dqdimacs
iprover_hqspre
SAT
5.32
load_balancer_system_4.dqdimacs
iprover_hqspre
UNSAT
5.58
load_balancer_unreal1_system_2.dqdimacs
iprover_hqspre
UNSAT
1.65
load_balancer_unreal2_system_4.dqdimacs
iprover_hqspre
SAT
3.7
ltl2dba05_environment_2.dqdimacs
iprover_hqspre
UNSAT
0.81
ltl2dba13_environment_8.dqdimacs
hqs
UNSAT
327.73
ltl2dba_alpha_environment_8.dqdimacs
hqs
UNSAT
39.99
ltl2dba_beta_environment_1.dqdimacs
iprover_hqspre
UNSAT
0.3
ltl2dba_R_environment_1.dqdimacs
idq
UNSAT
0.24
ltl2dba_theta_environment_1.dqdimacs
iprover_hqspre
SAT
0.48
ltl2dba_U1_environment_4.dqdimacs
iprover_hqspre
UNSAT
1.02
ltl2dba_U1_system_1.dqdimacs
iprover_dqbf18
UNSAT
0.63
ltl2dba_U1_system_16.dqdimacs
hqs
SAT
268.88
pec_adder_n_bit_1_19.dqdimacs
hqs
SAT
18.19
pec_adder_n_bit_1_3.dqdimacs
hqs
UNSAT
7.6
pec_adder_n_bit_3_1.dqdimacs
hqs
UNSAT
17.58
pec_adder_n_bit_3_18.dqdimacs
hqs
UNSAT
16.08
pec_adder_n_bit_5_11.dqdimacs
hqs
UNSAT
11.6
pec_adder_n_bit_5_18.dqdimacs
hqs
UNSAT
11.61
pec_adder_n_bit_9_11.dqdimacs
hqs
UNSAT
111.97
pec_adder_n_bit_9_17.dqdimacs
hqs
UNSAT
61.02
pec_adder_n_bit_9_20.dqdimacs
hqs
UNSAT
888.95
pec_adder_n_bit_9_22.dqdimacs
hqs
UNSAT
44.25
pec_look_ahead_arbiter_1_0.dqdimacs
hqs
SAT
3.78
pec_look_ahead_arbiter_1_11.dqdimacs
hqs
UNSAT
2.11
pec_look_ahead_arbiter_1_14.dqdimacs
hqs
UNSAT
1.91
pec_look_ahead_arbiter_1_2.dqdimacs
hqs
UNSAT
2.7
pec_look_ahead_arbiter_5_1.dqdimacs
hqs
UNSAT
5.37
pec_look_ahead_arbiter_5_10.dqdimacs
hqs
UNSAT
4.45
pec_look_ahead_arbiter_5_12.dqdimacs
hqs
UNSAT
12.23
pec_look_ahead_arbiter_5_2.dqdimacs
hqs
UNSAT
4.51
pec_look_ahead_arbiter_5_3.dqdimacs
hqs
UNSAT
4.52
pec_look_ahead_arbiter_7_2.dqdimacs
hqs
UNSAT
38.55
pec_look_ahead_arbiter_7_22.dqdimacs
hqs
UNSAT
5.84
pec_look_ahead_arbiter_7_9.dqdimacs
hqs
UNSAT
13.04
pec_multiplexer_1_11.dqdimacs
hqs
UNSAT
1.63
pec_multiplexer_1_2.dqdimacs
hqs
UNSAT
2.19
pec_multiplexer_1_26.dqdimacs
hqs
UNSAT
0.81
pec_multiplexer_1_4.dqdimacs
hqs
UNSAT
0.96
pec_multiplexer_1_8.dqdimacs
hqs
UNSAT
1.11
pec_multiplexer_3_2.dqdimacs
hqs
SAT
3.71
pec_multiplexer_3_30.dqdimacs
hqs
UNSAT
0.97
pec_multiplexer_3_6.dqdimacs
hqs
UNSAT
1.27
pec_multiplexer_5_11.dqdimacs
hqs
UNSAT
0.81
pec_multiplexer_5_12.dqdimacs
hqs
UNSAT
5.85
pec_multiplexer_5_17.dqdimacs
hqs
UNSAT
12.32
pec_multiplexer_5_2.dqdimacs
hqs
UNSAT
11.68
pec_multiplexer_5_5.dqdimacs
hqs
SAT
27.44
pec_multiplier_1_0.dqdimacs
hqs
SAT
6.5
pec_multiplier_1_10.dqdimacs
hqs
UNSAT
1.13
pec_multiplier_1_11.dqdimacs
hqs
UNSAT
2.04
pec_multiplier_1_30.dqdimacs
hqs
UNSAT
3.84
pec_multiplier_3_2.dqdimacs
hqs
UNSAT
6.16
pec_multiplier_3_3.dqdimacs
hqs
UNSAT
5.52
pec_multiplier_3_4.dqdimacs
hqs
UNSAT
4.19
prioritized_arbiter_environment_4.dqdimacs
iprover_hqspre
UNSAT
9.19
round_robin_arbiter_environment_2.dqdimacs
iprover_hqspre
UNSAT
1.04
round_robin_arbiter_system_1.dqdimacs
iprover_hqspre
UNSAT
0.67
simple_arbiter_environment_2.dqdimacs
iprover_hqspre
UNSAT
2.57
simple_arbiter_system_2.dqdimacs
hqs
UNSAT
0.66
Contact
|
Organization
|
Links
|
Citing QBFLIB