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_single
DQBF Solvers Track
Instance
Result
Time
round_robin_arbiter_system_1.dqdimacs
UNSAT
0.4
pec_multiplexer_1_26.dqdimacs
UNSAT
4.23
pec_multiplexer_1_4.dqdimacs
UNSAT
4.84
full_arbiter_unreal1_environment_1.dqdimacs
SAT
6.08
load_balancer_environment_8.dqdimacs
SAT
7.4
pec_multiplexer_2_2.dqdimacs
UNSAT
9.61
pec_multiplexer_6_84.dqdimacs
UNSAT
14.47
pec_multiplexer_1_8.dqdimacs
UNSAT
14.75
prioritized_arbiter_environment_4.dqdimacs
UNSAT
17.49
pec_multiplexer_1_2.dqdimacs
UNSAT
23.45
pec_multiplier_1_9.dqdimacs
UNSAT
29.01
pec_multiplier_1_10.dqdimacs
UNSAT
31.43
pec_multiplexer_3_30.dqdimacs
UNSAT
31.88
lilydemo19_environment_4.dqdimacs
UNSAT
33.79
pec_multiplier_1_20.dqdimacs
UNSAT
36.06
pec_multiplexer_1_11.dqdimacs
UNSAT
40.89
pec_look_ahead_arbiter_3_15.dqdimacs
UNSAT
42.35
load_balancer_system_4.dqdimacs
UNSAT
46.42
pec_multiplexer_4_50.dqdimacs
UNSAT
48.65
pec_multiplexer_5_11.dqdimacs
UNSAT
55.99
load_balancer_unreal2_system_4.dqdimacs
SAT
73.87
genbuf2_system_4.dqdimacs
UNSAT
76.86
full_arbiter_unreal3_environment_2.dqdimacs
UNSAT
81.43
pec_multiplexer_5_2.dqdimacs
UNSAT
102.27
pec_multiplier_4_14.dqdimacs
UNSAT
108.04
pec_multiplexer_5_12.dqdimacs
UNSAT
110.33
pec_multiplier_1_30.dqdimacs
UNSAT
140.46
pec_multiplier_3_3.dqdimacs
UNSAT
152.25
pec_multiplexer_3_6.dqdimacs
UNSAT
275.14
ltl2dba13_environment_8.dqdimacs
UNSAT
311.1
amba_case_study_unreal2_system_1.dqdimacs
FAIL
350.29
amba_case_study_system_1.dqdimacs
FAIL
350.74
pec_multiplexer_5_17.dqdimacs
UNSAT
410.55
lilydemo04_environment_8.dqdimacs
SAT
534.26
ltl2dba_alpha_environment_8.dqdimacs
UNSAT
552.12
pec_multiplier_1_11.dqdimacs
UNSAT
831.84
amba_decomposed_arbiter_system_8.dqdimacs
FAIL
900
lilydemo07_system_16.dqdimacs
FAIL
900
pec_adder_n_bit_1_19.dqdimacs
FAIL
900
pec_look_ahead_arbiter_5_1.dqdimacs
FAIL
900
pec_look_ahead_arbiter_6_2.dqdimacs
FAIL
900
pec_adder_n_bit_3_38.dqdimacs
FAIL
900
pec_look_ahead_arbiter_6_40.dqdimacs
FAIL
900
pec_multiplexer_6_51.dqdimacs
FAIL
900
amba_decomposed_decode_environment_16.dqdimacs
FAIL
900
pec_adder_n_bit_3_1.dqdimacs
FAIL
900
pec_look_ahead_arbiter_5_2.dqdimacs
FAIL
900
pec_multiplier_1_0.dqdimacs
FAIL
900
pec_look_ahead_arbiter_8_4.dqdimacs
FAIL
900
pec_adder_n_bit_4_4.dqdimacs
FAIL
900
pec_look_ahead_arbiter_6_70.dqdimacs
FAIL
900
amba_decomposed_tburst4_system_16.dqdimacs
FAIL
900
pec_look_ahead_arbiter_1_0.dqdimacs
FAIL
900
pec_look_ahead_arbiter_5_3.dqdimacs
FAIL
900
pec_multiplexer_3_2.dqdimacs
FAIL
900
pec_adder_n_bit_4_11.dqdimacs
FAIL
900
pec_adder_n_bit_5_90.dqdimacs
FAIL
900
pec_look_ahead_arbiter_6_93.dqdimacs
FAIL
900
pec_multiplexer_8_59.dqdimacs
FAIL
900
full_arbiter_environment_4.dqdimacs
FAIL
900
pec_look_ahead_arbiter_1_11.dqdimacs
FAIL
900
pec_look_ahead_arbiter_7_22.dqdimacs
FAIL
900
pec_look_ahead_arbiter_2_4.dqdimacs
FAIL
900
pec_adder_n_bit_7_26.dqdimacs
FAIL
900
pec_look_ahead_arbiter_8_11.dqdimacs
FAIL
900
pec_look_ahead_arbiter_1_14.dqdimacs
FAIL
900
pec_look_ahead_arbiter_7_9.dqdimacs
FAIL
900
pec_look_ahead_arbiter_3_12.dqdimacs
FAIL
900
pec_look_ahead_arbiter_10_2.dqdimacs
FAIL
900
pec_look_ahead_arbiter_9_36.dqdimacs
FAIL
900
pec_multiplier_5_81.dqdimacs
FAIL
900
pec_look_ahead_arbiter_1_2.dqdimacs
FAIL
900
pec_multiplier_3_2.dqdimacs
FAIL
900
pec_adder_n_bit_10_32.dqdimacs
FAIL
900
pec_look_ahead_arbiter_1_35.dqdimacs
FAIL
900
pec_look_ahead_arbiter_9_8.dqdimacs
FAIL
900
pec_multiplier_5_91.dqdimacs
FAIL
900
pec_look_ahead_arbiter_5_10.dqdimacs
FAIL
900
pec_look_ahead_arbiter_3_3.dqdimacs
FAIL
900
pec_adder_n_bit_1_35.dqdimacs
FAIL
900
pec_look_ahead_arbiter_2_24.dqdimacs
FAIL
900
pec_multiplexer_10_41.dqdimacs
FAIL
900
pec_multiplier_7_13.dqdimacs
FAIL
900
ltl2dba_U1_system_16.dqdimacs
FAIL
900
pec_look_ahead_arbiter_5_12.dqdimacs
FAIL
900
pec_multiplier_3_4.dqdimacs
FAIL
900
pec_look_ahead_arbiter_6_12.dqdimacs
FAIL
900
pec_adder_n_bit_2_10.dqdimacs
FAIL
900
pec_look_ahead_arbiter_5_5.dqdimacs
FAIL
900
pec_multiplier_7_87.dqdimacs
FAIL
900
Contact
|
Organization
|
Links
|
Citing QBFLIB