Formulas of QBFEval 2010 preprocessed with sequeeze and bloqqer

Overview

number of participating solvers: 16
number of participating formulas: 393
Formulas

Overall Solving Statistics

SOLVER SAT UNSAT TOTAL

depqbf 168 157 325

bdepqbf 165 158 323

hiqqer3 114 150 264

squeezebf1.2-qube7.2.pl 121 121 242

run_rareqs 112 125 237

qube7.2 60 153 213

squeezebf1.2-qube3.0 88 117 205

pre_dual_ooq.py 91 90 181

runAqme.sh 72 104 176

ooq 100 71 171

ghostq-bq-cegar.sh 95 74 169

ghostq.sh 83 86 169

ghostq-cegar.sh 95 74 169

dual_ooq 88 69 157

qcnf2z3 49 32 81

StruQS 35 28 63

Number of Solved Formulas

Number of Solved Formulas
SOLVER	SAT	UNSAT	TOTAL
depqbf	168	157	325
bdepqbf	165	158	323
hiqqer3	114	150	264
squeezebf1.2-qube7.2.pl	121	121	242
run_rareqs	112	125	237
qube7.2	60	153	213
squeezebf1.2-qube3.0	88	117	205
pre_dual_ooq.py	91	90	181
runAqme.sh	72	104	176
ooq	100	71	171
ghostq-bq-cegar.sh	95	74	169
ghostq.sh	83	86	169
ghostq-cegar.sh	95	74	169
dual_ooq	88	69	157
qcnf2z3	49	32	81
StruQS	35	28	63

solver AVERAGE SUM

depqbf 125.37 49271.26

bdepqbf 126.43 49689.39

hiqqer3 202.56 79607.95

run_rareqs 208.50 81942.71

squeezebf1.2-qube7.2.pl 253.74 99721.63

squeezebf1.2-qube3.0 279.51 109848.06

qube7.2 279.71 109927.83

ooq 288.17 113252.01

pre_dual_ooq.py 294.76 115841.06

runAqme.sh 295.70 116211.66

dual_ooq 307.03 120666.22

ghostq-cegar.sh 308.41 121206.16

ghostq-bq-cegar.sh 308.87 121388.14

ghostq.sh 311.89 122575.42

qcnf2z3 401.86 157931.06

StruQS 438.20 172214.62

Time Statistics (overall runtime, average runtime)

Time Statistics (overall runtime, average runtime)
solver	AVERAGE	SUM
depqbf	125.37	49271.26
bdepqbf	126.43	49689.39
hiqqer3	202.56	79607.95
run_rareqs	208.50	81942.71
squeezebf1.2-qube7.2.pl	253.74	99721.63
squeezebf1.2-qube3.0	279.51	109848.06
qube7.2	279.71	109927.83
ooq	288.17	113252.01
pre_dual_ooq.py	294.76	115841.06
runAqme.sh	295.70	116211.66
dual_ooq	307.03	120666.22
ghostq-cegar.sh	308.41	121206.16
ghostq-bq-cegar.sh	308.87	121388.14
ghostq.sh	311.89	122575.42
qcnf2z3	401.86	157931.06
StruQS	438.20	172214.62

formula

adder-12-unsat-shuffled.qdimacs

adder-8-unsat-shuffled.qdimacs

connect_7x6_4_R-shuffled.qdimacs

adder-14-sat-shuffled.qdimacs

blocks_enc_2_b4_ser--opt-26_-shuffled.qdimacs

adder-10-unsat-shuffled.qdimacs

C6288.blif_0.10_0.20_0_0_out_exact-shuffled.qdimacs

C5315.blif_0.10_0.20_0_0_inp_exact-shuffled.qdimacs

adder-14-unsat-shuffled.qdimacs

k5_3_2-shuffled.qdimacs

k_ph_p-12-shuffled.qdimacs

adder-16-unsat-shuffled.qdimacs

C5315.blif_0.10_0.20_0_0_out_exact-shuffled.qdimacs

adder-12-sat-shuffled.qdimacs

ev-pr-8x8-19-7-0-1-2-lg-shuffled.qdimacs

f600-00-shuffled.qdimacs

k_ph_p-11-shuffled.qdimacs

C5315.blif_0.10_0.20_0_1_inp_exact-shuffled.qdimacs

connect_9x8_3_R-shuffled.qdimacs

emptyroom_e4_ser--opt-44_-shuffled.qdimacs

C6288.blif_0.10_1.00_0_0_inp_exact-shuffled.qdimacs

cube_c7_ser---23_-shuffled.qdimacs

cmu.dme1.B-f4-shuffled.qdimacs

C5315.blif_0.10_0.20_0_1_out_exact-shuffled.qdimacs

nusmv.tcas^4.B-f3-shuffled.qdimacs

Number of Unsolved Formulas (solved by no solver)

Number of Unsolved Formulas (solved by no solver)
formula
adder-12-unsat-shuffled.qdimacs
adder-8-unsat-shuffled.qdimacs
connect_7x6_4_R-shuffled.qdimacs
adder-14-sat-shuffled.qdimacs
blocks_enc_2_b4_ser--opt-26_-shuffled.qdimacs
adder-10-unsat-shuffled.qdimacs
C6288.blif_0.10_0.20_0_0_out_exact-shuffled.qdimacs
C5315.blif_0.10_0.20_0_0_inp_exact-shuffled.qdimacs
adder-14-unsat-shuffled.qdimacs
k5_3_2-shuffled.qdimacs
k_ph_p-12-shuffled.qdimacs
adder-16-unsat-shuffled.qdimacs
C5315.blif_0.10_0.20_0_0_out_exact-shuffled.qdimacs
adder-12-sat-shuffled.qdimacs
ev-pr-8x8-19-7-0-1-2-lg-shuffled.qdimacs
f600-00-shuffled.qdimacs
k_ph_p-11-shuffled.qdimacs
C5315.blif_0.10_0.20_0_1_inp_exact-shuffled.qdimacs
connect_9x8_3_R-shuffled.qdimacs
emptyroom_e4_ser--opt-44_-shuffled.qdimacs
C6288.blif_0.10_1.00_0_0_inp_exact-shuffled.qdimacs
cube_c7_ser---23_-shuffled.qdimacs
cmu.dme1.B-f4-shuffled.qdimacs
C5315.blif_0.10_0.20_0_1_out_exact-shuffled.qdimacs
nusmv.tcas^4.B-f3-shuffled.qdimacs

FORMULA SOLVER

adder-10-sat-shuffled.qdimacs runAqme.sh

adder-8-sat-shuffled.qdimacs runAqme.sh

Adder2-10-s-shuffled.qdimacs runAqme.sh

biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-008-shuffled.qdimacs run_rareqs

connect_6x5_5_R-shuffled.qdimacs squeezebf1.2-qube3.0

k_branch_n-20-shuffled.qdimacs hiqqer3

k_branch_p-14-shuffled.qdimacs hiqqer3

k_branch_p-17-shuffled.qdimacs hiqqer3

nusmv.tcas^2.B-f2-shuffled.qdimacs run_rareqs

s1196_d3_u-shuffled.qdimacs run_rareqs

Umbrella_tbm_25.tex.moduleQ3.2S.000063.qdimacs squeezebf1.2-qube7.2.pl

Formulas only solved by one solver

Formulas only solved by one solver
FORMULA	SOLVER
adder-10-sat-shuffled.qdimacs	runAqme.sh
adder-8-sat-shuffled.qdimacs	runAqme.sh
Adder2-10-s-shuffled.qdimacs	runAqme.sh
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-008-shuffled.qdimacs	run_rareqs
connect_6x5_5_R-shuffled.qdimacs	squeezebf1.2-qube3.0
k_branch_n-20-shuffled.qdimacs	hiqqer3
k_branch_p-14-shuffled.qdimacs	hiqqer3
k_branch_p-17-shuffled.qdimacs	hiqqer3
nusmv.tcas^2.B-f2-shuffled.qdimacs	run_rareqs
s1196_d3_u-shuffled.qdimacs	run_rareqs
Umbrella_tbm_25.tex.moduleQ3.2S.000063.qdimacs	squeezebf1.2-qube7.2.pl

Formulas with Discrepancies

FORMULA SAT UNSAT

C432.blif_0.10_0.20_0_0_out_exact-shuffled.qdimacs 1 1

C5315.blif_0.10_1.00_0_0_inp_exact-shuffled.qdimacs 1 12

Core1108_tbm_02.tex.moduleQ3.2S.000015.qdimacs 1 7

Core1108_tbm_02.tex.moduleQ3.2S.000056.qdimacs 1 5

Core1108_tbm_02.tex.moduleQ3.2S.000098.qdimacs 1 5

Core1108_tbm_03.tex.moduleQ3.2S.000002.qdimacs 1 4

Core1108_tbm_03.tex.moduleQ3.2S.000003.qdimacs 1 6

Core1108_tbm_03.tex.moduleQ3.2S.000009.qdimacs 1 4

Core1108_tbm_03.tex.moduleQ3.2S.000018.qdimacs 1 3

Core1108_tbm_03.tex.moduleQ3.2S.000048.qdimacs 1 4

Core1108_tbm_09.tex.module.000033.qdimacs 1 9

Core1108_tbm_21.tex.module.000014.qdimacs 1 6

s386_d12_u-shuffled.qdimacs 1 3

Umbrella_tbm_05.tex.module.000015.qdimacs 1 9

Umbrella_tbm_05.tex.module.000030.qdimacs 1 7

Umbrella_tbm_05.tex.module.000065.qdimacs 1 8

Umbrella_tbm_05.tex.module.000079.qdimacs 1 7

Umbrella_tbm_14.tex.moduleQ2.1S.000720.qdimacs 1 5

Umbrella_tbm_14.tex.moduleQ2.1S.000757.qdimacs 1 5

Umbrella_tbm_14.tex.moduleQ2.1S.000773.qdimacs 1 5

Umbrella_tbm_14.tex.moduleQ2.1S.000787.qdimacs 1 8

Umbrella_tbm_14.tex.moduleQ2.1S.000792.qdimacs 1 7

Umbrella_tbm_14.tex.moduleQ2.1S.000808.qdimacs 1 6

Umbrella_tbm_14.tex.moduleQ2.1S.000812.qdimacs 1 4

Umbrella_tbm_14.tex.moduleQ2.2S.000001.qdimacs 1 5

Umbrella_tbm_21.tex.module.000044.qdimacs 1 5

Umbrella_tbm_25.tex.module.000003.qdimacs 1 8

Umbrella_tbm_25.tex.module.000084.qdimacs 1 5

Umbrella_tbm_25.tex.module.000087.qdimacs 1 5

Umbrella_tbm_25.tex.module.000099.qdimacs 1 7

Umbrella_tbm_25.tex.moduleQ3.2S.000052.qdimacs 1 3

Umbrella_tbm_25.tex.moduleQ3.2S.000075.qdimacs 1 4

Umbrella_tbm_25.tex.moduleQ3.2S.000120.qdimacs 1 4

W3-Umbrella_tbm_21.tex.moduleQ3.6S.000001.qdimacs 1 6

W4-Umbrella_tbm_25.tex.moduleQ3.7S.000003.qdimacs 1 6

Formulas with Discrepancies

Formulas with Discrepancies
FORMULA	SAT	UNSAT
C432.blif_0.10_0.20_0_0_out_exact-shuffled.qdimacs	1	1
C5315.blif_0.10_1.00_0_0_inp_exact-shuffled.qdimacs	1	12
Core1108_tbm_02.tex.moduleQ3.2S.000015.qdimacs	1	7
Core1108_tbm_02.tex.moduleQ3.2S.000056.qdimacs	1	5
Core1108_tbm_02.tex.moduleQ3.2S.000098.qdimacs	1	5
Core1108_tbm_03.tex.moduleQ3.2S.000002.qdimacs	1	4
Core1108_tbm_03.tex.moduleQ3.2S.000003.qdimacs	1	6
Core1108_tbm_03.tex.moduleQ3.2S.000009.qdimacs	1	4
Core1108_tbm_03.tex.moduleQ3.2S.000018.qdimacs	1	3
Core1108_tbm_03.tex.moduleQ3.2S.000048.qdimacs	1	4
Core1108_tbm_09.tex.module.000033.qdimacs	1	9
Core1108_tbm_21.tex.module.000014.qdimacs	1	6
s386_d12_u-shuffled.qdimacs	1	3
Umbrella_tbm_05.tex.module.000015.qdimacs	1	9
Umbrella_tbm_05.tex.module.000030.qdimacs	1	7
Umbrella_tbm_05.tex.module.000065.qdimacs	1	8
Umbrella_tbm_05.tex.module.000079.qdimacs	1	7
Umbrella_tbm_14.tex.moduleQ2.1S.000720.qdimacs	1	5
Umbrella_tbm_14.tex.moduleQ2.1S.000757.qdimacs	1	5
Umbrella_tbm_14.tex.moduleQ2.1S.000773.qdimacs	1	5
Umbrella_tbm_14.tex.moduleQ2.1S.000787.qdimacs	1	8
Umbrella_tbm_14.tex.moduleQ2.1S.000792.qdimacs	1	7
Umbrella_tbm_14.tex.moduleQ2.1S.000808.qdimacs	1	6
Umbrella_tbm_14.tex.moduleQ2.1S.000812.qdimacs	1	4
Umbrella_tbm_14.tex.moduleQ2.2S.000001.qdimacs	1	5
Umbrella_tbm_21.tex.module.000044.qdimacs	1	5
Umbrella_tbm_25.tex.module.000003.qdimacs	1	8
Umbrella_tbm_25.tex.module.000084.qdimacs	1	5
Umbrella_tbm_25.tex.module.000087.qdimacs	1	5
Umbrella_tbm_25.tex.module.000099.qdimacs	1	7
Umbrella_tbm_25.tex.moduleQ3.2S.000052.qdimacs	1	3
Umbrella_tbm_25.tex.moduleQ3.2S.000075.qdimacs	1	4
Umbrella_tbm_25.tex.moduleQ3.2S.000120.qdimacs	1	4
W3-Umbrella_tbm_21.tex.moduleQ3.6S.000001.qdimacs	1	6
W4-Umbrella_tbm_25.tex.moduleQ3.7S.000003.qdimacs	1	6

formula solver result

C432.blif_0.10_0.20_0_0_out_exact-shuffled.qdimacs depqbf 1

C432.blif_0.10_0.20_0_0_out_exact-shuffled.qdimacs bdepqbf 1

C432.blif_0.10_0.20_0_0_out_exact-shuffled.qdimacs StruQS 1

C432.blif_0.10_0.20_0_0_out_exact-shuffled.qdimacs runAqme.sh 1

C432.blif_0.10_0.20_0_0_out_exact-shuffled.qdimacs pre_dual_ooq.py 1

C432.blif_0.10_0.20_0_0_out_exact-shuffled.qdimacs dual_ooq 1

C432.blif_0.10_0.20_0_0_out_exact-shuffled.qdimacs ooq 1

C432.blif_0.10_0.20_0_0_out_exact-shuffled.qdimacs hiqqer3 1

C432.blif_0.10_0.20_0_0_out_exact-shuffled.qdimacs squeezebf1.2-qube3.0 1

C432.blif_0.10_0.20_0_0_out_exact-shuffled.qdimacs squeezebf1.2-qube7.2.pl 99

C432.blif_0.10_0.20_0_0_out_exact-shuffled.qdimacs qube7.2 10

C432.blif_0.10_0.20_0_0_out_exact-shuffled.qdimacs ghostq.sh 1

C432.blif_0.10_0.20_0_0_out_exact-shuffled.qdimacs ghostq-bq-cegar.sh 1

C432.blif_0.10_0.20_0_0_out_exact-shuffled.qdimacs ghostq-cegar.sh 1

C432.blif_0.10_0.20_0_0_out_exact-shuffled.qdimacs run_rareqs 20

C432.blif_0.10_0.20_0_0_out_exact-shuffled.qdimacs qcnf2z3 1

formula solver result

C5315.blif_0.10_1.00_0_0_inp_exact-shuffled.qdimac depqbf 20

C5315.blif_0.10_1.00_0_0_inp_exact-shuffled.qdimac bdepqbf 20

C5315.blif_0.10_1.00_0_0_inp_exact-shuffled.qdimac runAqme.sh 20

C5315.blif_0.10_1.00_0_0_inp_exact-shuffled.qdimac StruQS 1

C5315.blif_0.10_1.00_0_0_inp_exact-shuffled.qdimac dual_ooq 20

C5315.blif_0.10_1.00_0_0_inp_exact-shuffled.qdimac pre_dual_ooq.py 20

C5315.blif_0.10_1.00_0_0_inp_exact-shuffled.qdimac ooq 20

C5315.blif_0.10_1.00_0_0_inp_exact-shuffled.qdimac hiqqer3 20

C5315.blif_0.10_1.00_0_0_inp_exact-shuffled.qdimac squeezebf1.2-qube7.2.pl 10

C5315.blif_0.10_1.00_0_0_inp_exact-shuffled.qdimac squeezebf1.2-qube3.0 1

C5315.blif_0.10_1.00_0_0_inp_exact-shuffled.qdimac qube7.2 1

C5315.blif_0.10_1.00_0_0_inp_exact-shuffled.qdimac ghostq-cegar.sh 20

C5315.blif_0.10_1.00_0_0_inp_exact-shuffled.qdimac ghostq-bq-cegar.sh 20

C5315.blif_0.10_1.00_0_0_inp_exact-shuffled.qdimac ghostq.sh 20

C5315.blif_0.10_1.00_0_0_inp_exact-shuffled.qdimac run_rareqs 20

C5315.blif_0.10_1.00_0_0_inp_exact-shuffled.qdimac qcnf2z3 20

formula solver result

Core1108_tbm_02.tex.moduleQ3.2S.000015.qdimacs depqbf 20

Core1108_tbm_02.tex.moduleQ3.2S.000015.qdimacs bdepqbf 20

Core1108_tbm_02.tex.moduleQ3.2S.000015.qdimacs runAqme.sh 20

Core1108_tbm_02.tex.moduleQ3.2S.000015.qdimacs StruQS 1

Core1108_tbm_02.tex.moduleQ3.2S.000015.qdimacs dual_ooq 1

Core1108_tbm_02.tex.moduleQ3.2S.000015.qdimacs pre_dual_ooq.py 1

Core1108_tbm_02.tex.moduleQ3.2S.000015.qdimacs ooq 1

Core1108_tbm_02.tex.moduleQ3.2S.000015.qdimacs hiqqer3 20

Core1108_tbm_02.tex.moduleQ3.2S.000015.qdimacs squeezebf1.2-qube3.0 20

Core1108_tbm_02.tex.moduleQ3.2S.000015.qdimacs qube7.2 20

Core1108_tbm_02.tex.moduleQ3.2S.000015.qdimacs squeezebf1.2-qube7.2.pl 10

Core1108_tbm_02.tex.moduleQ3.2S.000015.qdimacs ghostq-cegar.sh 1

Core1108_tbm_02.tex.moduleQ3.2S.000015.qdimacs ghostq-bq-cegar.sh 1

Core1108_tbm_02.tex.moduleQ3.2S.000015.qdimacs ghostq.sh 20

Core1108_tbm_02.tex.moduleQ3.2S.000015.qdimacs qcnf2z3 44

Core1108_tbm_02.tex.moduleQ3.2S.000015.qdimacs run_rareqs 1

formula solver result

Core1108_tbm_02.tex.moduleQ3.2S.000056.qdimacs bdepqbf 20

Core1108_tbm_02.tex.moduleQ3.2S.000056.qdimacs depqbf 20

Core1108_tbm_02.tex.moduleQ3.2S.000056.qdimacs StruQS 1

Core1108_tbm_02.tex.moduleQ3.2S.000056.qdimacs runAqme.sh 1

Core1108_tbm_02.tex.moduleQ3.2S.000056.qdimacs pre_dual_ooq.py 1

Core1108_tbm_02.tex.moduleQ3.2S.000056.qdimacs ooq 1

Core1108_tbm_02.tex.moduleQ3.2S.000056.qdimacs dual_ooq 1

Core1108_tbm_02.tex.moduleQ3.2S.000056.qdimacs hiqqer3 20

Core1108_tbm_02.tex.moduleQ3.2S.000056.qdimacs qube7.2 20

Core1108_tbm_02.tex.moduleQ3.2S.000056.qdimacs squeezebf1.2-qube3.0 20

Core1108_tbm_02.tex.moduleQ3.2S.000056.qdimacs squeezebf1.2-qube7.2.pl 10

Core1108_tbm_02.tex.moduleQ3.2S.000056.qdimacs ghostq-bq-cegar.sh 1

Core1108_tbm_02.tex.moduleQ3.2S.000056.qdimacs ghostq.sh 1

Core1108_tbm_02.tex.moduleQ3.2S.000056.qdimacs ghostq-cegar.sh 1

Core1108_tbm_02.tex.moduleQ3.2S.000056.qdimacs run_rareqs 1

Core1108_tbm_02.tex.moduleQ3.2S.000056.qdimacs qcnf2z3 1

formula solver result

Core1108_tbm_02.tex.moduleQ3.2S.000098.qdimacs bdepqbf 20

Core1108_tbm_02.tex.moduleQ3.2S.000098.qdimacs depqbf 20

Core1108_tbm_02.tex.moduleQ3.2S.000098.qdimacs StruQS 1

Core1108_tbm_02.tex.moduleQ3.2S.000098.qdimacs runAqme.sh 1

Core1108_tbm_02.tex.moduleQ3.2S.000098.qdimacs dual_ooq 1

Core1108_tbm_02.tex.moduleQ3.2S.000098.qdimacs pre_dual_ooq.py 1

Core1108_tbm_02.tex.moduleQ3.2S.000098.qdimacs ooq 1

Core1108_tbm_02.tex.moduleQ3.2S.000098.qdimacs hiqqer3 20

Core1108_tbm_02.tex.moduleQ3.2S.000098.qdimacs squeezebf1.2-qube7.2.pl 10

Core1108_tbm_02.tex.moduleQ3.2S.000098.qdimacs squeezebf1.2-qube3.0 20

Core1108_tbm_02.tex.moduleQ3.2S.000098.qdimacs qube7.2 20

Core1108_tbm_02.tex.moduleQ3.2S.000098.qdimacs ghostq-cegar.sh 1

Core1108_tbm_02.tex.moduleQ3.2S.000098.qdimacs ghostq-bq-cegar.sh 1

Core1108_tbm_02.tex.moduleQ3.2S.000098.qdimacs ghostq.sh 1

Core1108_tbm_02.tex.moduleQ3.2S.000098.qdimacs qcnf2z3 44

Core1108_tbm_02.tex.moduleQ3.2S.000098.qdimacs run_rareqs 0

formula solver result

Core1108_tbm_03.tex.moduleQ3.2S.000002.qdimacs depqbf 20

Core1108_tbm_03.tex.moduleQ3.2S.000002.qdimacs bdepqbf 20

Core1108_tbm_03.tex.moduleQ3.2S.000002.qdimacs StruQS 1

Core1108_tbm_03.tex.moduleQ3.2S.000002.qdimacs runAqme.sh 1

Core1108_tbm_03.tex.moduleQ3.2S.000002.qdimacs pre_dual_ooq.py 20

Core1108_tbm_03.tex.moduleQ3.2S.000002.qdimacs dual_ooq 1

Core1108_tbm_03.tex.moduleQ3.2S.000002.qdimacs ooq 1

Core1108_tbm_03.tex.moduleQ3.2S.000002.qdimacs hiqqer3 152

Core1108_tbm_03.tex.moduleQ3.2S.000002.qdimacs squeezebf1.2-qube7.2.pl 10

Core1108_tbm_03.tex.moduleQ3.2S.000002.qdimacs squeezebf1.2-qube3.0 1

Core1108_tbm_03.tex.moduleQ3.2S.000002.qdimacs qube7.2 20

Core1108_tbm_03.tex.moduleQ3.2S.000002.qdimacs ghostq-bq-cegar.sh 1

Core1108_tbm_03.tex.moduleQ3.2S.000002.qdimacs ghostq.sh 1

Core1108_tbm_03.tex.moduleQ3.2S.000002.qdimacs ghostq-cegar.sh 1

Core1108_tbm_03.tex.moduleQ3.2S.000002.qdimacs qcnf2z3 44

Core1108_tbm_03.tex.moduleQ3.2S.000002.qdimacs run_rareqs 1

formula solver result

Core1108_tbm_03.tex.moduleQ3.2S.000003.qdimacs depqbf 20

Core1108_tbm_03.tex.moduleQ3.2S.000003.qdimacs bdepqbf 20

Core1108_tbm_03.tex.moduleQ3.2S.000003.qdimacs StruQS 1

Core1108_tbm_03.tex.moduleQ3.2S.000003.qdimacs runAqme.sh 1

Core1108_tbm_03.tex.moduleQ3.2S.000003.qdimacs pre_dual_ooq.py 20

Core1108_tbm_03.tex.moduleQ3.2S.000003.qdimacs ooq 1

Core1108_tbm_03.tex.moduleQ3.2S.000003.qdimacs dual_ooq 1

Core1108_tbm_03.tex.moduleQ3.2S.000003.qdimacs hiqqer3 1

Core1108_tbm_03.tex.moduleQ3.2S.000003.qdimacs squeezebf1.2-qube7.2.pl 10

Core1108_tbm_03.tex.moduleQ3.2S.000003.qdimacs qube7.2 20

Core1108_tbm_03.tex.moduleQ3.2S.000003.qdimacs squeezebf1.2-qube3.0 1

Core1108_tbm_03.tex.moduleQ3.2S.000003.qdimacs ghostq-bq-cegar.sh 20

Core1108_tbm_03.tex.moduleQ3.2S.000003.qdimacs ghostq.sh 1

Core1108_tbm_03.tex.moduleQ3.2S.000003.qdimacs ghostq-cegar.sh 20

Core1108_tbm_03.tex.moduleQ3.2S.000003.qdimacs qcnf2z3 1

Core1108_tbm_03.tex.moduleQ3.2S.000003.qdimacs run_rareqs 0

formula solver result

Core1108_tbm_03.tex.moduleQ3.2S.000009.qdimacs bdepqbf 20

Core1108_tbm_03.tex.moduleQ3.2S.000009.qdimacs depqbf 20

Core1108_tbm_03.tex.moduleQ3.2S.000009.qdimacs StruQS 1

Core1108_tbm_03.tex.moduleQ3.2S.000009.qdimacs runAqme.sh 1

Core1108_tbm_03.tex.moduleQ3.2S.000009.qdimacs dual_ooq 1

Core1108_tbm_03.tex.moduleQ3.2S.000009.qdimacs ooq 1

Core1108_tbm_03.tex.moduleQ3.2S.000009.qdimacs pre_dual_ooq.py 1

Core1108_tbm_03.tex.moduleQ3.2S.000009.qdimacs hiqqer3 152

Core1108_tbm_03.tex.moduleQ3.2S.000009.qdimacs squeezebf1.2-qube3.0 1

Core1108_tbm_03.tex.moduleQ3.2S.000009.qdimacs qube7.2 20

Core1108_tbm_03.tex.moduleQ3.2S.000009.qdimacs squeezebf1.2-qube7.2.pl 10

Core1108_tbm_03.tex.moduleQ3.2S.000009.qdimacs ghostq-cegar.sh 1

Core1108_tbm_03.tex.moduleQ3.2S.000009.qdimacs ghostq-bq-cegar.sh 1

Core1108_tbm_03.tex.moduleQ3.2S.000009.qdimacs ghostq.sh 20

Core1108_tbm_03.tex.moduleQ3.2S.000009.qdimacs qcnf2z3 44

Core1108_tbm_03.tex.moduleQ3.2S.000009.qdimacs run_rareqs 0

formula solver result

Core1108_tbm_03.tex.moduleQ3.2S.000018.qdimacs bdepqbf 20

Core1108_tbm_03.tex.moduleQ3.2S.000018.qdimacs depqbf 20

Core1108_tbm_03.tex.moduleQ3.2S.000018.qdimacs runAqme.sh 1

Core1108_tbm_03.tex.moduleQ3.2S.000018.qdimacs StruQS 1

Core1108_tbm_03.tex.moduleQ3.2S.000018.qdimacs dual_ooq 1

Core1108_tbm_03.tex.moduleQ3.2S.000018.qdimacs ooq 1

Core1108_tbm_03.tex.moduleQ3.2S.000018.qdimacs pre_dual_ooq.py 1

Core1108_tbm_03.tex.moduleQ3.2S.000018.qdimacs hiqqer3 1

Core1108_tbm_03.tex.moduleQ3.2S.000018.qdimacs qube7.2 1

Core1108_tbm_03.tex.moduleQ3.2S.000018.qdimacs squeezebf1.2-qube7.2.pl 10

Core1108_tbm_03.tex.moduleQ3.2S.000018.qdimacs squeezebf1.2-qube3.0 1

Core1108_tbm_03.tex.moduleQ3.2S.000018.qdimacs ghostq.sh 20

Core1108_tbm_03.tex.moduleQ3.2S.000018.qdimacs ghostq-cegar.sh 1

Core1108_tbm_03.tex.moduleQ3.2S.000018.qdimacs ghostq-bq-cegar.sh 1

Core1108_tbm_03.tex.moduleQ3.2S.000018.qdimacs qcnf2z3 1

Core1108_tbm_03.tex.moduleQ3.2S.000018.qdimacs run_rareqs 1

formula solver result

Core1108_tbm_03.tex.moduleQ3.2S.000048.qdimacs depqbf 20

Core1108_tbm_03.tex.moduleQ3.2S.000048.qdimacs bdepqbf 20

Core1108_tbm_03.tex.moduleQ3.2S.000048.qdimacs runAqme.sh 1

Core1108_tbm_03.tex.moduleQ3.2S.000048.qdimacs StruQS 1

Core1108_tbm_03.tex.moduleQ3.2S.000048.qdimacs pre_dual_ooq.py 1

Core1108_tbm_03.tex.moduleQ3.2S.000048.qdimacs ooq 1

Core1108_tbm_03.tex.moduleQ3.2S.000048.qdimacs dual_ooq 1

Core1108_tbm_03.tex.moduleQ3.2S.000048.qdimacs hiqqer3 1

Core1108_tbm_03.tex.moduleQ3.2S.000048.qdimacs squeezebf1.2-qube7.2.pl 10

Core1108_tbm_03.tex.moduleQ3.2S.000048.qdimacs squeezebf1.2-qube3.0 1

Core1108_tbm_03.tex.moduleQ3.2S.000048.qdimacs qube7.2 20

Core1108_tbm_03.tex.moduleQ3.2S.000048.qdimacs ghostq.sh 20

Core1108_tbm_03.tex.moduleQ3.2S.000048.qdimacs ghostq-cegar.sh 1

Core1108_tbm_03.tex.moduleQ3.2S.000048.qdimacs ghostq-bq-cegar.sh 1

Core1108_tbm_03.tex.moduleQ3.2S.000048.qdimacs run_rareqs 0

Core1108_tbm_03.tex.moduleQ3.2S.000048.qdimacs qcnf2z3 44

formula solver result

Core1108_tbm_09.tex.module.000033.qdimacs bdepqbf 20

Core1108_tbm_09.tex.module.000033.qdimacs depqbf 20

Core1108_tbm_09.tex.module.000033.qdimacs runAqme.sh 20

Core1108_tbm_09.tex.module.000033.qdimacs StruQS 1

Core1108_tbm_09.tex.module.000033.qdimacs pre_dual_ooq.py 20

Core1108_tbm_09.tex.module.000033.qdimacs ooq 1

Core1108_tbm_09.tex.module.000033.qdimacs dual_ooq 1

Core1108_tbm_09.tex.module.000033.qdimacs hiqqer3 20

Core1108_tbm_09.tex.module.000033.qdimacs squeezebf1.2-qube7.2.pl 10

Core1108_tbm_09.tex.module.000033.qdimacs squeezebf1.2-qube3.0 20

Core1108_tbm_09.tex.module.000033.qdimacs qube7.2 20

Core1108_tbm_09.tex.module.000033.qdimacs ghostq.sh 20

Core1108_tbm_09.tex.module.000033.qdimacs ghostq-cegar.sh 1

Core1108_tbm_09.tex.module.000033.qdimacs ghostq-bq-cegar.sh 1

Core1108_tbm_09.tex.module.000033.qdimacs qcnf2z3 44

Core1108_tbm_09.tex.module.000033.qdimacs run_rareqs 20

formula solver result

Core1108_tbm_21.tex.module.000014.qdimacs depqbf 20

Core1108_tbm_21.tex.module.000014.qdimacs bdepqbf 20

Core1108_tbm_21.tex.module.000014.qdimacs runAqme.sh 1

Core1108_tbm_21.tex.module.000014.qdimacs StruQS 1

Core1108_tbm_21.tex.module.000014.qdimacs dual_ooq 1

Core1108_tbm_21.tex.module.000014.qdimacs pre_dual_ooq.py 1

Core1108_tbm_21.tex.module.000014.qdimacs ooq 1

Core1108_tbm_21.tex.module.000014.qdimacs hiqqer3 20

Core1108_tbm_21.tex.module.000014.qdimacs qube7.2 20

Core1108_tbm_21.tex.module.000014.qdimacs squeezebf1.2-qube7.2.pl 10

Core1108_tbm_21.tex.module.000014.qdimacs squeezebf1.2-qube3.0 20

Core1108_tbm_21.tex.module.000014.qdimacs ghostq-bq-cegar.sh 1

Core1108_tbm_21.tex.module.000014.qdimacs ghostq-cegar.sh 1

Core1108_tbm_21.tex.module.000014.qdimacs ghostq.sh 20

Core1108_tbm_21.tex.module.000014.qdimacs qcnf2z3 44

Core1108_tbm_21.tex.module.000014.qdimacs run_rareqs 0

formula solver result

s386_d12_u-shuffled.qdimacs depqbf 1

s386_d12_u-shuffled.qdimacs bdepqbf 1

s386_d12_u-shuffled.qdimacs StruQS 1

s386_d12_u-shuffled.qdimacs runAqme.sh 1

s386_d12_u-shuffled.qdimacs pre_dual_ooq.py 1

s386_d12_u-shuffled.qdimacs dual_ooq 20

s386_d12_u-shuffled.qdimacs ooq 20

s386_d12_u-shuffled.qdimacs hiqqer3 1

s386_d12_u-shuffled.qdimacs squeezebf1.2-qube7.2.pl 10

s386_d12_u-shuffled.qdimacs qube7.2 1

s386_d12_u-shuffled.qdimacs squeezebf1.2-qube3.0 1

s386_d12_u-shuffled.qdimacs ghostq-bq-cegar.sh 1

s386_d12_u-shuffled.qdimacs ghostq.sh 1

s386_d12_u-shuffled.qdimacs ghostq-cegar.sh 1

s386_d12_u-shuffled.qdimacs qcnf2z3 44

s386_d12_u-shuffled.qdimacs run_rareqs 20

formula solver result

Umbrella_tbm_05.tex.module.000015.qdimacs bdepqbf 20

Umbrella_tbm_05.tex.module.000015.qdimacs depqbf 20

Umbrella_tbm_05.tex.module.000015.qdimacs StruQS 1

Umbrella_tbm_05.tex.module.000015.qdimacs runAqme.sh 20

Umbrella_tbm_05.tex.module.000015.qdimacs dual_ooq 1

Umbrella_tbm_05.tex.module.000015.qdimacs pre_dual_ooq.py 20

Umbrella_tbm_05.tex.module.000015.qdimacs ooq 1

Umbrella_tbm_05.tex.module.000015.qdimacs hiqqer3 20

Umbrella_tbm_05.tex.module.000015.qdimacs qube7.2 20

Umbrella_tbm_05.tex.module.000015.qdimacs squeezebf1.2-qube3.0 20

Umbrella_tbm_05.tex.module.000015.qdimacs squeezebf1.2-qube7.2.pl 10

Umbrella_tbm_05.tex.module.000015.qdimacs ghostq-cegar.sh 1

Umbrella_tbm_05.tex.module.000015.qdimacs ghostq.sh 20

Umbrella_tbm_05.tex.module.000015.qdimacs ghostq-bq-cegar.sh 1

Umbrella_tbm_05.tex.module.000015.qdimacs qcnf2z3 44

Umbrella_tbm_05.tex.module.000015.qdimacs run_rareqs 20

formula solver result

Umbrella_tbm_05.tex.module.000030.qdimacs depqbf 20

Umbrella_tbm_05.tex.module.000030.qdimacs bdepqbf 20

Umbrella_tbm_05.tex.module.000030.qdimacs runAqme.sh 20

Umbrella_tbm_05.tex.module.000030.qdimacs StruQS 1

Umbrella_tbm_05.tex.module.000030.qdimacs ooq 1

Umbrella_tbm_05.tex.module.000030.qdimacs dual_ooq 1

Umbrella_tbm_05.tex.module.000030.qdimacs pre_dual_ooq.py 1

Umbrella_tbm_05.tex.module.000030.qdimacs hiqqer3 20

Umbrella_tbm_05.tex.module.000030.qdimacs qube7.2 20

Umbrella_tbm_05.tex.module.000030.qdimacs squeezebf1.2-qube7.2.pl 10

Umbrella_tbm_05.tex.module.000030.qdimacs squeezebf1.2-qube3.0 1

Umbrella_tbm_05.tex.module.000030.qdimacs ghostq-cegar.sh 1

Umbrella_tbm_05.tex.module.000030.qdimacs ghostq-bq-cegar.sh 1

Umbrella_tbm_05.tex.module.000030.qdimacs ghostq.sh 20

Umbrella_tbm_05.tex.module.000030.qdimacs qcnf2z3 44

Umbrella_tbm_05.tex.module.000030.qdimacs run_rareqs 20

formula solver result

Umbrella_tbm_05.tex.module.000065.qdimacs bdepqbf 20

Umbrella_tbm_05.tex.module.000065.qdimacs depqbf 20

Umbrella_tbm_05.tex.module.000065.qdimacs runAqme.sh 20

Umbrella_tbm_05.tex.module.000065.qdimacs StruQS 1

Umbrella_tbm_05.tex.module.000065.qdimacs ooq 1

Umbrella_tbm_05.tex.module.000065.qdimacs dual_ooq 1

Umbrella_tbm_05.tex.module.000065.qdimacs pre_dual_ooq.py 1

Umbrella_tbm_05.tex.module.000065.qdimacs hiqqer3 20

Umbrella_tbm_05.tex.module.000065.qdimacs squeezebf1.2-qube3.0 20

Umbrella_tbm_05.tex.module.000065.qdimacs qube7.2 20

Umbrella_tbm_05.tex.module.000065.qdimacs squeezebf1.2-qube7.2.pl 10

Umbrella_tbm_05.tex.module.000065.qdimacs ghostq.sh 20

Umbrella_tbm_05.tex.module.000065.qdimacs ghostq-cegar.sh 1

Umbrella_tbm_05.tex.module.000065.qdimacs ghostq-bq-cegar.sh 1

Umbrella_tbm_05.tex.module.000065.qdimacs qcnf2z3 1

Umbrella_tbm_05.tex.module.000065.qdimacs run_rareqs 20

formula solver result

Umbrella_tbm_05.tex.module.000079.qdimacs depqbf 20

Umbrella_tbm_05.tex.module.000079.qdimacs bdepqbf 20

Umbrella_tbm_05.tex.module.000079.qdimacs runAqme.sh 20

Umbrella_tbm_05.tex.module.000079.qdimacs StruQS 1

Umbrella_tbm_05.tex.module.000079.qdimacs pre_dual_ooq.py 1

Umbrella_tbm_05.tex.module.000079.qdimacs ooq 1

Umbrella_tbm_05.tex.module.000079.qdimacs dual_ooq 1

Umbrella_tbm_05.tex.module.000079.qdimacs hiqqer3 20

Umbrella_tbm_05.tex.module.000079.qdimacs qube7.2 20

Umbrella_tbm_05.tex.module.000079.qdimacs squeezebf1.2-qube3.0 1

Umbrella_tbm_05.tex.module.000079.qdimacs squeezebf1.2-qube7.2.pl 10

Umbrella_tbm_05.tex.module.000079.qdimacs ghostq-bq-cegar.sh 1

Umbrella_tbm_05.tex.module.000079.qdimacs ghostq-cegar.sh 1

Umbrella_tbm_05.tex.module.000079.qdimacs ghostq.sh 20

Umbrella_tbm_05.tex.module.000079.qdimacs run_rareqs 20

Umbrella_tbm_05.tex.module.000079.qdimacs qcnf2z3 1

formula solver result

Umbrella_tbm_14.tex.moduleQ2.1S.000720.qdimacs bdepqbf 20

Umbrella_tbm_14.tex.moduleQ2.1S.000720.qdimacs depqbf 20

Umbrella_tbm_14.tex.moduleQ2.1S.000720.qdimacs StruQS 1

Umbrella_tbm_14.tex.moduleQ2.1S.000720.qdimacs runAqme.sh 20

Umbrella_tbm_14.tex.moduleQ2.1S.000720.qdimacs pre_dual_ooq.py 1

Umbrella_tbm_14.tex.moduleQ2.1S.000720.qdimacs ooq 1

Umbrella_tbm_14.tex.moduleQ2.1S.000720.qdimacs dual_ooq 1

Umbrella_tbm_14.tex.moduleQ2.1S.000720.qdimacs hiqqer3 20

Umbrella_tbm_14.tex.moduleQ2.1S.000720.qdimacs squeezebf1.2-qube3.0 1

Umbrella_tbm_14.tex.moduleQ2.1S.000720.qdimacs qube7.2 20

Umbrella_tbm_14.tex.moduleQ2.1S.000720.qdimacs squeezebf1.2-qube7.2.pl 10

Umbrella_tbm_14.tex.moduleQ2.1S.000720.qdimacs ghostq-bq-cegar.sh 1

Umbrella_tbm_14.tex.moduleQ2.1S.000720.qdimacs ghostq-cegar.sh 1

Umbrella_tbm_14.tex.moduleQ2.1S.000720.qdimacs ghostq.sh 1

Umbrella_tbm_14.tex.moduleQ2.1S.000720.qdimacs run_rareqs 1

Umbrella_tbm_14.tex.moduleQ2.1S.000720.qdimacs qcnf2z3 1

formula solver result

Umbrella_tbm_14.tex.moduleQ2.1S.000757.qdimacs bdepqbf 20

Umbrella_tbm_14.tex.moduleQ2.1S.000757.qdimacs depqbf 20

Umbrella_tbm_14.tex.moduleQ2.1S.000757.qdimacs StruQS 1

Umbrella_tbm_14.tex.moduleQ2.1S.000757.qdimacs runAqme.sh 20

Umbrella_tbm_14.tex.moduleQ2.1S.000757.qdimacs ooq 1

Umbrella_tbm_14.tex.moduleQ2.1S.000757.qdimacs dual_ooq 1

Umbrella_tbm_14.tex.moduleQ2.1S.000757.qdimacs pre_dual_ooq.py 1

Umbrella_tbm_14.tex.moduleQ2.1S.000757.qdimacs hiqqer3 20

Umbrella_tbm_14.tex.moduleQ2.1S.000757.qdimacs squeezebf1.2-qube7.2.pl 10

Umbrella_tbm_14.tex.moduleQ2.1S.000757.qdimacs qube7.2 20

Umbrella_tbm_14.tex.moduleQ2.1S.000757.qdimacs squeezebf1.2-qube3.0 1

Umbrella_tbm_14.tex.moduleQ2.1S.000757.qdimacs ghostq.sh 1

Umbrella_tbm_14.tex.moduleQ2.1S.000757.qdimacs ghostq-cegar.sh 1

Umbrella_tbm_14.tex.moduleQ2.1S.000757.qdimacs ghostq-bq-cegar.sh 1

Umbrella_tbm_14.tex.moduleQ2.1S.000757.qdimacs run_rareqs 1

Umbrella_tbm_14.tex.moduleQ2.1S.000757.qdimacs qcnf2z3 1

formula solver result

Umbrella_tbm_14.tex.moduleQ2.1S.000773.qdimacs depqbf 20

Umbrella_tbm_14.tex.moduleQ2.1S.000773.qdimacs bdepqbf 20

Umbrella_tbm_14.tex.moduleQ2.1S.000773.qdimacs runAqme.sh 20

Umbrella_tbm_14.tex.moduleQ2.1S.000773.qdimacs StruQS 1

Umbrella_tbm_14.tex.moduleQ2.1S.000773.qdimacs pre_dual_ooq.py 1

Umbrella_tbm_14.tex.moduleQ2.1S.000773.qdimacs ooq 1

Umbrella_tbm_14.tex.moduleQ2.1S.000773.qdimacs dual_ooq 1

Umbrella_tbm_14.tex.moduleQ2.1S.000773.qdimacs hiqqer3 20

Umbrella_tbm_14.tex.moduleQ2.1S.000773.qdimacs squeezebf1.2-qube3.0 1

Umbrella_tbm_14.tex.moduleQ2.1S.000773.qdimacs qube7.2 20

Umbrella_tbm_14.tex.moduleQ2.1S.000773.qdimacs squeezebf1.2-qube7.2.pl 10

Umbrella_tbm_14.tex.moduleQ2.1S.000773.qdimacs ghostq-cegar.sh 1

Umbrella_tbm_14.tex.moduleQ2.1S.000773.qdimacs ghostq-bq-cegar.sh 1

Umbrella_tbm_14.tex.moduleQ2.1S.000773.qdimacs ghostq.sh 1

Umbrella_tbm_14.tex.moduleQ2.1S.000773.qdimacs qcnf2z3 1

Umbrella_tbm_14.tex.moduleQ2.1S.000773.qdimacs run_rareqs 0

formula solver result

Umbrella_tbm_14.tex.moduleQ2.1S.000787.qdimacs depqbf 20

Umbrella_tbm_14.tex.moduleQ2.1S.000787.qdimacs bdepqbf 20

Umbrella_tbm_14.tex.moduleQ2.1S.000787.qdimacs runAqme.sh 20

Umbrella_tbm_14.tex.moduleQ2.1S.000787.qdimacs StruQS 1

Umbrella_tbm_14.tex.moduleQ2.1S.000787.qdimacs pre_dual_ooq.py 1

Umbrella_tbm_14.tex.moduleQ2.1S.000787.qdimacs dual_ooq 1

Umbrella_tbm_14.tex.moduleQ2.1S.000787.qdimacs ooq 1

Umbrella_tbm_14.tex.moduleQ2.1S.000787.qdimacs hiqqer3 20

Umbrella_tbm_14.tex.moduleQ2.1S.000787.qdimacs squeezebf1.2-qube3.0 1

Umbrella_tbm_14.tex.moduleQ2.1S.000787.qdimacs squeezebf1.2-qube7.2.pl 10

Umbrella_tbm_14.tex.moduleQ2.1S.000787.qdimacs qube7.2 20

Umbrella_tbm_14.tex.moduleQ2.1S.000787.qdimacs ghostq-cegar.sh 20

Umbrella_tbm_14.tex.moduleQ2.1S.000787.qdimacs ghostq.sh 20

Umbrella_tbm_14.tex.moduleQ2.1S.000787.qdimacs ghostq-bq-cegar.sh 20

Umbrella_tbm_14.tex.moduleQ2.1S.000787.qdimacs qcnf2z3 1

Umbrella_tbm_14.tex.moduleQ2.1S.000787.qdimacs run_rareqs 1

formula solver result

Umbrella_tbm_14.tex.moduleQ2.1S.000792.qdimacs bdepqbf 20

Umbrella_tbm_14.tex.moduleQ2.1S.000792.qdimacs depqbf 20

Umbrella_tbm_14.tex.moduleQ2.1S.000792.qdimacs StruQS 1

Umbrella_tbm_14.tex.moduleQ2.1S.000792.qdimacs runAqme.sh 20

Umbrella_tbm_14.tex.moduleQ2.1S.000792.qdimacs dual_ooq 1

Umbrella_tbm_14.tex.moduleQ2.1S.000792.qdimacs ooq 1

Umbrella_tbm_14.tex.moduleQ2.1S.000792.qdimacs pre_dual_ooq.py 20

Umbrella_tbm_14.tex.moduleQ2.1S.000792.qdimacs hiqqer3 20

Umbrella_tbm_14.tex.moduleQ2.1S.000792.qdimacs squeezebf1.2-qube3.0 1

Umbrella_tbm_14.tex.moduleQ2.1S.000792.qdimacs squeezebf1.2-qube7.2.pl 10

Umbrella_tbm_14.tex.moduleQ2.1S.000792.qdimacs qube7.2 20

Umbrella_tbm_14.tex.moduleQ2.1S.000792.qdimacs ghostq.sh 1

Umbrella_tbm_14.tex.moduleQ2.1S.000792.qdimacs ghostq-bq-cegar.sh 1

Umbrella_tbm_14.tex.moduleQ2.1S.000792.qdimacs ghostq-cegar.sh 1

Umbrella_tbm_14.tex.moduleQ2.1S.000792.qdimacs qcnf2z3 1

Umbrella_tbm_14.tex.moduleQ2.1S.000792.qdimacs run_rareqs 20

formula solver result

Umbrella_tbm_14.tex.moduleQ2.1S.000808.qdimacs bdepqbf 20

Umbrella_tbm_14.tex.moduleQ2.1S.000808.qdimacs depqbf 20

Umbrella_tbm_14.tex.moduleQ2.1S.000808.qdimacs StruQS 1

Umbrella_tbm_14.tex.moduleQ2.1S.000808.qdimacs runAqme.sh 20

Umbrella_tbm_14.tex.moduleQ2.1S.000808.qdimacs ooq 1

Umbrella_tbm_14.tex.moduleQ2.1S.000808.qdimacs dual_ooq 1

Umbrella_tbm_14.tex.moduleQ2.1S.000808.qdimacs pre_dual_ooq.py 1

Umbrella_tbm_14.tex.moduleQ2.1S.000808.qdimacs hiqqer3 20

Umbrella_tbm_14.tex.moduleQ2.1S.000808.qdimacs qube7.2 1

Umbrella_tbm_14.tex.moduleQ2.1S.000808.qdimacs squeezebf1.2-qube7.2.pl 10

Umbrella_tbm_14.tex.moduleQ2.1S.000808.qdimacs squeezebf1.2-qube3.0 1

Umbrella_tbm_14.tex.moduleQ2.1S.000808.qdimacs ghostq-cegar.sh 1

Umbrella_tbm_14.tex.moduleQ2.1S.000808.qdimacs ghostq.sh 20

Umbrella_tbm_14.tex.moduleQ2.1S.000808.qdimacs ghostq-bq-cegar.sh 1

Umbrella_tbm_14.tex.moduleQ2.1S.000808.qdimacs run_rareqs 20

Umbrella_tbm_14.tex.moduleQ2.1S.000808.qdimacs qcnf2z3 1

formula solver result

Umbrella_tbm_14.tex.moduleQ2.1S.000812.qdimacs bdepqbf 20

Umbrella_tbm_14.tex.moduleQ2.1S.000812.qdimacs depqbf 20

Umbrella_tbm_14.tex.moduleQ2.1S.000812.qdimacs StruQS 1

Umbrella_tbm_14.tex.moduleQ2.1S.000812.qdimacs runAqme.sh 20

Umbrella_tbm_14.tex.moduleQ2.1S.000812.qdimacs dual_ooq 1

Umbrella_tbm_14.tex.moduleQ2.1S.000812.qdimacs ooq 1

Umbrella_tbm_14.tex.moduleQ2.1S.000812.qdimacs pre_dual_ooq.py 1

Umbrella_tbm_14.tex.moduleQ2.1S.000812.qdimacs hiqqer3 20

Umbrella_tbm_14.tex.moduleQ2.1S.000812.qdimacs squeezebf1.2-qube7.2.pl 10

Umbrella_tbm_14.tex.moduleQ2.1S.000812.qdimacs squeezebf1.2-qube3.0 1

Umbrella_tbm_14.tex.moduleQ2.1S.000812.qdimacs qube7.2 1

Umbrella_tbm_14.tex.moduleQ2.1S.000812.qdimacs ghostq-cegar.sh 1

Umbrella_tbm_14.tex.moduleQ2.1S.000812.qdimacs ghostq.sh 1

Umbrella_tbm_14.tex.moduleQ2.1S.000812.qdimacs ghostq-bq-cegar.sh 1

Umbrella_tbm_14.tex.moduleQ2.1S.000812.qdimacs qcnf2z3 1

Umbrella_tbm_14.tex.moduleQ2.1S.000812.qdimacs run_rareqs 1

formula solver result

Umbrella_tbm_14.tex.moduleQ2.2S.000001.qdimacs bdepqbf 20

Umbrella_tbm_14.tex.moduleQ2.2S.000001.qdimacs depqbf 20

Umbrella_tbm_14.tex.moduleQ2.2S.000001.qdimacs runAqme.sh 20

Umbrella_tbm_14.tex.moduleQ2.2S.000001.qdimacs StruQS 1

Umbrella_tbm_14.tex.moduleQ2.2S.000001.qdimacs pre_dual_ooq.py 1

Umbrella_tbm_14.tex.moduleQ2.2S.000001.qdimacs ooq 1

Umbrella_tbm_14.tex.moduleQ2.2S.000001.qdimacs dual_ooq 1

Umbrella_tbm_14.tex.moduleQ2.2S.000001.qdimacs hiqqer3 20

Umbrella_tbm_14.tex.moduleQ2.2S.000001.qdimacs squeezebf1.2-qube3.0 1

Umbrella_tbm_14.tex.moduleQ2.2S.000001.qdimacs qube7.2 20

Umbrella_tbm_14.tex.moduleQ2.2S.000001.qdimacs squeezebf1.2-qube7.2.pl 10

Umbrella_tbm_14.tex.moduleQ2.2S.000001.qdimacs ghostq.sh 1

Umbrella_tbm_14.tex.moduleQ2.2S.000001.qdimacs ghostq-cegar.sh 1

Umbrella_tbm_14.tex.moduleQ2.2S.000001.qdimacs ghostq-bq-cegar.sh 1

Umbrella_tbm_14.tex.moduleQ2.2S.000001.qdimacs run_rareqs 1

Umbrella_tbm_14.tex.moduleQ2.2S.000001.qdimacs qcnf2z3 44

formula solver result

Umbrella_tbm_21.tex.module.000044.qdimacs depqbf 20

Umbrella_tbm_21.tex.module.000044.qdimacs bdepqbf 20

Umbrella_tbm_21.tex.module.000044.qdimacs StruQS 1

Umbrella_tbm_21.tex.module.000044.qdimacs runAqme.sh 1

Umbrella_tbm_21.tex.module.000044.qdimacs pre_dual_ooq.py 1

Umbrella_tbm_21.tex.module.000044.qdimacs ooq 1

Umbrella_tbm_21.tex.module.000044.qdimacs dual_ooq 1

Umbrella_tbm_21.tex.module.000044.qdimacs hiqqer3 20

Umbrella_tbm_21.tex.module.000044.qdimacs squeezebf1.2-qube3.0 1

Umbrella_tbm_21.tex.module.000044.qdimacs squeezebf1.2-qube7.2.pl 10

Umbrella_tbm_21.tex.module.000044.qdimacs qube7.2 20

Umbrella_tbm_21.tex.module.000044.qdimacs ghostq.sh 20

Umbrella_tbm_21.tex.module.000044.qdimacs ghostq-bq-cegar.sh 1

Umbrella_tbm_21.tex.module.000044.qdimacs ghostq-cegar.sh 1

Umbrella_tbm_21.tex.module.000044.qdimacs qcnf2z3 1

Umbrella_tbm_21.tex.module.000044.qdimacs run_rareqs 0

formula solver result

Umbrella_tbm_25.tex.module.000003.qdimacs bdepqbf 20

Umbrella_tbm_25.tex.module.000003.qdimacs depqbf 20

Umbrella_tbm_25.tex.module.000003.qdimacs StruQS 1

Umbrella_tbm_25.tex.module.000003.qdimacs runAqme.sh 20

Umbrella_tbm_25.tex.module.000003.qdimacs ooq 1

Umbrella_tbm_25.tex.module.000003.qdimacs pre_dual_ooq.py 1

Umbrella_tbm_25.tex.module.000003.qdimacs dual_ooq 1

Umbrella_tbm_25.tex.module.000003.qdimacs hiqqer3 20

Umbrella_tbm_25.tex.module.000003.qdimacs qube7.2 20

Umbrella_tbm_25.tex.module.000003.qdimacs squeezebf1.2-qube3.0 1

Umbrella_tbm_25.tex.module.000003.qdimacs squeezebf1.2-qube7.2.pl 10

Umbrella_tbm_25.tex.module.000003.qdimacs ghostq-bq-cegar.sh 20

Umbrella_tbm_25.tex.module.000003.qdimacs ghostq-cegar.sh 20

Umbrella_tbm_25.tex.module.000003.qdimacs ghostq.sh 1

Umbrella_tbm_25.tex.module.000003.qdimacs qcnf2z3 1

Umbrella_tbm_25.tex.module.000003.qdimacs run_rareqs 20

formula solver result

Umbrella_tbm_25.tex.module.000084.qdimacs depqbf 20

Umbrella_tbm_25.tex.module.000084.qdimacs bdepqbf 20

Umbrella_tbm_25.tex.module.000084.qdimacs StruQS 1

Umbrella_tbm_25.tex.module.000084.qdimacs runAqme.sh 1

Umbrella_tbm_25.tex.module.000084.qdimacs ooq 1

Umbrella_tbm_25.tex.module.000084.qdimacs pre_dual_ooq.py 1

Umbrella_tbm_25.tex.module.000084.qdimacs dual_ooq 1

Umbrella_tbm_25.tex.module.000084.qdimacs hiqqer3 20

Umbrella_tbm_25.tex.module.000084.qdimacs squeezebf1.2-qube3.0 1

Umbrella_tbm_25.tex.module.000084.qdimacs qube7.2 20

Umbrella_tbm_25.tex.module.000084.qdimacs squeezebf1.2-qube7.2.pl 10

Umbrella_tbm_25.tex.module.000084.qdimacs ghostq-bq-cegar.sh 1

Umbrella_tbm_25.tex.module.000084.qdimacs ghostq.sh 20

Umbrella_tbm_25.tex.module.000084.qdimacs ghostq-cegar.sh 1

Umbrella_tbm_25.tex.module.000084.qdimacs run_rareqs 0

Umbrella_tbm_25.tex.module.000084.qdimacs qcnf2z3 1

formula solver result

Umbrella_tbm_25.tex.module.000087.qdimacs depqbf 20

Umbrella_tbm_25.tex.module.000087.qdimacs bdepqbf 20

Umbrella_tbm_25.tex.module.000087.qdimacs runAqme.sh 1

Umbrella_tbm_25.tex.module.000087.qdimacs StruQS 1

Umbrella_tbm_25.tex.module.000087.qdimacs ooq 1

Umbrella_tbm_25.tex.module.000087.qdimacs dual_ooq 1

Umbrella_tbm_25.tex.module.000087.qdimacs pre_dual_ooq.py 1

Umbrella_tbm_25.tex.module.000087.qdimacs hiqqer3 20

Umbrella_tbm_25.tex.module.000087.qdimacs squeezebf1.2-qube3.0 1

Umbrella_tbm_25.tex.module.000087.qdimacs qube7.2 20

Umbrella_tbm_25.tex.module.000087.qdimacs squeezebf1.2-qube7.2.pl 10

Umbrella_tbm_25.tex.module.000087.qdimacs ghostq-cegar.sh 1

Umbrella_tbm_25.tex.module.000087.qdimacs ghostq.sh 20

Umbrella_tbm_25.tex.module.000087.qdimacs ghostq-bq-cegar.sh 1

Umbrella_tbm_25.tex.module.000087.qdimacs run_rareqs 0

Umbrella_tbm_25.tex.module.000087.qdimacs qcnf2z3 1

formula solver result

Umbrella_tbm_25.tex.module.000099.qdimacs depqbf 20

Umbrella_tbm_25.tex.module.000099.qdimacs bdepqbf 20

Umbrella_tbm_25.tex.module.000099.qdimacs StruQS 1

Umbrella_tbm_25.tex.module.000099.qdimacs runAqme.sh 20

Umbrella_tbm_25.tex.module.000099.qdimacs pre_dual_ooq.py 1

Umbrella_tbm_25.tex.module.000099.qdimacs ooq 1

Umbrella_tbm_25.tex.module.000099.qdimacs dual_ooq 1

Umbrella_tbm_25.tex.module.000099.qdimacs hiqqer3 20

Umbrella_tbm_25.tex.module.000099.qdimacs qube7.2 20

Umbrella_tbm_25.tex.module.000099.qdimacs squeezebf1.2-qube7.2.pl 10

Umbrella_tbm_25.tex.module.000099.qdimacs squeezebf1.2-qube3.0 20

Umbrella_tbm_25.tex.module.000099.qdimacs ghostq-bq-cegar.sh 1

Umbrella_tbm_25.tex.module.000099.qdimacs ghostq.sh 20

Umbrella_tbm_25.tex.module.000099.qdimacs ghostq-cegar.sh 1

Umbrella_tbm_25.tex.module.000099.qdimacs qcnf2z3 1

Umbrella_tbm_25.tex.module.000099.qdimacs run_rareqs 1

formula solver result

Umbrella_tbm_25.tex.moduleQ3.2S.000052.qdimacs bdepqbf 20

Umbrella_tbm_25.tex.moduleQ3.2S.000052.qdimacs depqbf 20

Umbrella_tbm_25.tex.moduleQ3.2S.000052.qdimacs StruQS 1

Umbrella_tbm_25.tex.moduleQ3.2S.000052.qdimacs runAqme.sh 1

Umbrella_tbm_25.tex.moduleQ3.2S.000052.qdimacs ooq 1

Umbrella_tbm_25.tex.moduleQ3.2S.000052.qdimacs pre_dual_ooq.py 1

Umbrella_tbm_25.tex.moduleQ3.2S.000052.qdimacs dual_ooq 1

Umbrella_tbm_25.tex.moduleQ3.2S.000052.qdimacs hiqqer3 1

Umbrella_tbm_25.tex.moduleQ3.2S.000052.qdimacs qube7.2 20

Umbrella_tbm_25.tex.moduleQ3.2S.000052.qdimacs squeezebf1.2-qube7.2.pl 10

Umbrella_tbm_25.tex.moduleQ3.2S.000052.qdimacs squeezebf1.2-qube3.0 1

Umbrella_tbm_25.tex.moduleQ3.2S.000052.qdimacs ghostq-bq-cegar.sh 1

Umbrella_tbm_25.tex.moduleQ3.2S.000052.qdimacs ghostq.sh 1

Umbrella_tbm_25.tex.moduleQ3.2S.000052.qdimacs ghostq-cegar.sh 1

Umbrella_tbm_25.tex.moduleQ3.2S.000052.qdimacs qcnf2z3 1

Umbrella_tbm_25.tex.moduleQ3.2S.000052.qdimacs run_rareqs 1

formula solver result

Umbrella_tbm_25.tex.moduleQ3.2S.000075.qdimacs bdepqbf 20

Umbrella_tbm_25.tex.moduleQ3.2S.000075.qdimacs depqbf 20

Umbrella_tbm_25.tex.moduleQ3.2S.000075.qdimacs runAqme.sh 1

Umbrella_tbm_25.tex.moduleQ3.2S.000075.qdimacs StruQS 1

Umbrella_tbm_25.tex.moduleQ3.2S.000075.qdimacs pre_dual_ooq.py 1

Umbrella_tbm_25.tex.moduleQ3.2S.000075.qdimacs ooq 1

Umbrella_tbm_25.tex.moduleQ3.2S.000075.qdimacs dual_ooq 1

Umbrella_tbm_25.tex.moduleQ3.2S.000075.qdimacs hiqqer3 20

Umbrella_tbm_25.tex.moduleQ3.2S.000075.qdimacs qube7.2 20

Umbrella_tbm_25.tex.moduleQ3.2S.000075.qdimacs squeezebf1.2-qube7.2.pl 10

Umbrella_tbm_25.tex.moduleQ3.2S.000075.qdimacs squeezebf1.2-qube3.0 1

Umbrella_tbm_25.tex.moduleQ3.2S.000075.qdimacs ghostq-bq-cegar.sh 1

Umbrella_tbm_25.tex.moduleQ3.2S.000075.qdimacs ghostq-cegar.sh 1

Umbrella_tbm_25.tex.moduleQ3.2S.000075.qdimacs ghostq.sh 1

Umbrella_tbm_25.tex.moduleQ3.2S.000075.qdimacs run_rareqs 1

Umbrella_tbm_25.tex.moduleQ3.2S.000075.qdimacs qcnf2z3 1

formula solver result

Umbrella_tbm_25.tex.moduleQ3.2S.000120.qdimacs bdepqbf 20

Umbrella_tbm_25.tex.moduleQ3.2S.000120.qdimacs depqbf 20

Umbrella_tbm_25.tex.moduleQ3.2S.000120.qdimacs StruQS 1

Umbrella_tbm_25.tex.moduleQ3.2S.000120.qdimacs runAqme.sh 1

Umbrella_tbm_25.tex.moduleQ3.2S.000120.qdimacs pre_dual_ooq.py 1

Umbrella_tbm_25.tex.moduleQ3.2S.000120.qdimacs dual_ooq 1

Umbrella_tbm_25.tex.moduleQ3.2S.000120.qdimacs ooq 1

Umbrella_tbm_25.tex.moduleQ3.2S.000120.qdimacs hiqqer3 20

Umbrella_tbm_25.tex.moduleQ3.2S.000120.qdimacs qube7.2 20

Umbrella_tbm_25.tex.moduleQ3.2S.000120.qdimacs squeezebf1.2-qube3.0 1

Umbrella_tbm_25.tex.moduleQ3.2S.000120.qdimacs squeezebf1.2-qube7.2.pl 10

Umbrella_tbm_25.tex.moduleQ3.2S.000120.qdimacs ghostq.sh 1

Umbrella_tbm_25.tex.moduleQ3.2S.000120.qdimacs ghostq-bq-cegar.sh 1

Umbrella_tbm_25.tex.moduleQ3.2S.000120.qdimacs ghostq-cegar.sh 1

Umbrella_tbm_25.tex.moduleQ3.2S.000120.qdimacs run_rareqs 0

Umbrella_tbm_25.tex.moduleQ3.2S.000120.qdimacs qcnf2z3 1

formula solver result

W3-Umbrella_tbm_21.tex.moduleQ3.6S.000001.qdimacs bdepqbf 20

W3-Umbrella_tbm_21.tex.moduleQ3.6S.000001.qdimacs depqbf 20

W3-Umbrella_tbm_21.tex.moduleQ3.6S.000001.qdimacs runAqme.sh 20

W3-Umbrella_tbm_21.tex.moduleQ3.6S.000001.qdimacs StruQS 1

W3-Umbrella_tbm_21.tex.moduleQ3.6S.000001.qdimacs dual_ooq 1

W3-Umbrella_tbm_21.tex.moduleQ3.6S.000001.qdimacs pre_dual_ooq.py 1

W3-Umbrella_tbm_21.tex.moduleQ3.6S.000001.qdimacs ooq 1

W3-Umbrella_tbm_21.tex.moduleQ3.6S.000001.qdimacs hiqqer3 20

W3-Umbrella_tbm_21.tex.moduleQ3.6S.000001.qdimacs qube7.2 20

W3-Umbrella_tbm_21.tex.moduleQ3.6S.000001.qdimacs squeezebf1.2-qube3.0 1

W3-Umbrella_tbm_21.tex.moduleQ3.6S.000001.qdimacs squeezebf1.2-qube7.2.pl 10

W3-Umbrella_tbm_21.tex.moduleQ3.6S.000001.qdimacs ghostq.sh 20

W3-Umbrella_tbm_21.tex.moduleQ3.6S.000001.qdimacs ghostq-cegar.sh 1

W3-Umbrella_tbm_21.tex.moduleQ3.6S.000001.qdimacs ghostq-bq-cegar.sh 1

W3-Umbrella_tbm_21.tex.moduleQ3.6S.000001.qdimacs qcnf2z3 1

W3-Umbrella_tbm_21.tex.moduleQ3.6S.000001.qdimacs run_rareqs 0

formula solver result

W4-Umbrella_tbm_25.tex.moduleQ3.7S.000003.qdimacs depqbf 20

W4-Umbrella_tbm_25.tex.moduleQ3.7S.000003.qdimacs bdepqbf 20

W4-Umbrella_tbm_25.tex.moduleQ3.7S.000003.qdimacs StruQS 1

W4-Umbrella_tbm_25.tex.moduleQ3.7S.000003.qdimacs runAqme.sh 20

W4-Umbrella_tbm_25.tex.moduleQ3.7S.000003.qdimacs pre_dual_ooq.py 1

W4-Umbrella_tbm_25.tex.moduleQ3.7S.000003.qdimacs dual_ooq 1

W4-Umbrella_tbm_25.tex.moduleQ3.7S.000003.qdimacs ooq 1

W4-Umbrella_tbm_25.tex.moduleQ3.7S.000003.qdimacs hiqqer3 20

W4-Umbrella_tbm_25.tex.moduleQ3.7S.000003.qdimacs qube7.2 20

W4-Umbrella_tbm_25.tex.moduleQ3.7S.000003.qdimacs squeezebf1.2-qube7.2.pl 10

W4-Umbrella_tbm_25.tex.moduleQ3.7S.000003.qdimacs squeezebf1.2-qube3.0 20

W4-Umbrella_tbm_25.tex.moduleQ3.7S.000003.qdimacs ghostq-cegar.sh 1

W4-Umbrella_tbm_25.tex.moduleQ3.7S.000003.qdimacs ghostq-bq-cegar.sh 1

W4-Umbrella_tbm_25.tex.moduleQ3.7S.000003.qdimacs ghostq.sh 1

W4-Umbrella_tbm_25.tex.moduleQ3.7S.000003.qdimacs qcnf2z3 1

W4-Umbrella_tbm_25.tex.moduleQ3.7S.000003.qdimacs run_rareqs 1

formula	solver	result
C432.blif_0.10_0.20_0_0_out_exact-shuffled.qdimacs	depqbf	1
C432.blif_0.10_0.20_0_0_out_exact-shuffled.qdimacs	bdepqbf	1
C432.blif_0.10_0.20_0_0_out_exact-shuffled.qdimacs	StruQS	1
C432.blif_0.10_0.20_0_0_out_exact-shuffled.qdimacs	runAqme.sh	1
C432.blif_0.10_0.20_0_0_out_exact-shuffled.qdimacs	pre_dual_ooq.py	1
C432.blif_0.10_0.20_0_0_out_exact-shuffled.qdimacs	dual_ooq	1
C432.blif_0.10_0.20_0_0_out_exact-shuffled.qdimacs	ooq	1
C432.blif_0.10_0.20_0_0_out_exact-shuffled.qdimacs	hiqqer3	1
C432.blif_0.10_0.20_0_0_out_exact-shuffled.qdimacs	squeezebf1.2-qube3.0	1
C432.blif_0.10_0.20_0_0_out_exact-shuffled.qdimacs	squeezebf1.2-qube7.2.pl	99
C432.blif_0.10_0.20_0_0_out_exact-shuffled.qdimacs	qube7.2	10
C432.blif_0.10_0.20_0_0_out_exact-shuffled.qdimacs	ghostq.sh	1
C432.blif_0.10_0.20_0_0_out_exact-shuffled.qdimacs	ghostq-bq-cegar.sh	1
C432.blif_0.10_0.20_0_0_out_exact-shuffled.qdimacs	ghostq-cegar.sh	1
C432.blif_0.10_0.20_0_0_out_exact-shuffled.qdimacs	run_rareqs	20
C432.blif_0.10_0.20_0_0_out_exact-shuffled.qdimacs	qcnf2z3	1