eval12bloqqer

Overview

number of participating solvers: 16
number of participating formulas: 276

Overall Solving Statistics

SOLVER SAT UNSAT TOTAL

run_rareqs 69 71 140

bdepqbf 72 63 135

depqbf 66 62 128

hiqqer3 60 64 124

squeezebf1.2-qube7.2.pl 80 43 123

runAqme.sh 60 41 101

pre_dual_ooq.py 55 45 100

qube7.2 46 53 99

ghostq-cegar.sh 57 40 97

ghostq-bq-cegar.sh 57 40 97

ooq 55 41 96

squeezebf1.2-qube3.0 53 41 94

dual_ooq 53 38 91

ghostq.sh 53 35 88

qcnf2z3 20 22 42

StruQS 23 11 34

Number of Solved Formulas

Number of Solved Formulas
SOLVER	SAT	UNSAT	TOTAL
run_rareqs	69	71	140
bdepqbf	72	63	135
depqbf	66	62	128
hiqqer3	60	64	124
squeezebf1.2-qube7.2.pl	80	43	123
runAqme.sh	60	41	101
pre_dual_ooq.py	55	45	100
qube7.2	46	53	99
ghostq-cegar.sh	57	40	97
ghostq-bq-cegar.sh	57	40	97
ooq	55	41	96
squeezebf1.2-qube3.0	53	41	94
dual_ooq	53	38	91
ghostq.sh	53	35	88
qcnf2z3	20	22	42
StruQS	23	11	34

solver AVERAGE SUM

run_rareqs 627.20 173109.69

bdepqbf 658.21 181667.89

depqbf 682.27 188308.93

hiqqer3 711.25 196306.53

squeezebf1.2-qube7.2.pl 753.03 207838.80

runAqme.sh 795.97 219688.47

pre_dual_ooq.py 806.73 222658.27

ooq 817.31 225578.77

ghostq-cegar.sh 827.94 228511.60

ghostq-bq-cegar.sh 828.45 228653.86

dual_ooq 829.00 228804.16

qube7.2 831.79 229574.48

squeezebf1.2-qube3.0 834.71 230380.13

ghostq.sh 860.51 237502.38

qcnf2z3 1029.45 284128.65

StruQS 1071.44 295719.11

Time Statistics (overall runtime, average runtime)

Time Statistics (overall runtime, average runtime)
solver	AVERAGE	SUM
run_rareqs	627.20	173109.69
bdepqbf	658.21	181667.89
depqbf	682.27	188308.93
hiqqer3	711.25	196306.53
squeezebf1.2-qube7.2.pl	753.03	207838.80
runAqme.sh	795.97	219688.47
pre_dual_ooq.py	806.73	222658.27
ooq	817.31	225578.77
ghostq-cegar.sh	827.94	228511.60
ghostq-bq-cegar.sh	828.45	228653.86
dual_ooq	829.00	228804.16
qube7.2	831.79	229574.48
squeezebf1.2-qube3.0	834.71	230380.13
ghostq.sh	860.51	237502.38
qcnf2z3	1029.45	284128.65
StruQS	1071.44	295719.11

formula

audio_ac97_wavepcistream3.cpp.qdimacs

test1_quant_squaring3.qdimacs

k14_3_3.qdimacs

C5315.blif_0.10_0.20_0_0_inp_exact.qdimacs

adder-12-unsat.qdimacs

test4_quant_squaring4.qdimacs

C880.blif_0.10_0.20_0_0_out_exact.qdimacs

connect_7x6_4_R.qdimacs

k_ph_p-11.qdimacs

stmt19_83_91.qdimacs

vis.prodcell^24.E-f3.qdimacs

cube_c11_ser--opt-42_.qdimacs

nusmv.tcas^2.B-f2.qdimacs

connect_9x8_3_R.qdimacs

k6_4_3.qdimacs

b04_C_2_20.qdimacs

eijk.S382.S-f4.qdimacs

uclid-pipe3a.qdimacs

k12_3_3.qdimacs

cmu.dme1.B-f4.qdimacs

stmt17_74_78.qdimacs

audio_ddksynth_voice.cpp.qdimacs

s38584_3_238.qdimacs

stmt23_92_96.qdimacs

test2_quant2.qdimacs

filesys_cdfs_namesup.c.qdimacs

k_ph_p-16.qdimacs

vis.prodcell^23.E-f4.qdimacs

uclid-pipe2.qdimacs

adder-16-unsat.qdimacs

AR-fixpoint-2.qdimacs

adder-14-unsat.qdimacs

cube_c7_ser---23_.qdimacs

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

test4_quant4.qdimacs

test2_quant_squaring2.qdimacs

C6288.blif_0.10_0.20_0_1_out_exact.qdimacs

stmt17_70_82.qdimacs

C880.blif_0.10_0.20_0_1_out_exact.qdimacs

b22_C_2_12.qdimacs

C499.blif_0.10_0.20_0_1_out_exact.qdimacs

filesys_fastfat_allocsup.c.qdimacs

test1_quant2.qdimacs

test3_quant_squaring4.qdimacs

uclid-pipe3b.qdimacs

k12_2_2.qdimacs

k12_2_3.qdimacs

C6288.blif_0.10_0.20_0_1_inp_exact.qdimacs

filesys_smbmrx_smbxchng.c.qdimacs

b21_C_3_206.qdimacs

C880.blif_0.10_0.20_0_1_inp_exact.qdimacs

C5315.blif_0.10_0.20_0_1_out_exact.qdimacs

filesys_fastfat_easup.c.qdimacs

C499.blif_0.10_0.20_0_0_out_exact.qdimacs

b22_PR_8_20.qdimacs

ethernet-fixpoint-3.qdimacs

C5315.blif_0.10_0.20_0_0_out_exact.qdimacs

blocks_enc_2_b4_ser--opt-26_.qdimacs

C6288.blif_0.10_1.00_0_0_inp_exact.qdimacs

b14_C_3_105.qdimacs

C880.blif_0.10_1.00_0_0_out_exact.qdimacs

k_ph_p-12.qdimacs

adder-12-sat.qdimacs

stmt17_94_98.qdimacs

b20_C_3_2.qdimacs

k12_4_2.qdimacs

C5315.blif_0.10_0.20_0_1_inp_exact.qdimacs

C6288.blif_0.10_0.20_0_0_out_exact.qdimacs

test1_quant_squaring2.qdimacs

cache-coherence-2-fixpoint-5.qdimacs

test1_quant3.qdimacs

nusmv.tcas^4.B-f3.qdimacs

Number of Unsolved Formulas (solved by no solver)

Number of Unsolved Formulas (solved by no solver)
formula
audio_ac97_wavepcistream3.cpp.qdimacs
test1_quant_squaring3.qdimacs
k14_3_3.qdimacs
C5315.blif_0.10_0.20_0_0_inp_exact.qdimacs
adder-12-unsat.qdimacs
test4_quant_squaring4.qdimacs
C880.blif_0.10_0.20_0_0_out_exact.qdimacs
connect_7x6_4_R.qdimacs
k_ph_p-11.qdimacs
stmt19_83_91.qdimacs
vis.prodcell^24.E-f3.qdimacs
cube_c11_ser--opt-42_.qdimacs
nusmv.tcas^2.B-f2.qdimacs
connect_9x8_3_R.qdimacs
k6_4_3.qdimacs
b04_C_2_20.qdimacs
eijk.S382.S-f4.qdimacs
uclid-pipe3a.qdimacs
k12_3_3.qdimacs
cmu.dme1.B-f4.qdimacs
stmt17_74_78.qdimacs
audio_ddksynth_voice.cpp.qdimacs
s38584_3_238.qdimacs
stmt23_92_96.qdimacs
test2_quant2.qdimacs
filesys_cdfs_namesup.c.qdimacs
k_ph_p-16.qdimacs
vis.prodcell^23.E-f4.qdimacs
uclid-pipe2.qdimacs
adder-16-unsat.qdimacs
AR-fixpoint-2.qdimacs
adder-14-unsat.qdimacs
cube_c7_ser---23_.qdimacs
ev-pr-8x8-19-7-0-1-2-lg.qdimacs
test4_quant4.qdimacs
test2_quant_squaring2.qdimacs
C6288.blif_0.10_0.20_0_1_out_exact.qdimacs
stmt17_70_82.qdimacs
C880.blif_0.10_0.20_0_1_out_exact.qdimacs
b22_C_2_12.qdimacs
C499.blif_0.10_0.20_0_1_out_exact.qdimacs
filesys_fastfat_allocsup.c.qdimacs
test1_quant2.qdimacs
test3_quant_squaring4.qdimacs
uclid-pipe3b.qdimacs
k12_2_2.qdimacs
k12_2_3.qdimacs
C6288.blif_0.10_0.20_0_1_inp_exact.qdimacs
filesys_smbmrx_smbxchng.c.qdimacs
b21_C_3_206.qdimacs
C880.blif_0.10_0.20_0_1_inp_exact.qdimacs
C5315.blif_0.10_0.20_0_1_out_exact.qdimacs
filesys_fastfat_easup.c.qdimacs
C499.blif_0.10_0.20_0_0_out_exact.qdimacs
b22_PR_8_20.qdimacs
ethernet-fixpoint-3.qdimacs
C5315.blif_0.10_0.20_0_0_out_exact.qdimacs
blocks_enc_2_b4_ser--opt-26_.qdimacs
C6288.blif_0.10_1.00_0_0_inp_exact.qdimacs
b14_C_3_105.qdimacs
C880.blif_0.10_1.00_0_0_out_exact.qdimacs
k_ph_p-12.qdimacs
adder-12-sat.qdimacs
stmt17_94_98.qdimacs
b20_C_3_2.qdimacs
k12_4_2.qdimacs
C5315.blif_0.10_0.20_0_1_inp_exact.qdimacs
C6288.blif_0.10_0.20_0_0_out_exact.qdimacs
test1_quant_squaring2.qdimacs
cache-coherence-2-fixpoint-5.qdimacs
test1_quant3.qdimacs
nusmv.tcas^4.B-f3.qdimacs

FORMULA SOLVER

adder-10-sat.qdimacs runAqme.sh

biu.mv.xl_ao.bb-b001-p010-MIF05-c07.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004.qdimacs run_rareqs

biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-009.qdimacs run_rareqs

c3_Debug_s3_f2_e2_v2.qdimacs squeezebf1.2-qube7.2.pl

C6288.blif_0.10_1.00_0_1_inp_exact.qdimacs run_rareqs

C880.blif_0.10_0.20_0_0_inp_exact.qdimacs runAqme.sh

cmu.periodic.N-f4.qdimacs StruQS

emptyroom_e4_par---21_.qdimacs run_rareqs

emptyroom_e4_ser--opt-44_.qdimacs run_rareqs

ev-pr-6x6-7-5-0-1-2-s.qdimacs runAqme.sh

k_branch_n-20.qdimacs hiqqer3

k_branch_p-21.qdimacs hiqqer3

k_ph_p-17.qdimacs squeezebf1.2-qube7.2.pl

k_ph_p-18.qdimacs squeezebf1.2-qube7.2.pl

ring_r7_ser--opt-20_.qdimacs squeezebf1.2-qube7.2.pl

s1269_d10_s.qdimacs squeezebf1.2-qube7.2.pl

s1269_d13_u.qdimacs squeezebf1.2-qube7.2.pl

s1269_d15_u.qdimacs squeezebf1.2-qube7.2.pl

s3330_d10_u.qdimacs squeezebf1.2-qube7.2.pl

s3330_d11_u.qdimacs squeezebf1.2-qube7.2.pl

s3330_d13_u.qdimacs squeezebf1.2-qube7.2.pl

s3330_d14_u.qdimacs squeezebf1.2-qube7.2.pl

stmt17_82_86.qdimacs hiqqer3

stmt31_276_328.qdimacs ooq

stmt41_160_235.qdimacs run_rareqs

Formulas only solved by one solver

Formulas only solved by one solver
FORMULA	SOLVER
adder-10-sat.qdimacs	runAqme.sh
biu.mv.xl_ao.bb-b001-p010-MIF05-c07.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004.qdimacs	run_rareqs
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-009.qdimacs	run_rareqs
c3_Debug_s3_f2_e2_v2.qdimacs	squeezebf1.2-qube7.2.pl
C6288.blif_0.10_1.00_0_1_inp_exact.qdimacs	run_rareqs
C880.blif_0.10_0.20_0_0_inp_exact.qdimacs	runAqme.sh
cmu.periodic.N-f4.qdimacs	StruQS
emptyroom_e4_par---21_.qdimacs	run_rareqs
emptyroom_e4_ser--opt-44_.qdimacs	run_rareqs
ev-pr-6x6-7-5-0-1-2-s.qdimacs	runAqme.sh
k_branch_n-20.qdimacs	hiqqer3
k_branch_p-21.qdimacs	hiqqer3
k_ph_p-17.qdimacs	squeezebf1.2-qube7.2.pl
k_ph_p-18.qdimacs	squeezebf1.2-qube7.2.pl
ring_r7_ser--opt-20_.qdimacs	squeezebf1.2-qube7.2.pl
s1269_d10_s.qdimacs	squeezebf1.2-qube7.2.pl
s1269_d13_u.qdimacs	squeezebf1.2-qube7.2.pl
s1269_d15_u.qdimacs	squeezebf1.2-qube7.2.pl
s3330_d10_u.qdimacs	squeezebf1.2-qube7.2.pl
s3330_d11_u.qdimacs	squeezebf1.2-qube7.2.pl
s3330_d13_u.qdimacs	squeezebf1.2-qube7.2.pl
s3330_d14_u.qdimacs	squeezebf1.2-qube7.2.pl
stmt17_82_86.qdimacs	hiqqer3
stmt31_276_328.qdimacs	ooq
stmt41_160_235.qdimacs	run_rareqs

bdepqbf 1850.0117
depqbf 1754.9084
runAqme.sh 1185.7517
ooq 910.0718
hiqqer3 907.60803
pre_dual_ooq.py 899.6482
dual_ooq 872.4586
squeezebf1.2-qube7.2.pl 644.3593
qube7.2 517.2283
squeezebf1.2-qube3.0 501.68427
StruQS 380.71152
ghostq-bq-cegar.sh 270.77496
ghostq-cegar.sh 243.4473
ghostq.sh 239.90207
run_rareqs 64.37756
qcnf2z3 20.705048
SOTA Ranking

SOTA Ranking
bdepqbf	1850.0117
depqbf	1754.9084
runAqme.sh	1185.7517
ooq	910.0718
hiqqer3	907.60803
pre_dual_ooq.py	899.6482
dual_ooq	872.4586
squeezebf1.2-qube7.2.pl	644.3593
qube7.2	517.2283
squeezebf1.2-qube3.0	501.68427
StruQS	380.71152
ghostq-bq-cegar.sh	270.77496
ghostq-cegar.sh	243.4473
ghostq.sh	239.90207
run_rareqs	64.37756
qcnf2z3	20.705048

Formulas with Discrepancies

FORMULA SAT UNSAT

C432.blif_0.10_0.20_0_0_out_exact.qdimacs 1 6

C5315.blif_0.10_1.00_0_0_inp_exact.qdimacs 2 12

k_branch_n-10.qdimacs 8 1

k_branch_n-14.qdimacs 2 1

k_branch_n-21.qdimacs 1 1

ring_r7_ser---19_.qdimacs 1 1

s1196_d3_u.qdimacs 1 3

s1196_d6_u.qdimacs 1 2

s298_d24_u.qdimacs 1 3

s386_d12_u.qdimacs 1 10

sortnetsort10.AE.stepl.010.qdimacs 1 4

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

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

W4-Umbrella_tbm_05.tex.moduleQ3.8S.000001.qdimacs 1 8

Formulas with Discrepancies

Formulas with Discrepancies
FORMULA	SAT	UNSAT
C432.blif_0.10_0.20_0_0_out_exact.qdimacs	1	6
C5315.blif_0.10_1.00_0_0_inp_exact.qdimacs	2	12
k_branch_n-10.qdimacs	8	1
k_branch_n-14.qdimacs	2	1
k_branch_n-21.qdimacs	1	1
ring_r7_ser---19_.qdimacs	1	1
s1196_d3_u.qdimacs	1	3
s1196_d6_u.qdimacs	1	2
s298_d24_u.qdimacs	1	3
s386_d12_u.qdimacs	1	10
sortnetsort10.AE.stepl.010.qdimacs	1	4
Umbrella_tbm_14.tex.moduleQ2.1S.000792.qdimacs	1	10
W3-Umbrella_tbm_21.tex.moduleQ3.6S.000001.qdimacs	1	5
W4-Umbrella_tbm_05.tex.moduleQ3.8S.000001.qdimacs	1	8

formula solver result

C432.blif_0.10_0.20_0_0_out_exact.qdimacs bdepqbf 20

C432.blif_0.10_0.20_0_0_out_exact.qdimacs depqbf 20

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

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

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

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

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

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

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

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

C432.blif_0.10_0.20_0_0_out_exact.qdimacs qube7.2 1

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

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

C432.blif_0.10_0.20_0_0_out_exact.qdimacs ghostq.sh 20

C432.blif_0.10_0.20_0_0_out_exact.qdimacs qcnf2z3 44

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

formula solver result

C5315.blif_0.10_1.00_0_0_inp_exact.qdimacs depqbf 20

C5315.blif_0.10_1.00_0_0_inp_exact.qdimacs bdepqbf 20

C5315.blif_0.10_1.00_0_0_inp_exact.qdimacs runAqme.sh 20

C5315.blif_0.10_1.00_0_0_inp_exact.qdimacs StruQS 1

C5315.blif_0.10_1.00_0_0_inp_exact.qdimacs ooq 20

C5315.blif_0.10_1.00_0_0_inp_exact.qdimacs pre_dual_ooq.py 20

C5315.blif_0.10_1.00_0_0_inp_exact.qdimacs dual_ooq 20

C5315.blif_0.10_1.00_0_0_inp_exact.qdimacs hiqqer3 20

C5315.blif_0.10_1.00_0_0_inp_exact.qdimacs qube7.2 10

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

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

C5315.blif_0.10_1.00_0_0_inp_exact.qdimacs ghostq.sh 20

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

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

C5315.blif_0.10_1.00_0_0_inp_exact.qdimacs qcnf2z3 20

C5315.blif_0.10_1.00_0_0_inp_exact.qdimacs run_rareqs 20

formula solver result

k_branch_n-10.qdimacs depqbf 10

k_branch_n-10.qdimacs bdepqbf 10

k_branch_n-10.qdimacs StruQS 10

k_branch_n-10.qdimacs runAqme.sh 1

k_branch_n-10.qdimacs dual_ooq 1

k_branch_n-10.qdimacs pre_dual_ooq.py 1

k_branch_n-10.qdimacs ooq 1

k_branch_n-10.qdimacs hiqqer3 20

k_branch_n-10.qdimacs qube7.2 10

k_branch_n-10.qdimacs squeezebf1.2-qube3.0 10

k_branch_n-10.qdimacs squeezebf1.2-qube7.2.pl 10

k_branch_n-10.qdimacs ghostq-cegar.sh 1

k_branch_n-10.qdimacs ghostq.sh 10

k_branch_n-10.qdimacs ghostq-bq-cegar.sh 1

k_branch_n-10.qdimacs qcnf2z3 44

k_branch_n-10.qdimacs run_rareqs 10

formula solver result

k_branch_n-14.qdimacs bdepqbf 10

k_branch_n-14.qdimacs depqbf 1

k_branch_n-14.qdimacs StruQS 1

k_branch_n-14.qdimacs runAqme.sh 1

k_branch_n-14.qdimacs ooq 1

k_branch_n-14.qdimacs pre_dual_ooq.py 1

k_branch_n-14.qdimacs dual_ooq 1

k_branch_n-14.qdimacs hiqqer3 20

k_branch_n-14.qdimacs qube7.2 1

k_branch_n-14.qdimacs squeezebf1.2-qube3.0 10

k_branch_n-14.qdimacs squeezebf1.2-qube7.2.pl 99

k_branch_n-14.qdimacs ghostq-cegar.sh 1

k_branch_n-14.qdimacs ghostq-bq-cegar.sh 1

k_branch_n-14.qdimacs ghostq.sh 1

k_branch_n-14.qdimacs run_rareqs 0

k_branch_n-14.qdimacs qcnf2z3 1

formula solver result

k_branch_n-21.qdimacs bdepqbf 1

k_branch_n-21.qdimacs depqbf 1

k_branch_n-21.qdimacs runAqme.sh 10

k_branch_n-21.qdimacs StruQS 1

k_branch_n-21.qdimacs ooq 1

k_branch_n-21.qdimacs pre_dual_ooq.py 1

k_branch_n-21.qdimacs dual_ooq 1

k_branch_n-21.qdimacs hiqqer3 20

k_branch_n-21.qdimacs qube7.2 1

k_branch_n-21.qdimacs squeezebf1.2-qube3.0 134

k_branch_n-21.qdimacs squeezebf1.2-qube7.2.pl 99

k_branch_n-21.qdimacs ghostq-bq-cegar.sh 1

k_branch_n-21.qdimacs ghostq.sh 1

k_branch_n-21.qdimacs ghostq-cegar.sh 1

k_branch_n-21.qdimacs qcnf2z3 1

k_branch_n-21.qdimacs run_rareqs 0

formula solver result

ring_r7_ser---19_.qdimacs bdepqbf 1

ring_r7_ser---19_.qdimacs depqbf 1

ring_r7_ser---19_.qdimacs runAqme.sh 250

ring_r7_ser---19_.qdimacs StruQS 1

ring_r7_ser---19_.qdimacs ooq 1

ring_r7_ser---19_.qdimacs pre_dual_ooq.py 1

ring_r7_ser---19_.qdimacs dual_ooq 1

ring_r7_ser---19_.qdimacs hiqqer3 1

ring_r7_ser---19_.qdimacs qube7.2 1

ring_r7_ser---19_.qdimacs squeezebf1.2-qube3.0 1

ring_r7_ser---19_.qdimacs squeezebf1.2-qube7.2.pl 10

ring_r7_ser---19_.qdimacs ghostq-bq-cegar.sh 1

ring_r7_ser---19_.qdimacs ghostq.sh 1

ring_r7_ser---19_.qdimacs ghostq-cegar.sh 1

ring_r7_ser---19_.qdimacs run_rareqs 20

ring_r7_ser---19_.qdimacs qcnf2z3 1

formula solver result

s1196_d3_u.qdimacs bdepqbf 1

s1196_d3_u.qdimacs depqbf 1

s1196_d3_u.qdimacs runAqme.sh 1

s1196_d3_u.qdimacs StruQS 1

s1196_d3_u.qdimacs ooq 1

s1196_d3_u.qdimacs dual_ooq 20

s1196_d3_u.qdimacs pre_dual_ooq.py 20

s1196_d3_u.qdimacs hiqqer3 1

s1196_d3_u.qdimacs qube7.2 1

s1196_d3_u.qdimacs squeezebf1.2-qube7.2.pl 10

s1196_d3_u.qdimacs squeezebf1.2-qube3.0 1

s1196_d3_u.qdimacs ghostq-cegar.sh 1

s1196_d3_u.qdimacs ghostq-bq-cegar.sh 1

s1196_d3_u.qdimacs ghostq.sh 1

s1196_d3_u.qdimacs run_rareqs 20

s1196_d3_u.qdimacs qcnf2z3 1

formula solver result

s1196_d6_u.qdimacs depqbf 1

s1196_d6_u.qdimacs bdepqbf 1

s1196_d6_u.qdimacs StruQS 1

s1196_d6_u.qdimacs runAqme.sh 1

s1196_d6_u.qdimacs ooq 1

s1196_d6_u.qdimacs dual_ooq 20

s1196_d6_u.qdimacs pre_dual_ooq.py 1

s1196_d6_u.qdimacs hiqqer3 1

s1196_d6_u.qdimacs qube7.2 1

s1196_d6_u.qdimacs squeezebf1.2-qube3.0 1

s1196_d6_u.qdimacs squeezebf1.2-qube7.2.pl 10

s1196_d6_u.qdimacs ghostq-cegar.sh 1

s1196_d6_u.qdimacs ghostq-bq-cegar.sh 1

s1196_d6_u.qdimacs ghostq.sh 1

s1196_d6_u.qdimacs run_rareqs 20

s1196_d6_u.qdimacs qcnf2z3 1

formula solver result

s298_d24_u.qdimacs depqbf 1

s298_d24_u.qdimacs bdepqbf 1

s298_d24_u.qdimacs runAqme.sh 1

s298_d24_u.qdimacs StruQS 1

s298_d24_u.qdimacs dual_ooq 20

s298_d24_u.qdimacs ooq 1

s298_d24_u.qdimacs pre_dual_ooq.py 20

s298_d24_u.qdimacs hiqqer3 1

s298_d24_u.qdimacs squeezebf1.2-qube7.2.pl 10

s298_d24_u.qdimacs squeezebf1.2-qube3.0 1

s298_d24_u.qdimacs qube7.2 1

s298_d24_u.qdimacs ghostq-bq-cegar.sh 1

s298_d24_u.qdimacs ghostq.sh 1

s298_d24_u.qdimacs ghostq-cegar.sh 1

s298_d24_u.qdimacs run_rareqs 20

s298_d24_u.qdimacs qcnf2z3 1

formula solver result

s386_d12_u.qdimacs depqbf 20

s386_d12_u.qdimacs bdepqbf 20

s386_d12_u.qdimacs runAqme.sh 1

s386_d12_u.qdimacs StruQS 1

s386_d12_u.qdimacs ooq 20

s386_d12_u.qdimacs pre_dual_ooq.py 20

s386_d12_u.qdimacs dual_ooq 20

s386_d12_u.qdimacs hiqqer3 1

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

s386_d12_u.qdimacs qube7.2 20

s386_d12_u.qdimacs squeezebf1.2-qube3.0 20

s386_d12_u.qdimacs ghostq-cegar.sh 20

s386_d12_u.qdimacs ghostq-bq-cegar.sh 20

s386_d12_u.qdimacs ghostq.sh 1

s386_d12_u.qdimacs qcnf2z3 1

s386_d12_u.qdimacs run_rareqs 20

formula solver result

sortnetsort10.AE.stepl.010.qdimacs bdepqbf 20

sortnetsort10.AE.stepl.010.qdimacs depqbf 20

sortnetsort10.AE.stepl.010.qdimacs StruQS 1

sortnetsort10.AE.stepl.010.qdimacs runAqme.sh 1

sortnetsort10.AE.stepl.010.qdimacs dual_ooq 1

sortnetsort10.AE.stepl.010.qdimacs ooq 20

sortnetsort10.AE.stepl.010.qdimacs pre_dual_ooq.py 1

sortnetsort10.AE.stepl.010.qdimacs hiqqer3 1

sortnetsort10.AE.stepl.010.qdimacs qube7.2 20

sortnetsort10.AE.stepl.010.qdimacs squeezebf1.2-qube7.2.pl 10

sortnetsort10.AE.stepl.010.qdimacs squeezebf1.2-qube3.0 1

sortnetsort10.AE.stepl.010.qdimacs ghostq-cegar.sh 1

sortnetsort10.AE.stepl.010.qdimacs ghostq.sh 1

sortnetsort10.AE.stepl.010.qdimacs ghostq-bq-cegar.sh 1

sortnetsort10.AE.stepl.010.qdimacs qcnf2z3 1

sortnetsort10.AE.stepl.010.qdimacs run_rareqs 0

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 20

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

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

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

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

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 1

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 1

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 20

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 1

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 20

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