Benchmark Set of QBFEval 2010 preprocessed with bloqqer

Overview

• number of participating solvers: 16
• number of participating formulas: 420
• Formulas

Overall Solving Statistics

Number of Solved Formulas

SOLVER	SAT	UNSAT	TOTAL
bdepqbf	163	156	319
depqbf	164	154	318
squeezebf1.2-qube7.2.pl	154	111	265
hiqqer3	110	151	261
run_rareqs	114	132	246
qube7.2	65	154	219
squeezebf1.2-qube3.0	94	119	213
pre_dual_ooq.py	93	92	185
ghostq-bq-cegar.sh	99	74	173
ghostq-cegar.sh	99	74	173
ghostq.sh	86	82	168
runAqme.sh	73	93	166
ooq	90	50	140
dual_ooq	89	50	139
qcnf2z3	47	37	84
StruQS	43	34	77

Time Statistics (overall runtime, average runtime)

solver	AVERAGE	SUM
bdepqbf	153.74	64571.65
depqbf	153.75	64575.09
run_rareqs	218.72	91863.24
hiqqer3	220.80	92739.42
squeezebf1.2-qube7.2.pl	254.12	106734.08
squeezebf1.2-qube3.0	289.14	121439.99
qube7.2	291.02	122230.29
pre_dual_ooq.py	301.15	126483.59
ghostq-cegar.sh	317.13	133195.20
ghostq-bq-cegar.sh	317.62	133401.41
ghostq.sh	321.85	135177.47
runAqme.sh	327.67	137624.73
ooq	339.51	142596.87
dual_ooq	342.69	143931.94
qcnf2z3	405.13	170158.52
StruQS	426.22	179013.20

Number of Unsolved Formulas (solved by no solver)

formula
cmu.periodic.N-f4-shuffled.qdimacs
nusmv.tcas-t^6.B-f3-shuffled.qdimacs
ev-pr-6x6-5-5-0-1-2-s-shuffled.qdimacs
eijk.S208o.S-f4-shuffled.qdimacs
adder-12-unsat-shuffled.qdimacs
adder-8-unsat-shuffled.qdimacs
connect_7x6_4_R-shuffled.qdimacs
adder-14-sat-shuffled.qdimacs
eijk.S382.S-f4-shuffled.qdimacs
nusmv.reactor^2.C-d4-shuffled.qdimacs
nusmv.reactor^1.C-d4-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
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
Adder2-10-s-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
vis.prodcell^23.E-f4-shuffled.qdimacs
ken.flash^14.C-d4-shuffled.qdimacs
connect_9x8_3_R-shuffled.qdimacs
C6288.blif_0.10_1.00_0_0_inp_exact-shuffled.qdimacs
cube_c7_ser---23_-shuffled.qdimacs
ev-pr-6x6-7-5-0-1-2-s-shuffled.qdimacs
cmu.dme1.B-f4-shuffled.qdimacs
adder-10-sat-shuffled.qdimacs
C5315.blif_0.10_0.20_0_1_out_exact-shuffled.qdimacs
nusmv.tcas^4.B-f3-shuffled.qdimacs
nusmv.tcas^2.B-f2-shuffled.qdimacs

Formulas only solved by one solver

FORMULA	SOLVER
adder-8-sat-shuffled.qdimacs	runAqme.sh
Adder2-6-c-shuffled.qdimacs	run_rareqs
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-008-shuffled.qdimacs	run_rareqs
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-007-shuffled.qdimacs	run_rareqs
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
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-009-shuffled.qdimacs	run_rareqs
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-008-shuffled.qdimacs	run_rareqs
c1_BMC_p1_k2048-shuffled.qdimacs	run_rareqs
c3_Debug_s3_f2_e2_v2-shuffled.qdimacs	squeezebf1.2-qube7.2.pl
c4_Debug_s3_f1_e1_v3-shuffled.qdimacs	squeezebf1.2-qube7.2.pl
c4_Debug_s3_f1_e2_v3-shuffled.qdimacs	squeezebf1.2-qube7.2.pl
C6288.blif_0.10_1.00_0_1_inp_exact-shuffled.qdimacs	run_rareqs
connect_6x5_5_R-shuffled.qdimacs	squeezebf1.2-qube3.0
eijk.S1423.S-d4-shuffled.qdimacs	hiqqer3
eijk.S526.S-f4-shuffled.qdimacs	StruQS
emptyroom_e4_ser--opt-44_-shuffled.qdimacs	run_rareqs
ev-pr-6x6-15-5-0-1-2-lg-shuffled.qdimacs	bdepqbf
ev-pr-8x8-13-7-0-1-2-lg-shuffled.qdimacs	depqbf
k_branch_n-20-shuffled.qdimacs	hiqqer3
ring_r6_ser--opt-17_-shuffled.qdimacs	squeezebf1.2-qube7.2.pl
s3330_d10_u-shuffled.qdimacs	squeezebf1.2-qube7.2.pl
vis.arbiter.E-f4-shuffled.qdimacs	StruQS
vis.prodcell^24.E-f3-shuffled.qdimacs	StruQS

Formulas with Discrepancies

Formulas with Discrepancies

FORMULA	SAT	UNSAT
C5315.blif_0.10_1.00_0_0_inp_exact-shuffled.qdimacs	2	12
Core1108_tbm_02.tex.moduleQ3.2S.000015.qdimacs	1	7
Core1108_tbm_02.tex.moduleQ3.2S.000026.qdimacs	1	5
Core1108_tbm_02.tex.moduleQ3.2S.000056.qdimacs	1	5
Core1108_tbm_02.tex.moduleQ3.2S.000098.qdimacs	1	6
Core1108_tbm_02.tex.moduleQ3.2S.000108.qdimacs	1	5
Core1108_tbm_03.tex.module.000021.qdimacs	1	12
Core1108_tbm_03.tex.module.000023.qdimacs	1	10
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	3
Core1108_tbm_03.tex.moduleQ3.2S.000018.qdimacs	1	3
Core1108_tbm_03.tex.moduleQ3.2S.000048.qdimacs	1	3
Core1108_tbm_09.tex.module.000033.qdimacs	1	9
Core1108_tbm_09.tex.moduleQ3.2S.000007.qdimacs	1	5
Core1108_tbm_21.tex.module.000014.qdimacs	1	7
Core1108_tbm_21.tex.moduleQ3.2S.000019.qdimacs	1	5
ring_r6_ser---16_-shuffled.qdimacs	1	3
ring_r7_ser---19_-shuffled.qdimacs	1	1
s1196_d3_u-shuffled.qdimacs	1	3
Umbrella_tbm_05.tex.module.000015.qdimacs	1	8
Umbrella_tbm_05.tex.module.000030.qdimacs	1	8
Umbrella_tbm_05.tex.module.000043.qdimacs	1	7
Umbrella_tbm_05.tex.module.000065.qdimacs	1	8
Umbrella_tbm_05.tex.module.000079.qdimacs	1	8
Umbrella_tbm_14.tex.moduleQ2.1S.000720.qdimacs	1	8
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	6
Umbrella_tbm_21.tex.module.000044.qdimacs	1	5
Umbrella_tbm_25.tex.module.000003.qdimacs	1	9
Umbrella_tbm_25.tex.module.000084.qdimacs	1	4
Umbrella_tbm_25.tex.module.000087.qdimacs	1	5
Umbrella_tbm_25.tex.module.000099.qdimacs	1	5
Umbrella_tbm_25.tex.moduleQ3.2S.000052.qdimacs	1	4
Umbrella_tbm_25.tex.moduleQ3.2S.000075.qdimacs	1	3
Umbrella_tbm_25.tex.moduleQ3.2S.000120.qdimacs	1	4
Umbrella_tbm_26.tex.moduleQ3.2S.000009.qdimacs	1	4
Umbrella_tbm_26.tex.moduleQ3.2S.000020.qdimacs	1	5
W3-Umbrella_tbm_21.tex.moduleQ3.6S.000001.qdimacs	1	6
W4-Umbrella_tbm_05.tex.moduleQ3.8S.000001.qdimacs	1	7
W4-Umbrella_tbm_25.tex.moduleQ3.7S.000003.qdimacs	1	6
W4-Umbrella_tbm_26.tex.moduleQ3.7S.000003.qdimacs	1	6

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	10
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	1
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	20
Core1108_tbm_02.tex.moduleQ3.2S.000015.qdimacs	ghostq-bq-cegar.sh	20
Core1108_tbm_02.tex.moduleQ3.2S.000015.qdimacs	ghostq.sh	1
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.000026.qdimacs	bdepqbf	20
Core1108_tbm_02.tex.moduleQ3.2S.000026.qdimacs	depqbf	20
Core1108_tbm_02.tex.moduleQ3.2S.000026.qdimacs	StruQS	1
Core1108_tbm_02.tex.moduleQ3.2S.000026.qdimacs	runAqme.sh	1
Core1108_tbm_02.tex.moduleQ3.2S.000026.qdimacs	dual_ooq	1
Core1108_tbm_02.tex.moduleQ3.2S.000026.qdimacs	pre_dual_ooq.py	1
Core1108_tbm_02.tex.moduleQ3.2S.000026.qdimacs	ooq	1
Core1108_tbm_02.tex.moduleQ3.2S.000026.qdimacs	hiqqer3	20
Core1108_tbm_02.tex.moduleQ3.2S.000026.qdimacs	squeezebf1.2-qube3.0	20
Core1108_tbm_02.tex.moduleQ3.2S.000026.qdimacs	squeezebf1.2-qube7.2.pl	10
Core1108_tbm_02.tex.moduleQ3.2S.000026.qdimacs	qube7.2	20
Core1108_tbm_02.tex.moduleQ3.2S.000026.qdimacs	ghostq-bq-cegar.sh	1
Core1108_tbm_02.tex.moduleQ3.2S.000026.qdimacs	ghostq.sh	1
Core1108_tbm_02.tex.moduleQ3.2S.000026.qdimacs	ghostq-cegar.sh	1
Core1108_tbm_02.tex.moduleQ3.2S.000026.qdimacs	run_rareqs	0
Core1108_tbm_02.tex.moduleQ3.2S.000026.qdimacs	qcnf2z3	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	20
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_02.tex.moduleQ3.2S.000108.qdimacs	depqbf	20
Core1108_tbm_02.tex.moduleQ3.2S.000108.qdimacs	bdepqbf	20
Core1108_tbm_02.tex.moduleQ3.2S.000108.qdimacs	runAqme.sh	1
Core1108_tbm_02.tex.moduleQ3.2S.000108.qdimacs	StruQS	1
Core1108_tbm_02.tex.moduleQ3.2S.000108.qdimacs	dual_ooq	1
Core1108_tbm_02.tex.moduleQ3.2S.000108.qdimacs	ooq	1
Core1108_tbm_02.tex.moduleQ3.2S.000108.qdimacs	pre_dual_ooq.py	1
Core1108_tbm_02.tex.moduleQ3.2S.000108.qdimacs	hiqqer3	20
Core1108_tbm_02.tex.moduleQ3.2S.000108.qdimacs	squeezebf1.2-qube7.2.pl	10
Core1108_tbm_02.tex.moduleQ3.2S.000108.qdimacs	squeezebf1.2-qube3.0	20
Core1108_tbm_02.tex.moduleQ3.2S.000108.qdimacs	qube7.2	20
Core1108_tbm_02.tex.moduleQ3.2S.000108.qdimacs	ghostq-cegar.sh	1
Core1108_tbm_02.tex.moduleQ3.2S.000108.qdimacs	ghostq.sh	1
Core1108_tbm_02.tex.moduleQ3.2S.000108.qdimacs	ghostq-bq-cegar.sh	1
Core1108_tbm_02.tex.moduleQ3.2S.000108.qdimacs	run_rareqs	0
Core1108_tbm_02.tex.moduleQ3.2S.000108.qdimacs	qcnf2z3	44

formula	solver	result
Core1108_tbm_03.tex.module.000021.qdimacs	bdepqbf	20
Core1108_tbm_03.tex.module.000021.qdimacs	depqbf	20
Core1108_tbm_03.tex.module.000021.qdimacs	runAqme.sh	20
Core1108_tbm_03.tex.module.000021.qdimacs	StruQS	20
Core1108_tbm_03.tex.module.000021.qdimacs	pre_dual_ooq.py	20
Core1108_tbm_03.tex.module.000021.qdimacs	dual_ooq	1
Core1108_tbm_03.tex.module.000021.qdimacs	ooq	1
Core1108_tbm_03.tex.module.000021.qdimacs	hiqqer3	20
Core1108_tbm_03.tex.module.000021.qdimacs	squeezebf1.2-qube7.2.pl	10
Core1108_tbm_03.tex.module.000021.qdimacs	squeezebf1.2-qube3.0	20
Core1108_tbm_03.tex.module.000021.qdimacs	qube7.2	20
Core1108_tbm_03.tex.module.000021.qdimacs	ghostq.sh	20
Core1108_tbm_03.tex.module.000021.qdimacs	ghostq-cegar.sh	20
Core1108_tbm_03.tex.module.000021.qdimacs	ghostq-bq-cegar.sh	20
Core1108_tbm_03.tex.module.000021.qdimacs	run_rareqs	20
Core1108_tbm_03.tex.module.000021.qdimacs	qcnf2z3	44

formula	solver	result
Core1108_tbm_03.tex.module.000023.qdimacs	bdepqbf	20
Core1108_tbm_03.tex.module.000023.qdimacs	depqbf	20
Core1108_tbm_03.tex.module.000023.qdimacs	StruQS	20
Core1108_tbm_03.tex.module.000023.qdimacs	runAqme.sh	20
Core1108_tbm_03.tex.module.000023.qdimacs	pre_dual_ooq.py	20
Core1108_tbm_03.tex.module.000023.qdimacs	ooq	1
Core1108_tbm_03.tex.module.000023.qdimacs	dual_ooq	1
Core1108_tbm_03.tex.module.000023.qdimacs	hiqqer3	20
Core1108_tbm_03.tex.module.000023.qdimacs	squeezebf1.2-qube3.0	20
Core1108_tbm_03.tex.module.000023.qdimacs	qube7.2	20
Core1108_tbm_03.tex.module.000023.qdimacs	squeezebf1.2-qube7.2.pl	10
Core1108_tbm_03.tex.module.000023.qdimacs	ghostq-cegar.sh	1
Core1108_tbm_03.tex.module.000023.qdimacs	ghostq-bq-cegar.sh	1
Core1108_tbm_03.tex.module.000023.qdimacs	ghostq.sh	20
Core1108_tbm_03.tex.module.000023.qdimacs	run_rareqs	20
Core1108_tbm_03.tex.module.000023.qdimacs	qcnf2z3	44

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	1
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	152
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	44
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	20
Core1108_tbm_03.tex.moduleQ3.2S.000009.qdimacs	squeezebf1.2-qube3.0	1
Core1108_tbm_03.tex.moduleQ3.2S.000009.qdimacs	qube7.2	1
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	1
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	20
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	1
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	1
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	1
Core1108_tbm_03.tex.moduleQ3.2S.000048.qdimacs	qcnf2z3	1

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_09.tex.moduleQ3.2S.000007.qdimacs	depqbf	20
Core1108_tbm_09.tex.moduleQ3.2S.000007.qdimacs	bdepqbf	20
Core1108_tbm_09.tex.moduleQ3.2S.000007.qdimacs	StruQS	1
Core1108_tbm_09.tex.moduleQ3.2S.000007.qdimacs	runAqme.sh	1
Core1108_tbm_09.tex.moduleQ3.2S.000007.qdimacs	dual_ooq	1
Core1108_tbm_09.tex.moduleQ3.2S.000007.qdimacs	pre_dual_ooq.py	1
Core1108_tbm_09.tex.moduleQ3.2S.000007.qdimacs	ooq	1
Core1108_tbm_09.tex.moduleQ3.2S.000007.qdimacs	hiqqer3	20
Core1108_tbm_09.tex.moduleQ3.2S.000007.qdimacs	qube7.2	20
Core1108_tbm_09.tex.moduleQ3.2S.000007.qdimacs	squeezebf1.2-qube7.2.pl	10
Core1108_tbm_09.tex.moduleQ3.2S.000007.qdimacs	squeezebf1.2-qube3.0	20
Core1108_tbm_09.tex.moduleQ3.2S.000007.qdimacs	ghostq-cegar.sh	1
Core1108_tbm_09.tex.moduleQ3.2S.000007.qdimacs	ghostq-bq-cegar.sh	1
Core1108_tbm_09.tex.moduleQ3.2S.000007.qdimacs	ghostq.sh	1
Core1108_tbm_09.tex.moduleQ3.2S.000007.qdimacs	run_rareqs	0
Core1108_tbm_09.tex.moduleQ3.2S.000007.qdimacs	qcnf2z3	1

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	20
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
Core1108_tbm_21.tex.moduleQ3.2S.000019.qdimacs	depqbf	20
Core1108_tbm_21.tex.moduleQ3.2S.000019.qdimacs	bdepqbf	20
Core1108_tbm_21.tex.moduleQ3.2S.000019.qdimacs	StruQS	1
Core1108_tbm_21.tex.moduleQ3.2S.000019.qdimacs	runAqme.sh	1
Core1108_tbm_21.tex.moduleQ3.2S.000019.qdimacs	ooq	1
Core1108_tbm_21.tex.moduleQ3.2S.000019.qdimacs	pre_dual_ooq.py	1
Core1108_tbm_21.tex.moduleQ3.2S.000019.qdimacs	dual_ooq	1
Core1108_tbm_21.tex.moduleQ3.2S.000019.qdimacs	hiqqer3	20
Core1108_tbm_21.tex.moduleQ3.2S.000019.qdimacs	squeezebf1.2-qube3.0	20
Core1108_tbm_21.tex.moduleQ3.2S.000019.qdimacs	qube7.2	20
Core1108_tbm_21.tex.moduleQ3.2S.000019.qdimacs	squeezebf1.2-qube7.2.pl	10
Core1108_tbm_21.tex.moduleQ3.2S.000019.qdimacs	ghostq-bq-cegar.sh	1
Core1108_tbm_21.tex.moduleQ3.2S.000019.qdimacs	ghostq-cegar.sh	1
Core1108_tbm_21.tex.moduleQ3.2S.000019.qdimacs	ghostq.sh	1
Core1108_tbm_21.tex.moduleQ3.2S.000019.qdimacs	run_rareqs	1
Core1108_tbm_21.tex.moduleQ3.2S.000019.qdimacs	qcnf2z3	44

formula	solver	result
ring_r6_ser---16_-shuffled.qdimacs	depqbf	1
ring_r6_ser---16_-shuffled.qdimacs	bdepqbf	1
ring_r6_ser---16_-shuffled.qdimacs	runAqme.sh	1
ring_r6_ser---16_-shuffled.qdimacs	StruQS	1
ring_r6_ser---16_-shuffled.qdimacs	ooq	1
ring_r6_ser---16_-shuffled.qdimacs	dual_ooq	1
ring_r6_ser---16_-shuffled.qdimacs	pre_dual_ooq.py	1
ring_r6_ser---16_-shuffled.qdimacs	hiqqer3	1
ring_r6_ser---16_-shuffled.qdimacs	qube7.2	1
ring_r6_ser---16_-shuffled.qdimacs	squeezebf1.2-qube7.2.pl	10
ring_r6_ser---16_-shuffled.qdimacs	squeezebf1.2-qube3.0	1
ring_r6_ser---16_-shuffled.qdimacs	ghostq-bq-cegar.sh	20
ring_r6_ser---16_-shuffled.qdimacs	ghostq-cegar.sh	20
ring_r6_ser---16_-shuffled.qdimacs	ghostq.sh	1
ring_r6_ser---16_-shuffled.qdimacs	run_rareqs	20
ring_r6_ser---16_-shuffled.qdimacs	qcnf2z3	1

formula	solver	result
ring_r7_ser---19_-shuffled.qdimacs	depqbf	1
ring_r7_ser---19_-shuffled.qdimacs	bdepqbf	1
ring_r7_ser---19_-shuffled.qdimacs	StruQS	1
ring_r7_ser---19_-shuffled.qdimacs	runAqme.sh	1
ring_r7_ser---19_-shuffled.qdimacs	dual_ooq	1
ring_r7_ser---19_-shuffled.qdimacs	pre_dual_ooq.py	1
ring_r7_ser---19_-shuffled.qdimacs	ooq	1
ring_r7_ser---19_-shuffled.qdimacs	hiqqer3	1
ring_r7_ser---19_-shuffled.qdimacs	squeezebf1.2-qube3.0	1
ring_r7_ser---19_-shuffled.qdimacs	squeezebf1.2-qube7.2.pl	10
ring_r7_ser---19_-shuffled.qdimacs	qube7.2	1
ring_r7_ser---19_-shuffled.qdimacs	ghostq-bq-cegar.sh	1
ring_r7_ser---19_-shuffled.qdimacs	ghostq-cegar.sh	1
ring_r7_ser---19_-shuffled.qdimacs	ghostq.sh	1
ring_r7_ser---19_-shuffled.qdimacs	qcnf2z3	1
ring_r7_ser---19_-shuffled.qdimacs	run_rareqs	20

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

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	1
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	1
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	20
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	1
Umbrella_tbm_05.tex.module.000030.qdimacs	run_rareqs	20

formula	solver	result
Umbrella_tbm_05.tex.module.000043.qdimacs	depqbf	20
Umbrella_tbm_05.tex.module.000043.qdimacs	bdepqbf	20
Umbrella_tbm_05.tex.module.000043.qdimacs	StruQS	1
Umbrella_tbm_05.tex.module.000043.qdimacs	runAqme.sh	20
Umbrella_tbm_05.tex.module.000043.qdimacs	ooq	1
Umbrella_tbm_05.tex.module.000043.qdimacs	dual_ooq	1
Umbrella_tbm_05.tex.module.000043.qdimacs	pre_dual_ooq.py	1
Umbrella_tbm_05.tex.module.000043.qdimacs	hiqqer3	20
Umbrella_tbm_05.tex.module.000043.qdimacs	qube7.2	20
Umbrella_tbm_05.tex.module.000043.qdimacs	squeezebf1.2-qube7.2.pl	10
Umbrella_tbm_05.tex.module.000043.qdimacs	squeezebf1.2-qube3.0	1
Umbrella_tbm_05.tex.module.000043.qdimacs	ghostq.sh	20
Umbrella_tbm_05.tex.module.000043.qdimacs	ghostq-bq-cegar.sh	1
Umbrella_tbm_05.tex.module.000043.qdimacs	ghostq-cegar.sh	1
Umbrella_tbm_05.tex.module.000043.qdimacs	qcnf2z3	1
Umbrella_tbm_05.tex.module.000043.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	20
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	1
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	44
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	20
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	44

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	20
Umbrella_tbm_14.tex.moduleQ2.1S.000720.qdimacs	ghostq-cegar.sh	20
Umbrella_tbm_14.tex.moduleQ2.1S.000720.qdimacs	ghostq.sh	20
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	0
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	1

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	20
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	1
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	20
Umbrella_tbm_14.tex.moduleQ2.2S.000001.qdimacs	qcnf2z3	1

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	44
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	20
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	1
Umbrella_tbm_25.tex.module.000084.qdimacs	ghostq-cegar.sh	1
Umbrella_tbm_25.tex.module.000084.qdimacs	run_rareqs	1
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	1
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	1
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	1
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	44
Umbrella_tbm_25.tex.module.000099.qdimacs	run_rareqs	0

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	20
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	1
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	0
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	1
Umbrella_tbm_25.tex.moduleQ3.2S.000120.qdimacs	qcnf2z3	1

formula	solver	result
Umbrella_tbm_26.tex.moduleQ3.2S.000009.qdimacs	depqbf	20
Umbrella_tbm_26.tex.moduleQ3.2S.000009.qdimacs	bdepqbf	20
Umbrella_tbm_26.tex.moduleQ3.2S.000009.qdimacs	runAqme.sh	1
Umbrella_tbm_26.tex.moduleQ3.2S.000009.qdimacs	StruQS	1
Umbrella_tbm_26.tex.moduleQ3.2S.000009.qdimacs	pre_dual_ooq.py	1
Umbrella_tbm_26.tex.moduleQ3.2S.000009.qdimacs	dual_ooq	1
Umbrella_tbm_26.tex.moduleQ3.2S.000009.qdimacs	ooq	1
Umbrella_tbm_26.tex.moduleQ3.2S.000009.qdimacs	hiqqer3	20
Umbrella_tbm_26.tex.moduleQ3.2S.000009.qdimacs	squeezebf1.2-qube3.0	1
Umbrella_tbm_26.tex.moduleQ3.2S.000009.qdimacs	qube7.2	20
Umbrella_tbm_26.tex.moduleQ3.2S.000009.qdimacs	squeezebf1.2-qube7.2.pl	10
Umbrella_tbm_26.tex.moduleQ3.2S.000009.qdimacs	ghostq.sh	1
Umbrella_tbm_26.tex.moduleQ3.2S.000009.qdimacs	ghostq-bq-cegar.sh	1
Umbrella_tbm_26.tex.moduleQ3.2S.000009.qdimacs	ghostq-cegar.sh	1
Umbrella_tbm_26.tex.moduleQ3.2S.000009.qdimacs	run_rareqs	1
Umbrella_tbm_26.tex.moduleQ3.2S.000009.qdimacs	qcnf2z3	1

formula	solver	result
Umbrella_tbm_26.tex.moduleQ3.2S.000020.qdimacs	depqbf	20
Umbrella_tbm_26.tex.moduleQ3.2S.000020.qdimacs	bdepqbf	20
Umbrella_tbm_26.tex.moduleQ3.2S.000020.qdimacs	StruQS	1
Umbrella_tbm_26.tex.moduleQ3.2S.000020.qdimacs	runAqme.sh	1
Umbrella_tbm_26.tex.moduleQ3.2S.000020.qdimacs	dual_ooq	1
Umbrella_tbm_26.tex.moduleQ3.2S.000020.qdimacs	pre_dual_ooq.py	1
Umbrella_tbm_26.tex.moduleQ3.2S.000020.qdimacs	ooq	1
Umbrella_tbm_26.tex.moduleQ3.2S.000020.qdimacs	hiqqer3	20
Umbrella_tbm_26.tex.moduleQ3.2S.000020.qdimacs	qube7.2	20
Umbrella_tbm_26.tex.moduleQ3.2S.000020.qdimacs	squeezebf1.2-qube3.0	20
Umbrella_tbm_26.tex.moduleQ3.2S.000020.qdimacs	squeezebf1.2-qube7.2.pl	10
Umbrella_tbm_26.tex.moduleQ3.2S.000020.qdimacs	ghostq.sh	1
Umbrella_tbm_26.tex.moduleQ3.2S.000020.qdimacs	ghostq-bq-cegar.sh	1
Umbrella_tbm_26.tex.moduleQ3.2S.000020.qdimacs	ghostq-cegar.sh	1
Umbrella_tbm_26.tex.moduleQ3.2S.000020.qdimacs	qcnf2z3	1
Umbrella_tbm_26.tex.moduleQ3.2S.000020.qdimacs	run_rareqs	0

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_05.tex.moduleQ3.8S.000001.qdimacs	bdepqbf	20
W4-Umbrella_tbm_05.tex.moduleQ3.8S.000001.qdimacs	depqbf	20
W4-Umbrella_tbm_05.tex.moduleQ3.8S.000001.qdimacs	runAqme.sh	20
W4-Umbrella_tbm_05.tex.moduleQ3.8S.000001.qdimacs	StruQS	1
W4-Umbrella_tbm_05.tex.moduleQ3.8S.000001.qdimacs	dual_ooq	1
W4-Umbrella_tbm_05.tex.moduleQ3.8S.000001.qdimacs	ooq	1
W4-Umbrella_tbm_05.tex.moduleQ3.8S.000001.qdimacs	pre_dual_ooq.py	1
W4-Umbrella_tbm_05.tex.moduleQ3.8S.000001.qdimacs	hiqqer3	20
W4-Umbrella_tbm_05.tex.moduleQ3.8S.000001.qdimacs	squeezebf1.2-qube7.2.pl	10
W4-Umbrella_tbm_05.tex.moduleQ3.8S.000001.qdimacs	squeezebf1.2-qube3.0	20
W4-Umbrella_tbm_05.tex.moduleQ3.8S.000001.qdimacs	qube7.2	20
W4-Umbrella_tbm_05.tex.moduleQ3.8S.000001.qdimacs	ghostq.sh	20
W4-Umbrella_tbm_05.tex.moduleQ3.8S.000001.qdimacs	ghostq-bq-cegar.sh	1
W4-Umbrella_tbm_05.tex.moduleQ3.8S.000001.qdimacs	ghostq-cegar.sh	1
W4-Umbrella_tbm_05.tex.moduleQ3.8S.000001.qdimacs	qcnf2z3	1
W4-Umbrella_tbm_05.tex.moduleQ3.8S.000001.qdimacs	run_rareqs	1

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
W4-Umbrella_tbm_26.tex.moduleQ3.7S.000003.qdimacs	depqbf	20
W4-Umbrella_tbm_26.tex.moduleQ3.7S.000003.qdimacs	bdepqbf	20
W4-Umbrella_tbm_26.tex.moduleQ3.7S.000003.qdimacs	StruQS	1
W4-Umbrella_tbm_26.tex.moduleQ3.7S.000003.qdimacs	runAqme.sh	20
W4-Umbrella_tbm_26.tex.moduleQ3.7S.000003.qdimacs	dual_ooq	1
W4-Umbrella_tbm_26.tex.moduleQ3.7S.000003.qdimacs	ooq	1
W4-Umbrella_tbm_26.tex.moduleQ3.7S.000003.qdimacs	pre_dual_ooq.py	1
W4-Umbrella_tbm_26.tex.moduleQ3.7S.000003.qdimacs	hiqqer3	20
W4-Umbrella_tbm_26.tex.moduleQ3.7S.000003.qdimacs	squeezebf1.2-qube3.0	20
W4-Umbrella_tbm_26.tex.moduleQ3.7S.000003.qdimacs	squeezebf1.2-qube7.2.pl	10
W4-Umbrella_tbm_26.tex.moduleQ3.7S.000003.qdimacs	qube7.2	20
W4-Umbrella_tbm_26.tex.moduleQ3.7S.000003.qdimacs	ghostq-cegar.sh	1
W4-Umbrella_tbm_26.tex.moduleQ3.7S.000003.qdimacs	ghostq.sh	1
W4-Umbrella_tbm_26.tex.moduleQ3.7S.000003.qdimacs	ghostq-bq-cegar.sh	1
W4-Umbrella_tbm_26.tex.moduleQ3.7S.000003.qdimacs	qcnf2z3	1
W4-Umbrella_tbm_26.tex.moduleQ3.7S.000003.qdimacs	run_rareqs	1