Instances solved by <a href='solver_detail.php?solver=107'>depqbf</a> <br> QBFEVAL'10 - Small Hard Track.

qbflib.org

Instances solved by depqbf
QBFEVAL'10 - Small Hard Track.

Instance	Result	Time
ii32c1-00	SAT	119.07
ii8a3-90	UNSAT	138.06
sortnetsort7.AE.stepl.005	SAT	515.92
counter_16	FAIL	9600.77
counter_r_16	FAIL	13342
C499.blif_0.10_0.20_0_0_inp_exact	UNSAT	40674.9
eijk.S420.S-f2	FAIL	43200
eijk.S386.S-f2	FAIL	43200
eijk.S349.S-f3	FAIL	43200
eijk.S344.S-f3	FAIL	43200
eijk.S298.S-f4	FAIL	43200
cmu.dme2.B-f2	FAIL	43200
cmu.dme1.B-f3	FAIL	43200
cmu.dme1.B-f2	FAIL	43200
k5_2_2	FAIL	43200
eijk.S641.S-f2	FAIL	43200
nusmv.syncarb10^2.B-f2	FAIL	43200
stmt1_629_630	FAIL	43200
stmt38_943_942	FAIL	43200
sortnetsort9.v.stepl.006	FAIL	43200
eijk.S713.S-f2	FAIL	43200
sortnetsort10.v.stepl.007	FAIL	43200
sortnetsort10.v.stepl.006	FAIL	43200
nusmv.syncarb10^2.B-f4	FAIL	43200
nusmv.syncarb10^2.B-f3	FAIL	43200
ken.oop^1.C-d2	FAIL	43200
k_branch_n-7	FAIL	43200
k_branch_n-6	FAIL	43200
test1_quant_squaring3	FAIL	43200
test4_quant2	FAIL	43200
C499.blif_0.10_0.20_0_1_out_exact	FAIL	43200
test4_quant4	FAIL	43200
uclid-pipe3a	FAIL	43200
uclid-pipe2	FAIL	43200
C880.blif_0.10_0.20_0_1_inp_exact	FAIL	43200
test1_quant2	FAIL	43200
C880.blif_0.10_1.00_0_0_out_exact	FAIL	43200
test3_quant4	FAIL	43200
C880.blif_0.10_1.00_0_0_inp_exact	FAIL	43200
C880.blif_0.10_0.20_0_0_inp_exact	FAIL	43200
test1_quant_squaring2	FAIL	43200
counter_e_16	FAIL	43200
C499.blif_0.10_0.20_0_0_out_exact	FAIL	43200
test4_quant_squaring2	FAIL	43200
test4_quant_squaring4	FAIL	43200
C880.blif_0.10_0.20_0_0_out_exact	FAIL	43200
counter_re_16	FAIL	43200
test1_quant3	FAIL	43200
test3_quant_squaring4	FAIL	43200
C880.blif_0.10_0.20_0_1_out_exact	FAIL	43200

Contact | Organization | Links | Citing QBFLIB