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
Instances of family Tentrup_dqbf solved by
iprover_hqspre
QBFEVAL'18 - DQBF Solvers Track
Instance
Result
Time
ltl2dba_beta_environment_1.dqdimacs
UNSAT
0.3
loadcomp2_environment_4.dqdimacs
SAT
0.3
full_arbiter_unreal1_system_1.dqdimacs
UNSAT
0.41
lilydemo02_system_4.dqdimacs
UNSAT
0.45
ltl2dba_theta_environment_1.dqdimacs
SAT
0.48
lilydemo01_environment_8.dqdimacs
SAT
0.54
round_robin_arbiter_system_1.dqdimacs
UNSAT
0.67
detector_unreal_environment_16.dqdimacs
SAT
0.68
ltl2dba05_environment_2.dqdimacs
UNSAT
0.81
ltl2dba_U1_system_1.dqdimacs
UNSAT
0.83
loadcomp3_environment_1.dqdimacs
SAT
0.84
simple_arbiter_system_2.dqdimacs
UNSAT
0.94
full_arbiter_unreal2_system_1.dqdimacs
UNSAT
0.95
ltl2dba_R_environment_1.dqdimacs
UNSAT
0.99
ltl2dba_U1_environment_4.dqdimacs
UNSAT
1.02
round_robin_arbiter_environment_2.dqdimacs
UNSAT
1.04
amba_decomposed_tburst4_system_1.dqdimacs
UNSAT
1.5
load_balancer_unreal1_system_2.dqdimacs
UNSAT
1.65
amba_decomposed_lock_environment_2.dqdimacs
UNSAT
1.76
generalized_buffer_unreal2_system_1.dqdimacs
UNSAT
2.09
simple_arbiter_environment_2.dqdimacs
UNSAT
2.57
load_balancer_unreal2_system_4.dqdimacs
SAT
3.7
full_arbiter_unreal1_environment_1.dqdimacs
SAT
5.18
load_balancer_environment_8.dqdimacs
SAT
5.32
load_balancer_system_4.dqdimacs
UNSAT
5.58
lilydemo12_environment_8.dqdimacs
UNSAT
7.75
prioritized_arbiter_environment_4.dqdimacs
UNSAT
9.19
lilydemo19_environment_4.dqdimacs
UNSAT
12.2
genbuf2_system_4.dqdimacs
UNSAT
23.63
lilydemo04_environment_8.dqdimacs
SAT
62.14
full_arbiter_unreal3_environment_2.dqdimacs
UNSAT
68
full_arbiter_environment_4.dqdimacs
UNSAT
68.04
ltl2dba_U1_system_16.dqdimacs
SAT
321.95
lilydemo07_system_16.dqdimacs
SAT
413.46
ltl2dba_alpha_environment_8.dqdimacs
UNSAT
462.34
ltl2dba13_environment_8.dqdimacs
UNSAT
657.46
amba_decomposed_arbiter_system_8.dqdimacs
SAT
748.29
pec_look_ahead_arbiter_7_22.dqdimacs
FAIL
900
pec_multiplexer_3_2.dqdimacs
FAIL
900
pec_multiplier_1_0.dqdimacs
FAIL
900
amba_case_study_system_1.dqdimacs
FAIL
900
ltl2dba01_environment_8.dqdimacs
FAIL
900
pec_adder_n_bit_3_1.dqdimacs
FAIL
900
pec_adder_n_bit_9_17.dqdimacs
FAIL
900
pec_look_ahead_arbiter_1_11.dqdimacs
FAIL
900
pec_look_ahead_arbiter_7_2.dqdimacs
FAIL
900
pec_multiplexer_3_30.dqdimacs
FAIL
900
pec_multiplier_1_10.dqdimacs
FAIL
900
amba_case_study_unreal1_system_4.dqdimacs
FAIL
900
detector_environment_16.dqdimacs
FAIL
900
genbuf3_system_16.dqdimacs
FAIL
900
pec_adder_n_bit_5_11.dqdimacs
FAIL
900
pec_adder_n_bit_9_18.dqdimacs
FAIL
900
pec_look_ahead_arbiter_1_14.dqdimacs
FAIL
900
pec_look_ahead_arbiter_7_9.dqdimacs
FAIL
900
pec_multiplexer_3_6.dqdimacs
FAIL
900
pec_multiplier_1_11.dqdimacs
FAIL
900
amba_case_study_unreal2_system_1.dqdimacs
FAIL
900
pec_adder_n_bit_5_18.dqdimacs
FAIL
900
pec_adder_n_bit_9_1.dqdimacs
FAIL
900
pec_look_ahead_arbiter_1_2.dqdimacs
FAIL
900
pec_multiplexer_1_11.dqdimacs
FAIL
900
pec_multiplexer_5_11.dqdimacs
FAIL
900
pec_multiplier_1_30.dqdimacs
FAIL
900
amba_decomposed_arbiter_environment_4.dqdimacs
FAIL
900
pec_adder_n_bit_7_0.dqdimacs
FAIL
900
pec_adder_n_bit_9_20.dqdimacs
FAIL
900
pec_look_ahead_arbiter_5_10.dqdimacs
FAIL
900
pec_multiplexer_1_26.dqdimacs
FAIL
900
pec_multiplexer_5_12.dqdimacs
FAIL
900
pec_multiplier_3_2.dqdimacs
FAIL
900
pec_adder_n_bit_9_11.dqdimacs
FAIL
900
pec_adder_n_bit_9_22.dqdimacs
FAIL
900
pec_look_ahead_arbiter_5_12.dqdimacs
FAIL
900
pec_multiplexer_1_2.dqdimacs
FAIL
900
pec_multiplexer_5_17.dqdimacs
FAIL
900
pec_multiplier_3_3.dqdimacs
FAIL
900
amba_decomposed_decode_environment_16.dqdimacs
FAIL
900
ltl2dba_C2_environment_16.dqdimacs
FAIL
900
pec_adder_n_bit_1_19.dqdimacs
FAIL
900
pec_adder_n_bit_9_12.dqdimacs
FAIL
900
pec_adder_n_bit_9_2.dqdimacs
FAIL
900
pec_look_ahead_arbiter_5_1.dqdimacs
FAIL
900
pec_multiplexer_1_4.dqdimacs
FAIL
900
pec_multiplexer_5_2.dqdimacs
FAIL
900
pec_multiplier_3_4.dqdimacs
FAIL
900
ltl2dba_E_environment_16.dqdimacs
FAIL
900
pec_adder_n_bit_1_3.dqdimacs
FAIL
900
pec_adder_n_bit_9_13.dqdimacs
FAIL
900
pec_adder_n_bit_9_6.dqdimacs
FAIL
900
pec_look_ahead_arbiter_5_2.dqdimacs
FAIL
900
pec_multiplexer_1_8.dqdimacs
FAIL
900
pec_multiplexer_5_5.dqdimacs
FAIL
900
amba_decomposed_tburst4_system_16.dqdimacs
FAIL
900
loadfull2_environment_16.dqdimacs
FAIL
900
ltl2dba_R_environment_16.dqdimacs
FAIL
900
pec_adder_n_bit_3_18.dqdimacs
FAIL
900
pec_adder_n_bit_9_14.dqdimacs
FAIL
900
pec_look_ahead_arbiter_1_0.dqdimacs
FAIL
900
pec_look_ahead_arbiter_5_3.dqdimacs
FAIL
900
Contact
|
Organization
|
Links
|
Citing QBFLIB