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 solved by
dCaqe
QBFEVAL'18 - DQBF Solvers Track
Instance
Result
Time
z4ml.blif_0.50_1.00_1_2_henkin.dqdimacs
UNSAT
0.14
z4ml.blif_0.10_0.50_0_1_henkin.dqdimacs
UNSAT
0.25
ltl2dba_R_environment_1.dqdimacs
UNSAT
0.3
C432.blif_0.10_1.00_7_3_henkin.dqdimacs
UNSAT
0.35
comp.blif_0.30_1.00_1_1_henkin.dqdimacs
UNSAT
0.42
comp.blif_0.60_1.00_2_3_henkin.dqdimacs
UNSAT
0.46
z4ml.blif_0.10_0.20_1_2_henkin.dqdimacs
UNSAT
0.59
C432.blif_0.20_1.00_2_2_henkin.dqdimacs
UNSAT
0.63
ex1.dqdimacs
SAT
0.65
C499.blif_0.50_1.00_8_1_henkin.dqdimacs
UNSAT
0.75
full_arbiter_unreal1_system_1.dqdimacs
UNSAT
0.75
z4ml.blif_0.60_1.00_1_3_henkin.dqdimacs
UNSAT
0.78
mvs2n.dqdimacs
SAT
0.8
z4ml.blif_0.10_1.00_2_2_henkin.dqdimacs
UNSAT
0.89
unr.dqdimacs
UNSAT
0.91
C499.blif_0.10_1.00_2_1_henkin.dqdimacs
UNSAT
0.95
z4ml.blif_0.10_1.00_0_2_henkin.dqdimacs
UNSAT
0.97
full_arbiter_unreal2_system_1.dqdimacs
UNSAT
1.09
sh_u.dqdimacs
UNSAT
1.12
z4ml.blif_0.20_1.00_1_0_henkin.dqdimacs
SAT
1.33
mv2n.dqdimacs
SAT
1.34
loadcomp3_environment_1.dqdimacs
SAT
1.77
add2n.dqdimacs
SAT
2.03
lilydemo01_environment_8.dqdimacs
SAT
2.51
simple_arbiter_system_2.dqdimacs
UNSAT
2.56
z4ml.blif_0.10_0.10_0_3_henkin.dqdimacs
UNSAT
3.71
z4ml.blif_0.50_1.00_9_3_henkin.dqdimacs
UNSAT
4.94
generalized_buffer_unreal2_system_1.dqdimacs
UNSAT
5.33
lilydemo02_system_4.dqdimacs
UNSAT
5.92
mult6.dqdimacs
SAT
6.85
unrealizable.dqdimacs
UNSAT
7.92
z4ml.blif_0.50_1.00_7_3_henkin.dqdimacs
UNSAT
8.17
round_robin_arbiter_environment_2.dqdimacs
UNSAT
9.08
mult4.dqdimacs
SAT
9.38
cnt3n.dqdimacs
SAT
9.64
z4ml.blif_0.20_1.00_7_0_henkin.dqdimacs
SAT
10.59
ex2.dqdimacs
SAT
10.82
ltl2dba05_environment_2.dqdimacs
UNSAT
11.06
C499.blif_0.60_1.00_0_3_henkin.dqdimacs
UNSAT
11.84
z4ml.blif_0.50_1.00_0_1_henkin.dqdimacs
UNSAT
13.16
ltl2dba_U1_system_1.dqdimacs
UNSAT
13.74
cnt2unrealy.dqdimacs
UNSAT
13.75
php-010-008.shuffled-as.sat05-1171.cnf.dqdimacs
UNSAT
15.51
ltl2dba_theta_environment_1.dqdimacs
SAT
16.27
mult2.dqdimacs
SAT
16.54
round_robin_arbiter_system_1.dqdimacs
UNSAT
16.59
C432.blif_0.50_1.00_8_3_henkin.dqdimacs
UNSAT
17.29
z4ml.blif_0.20_1.00_2_1_henkin.dqdimacs
UNSAT
17.43
z4ml.blif_0.60_1.00_7_2_henkin.dqdimacs
UNSAT
18.52
eq1.dqdimacs
SAT
18.52
ltl2dba_beta_environment_1.dqdimacs
UNSAT
18.76
z4ml.blif_0.10_0.20_0_3_henkin.dqdimacs
UNSAT
18.76
amba_decomposed_tburst4_system_1.dqdimacs
UNSAT
18.79
z4ml.blif_0.10_1.00_2_0_henkin.dqdimacs
SAT
19.06
loadcomp2_environment_4.dqdimacs
SAT
19.1
cnt2n.dqdimacs
SAT
19.67
full_arbiter_unreal1_environment_1.dqdimacs
SAT
20.56
amba_decomposed_lock_environment_2.dqdimacs
UNSAT
33.67
urquhart3_25bis.shuffled.cnf.dqdimacs
UNSAT
37.51
z4ml.blif_0.20_0.50_2_0_henkin.dqdimacs
SAT
56.48
stay2n.dqdimacs
SAT
65.64
sgen3-n120-s12930489-sat.cnf.dqdimacs
SAT
80.03
z4ml.blif_0.50_1.00_7_0_henkin.dqdimacs
SAT
82.12
ltl2dba_U1_environment_4.dqdimacs
UNSAT
102.12
x1_40.shuffled.cnf.dqdimacs
UNSAT
103.5
detector_unreal_environment_16.dqdimacs
SAT
114.23
battleship-5-8-unsat.cnf.dqdimacs
UNSAT
127.63
term1.blif_0.60_1.00_9_1_henkin.dqdimacs
UNSAT
152.58
z4ml.blif_0.10_0.10_2_3_henkin.dqdimacs
UNSAT
155.06
z4ml.blif_0.10_0.50_2_3_henkin.dqdimacs
UNSAT
158.83
load_balancer_unreal1_system_2.dqdimacs
UNSAT
203.91
load_balancer_environment_8.dqdimacs
SAT
212.28
sgen3-n140-s18527668-sat.cnf.dqdimacs
SAT
250.66
sgen3-n160-s40283905-sat.cnf.dqdimacs
SAT
311.3
cnt4n.dqdimacs
SAT
311.47
battleship-6-9-unsat.cnf.dqdimacs
UNSAT
436.14
amba_case_study_system_1.dqdimacs
UNSAT
458.81
amba_case_study_unreal2_system_1.dqdimacs
UNSAT
489.34
add4n.dqdimacs
SAT
577.65
simple_arbiter_environment_2.dqdimacs
UNSAT
622.81
pec_multiplexer_1_2.dqdimacs
FAIL
900
pec_multiplexer_5_2.dqdimacs
FAIL
900
pec_multiplexer_5_5.dqdimacs
FAIL
900
pec_multiplier_1_0.dqdimacs
FAIL
900
pec_multiplier_1_10.dqdimacs
FAIL
900
pec_multiplier_1_11.dqdimacs
FAIL
900
pec_multiplier_1_30.dqdimacs
FAIL
900
pec_multiplier_3_2.dqdimacs
FAIL
900
term1.blif_0.60_1.00_5_1_henkin.dqdimacs
FAIL
900
term1.blif_0.60_1.00_3_1_henkin.dqdimacs
FAIL
900
pec_multiplexer_5_17.dqdimacs
FAIL
900
pec_multiplexer_5_12.dqdimacs
FAIL
900
pec_multiplexer_1_4.dqdimacs
FAIL
900
z4ml.blif_0.30_0.10_2_1_henkin.dqdimacs
FAIL
900
z4ml.blif_0.30_0.10_1_2_henkin.dqdimacs
FAIL
900
pec_multiplexer_1_8.dqdimacs
FAIL
900
pec_multiplexer_3_2.dqdimacs
FAIL
900
pec_multiplexer_3_30.dqdimacs
FAIL
900
z4ml.blif_0.50_0.50_1_0_henkin.dqdimacs
FAIL
900
pec_multiplexer_3_6.dqdimacs
FAIL
900
pec_multiplexer_5_11.dqdimacs
FAIL
900
pec_multiplexer_1_26.dqdimacs
FAIL
900
term1.blif_0.50_1.00_5_3_henkin.dqdimacs
FAIL
900
prioritized_arbiter_environment_4.dqdimacs
FAIL
900
comp.blif_0.30_0.50_2_1_henkin.dqdimacs
FAIL
900
comp.blif_0.30_0.50_0_0_henkin.dqdimacs
FAIL
900
comp.blif_0.30_0.20_2_2_henkin.dqdimacs
FAIL
900
comp.blif_0.30_0.10_2_0_henkin.dqdimacs
FAIL
900
comp.blif_0.20_1.00_9_3_henkin.dqdimacs
FAIL
900
comp.blif_0.20_1.00_4_0_henkin.dqdimacs
FAIL
900
comp.blif_0.20_0.50_0_0_henkin.dqdimacs
FAIL
900
comp.blif_0.20_0.20_2_1_henkin.dqdimacs
FAIL
900
comp.blif_0.20_0.20_0_0_henkin.dqdimacs
FAIL
900
comp.blif_0.20_0.10_1_1_henkin.dqdimacs
FAIL
900
comp.blif_0.50_1.00_4_0_henkin.dqdimacs
FAIL
900
comp.blif_0.50_1.00_5_1_henkin.dqdimacs
FAIL
900
comp.blif_0.50_1.00_9_2_henkin.dqdimacs
FAIL
900
term1.blif_0.50_1.00_5_0_henkin.dqdimacs
FAIL
900
term1.blif_0.50_1.00_3_1_henkin.dqdimacs
FAIL
900
term1.blif_0.20_1.00_5_2_henkin.dqdimacs
FAIL
900
term1.blif_0.20_1.00_3_2_henkin.dqdimacs
FAIL
900
term1.blif_0.10_1.00_9_2_henkin.dqdimacs
FAIL
900
genbuf3_system_16.dqdimacs
FAIL
900
term1.blif_0.10_1.00_5_3_henkin.dqdimacs
FAIL
900
pec_multiplier_3_3.dqdimacs
FAIL
900
comp.blif_0.60_1.00_9_1_henkin.dqdimacs
FAIL
900
comp.blif_0.60_1.00_5_2_henkin.dqdimacs
FAIL
900
pec_multiplier_3_4.dqdimacs
FAIL
900
comp.blif_0.20_0.10_0_2_henkin.dqdimacs
FAIL
900
pec_multiplexer_1_11.dqdimacs
FAIL
900
ltl2dba_U1_system_16.dqdimacs
FAIL
900
pec_adder_n_bit_7_0.dqdimacs
FAIL
900
load_balancer_unreal2_system_4.dqdimacs
FAIL
900
pec_adder_n_bit_9_11.dqdimacs
FAIL
900
load_balancer_system_4.dqdimacs
FAIL
900
pec_adder_n_bit_9_12.dqdimacs
FAIL
900
lilydemo19_environment_4.dqdimacs
FAIL
900
lilydemo12_environment_8.dqdimacs
FAIL
900
lilydemo07_system_16.dqdimacs
FAIL
900
lilydemo04_environment_8.dqdimacs
FAIL
900
pec_adder_n_bit_9_13.dqdimacs
FAIL
900
pec_adder_n_bit_9_14.dqdimacs
FAIL
900
pec_adder_n_bit_5_18.dqdimacs
FAIL
900
loadfull2_environment_16.dqdimacs
FAIL
900
ltl2dba_R_environment_16.dqdimacs
FAIL
900
ltl2dba_E_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_1_3.dqdimacs
FAIL
900
pec_adder_n_bit_3_18.dqdimacs
FAIL
900
pec_adder_n_bit_3_1.dqdimacs
FAIL
900
ltl2dba_alpha_environment_8.dqdimacs
FAIL
900
ltl2dba13_environment_8.dqdimacs
FAIL
900
pec_adder_n_bit_5_11.dqdimacs
FAIL
900
ltl2dba01_environment_8.dqdimacs
FAIL
900
pec_adder_n_bit_9_17.dqdimacs
FAIL
900
pec_adder_n_bit_9_18.dqdimacs
FAIL
900
genbuf2_system_4.dqdimacs
FAIL
900
pec_look_ahead_arbiter_5_10.dqdimacs
FAIL
900
pec_look_ahead_arbiter_5_12.dqdimacs
FAIL
900
amba_decomposed_decode_environment_16.dqdimacs
FAIL
900
amba_decomposed_arbiter_system_8.dqdimacs
FAIL
900
amba_decomposed_arbiter_environment_4.dqdimacs
FAIL
900
amba_case_study_unreal1_system_4.dqdimacs
FAIL
900
pec_look_ahead_arbiter_5_1.dqdimacs
FAIL
900
pec_look_ahead_arbiter_5_2.dqdimacs
FAIL
900
pec_look_ahead_arbiter_5_3.dqdimacs
FAIL
900
pec_look_ahead_arbiter_7_22.dqdimacs
FAIL
900
pec_look_ahead_arbiter_7_2.dqdimacs
FAIL
900
amba_decomposed_tburst4_system_16.dqdimacs
FAIL
900
pec_look_ahead_arbiter_1_2.dqdimacs
FAIL
900
pec_adder_n_bit_9_1.dqdimacs
FAIL
900
pec_adder_n_bit_9_20.dqdimacs
FAIL
900
pec_adder_n_bit_9_22.dqdimacs
FAIL
900
full_arbiter_unreal3_environment_2.dqdimacs
FAIL
900
pec_adder_n_bit_9_2.dqdimacs
FAIL
900
pec_adder_n_bit_9_6.dqdimacs
FAIL
900
pec_look_ahead_arbiter_1_0.dqdimacs
FAIL
900
full_arbiter_environment_4.dqdimacs
FAIL
900
pec_look_ahead_arbiter_1_11.dqdimacs
FAIL
900
pec_look_ahead_arbiter_1_14.dqdimacs
FAIL
900
detector_environment_16.dqdimacs
FAIL
900
pec_look_ahead_arbiter_7_9.dqdimacs
FAIL
900
genbuf3c3y.dqdimacs
FAIL
900
bs32n.dqdimacs
FAIL
900
bs16y.dqdimacs
FAIL
900
bs16n.dqdimacs
FAIL
900
amba8b5unrealy.dqdimacs
FAIL
900
amba7f24unrealn.dqdimacs
FAIL
900
amba7c4unrealy.dqdimacs
FAIL
900
amba7b5n.dqdimacs
FAIL
900
amba6f21y.dqdimacs
FAIL
900
amba6c5y.dqdimacs
FAIL
900
amba6b5y.dqdimacs
FAIL
900
amba5f17n.dqdimacs
FAIL
900
amba5c5y.dqdimacs
FAIL
900
amba5b4unrealn.dqdimacs
FAIL
900
amba4c7y.dqdimacs
FAIL
900
amba4c6unrealy.dqdimacs
FAIL
900
amba4b8unrealy.dqdimacs
FAIL
900
bs32y.dqdimacs
FAIL
900
bs8y.dqdimacs
FAIL
900
cnt11y.dqdimacs
FAIL
900
genbuf3c2unrealn.dqdimacs
FAIL
900
genbuf3b3unrealy.dqdimacs
FAIL
900
genbuf2f3unrealy.dqdimacs
FAIL
900
genbuf2c3n.dqdimacs
FAIL
900
genbuf2b3unrealn.dqdimacs
FAIL
900
genbuf1c3y.dqdimacs
FAIL
900
genbuf1c2unrealn.dqdimacs
FAIL
900
genbuf1b3unrealn.dqdimacs
FAIL
900
genbuf15f15y.dqdimacs
FAIL
900
genbuf14c3n.dqdimacs
FAIL
900
cnt9n.dqdimacs
FAIL
900
cnt7y.dqdimacs
FAIL
900
cnt6y.dqdimacs
FAIL
900
cnt6n.dqdimacs
FAIL
900
cnt30y.dqdimacs
FAIL
900
cnt20y.dqdimacs
FAIL
900
amba3f8unrealy.dqdimacs
FAIL
900
amba3c4unrealy.dqdimacs
FAIL
900
amba3b5n.dqdimacs
FAIL
900
mm-2x2-6-6-s.1.shuffled-as.sat03-1499.cnf.dqdimacs
FAIL
900
marg3x3add8.shuffled-as.sat03-1449.cnf.dqdimacs
FAIL
900
marg3x3add8ch.shuffled-as.sat03-1448.cnf.dqdimacs
FAIL
900
lksat-n900-m3357-k3-l5-s950595579.used-as.sat04-938.cnf.dqdimacs
FAIL
900
hwb-n28-01-S136611085.shuffled-as.sat03-1627.cnf.dqdimacs
FAIL
900
f600.shuffled.cnf.dqdimacs
FAIL
900
eulcbip-7-UNSAT.shuffled-as.sat05-3936.cnf.dqdimacs
FAIL
900
crn_11_99_u.cnf.dqdimacs
FAIL
900
crn_11_100_s.cnf.dqdimacs
FAIL
900
battleship-7-12-unsat.cnf.dqdimacs
FAIL
900
battleship-13-13-unsat.cnf.dqdimacs
FAIL
900
battleship-12-12-unsat.cnf.dqdimacs
FAIL
900
battleship-11-21-sat.cnf.dqdimacs
FAIL
900
battleship-11-11-unsat.cnf.dqdimacs
FAIL
900
battleship-10-19-sat.cnf.dqdimacs
FAIL
900
battleship-10-17-sat.cnf.dqdimacs
FAIL
900
mod2-rand3bip-sat-270-1.shuffled-as.sat05-2248.cnf.dqdimacs
FAIL
900
sgen3-n180-s34713902-sat.cnf.dqdimacs
FAIL
900
sgen3-n200-s39840374-sat.cnf.dqdimacs
FAIL
900
amba3b4unrealn.dqdimacs
FAIL
900
amba2f8unrealn.dqdimacs
FAIL
900
amba2c7n.dqdimacs
FAIL
900
amba2b8unrealy.dqdimacs
FAIL
900
amba2b8unrealn.dqdimacs
FAIL
900
amba10f37n.dqdimacs
FAIL
900
amba10c4unrealn.dqdimacs
FAIL
900
add6y.dqdimacs
FAIL
900
add6n.dqdimacs
FAIL
900
add10y.dqdimacs
FAIL
900
x1_80.shuffled.cnf.dqdimacs
FAIL
900
sgen3-n300-s12830984-sat.cnf.dqdimacs
FAIL
900
sgen3-n280-s93756482-sat.cnf.dqdimacs
FAIL
900
sgen3-n260-s62321009-sat.cnf.dqdimacs
FAIL
900
sgen3-n240-s78945233-sat.cnf.dqdimacs
FAIL
900
sgen3-n220-s24359701-sat.cnf.dqdimacs
FAIL
900
battleship-10-10-unsat.cnf.dqdimacs
FAIL
900
genbuf3f4n.dqdimacs
FAIL
900
comp.blif_0.10_1.00_9_3_henkin.dqdimacs
FAIL
900
C432.blif_0.50_1.00_7_1_henkin.dqdimacs
FAIL
900
C432.blif_0.50_1.00_5_3_henkin.dqdimacs
FAIL
900
C432.blif_0.50_1.00_4_2_henkin.dqdimacs
FAIL
900
C432.blif_0.50_1.00_0_1_henkin.dqdimacs
FAIL
900
C432.blif_0.30_0.10_1_0_henkin.dqdimacs
FAIL
900
C432.blif_0.20_1.00_1_1_henkin.dqdimacs
FAIL
900
C432.blif_0.20_1.00_0_1_henkin.dqdimacs
FAIL
900
C432.blif_0.20_0.50_0_3_henkin.dqdimacs
FAIL
900
C432.blif_0.20_0.20_1_1_henkin.dqdimacs
FAIL
900
C432.blif_0.20_0.10_2_1_henkin.dqdimacs
FAIL
900
C432.blif_0.20_0.10_0_2_henkin.dqdimacs
FAIL
900
C432.blif_0.10_1.00_5_2_henkin.dqdimacs
FAIL
900
C432.blif_0.10_1.00_3_3_henkin.dqdimacs
FAIL
900
C432.blif_0.10_1.00_3_0_henkin.dqdimacs
FAIL
900
C432.blif_0.10_1.00_1_2_henkin.dqdimacs
FAIL
900
C432.blif_0.10_1.00_0_2_henkin.dqdimacs
FAIL
900
C432.blif_0.50_1.00_8_2_henkin.dqdimacs
FAIL
900
C499.blif_0.10_1.00_0_0_henkin.dqdimacs
FAIL
900
C499.blif_0.10_1.00_3_2_henkin.dqdimacs
FAIL
900
comp.blif_0.10_1.00_4_2_henkin.dqdimacs
FAIL
900
comp.blif_0.10_1.00_2_3_henkin.dqdimacs
FAIL
900
comp.blif_0.10_1.00_0_1_henkin.dqdimacs
FAIL
900
comp.blif_0.10_0.50_1_3_henkin.dqdimacs
FAIL
900
comp.blif_0.10_0.50_0_3_henkin.dqdimacs
FAIL
900
comp.blif_0.10_0.20_1_3_henkin.dqdimacs
FAIL
900
comp.blif_0.10_0.10_0_3_henkin.dqdimacs
FAIL
900
C499.blif_0.60_1.00_9_1_henkin.dqdimacs
FAIL
900
C499.blif_0.60_1.00_8_2_henkin.dqdimacs
FAIL
900
C499.blif_0.60_1.00_3_3_henkin.dqdimacs
FAIL
900
C499.blif_0.20_1.00_9_2_henkin.dqdimacs
FAIL
900
C499.blif_0.20_1.00_8_0_henkin.dqdimacs
FAIL
900
C499.blif_0.20_1.00_3_0_henkin.dqdimacs
FAIL
900
C499.blif_0.20_1.00_2_0_henkin.dqdimacs
FAIL
900
C499.blif_0.20_1.00_1_0_henkin.dqdimacs
FAIL
900
C499.blif_0.10_1.00_9_1_henkin.dqdimacs
FAIL
900
C432.blif_0.10_1.00_0_0_henkin.dqdimacs
FAIL
900
C432.blif_0.10_0.50_2_3_henkin.dqdimacs
FAIL
900
C432.blif_0.10_0.50_1_3_henkin.dqdimacs
FAIL
900
mvs16y.dqdimacs
FAIL
900
mvs12n.dqdimacs
FAIL
900
mv8y.dqdimacs
FAIL
900
mv4n.dqdimacs
FAIL
900
mv16n.dqdimacs
FAIL
900
mv14n.dqdimacs
FAIL
900
mv12n.dqdimacs
FAIL
900
mv10n.dqdimacs
FAIL
900
mult9.dqdimacs
FAIL
900
mult11.dqdimacs
FAIL
900
ifm_genbuf16y.dqdimacs
FAIL
900
ifm_genbuf16n.dqdimacs
FAIL
900
ifm_amba15y.dqdimacs
FAIL
900
ifm_amba03y.dqdimacs
FAIL
900
ifm_amba03_fixed_o.dqdimacs
FAIL
900
genbuf5b4y.dqdimacs
FAIL
900
mvs28n.dqdimacs
FAIL
900
mvs8n.dqdimacs
FAIL
900
namba02_new_07nrc_o.dqdimacs
FAIL
900
C432.blif_0.10_0.50_0_3_henkin.dqdimacs
FAIL
900
C432.blif_0.10_0.50_0_0_henkin.dqdimacs
FAIL
900
C432.blif_0.10_0.20_1_1_henkin.dqdimacs
FAIL
900
C432.blif_0.10_0.10_1_3_henkin.dqdimacs
FAIL
900
stay8y.dqdimacs
FAIL
900
stay4y.dqdimacs
FAIL
900
stay24y.dqdimacs
FAIL
900
stay22y.dqdimacs
FAIL
900
stay22n.dqdimacs
FAIL
900
stay18y.dqdimacs
FAIL
900
stay16y.dqdimacs
FAIL
900
stay16n.dqdimacs
FAIL
900
stay12n.dqdimacs
FAIL
900
ngenbuf03_03nrc_o.dqdimacs
FAIL
900
namba04_new_07nrc_o.dqdimacs
FAIL
900
namba03_new_05nrc_o.dqdimacs
FAIL
900
genbuf5b4n.dqdimacs
FAIL
900
Contact
|
Organization
|
Links
|
Citing QBFLIB