Instances solved by <a href='solver_detail.php?solver=3'>qbfbdd</a> <br> QBFEVAL'05

Instances solved by qbfbdd
QBFEVAL'05

Instance	Result	Time
2qbf-5cnf-20var-640cl.0	UNSAT	0
2qbf-5cnf-80var-2560cl.7	UNSAT	0
2qbf-5cnf-40var-1280cl.6	UNSAT	0
2qbf-5cnf-20var-40cl.2	SAT	0
2qbf-5cnf-20var-640cl.1	UNSAT	0
2qbf-5cnf-20var-640cl.2	UNSAT	0
2qbf-5cnf-20var-320cl.4	UNSAT	0
z4ml.blif_0.10_1.00_0_0_inp_exact	UNSAT	0
2qbf-5cnf-20var-40cl.1	SAT	0
2qbf-5cnf-80var-1280cl.4	UNSAT	0
impl04	SAT	0
2qbf-5cnf-20var-40cl.6	SAT	0
2qbf-5cnf-20var-640cl.6	UNSAT	0
2qbf-5cnf-80var-2560cl.4	UNSAT	0
s641_d4_s	FAIL	0
2qbf-5cnf-20var-640cl.9	UNSAT	0
2qbf-5cnf-80var-1280cl.6	UNSAT	0
mutex-2-s	SAT	0
2qbf-5cnf-20var-640cl.7	UNSAT	0
2qbf-5cnf-80var-2560cl.0	UNSAT	0
s641_d6_s	FAIL	0
2qbf-5cnf-40var-1280cl.4	UNSAT	0
flipflop-4-c	UNSAT	0
2qbf-5cnf-160var-5120cl.1	UNSAT	0
2qbf-5cnf-20var-640cl.4	UNSAT	0
2qbf-5cnf-20var-40cl.7	SAT	0
2qbf-5cnf-20var-640cl.8	UNSAT	0
TOILET2.1.iv.4	SAT	0
2qbf-5cnf-40var-1280cl.2	UNSAT	0
2qbf-5cnf-40var-640cl.7	UNSAT	0
2qbf-5cnf-80var-2560cl.8	UNSAT	0
2qbf-5cnf-20var-40cl.4	SAT	0
z4ml.blif_0.10_1.00_0_0_out_exact	UNSAT	0
2qbf-5cnf-40var-1280cl.5	UNSAT	0
s641_d7_u	FAIL	0
2qbf-5cnf-40var-1280cl.3	UNSAT	0
2qbf-5cnf-80var-2560cl.6	UNSAT	0
TOILET2.1.iv.3	UNSAT	0
horn_400CNF1440_2aQBF_737	SAT	0
1qbf-5cnf-40var-640cl.6	SAT	0
1qbf-5cnf-20var-640cl.0	UNSAT	0
1qbf-5cnf-20var-320cl.2	SAT	0
1qbf-5cnf-40var-320cl.9	SAT	0
1qbf-5cnf-80var-320cl.6	SAT	0
1qbf-5cnf-40var-80cl.7	SAT	0
1qbf-5cnf-40var-80cl.4	SAT	0
1qbf-5cnf-40var-640cl.1	SAT	0
1qbf-5cnf-20var-80cl.4	SAT	0
1qbf-5cnf-20var-80cl.8	SAT	0
1qbf-5cnf-40var-160cl.4	SAT	0
1qbf-5cnf-40var-80cl.5	SAT	0
1qbf-5cnf-160var-640cl.5	SAT	0
1qbf-5cnf-20var-160cl.8	SAT	0
1qbf-5cnf-80var-640cl.5	SAT	0
1qbf-5cnf-40var-320cl.6	SAT	0
1qbf-5cnf-20var-80cl.9	SAT	0
1qbf-5cnf-40var-160cl.3	SAT	0
1qbf-5cnf-80var-640cl.2	SAT	0
1qbf-5cnf-80var-320cl.9	SAT	0
1qbf-5cnf-160var-640cl.2	SAT	0
1qbf-5cnf-20var-40cl.5	SAT	0
1qbf-5cnf-80var-320cl.7	SAT	0
1qbf-5cnf-160var-1280cl.2	SAT	0
1qbf-5cnf-20var-40cl.7	SAT	0
1qbf-5cnf-40var-160cl.9	SAT	0
1qbf-5cnf-80var-640cl.1	SAT	0
1qbf-5cnf-40var-160cl.2	SAT	0
1qbf-5cnf-20var-80cl.5	SAT	0
1qbf-5cnf-20var-320cl.6	SAT	0
1qbf-5cnf-160var-1280cl.1	SAT	0
1qbf-5cnf-160var-320cl.2	SAT	0
1qbf-5cnf-20var-640cl.3	UNSAT	0
1qbf-5cnf-20var-80cl.6	SAT	0
1qbf-5cnf-40var-80cl.8	SAT	0
1qbf-5cnf-20var-320cl.3	SAT	0
1qbf-5cnf-160var-640cl.0	SAT	0
1qbf-5cnf-20var-320cl.4	SAT	0
1qbf-5cnf-20var-40cl.3	SAT	0
1qbf-5cnf-20var-640cl.4	UNSAT	0
1qbf-5cnf-80var-320cl.3	SAT	0
1qbf-5cnf-160var-640cl.1	SAT	0
1qbf-5cnf-20var-40cl.2	SAT	0
1qbf-5cnf-80var-160cl.4	SAT	0
1qbf-5cnf-20var-40cl.8	SAT	0
1qbf-5cnf-160var-1280cl.9	SAT	0
1qbf-5cnf-40var-320cl.0	SAT	0
1qbf-5cnf-20var-160cl.5	SAT	0
1qbf-5cnf-20var-160cl.1	SAT	0
1qbf-5cnf-80var-160cl.7	SAT	0
1qbf-5cnf-80var-320cl.1	SAT	0
1qbf-5cnf-20var-160cl.3	SAT	0
1qbf-5cnf-80var-320cl.4	SAT	0
1qbf-5cnf-20var-320cl.9	SAT	0
1qbf-5cnf-40var-160cl.5	SAT	0
1qbf-5cnf-80var-320cl.2	SAT	0
1qbf-5cnf-160var-640cl.8	SAT	0
1qbf-5cnf-40var-160cl.1	SAT	0
1qbf-5cnf-80var-640cl.9	SAT	0
1qbf-5cnf-160var-320cl.3	SAT	0
1qbf-5cnf-40var-320cl.1	SAT	0
1qbf-5cnf-20var-80cl.2	SAT	0
1qbf-5cnf-80var-640cl.0	SAT	0
1qbf-5cnf-160var-320cl.9	SAT	0
1qbf-5cnf-80var-160cl.0	SAT	0
1qbf-5cnf-160var-1280cl.7	SAT	0
1qbf-5cnf-20var-80cl.0	SAT	0
1qbf-5cnf-40var-320cl.2	SAT	0
1qbf-5cnf-20var-160cl.2	SAT	0
1qbf-5cnf-80var-640cl.4	SAT	0
1qbf-5cnf-80var-320cl.0	SAT	0
1qbf-5cnf-40var-640cl.8	SAT	0
1qbf-5cnf-80var-160cl.8	SAT	0
1qbf-5cnf-20var-160cl.0	SAT	0
1qbf-5cnf-160var-640cl.7	SAT	0
1qbf-5cnf-40var-80cl.9	SAT	0
1qbf-5cnf-80var-160cl.9	SAT	0
1qbf-5cnf-20var-320cl.0	SAT	0
1qbf-5cnf-160var-1280cl.4	SAT	0
1qbf-5cnf-80var-160cl.6	SAT	0
1qbf-5cnf-40var-160cl.6	SAT	0
1qbf-5cnf-20var-40cl.1	SAT	0
1qbf-5cnf-40var-160cl.0	SAT	0
1qbf-5cnf-20var-640cl.8	UNSAT	0
1qbf-5cnf-20var-640cl.9	UNSAT	0
1qbf-5cnf-160var-640cl.3	SAT	0
1qbf-5cnf-160var-1280cl.8	SAT	0
1qbf-5cnf-20var-640cl.2	UNSAT	0
1qbf-5cnf-20var-640cl.7	UNSAT	0
1qbf-5cnf-160var-1280cl.3	SAT	0
1qbf-5cnf-20var-160cl.9	SAT	0
1qbf-5cnf-160var-1280cl.5	SAT	0
1qbf-5cnf-40var-80cl.2	SAT	0
1qbf-5cnf-40var-320cl.8	SAT	0
1qbf-5cnf-80var-320cl.5	SAT	0
1qbf-5cnf-20var-160cl.4	SAT	0
1qbf-5cnf-40var-320cl.5	SAT	0
1qbf-5cnf-160var-320cl.1	SAT	0
1qbf-5cnf-40var-160cl.8	SAT	0
1qbf-5cnf-20var-640cl.5	UNSAT	0
1qbf-5cnf-20var-40cl.4	SAT	0
1qbf-5cnf-160var-320cl.0	SAT	0
1qbf-5cnf-20var-40cl.0	SAT	0
1qbf-5cnf-80var-160cl.2	SAT	0
1qbf-5cnf-20var-80cl.1	SAT	0
1qbf-5cnf-80var-160cl.5	SAT	0
1qbf-5cnf-160var-320cl.4	SAT	0
1qbf-5cnf-160var-1280cl.0	SAT	0
1qbf-5cnf-80var-640cl.8	SAT	0
1qbf-5cnf-80var-640cl.7	SAT	0
flipflop-3-c	UNSAT	0.01
2qbf-5cnf-80var-2560cl.3	UNSAT	0.01
s641_d2_s	FAIL	0.01
comp.blif_0.10_1.00_0_0_inp_exact	UNSAT	0.01
z4ml.blif_0.10_1.00_0_1_out_exact	SAT	0.01
flipflop-5-c	UNSAT	0.01
horn_400CNF1680_2aQBF_950	SAT	0.01
mutex-4-s	SAT	0.01
2qbf-5cnf-20var-40cl.0	SAT	0.01
2qbf-5cnf-40var-80cl.5	SAT	0.01
2qbf-5cnf-80var-2560cl.9	UNSAT	0.01
2qbf-5cnf-80var-1280cl.3	UNSAT	0.01
2qbf-5cnf-20var-640cl.3	UNSAT	0.01
2qbf-5cnf-160var-5120cl.9	UNSAT	0.01
2qbf-5cnf-40var-1280cl.8	UNSAT	0.01
tree-exa10-10	SAT	0.01
z4ml.blif_0.10_0.20_0_1_out_exact	SAT	0.01
2qbf-5cnf-20var-40cl.9	SAT	0.01
2qbf-5cnf-20var-640cl.5	UNSAT	0.01
2qbf-5cnf-80var-2560cl.5	UNSAT	0.01
C432.blif_0.10_1.00_0_1_out_exact	SAT	0.01
2qbf-5cnf-40var-1280cl.7	UNSAT	0.01
2qbf-5cnf-40var-640cl.6	UNSAT	0.01
C432.blif_0.10_1.00_0_1_inp_exact	SAT	0.01
3qbf-5cnf-20var-40cl.3	SAT	0.01
z4ml.blif_0.10_0.20_0_1_inp_exact	SAT	0.01
2qbf-5cnf-40var-1280cl.9	UNSAT	0.01
C499.blif_0.10_1.00_0_1_inp_exact	SAT	0.01
2qbf-5cnf-40var-1280cl.1	UNSAT	0.01
z4ml.blif_0.10_0.20_0_0_inp_exact	UNSAT	0.01
2qbf-5cnf-160var-5120cl.0	UNSAT	0.01
2qbf-5cnf-40var-640cl.0	UNSAT	0.01
z4ml.blif_0.10_1.00_0_1_inp_exact	SAT	0.01
toilet_c_08_01.2	UNSAT	0.01
C499.blif_0.10_1.00_0_1_out_exact	SAT	0.01
2qbf-5cnf-20var-320cl.6	UNSAT	0.01
1qbf-5cnf-20var-160cl.6	SAT	0.01
1qbf-5cnf-80var-160cl.3	SAT	0.01
1qbf-5cnf-20var-320cl.8	SAT	0.01
1qbf-5cnf-80var-320cl.8	SAT	0.01
1qbf-5cnf-20var-320cl.1	SAT	0.01
1qbf-5cnf-40var-160cl.7	SAT	0.01
1qbf-5cnf-20var-40cl.6	SAT	0.01
1qbf-5cnf-40var-80cl.1	SAT	0.01
1qbf-5cnf-40var-640cl.5	SAT	0.01
1qbf-5cnf-40var-80cl.3	SAT	0.01
1qbf-5cnf-160var-640cl.6	SAT	0.01
1qbf-5cnf-40var-640cl.3	SAT	0.01
1qbf-5cnf-160var-320cl.7	SAT	0.01
1qbf-5cnf-160var-320cl.5	SAT	0.01
1qbf-5cnf-80var-640cl.3	SAT	0.01
1qbf-5cnf-20var-320cl.7	SAT	0.01
1qbf-5cnf-40var-640cl.2	SAT	0.01
1qbf-5cnf-80var-640cl.6	SAT	0.01
1qbf-5cnf-160var-640cl.4	SAT	0.01
1qbf-5cnf-160var-320cl.8	SAT	0.01
1qbf-5cnf-40var-640cl.7	SAT	0.01
1qbf-5cnf-20var-640cl.6	UNSAT	0.01
1qbf-5cnf-20var-80cl.3	SAT	0.01
1qbf-5cnf-40var-320cl.4	SAT	0.01
1qbf-5cnf-160var-320cl.6	SAT	0.01
1qbf-5cnf-20var-320cl.5	SAT	0.01
1qbf-5cnf-160var-1280cl.6	SAT	0.01
1qbf-5cnf-20var-40cl.9	SAT	0.01
1qbf-5cnf-40var-320cl.7	SAT	0.01
1qbf-5cnf-160var-640cl.9	SAT	0.01
1qbf-5cnf-20var-640cl.1	UNSAT	0.01
1qbf-5cnf-20var-160cl.7	SAT	0.01
1qbf-5cnf-40var-80cl.0	SAT	0.01
1qbf-5cnf-40var-320cl.3	SAT	0.01
1qbf-5cnf-40var-640cl.9	SAT	0.01
1qbf-5cnf-40var-640cl.0	SAT	0.01
1qbf-5cnf-80var-160cl.1	SAT	0.01
1qbf-5cnf-20var-80cl.7	SAT	0.01
1qbf-5cnf-40var-80cl.6	SAT	0.01
3qbf-5cnf-20var-40cl.4	SAT	0.02
2qbf-5cnf-80var-2560cl.2	UNSAT	0.02
2qbf-5cnf-40var-1280cl.0	UNSAT	0.02
comp.blif_0.10_1.00_0_1_inp_exact	SAT	0.02
2qbf-5cnf-20var-160cl.2	UNSAT	0.02
2qbf-5cnf-80var-2560cl.1	UNSAT	0.02
impl02	SAT	0.02
2qbf-5cnf-20var-40cl.5	SAT	0.02
Adder2-2-c	UNSAT	0.02
term1.blif_0.10_1.00_0_1_inp_exact	SAT	0.02
1qbf-5cnf-40var-640cl.4	SAT	0.02
horn_400CNF1600_2aQBF_73	SAT	0.03
tree-exa10-15	SAT	0.03
4qbf-5cnf-20var-40cl.2	SAT	0.03
term1.blif_0.10_1.00_0_1_out_exact	SAT	0.03
2qbf-5cnf-20var-40cl.3	SAT	0.03
2qbf-5cnf-20var-320cl.9	UNSAT	0.03
counter_2	SAT	0.03
adder-2-unsat	UNSAT	0.04
counter_r_2	SAT	0.04
horn_400CNF2160_2aQBF_92	SAT	0.04
robots_1_5_4_75.2	SAT	0.04
toilet_a_08_01.2	UNSAT	0.04
C432.blif_0.10_1.00_0_0_inp_exact	UNSAT	0.04
2qbf-5cnf-20var-80cl.7	SAT	0.04
2qbf-5cnf-20var-40cl.8	SAT	0.04
2qbf-5cnf-20var-80cl.8	SAT	0.04
1qbf-5cnf-80var-1280cl.4	SAT	0.04
1qbf-5cnf-80var-1280cl.9	SAT	0.04
robots_1_5_5_15.2	SAT	0.05
robots_1_5_3_51.2	SAT	0.05
robots_1_5_5_24.2	SAT	0.05
robots_1_5_5_61.2	SAT	0.05
C5315.blif_0.10_1.00_0_1_inp_exact	SAT	0.05
z4ml.blif_0.10_0.20_0_0_out_exact	UNSAT	0.05
robots_1_5_5_62.2	SAT	0.05
horn_400CNF1920_2aQBF_534	SAT	0.05
robots_1_5_5_75.2	SAT	0.06
comp.blif_0.10_0.20_0_1_inp_exact	SAT	0.06
flipflop-6-c	UNSAT	0.06
horn_400CNF2320_2aQBF_458	SAT	0.06
robots_1_5_2_81.2	SAT	0.06
robots_1_5_5_56.2	SAT	0.06
2qbf-5cnf-20var-320cl.5	UNSAT	0.06
robots_1_5_2_14.2	SAT	0.06
robots_1_5_3_100.2	SAT	0.06
1qbf-5cnf-80var-1280cl.6	SAT	0.06
robots_1_5_3_52.2	SAT	0.07
robots_1_5_4_44.2	SAT	0.07
robots_1_5_2_100.2	SAT	0.07
robots_1_5_2_85.2	SAT	0.07
toilet_c_10_01.2	UNSAT	0.07
robots_1_5_3_62.2	SAT	0.07
robots_1_5_4_32.2	SAT	0.07
robots_1_5_2_10.2	SAT	0.07
robots_1_5_4_73.2	SAT	0.07
robots_1_5_4_81.2	SAT	0.07
2qbf-5cnf-40var-80cl.4	SAT	0.07
horn_400CNF2160_2aQBF_308	SAT	0.07
robots_1_5_2_33.2	SAT	0.07
robots_1_5_5_38.2	SAT	0.07
robots_1_5_3_91.2	SAT	0.07
robots_1_5_2_49.2	SAT	0.07
robots_1_5_4_100.2	SAT	0.07
counter_e_2	SAT	0.08
robots_1_5_3_26.2	SAT	0.08
robots_1_5_3_25.2	SAT	0.08
robots_1_5_2_31.2	SAT	0.08
robots_1_5_5_100.2	SAT	0.08
robots_1_5_5_97.2	SAT	0.08
robots_1_5_2_47.2	SAT	0.08
robots_1_5_3_80.2	SAT	0.08
horn_400CNF1680_2aQBF_503	SAT	0.08
robots_1_5_4_71.2	SAT	0.08
1qbf-5cnf-40var-1280cl.4	UNSAT	0.08
1qbf-5cnf-40var-1280cl.7	UNSAT	0.08
robots_1_5_2_28.2	SAT	0.09
robots_1_5_3_30.2	SAT	0.09
robots_1_5_4_22.2	SAT	0.09
robots_1_5_5_31.2	SAT	0.09
impl06	SAT	0.09
horn_400CNF1840_2aQBF_329	SAT	0.09
horn_400CNF2160_2aQBF_657	UNSAT	0.09
1qbf-5cnf-40var-1280cl.5	UNSAT	0.09
1qbf-5cnf-40var-1280cl.6	UNSAT	0.09
1qbf-5cnf-40var-1280cl.1	UNSAT	0.09
robots_1_5_4_52.2	SAT	0.1
2qbf-5cnf-20var-80cl.5	SAT	0.1
horn_400CNF2320_2aQBF_137	UNSAT	0.1
robots_1_5_4_59.2	SAT	0.1
2qbf-5cnf-20var-80cl.6	SAT	0.1
horn_400CNF1680_2aQBF_695	SAT	0.1
1qbf-5cnf-80var-1280cl.1	SAT	0.1
robots_1_5_3_7.2	SAT	0.11
2qbf-5cnf-40var-80cl.6	SAT	0.11
1qbf-5cnf-40var-1280cl.9	UNSAT	0.11
1qbf-5cnf-40var-1280cl.0	UNSAT	0.11
2qbf-5cnf-20var-320cl.2	UNSAT	0.12
2qbf-5cnf-20var-320cl.7	UNSAT	0.12
1qbf-5cnf-40var-1280cl.3	UNSAT	0.12
1qbf-5cnf-40var-1280cl.2	UNSAT	0.12
tree-exa2-10	UNSAT	0.13
term1.blif_0.10_1.00_0_0_inp_exact	UNSAT	0.13
1qbf-5cnf-40var-1280cl.8	UNSAT	0.13
1qbf-5cnf-80var-1280cl.0	SAT	0.13
ncf_4_8_2_d.2	SAT	0.14
1qbf-5cnf-80var-1280cl.2	SAT	0.15
Adder2-2-s	SAT	0.16
comp.blif_0.10_0.20_0_0_inp_exact	UNSAT	0.17
2qbf-5cnf-20var-80cl.2	SAT	0.17
vonNeumann-ripple-carry-5-c	UNSAT	0.17
2qbf-5cnf-20var-320cl.8	UNSAT	0.18
2qbf-5cnf-20var-80cl.0	SAT	0.18
horn_400CNF2000_2aQBF_787	UNSAT	0.18
tree-exa10-20	SAT	0.18
3qbf-5cnf-40var-1280cl.9	FAIL	0.19
ncf_4_8_2_edau.2	SAT	0.19
szymanski-4-s	UNSAT	0.2
2qbf-5cnf-20var-80cl.4	SAT	0.2
flipflop-7-c	UNSAT	0.2
robots_1_5_5_26.4	SAT	0.21
toilet_c_08_01.4	UNSAT	0.22
robots_1_5_5_66.4	SAT	0.22
counter_re_2	SAT	0.23
2qbf-5cnf-20var-80cl.1	SAT	0.23
2qbf-5cnf-20var-320cl.3	UNSAT	0.23
qshifter_3	SAT	0.26
2qbf-5cnf-40var-640cl.3	UNSAT	0.27
2qbf-5cnf-20var-160cl.6	UNSAT	0.27
1qbf-5cnf-80var-1280cl.5	SAT	0.27
adder-2-sat	SAT	0.29
toilet_a_08_01.4	UNSAT	0.3
2qbf-5cnf-20var-320cl.1	UNSAT	0.3
2qbf-5cnf-20var-160cl.7	UNSAT	0.31
ncf_4_8_2_euad.2	SAT	0.31
2qbf-5cnf-20var-80cl.9	SAT	0.32
horn_400CNF2320_2aQBF_797	SAT	0.33
2qbf-5cnf-40var-640cl.5	UNSAT	0.37
ncf_4_8_2_u.2	SAT	0.39
2qbf-5cnf-20var-320cl.0	UNSAT	0.4
horn_400CNF2320_2aQBF_72	SAT	0.43
vonNeumann-ripple-carry-6-c	UNSAT	0.44
BLOCKS3ii.4.3	UNSAT	0.44
horn_400CNF1600_2aQBF_956	SAT	0.46
robots_1_5_2_85.4	SAT	0.47
horn_400CNF1840_2aQBF_198	SAT	0.48
flipflop-8-c	UNSAT	0.51
impl08	SAT	0.52
toilet_a_10_01.2	UNSAT	0.53
horn_400CNF1920_2aQBF_970	SAT	0.53
2qbf-5cnf-20var-160cl.5	UNSAT	0.56
1qbf-5cnf-80var-1280cl.7	SAT	0.57
2qbf-5cnf-20var-160cl.3	UNSAT	0.59
toilet_a_10_01.3	UNSAT	0.59
horn_400CNF1680_2aQBF_244	SAT	0.61
2qbf-5cnf-20var-160cl.8	UNSAT	0.7
horn_400CNF1840_2aQBF_555	SAT	0.7
robots_1_5_2_3.4	SAT	0.74
1qbf-5cnf-160var-2560cl.6	SAT	0.77
robots_1_5_5_66.8	SAT	0.79
BLOCKS3ii.5.2	UNSAT	0.94
vonNeumann-ripple-carry-7-c	UNSAT	0.96
2qbf-5cnf-20var-160cl.4	UNSAT	0.98
horn_400CNF2160_2aQBF_996	SAT	0.99
2qbf-5cnf-20var-80cl.3	SAT	1.01
1qbf-5cnf-80var-1280cl.3	SAT	1.02
robots_1_5_2_21.4	SAT	1.24
2qbf-5cnf-20var-160cl.9	UNSAT	1.29
tree-exa10-25	SAT	1.31
robots_1_5_4_50.4	SAT	1.33
robots_1_5_4_30.4	SAT	1.36
robots_1_5_3_100.4	SAT	1.37
robots_1_5_5_87.4	SAT	1.38
robots_1_5_4_100.4	SAT	1.38
robots_1_5_4_31.4	SAT	1.39
3qbf-5cnf-80var-2560cl.9	FAIL	1.41
robots_1_5_3_44.4	SAT	1.41
robots_1_5_3_16.4	SAT	1.42
robots_1_5_4_87.4	SAT	1.47
robots_1_5_4_98.4	SAT	1.56
robots_1_5_4_46.4	SAT	1.57
impl12	SAT	1.59
comp.blif_0.10_1.00_0_1_out_exact	SAT	1.6
BLOCKS3iii.4	UNSAT	1.64
3qbf-5cnf-20var-640cl.2	UNSAT	1.7
robots_1_5_4_91.4	SAT	1.79
robots_1_5_5_30.4	SAT	1.79
robots_1_5_4_2.4	SAT	1.85
robots_1_5_3_66.4	SAT	1.86
robots_1_5_2_100.4	SAT	1.93
robots_1_5_2_82.4	SAT	1.96
robots_1_5_3_20.4	SAT	2.04
flipflop-9-c	UNSAT	2.05
robots_1_5_5_45.4	SAT	2.12
robots_1_5_5_34.4	SAT	2.17
robots_1_5_3_78.4	SAT	2.18
vonNeumann-ripple-carry-8-c	UNSAT	2.18
2qbf-5cnf-20var-160cl.0	UNSAT	2.23
toilet_c_10_01.4	UNSAT	2.27
3qbf-5cnf-80var-2560cl.3	FAIL	2.3
robots_1_5_3_39.8	SAT	2.41
3qbf-5cnf-20var-640cl.5	UNSAT	2.42
robots_1_5_2_39.4	SAT	2.44
robots_1_5_3_24.4	SAT	2.45
robots_1_5_5_93.4	SAT	2.45
robots_1_5_2_99.4	SAT	2.46
robots_1_5_2_80.4	SAT	2.47
robots_1_5_3_2.4	SAT	2.51
impl10	SAT	2.53
2qbf-5cnf-40var-80cl.1	SAT	2.56
robots_1_5_2_45.4	SAT	2.56
robots_1_5_4_51.4	SAT	2.59
robots_1_5_2_2.4	SAT	2.6
2qbf-5cnf-40var-80cl.8	SAT	2.65
robots_1_5_3_57.4	SAT	2.67
robots_1_5_5_8.4	SAT	2.67
robots_1_5_5_100.4	SAT	2.7
horn_400CNF1600_2aQBF_514	UNSAT	2.72
robots_1_5_3_52.4	SAT	2.81
robots_1_5_5_12.4	SAT	2.89
1qbf-5cnf-80var-1280cl.8	SAT	2.91
2qbf-5cnf-40var-640cl.8	UNSAT	3.23
2qbf-5cnf-40var-80cl.9	SAT	3.36
2qbf-5cnf-40var-80cl.2	SAT	3.45
toilet_a_10_01.4	UNSAT	3.72
horn_400CNF2080_2aQBF_840	SAT	3.8
vonNeumann-ripple-carry-9-c	UNSAT	3.81
2qbf-5cnf-20var-160cl.1	UNSAT	3.91
horn_400CNF1920_2aQBF_314	SAT	4.32
szymanski-5-s	UNSAT	4.74
lognBWLARGEA1	UNSAT	4.87
2qbf-5cnf-40var-80cl.3	SAT	4.88
3qbf-5cnf-20var-640cl.0	UNSAT	5.1
flipflop-10-c	UNSAT	5.25
horn_400CNF2000_2aQBF_642	UNSAT	5.72
C499.blif_0.10_1.00_0_0_inp_exact	UNSAT	5.77
3qbf-5cnf-20var-640cl.3	UNSAT	5.87
3qbf-5cnf-20var-640cl.4	UNSAT	5.91
horn_400CNF1440_2aQBF_553	SAT	6.01
horn_400CNF1440_2aQBF_165	UNSAT	6.08
horn_400CNF1680_2aQBF_547	SAT	6.48
3qbf-5cnf-20var-640cl.9	UNSAT	7.01
horn_400CNF1920_2aQBF_647	SAT	7.03
2qbf-5cnf-40var-640cl.1	UNSAT	7.15
connect_9x8_6_R	FAIL	7.15
horn_400CNF1440_2aQBF_925	SAT	7.17
vonNeumann-ripple-carry-10-c	UNSAT	7.92
connect_9x8_7_R	FAIL	7.97
mutex-8-s	SAT	7.97
connect_8x7_6_D	FAIL	8.01
3qbf-5cnf-20var-640cl.1	UNSAT	8.02
horn_400CNF1440_2aQBF_967	SAT	8.12
connect_9x8_8_D	FAIL	8.12
connect_9x8_7_D	FAIL	8.36
horn_400CNF1280_2aQBF_755	SAT	8.59
connect_8x7_5_D	FAIL	8.69
connect_9x8_6_D	FAIL	9.06
connect_9x8_5_D	FAIL	9.15
connect_8x7_7_R	FAIL	9.45
connect_8x7_5_R	FAIL	9.47
horn_400CNF1760_2aQBF_886	UNSAT	9.75
horn_400CNF1840_2aQBF_514	SAT	9.83
connect_9x8_4_D	FAIL	9.92
connect_9x8_5_R	FAIL	10.02
connect_9x8_8_R	FAIL	10.02
connect_8x7_6_W	FAIL	10.12
2qbf-5cnf-40var-640cl.9	UNSAT	10.28
connect_9x8_3_W	FAIL	10.77
connect_9x8_4_W	FAIL	10.79
connect_9x8_3_D	FAIL	10.84
horn_400CNF1920_2aQBF_952	SAT	10.85
connect_9x8_5_W	FAIL	10.86
connect_9x8_4_R	FAIL	11.1
connect_8x7_7_D	FAIL	11.42
connect_7x6_5_D	FAIL	11.89
connect_9x8_3_R	FAIL	12.2
connect_7x6_4_D	FAIL	12.83
horn_400CNF1680_2aQBF_482	SAT	13.17
connect_7x6_3_D	FAIL	13.18
horn_400CNF2000_2aQBF_702	SAT	13.55
connect_8x7_4_D	FAIL	14
counter_4	SAT	14.15
connect_8x7_5_W	FAIL	14.42
3qbf-5cnf-20var-640cl.7	UNSAT	14.66
robots_1_5_2_75.8	SAT	14.81
connect_8x7_4_R	FAIL	14.88
connect_8x7_3_R	FAIL	15.71
vonNeumann-ripple-carry-13-c	UNSAT	15.77
vonNeumann-ripple-carry-12-c	UNSAT	15.91
flipflop-11-c	UNSAT	16
connect_8x7_3_D	FAIL	16.31
connect_8x7_6_R	FAIL	16.98
ev-pr-4x4-5-3-0-0-1-lg	SAT	17.33
horn_400CNF1600_2aQBF_331	SAT	18.51
horn_400CNF1600_2aQBF_103	SAT	18.6
vonNeumann-ripple-carry-11-c	UNSAT	19.35
3qbf-5cnf-20var-40cl.5	SAT	19.47
connect_8x7_4_W	FAIL	19.56
3qbf-5cnf-20var-640cl.8	UNSAT	19.6
k_ph_n-4	SAT	19.97
horn_400CNF1680_2aQBF_745	SAT	21.75
connect_7x6_5_W	FAIL	22.94
horn_400CNF1520_2aQBF_782	UNSAT	23.97
lognBWLARGEB1	UNSAT	24.43
connect_6x5_3_D	FAIL	25.09
counter_r_4	SAT	26.05
connect_9x8_8_W	FAIL	26.62
connect_7x6_4_W	FAIL	28.13
1qbf-5cnf-160var-2560cl.7	SAT	30.4
vonNeumann-ripple-carry-15-c	UNSAT	32.15
3qbf-5cnf-160var-5120cl.4	FAIL	32.29
connect_8x7_3_W	FAIL	32.33
flipflop-12-c	UNSAT	34.3
3qbf-5cnf-20var-640cl.6	UNSAT	34.54
C5315.blif_0.10_1.00_0_0_inp_exact	UNSAT	36.16
counter_e_4	SAT	36.53
1qbf-5cnf-160var-2560cl.8	SAT	40.47
horn_400CNF2320_2aQBF_132	SAT	43.14
2qbf-5cnf-40var-80cl.7	SAT	46.29
horn_400CNF2320_2aQBF_813	SAT	47.43
1qbf-5cnf-160var-2560cl.1	SAT	49.42
2qbf-5cnf-40var-640cl.2	UNSAT	50.05
3qbf-5cnf-40var-1280cl.7	UNSAT	54.32
horn_400CNF2320_2aQBF_80	UNSAT	56.05
3qbf-5cnf-20var-40cl.6	SAT	56.65
connect_6x5_4_D	FAIL	57.12
3qbf-5cnf-80var-2560cl.5	FAIL	61.88
tree-exa10-30	SAT	63.5
3qbf-5cnf-40var-1280cl.6	UNSAT	65.7
1qbf-5cnf-160var-2560cl.4	SAT	68.48
CHAIN12v.13	SAT	81.66
3qbf-5cnf-160var-5120cl.5	FAIL	81.84
2qbf-5cnf-40var-640cl.4	UNSAT	82.99
horn_400CNF2000_2aQBF_564	UNSAT	85.04
connect_7x6_6_D	FAIL	86.52
connect_5x4_3_D	FAIL	86.93
1qbf-5cnf-160var-2560cl.3	SAT	91.82
horn_400CNF2000_2aQBF_878	SAT	95.7
3qbf-5cnf-160var-5120cl.2	FAIL	96.91
3qbf-5cnf-40var-1280cl.2	UNSAT	97.13
horn_400CNF2080_2aQBF_714	SAT	101.49
3qbf-5cnf-20var-40cl.7	SAT	104.48
3qbf-5cnf-80var-2560cl.1	FAIL	106.25
1qbf-5cnf-160var-2560cl.5	SAT	107.37
s510_d46_s	FAIL	112.16
3qbf-5cnf-160var-5120cl.8	FAIL	115.79
BLOCKS3ii.5.3	SAT	132.15
C5315.blif_0.10_1.00_0_1_out_exact	SAT	132.46
s510_d47_u	FAIL	133.41
1qbf-5cnf-80var-2560cl.1	UNSAT	134.57
s27_d2_s	SAT	137.48
horn_400CNF1680_2aQBF_91	UNSAT	142.91
connect_7x6_3_R	FAIL	144.27
connect_7x6_4_R	FAIL	150.3
1qbf-5cnf-160var-2560cl.0	SAT	153.2
ev-pr-4x4-11-3-0-0-1-lg	SAT	161.31
3qbf-5cnf-40var-1280cl.4	UNSAT	165.12
szymanski-6-s	UNSAT	170.17
ev-pr-6x6-5-5-0-1-2-lg	UNSAT	175.17
1qbf-5cnf-80var-2560cl.9	UNSAT	180.36
1qbf-5cnf-80var-2560cl.3	UNSAT	185.73
1qbf-5cnf-80var-2560cl.2	UNSAT	196.15
1qbf-5cnf-160var-2560cl.9	SAT	201.14
1qbf-5cnf-80var-2560cl.4	UNSAT	202.45
1qbf-5cnf-80var-2560cl.5	UNSAT	202.95
1qbf-5cnf-80var-2560cl.0	UNSAT	208.15
ev-pr-4x4-9-3-0-0-1-lg	SAT	208.28
3qbf-5cnf-20var-40cl.8	SAT	210.07
ev-pr-4x4-7-3-0-0-1-lg	SAT	213.6
1qbf-5cnf-80var-2560cl.8	UNSAT	213.77
1qbf-5cnf-80var-2560cl.6	UNSAT	220.21
1qbf-5cnf-80var-2560cl.7	UNSAT	220.48
ev-pr-4x4-13-3-0-0-1-lg	SAT	280.77
horn_400CNF1920_2aQBF_583	SAT	282.11
horn_400CNF1600_2aQBF_278	UNSAT	283.91
3qbf-5cnf-160var-5120cl.6	FAIL	293.68
connect_6x5_4_W	FAIL	296.25
ev-pr-4x4-17-3-0-0-1-lg	SAT	300.52
horn_400CNF1600_2aQBF_3	SAT	301.61
horn_400CNF1440_2aQBF_676	SAT	328.91
horn_400CNF1920_2aQBF_603	UNSAT	330.05
3qbf-5cnf-40var-1280cl.0	UNSAT	338.41
horn_400CNF1520_2aQBF_98	UNSAT	354.88
3qbf-5cnf-20var-40cl.9	SAT	358.88
3qbf-5cnf-40var-1280cl.8	UNSAT	364.46
ev-pr-4x4-15-3-0-0-1-lg	SAT	385.07
connect_6x5_5_D	FAIL	400.81
robots_1_5_2_91.8	SAT	411.1
horn_400CNF2000_2aQBF_523	SAT	421.85
robots_1_5_2_100.8	SAT	426.95
1qbf-5cnf-160var-2560cl.2	SAT	461.8
3qbf-5cnf-160var-5120cl.7	FAIL	475.65
CHAIN13v.14	SAT	478.51
2qbf-5cnf-40var-80cl.0	SAT	486.87
3qbf-5cnf-20var-40cl.0	SAT	503.09
connect_8x7_7_W	FAIL	559.42
3qbf-5cnf-40var-1280cl.3	UNSAT	617.45
robots_1_5_2_54.8	SAT	660.96
renHorn_400CNF1480_2aQBF_98	SAT	684.38
connect_7x6_5_R	FAIL	711.92
impl16	FAIL	773.74
3qbf-5cnf-40var-1280cl.1	UNSAT	779.09
C880.blif_0.10_1.00_0_1_inp_exact	SAT	781.71
ev-pr-8x8-5-7-0-1-2-lg	UNSAT	790.37
ev-pr-6x6-13-5-0-1-2-lg	FAIL	819.06
robots_1_5_2_67.8	SAT	821.62
horn_400CNF1360_2aQBF_788	SAT	834.91
s298_d18_s	FAIL	848.84
s386_d7_s	FAIL	853.48
s1196_d2_s	FAIL	861.05
s386_d8_u	FAIL	870.61
ev-pr-6x6-15-5-0-1-2-lg	FAIL	878.34
s298_d16_s	FAIL	894.7
ev-pr-6x6-11-5-0-1-2-lg	FAIL	895.1
impl20	FAIL	897.56
connect_9x8_7_W	FAIL	897.91
szymanski-16-s	FAIL	897.94
ncf_16_32_4_u.9	FAIL	898.1
ncf_8_16_8_euad.1	FAIL	898.13
robots_1_5_5_10.8	FAIL	898.25
ev-pr-6x6-15-5-0-1-2-s	FAIL	898.7
ncf_4_32_8_euad.2	FAIL	899.18
ev-pr-8x8-9-7-0-1-2-lg	FAIL	899.28
ev-pr-8x8-7-7-0-1-2-lg	FAIL	899.33
s1196_d3_u	FAIL	899.5
ev-pr-6x6-17-5-0-1-2-lg	FAIL	899.56
s820_d4_s	FAIL	899.75
impl18	FAIL	899.8
ev-pr-8x8-11-7-0-1-2-lg	FAIL	899.88
s386_d4_s	FAIL	899.94
toilet_c_08_05.4	FAIL	899.97
s820_d2_s	FAIL	900.01
term1.blif_0.10_0.20_0_0_out_exact	FAIL	900.02
ev-pr-6x6-19-5-0-1-2-lg	FAIL	900.06
ev-pr-8x8-13-7-0-1-2-lg	FAIL	900.1
toilet_c_08_01.16	FAIL	900.1
comp.blif_0.10_1.00_0_0_out_exact	FAIL	900.1
s298_d8_s	FAIL	900.12
ev-pr-6x6-9-5-0-1-2-lg	FAIL	900.13
s499_d8_s	FAIL	900.14
test5_quant_squaring5	FAIL	900.15
s298_d19_u	FAIL	900.17
ev-pr-6x6-7-5-0-1-2-lg	FAIL	900.18
toilet_c_08_01.8	FAIL	900.2
counter_r_16	FAIL	900.2
counter_e_8	FAIL	900.21
test1_quant_squaring3	FAIL	900.22
s386_d2_s	FAIL	900.23
impl14	FAIL	900.23
counter_re_8	FAIL	900.24
s510_d32_s	FAIL	900.26
ncf_16_64_2_u.8	FAIL	900.26
s499_d16_s	FAIL	900.28
k_ph_p-4	FAIL	900.28
s820_d8_s	FAIL	900.28
ncf_16_128_8_u.5	FAIL	900.31
toilet_c_08_05.2	FAIL	900.31
ev-pr-8x8-17-7-0-1-2-lg	FAIL	900.31
s820_d11_u	FAIL	900.32
s820_d10_s	FAIL	900.33
s298_d4_s	FAIL	900.33
TOILET7.1.iv.14	FAIL	900.33
toilet_c_10_05.4	FAIL	900.34
toilet_c_10_05.8	FAIL	900.36
toilet_c_10_05.12	FAIL	900.36
s499_d4_s	FAIL	900.36
ev-pr-8x8-15-7-0-1-2-lg	FAIL	900.36
s510_d4_s	FAIL	900.36
k_dum_n-12	FAIL	900.36
test5_quant_squaring4	FAIL	900.37
counter_re_16	FAIL	900.38
connect_6x5_5_R	FAIL	900.38
connect_6x5_3_R	FAIL	900.39
toilet_c_08_05.10	FAIL	900.39
s499_d22_u	FAIL	900.4
TOILET16.1.iv.32	FAIL	900.4
s499_d21_s	FAIL	900.41
TOILET7.1.iv.13	FAIL	900.43
tree-exa2-15	FAIL	900.43
test2_quant_squaring3	FAIL	900.44
connect_6x5_4_R	FAIL	900.44
s3330_d10_u	FAIL	900.44
counter_r_8	FAIL	900.44
4qbf-5cnf-160var-5120cl.1	FAIL	900.44
k_dum_p-16	FAIL	900.44
counter_re_4	FAIL	900.44
connect_5x4_3_W	FAIL	900.45
k_dum_p-12	FAIL	900.45
counter_re_32	FAIL	900.46
ev-pr-8x8-19-7-0-1-2-lg	FAIL	900.47
s3330_d9_s	FAIL	900.47
counter_e_16	FAIL	900.48
connect_9x8_6_W	FAIL	900.49
s3330_d4_s	FAIL	900.49
comp.blif_0.10_0.20_0_0_out_exact	FAIL	900.5
s510_d16_s	FAIL	900.5
toilet_c_08_05.8	FAIL	900.51
s3330_d2_s	FAIL	900.51
toilet_a_08_05.10	FAIL	900.52
ncf_16_64_8_euad.10	FAIL	900.52
connect_5x4_3_R	FAIL	900.52
test3_quant_squaring4	FAIL	900.52
4qbf-5cnf-80var-2560cl.3	FAIL	900.52
test4_quant_squaring4	FAIL	900.53
counter_e_32	FAIL	900.54
toilet_c_10_05.7	FAIL	900.54
k_dum_n-16	FAIL	900.55
k_dum_p-20	FAIL	900.56
4qbf-5cnf-160var-5120cl.8	FAIL	900.56
4qbf-5cnf-160var-5120cl.6	FAIL	900.56
ev-pr-4x4-7-3-0-0-1-s	FAIL	900.57
toilet_c_10_10.2	FAIL	900.57
s499_d2_s	FAIL	900.57
connect_7x6_6_R	FAIL	900.57
comp.blif_0.10_0.20_0_1_out_exact	FAIL	900.57
toilet_a_08_01.16	FAIL	900.58
s510_d2_s	FAIL	900.58
k_dum_n-8	FAIL	900.58
s510_d8_s	FAIL	900.58
4qbf-5cnf-80var-2560cl.2	FAIL	900.58
ncf_16_64_4_edau.10	FAIL	900.58
test2_quant_squaring2	FAIL	900.59
4qbf-5cnf-80var-2560cl.0	FAIL	900.59
k_lin_p-4	FAIL	900.59
toilet_c_10_01.20	FAIL	900.61
toilet_a_08_05.4	FAIL	900.61
ncf_16_64_2_euad.10	FAIL	900.61
4qbf-5cnf-80var-2560cl.7	FAIL	900.61
s298_d2_s	FAIL	900.61
ncf_4_8_8_euad.6	FAIL	900.61
s3330_d8_s	FAIL	900.61
toilet_c_10_05.2	FAIL	900.61
ev-pr-6x6-17-5-0-1-2-s	FAIL	900.62
4qbf-5cnf-80var-2560cl.4	FAIL	900.62
toilet_c_10_01.16	FAIL	900.62
ncf_4_32_8_d.7	FAIL	900.62
4qbf-5cnf-160var-5120cl.9	FAIL	900.62
connect_7x6_6_W	FAIL	900.62
4qbf-5cnf-80var-2560cl.9	FAIL	900.62
2qbf-5cnf-160var-2560cl.2	FAIL	900.63
C432.blif_0.10_0.20_0_0_out_exact	FAIL	900.63
test2_quant3	FAIL	900.63
test2_quant2	FAIL	900.63
4qbf-5cnf-160var-5120cl.2	FAIL	900.63
4qbf-5cnf-160var-5120cl.7	FAIL	900.63
4qbf-5cnf-160var-5120cl.5	FAIL	900.63
counter_e_64	FAIL	900.63
ev-pr-4x4-5-3-0-0-1-s	FAIL	900.63
3qbf-5cnf-20var-320cl.7	FAIL	900.63
4qbf-5cnf-80var-2560cl.5	FAIL	900.64
ncf_8_16_2_d.5	FAIL	900.64
ncf_8_16_8_d.9	FAIL	900.64
ncf_16_128_4_u.5	FAIL	900.64
ncf_4_32_8_d.4	FAIL	900.64
ncf_16_64_8_u.8	FAIL	900.65
4qbf-5cnf-160var-5120cl.0	FAIL	900.65
szymanski-24-s	FAIL	900.65
ncf_8_16_2_euad.7	FAIL	900.65
Adder2-12-s	FAIL	900.65
ncf_16_64_8_u.3	FAIL	900.66
ev-pr-4x4-17-3-0-0-1-s	FAIL	900.66
connect_5x4_4_W	FAIL	900.66
TOILET6.1.iv.12	FAIL	900.66
4qbf-5cnf-40var-1280cl.5	FAIL	900.66
ncf_4_32_8_euad.7	FAIL	900.66
2qbf-5cnf-160var-2560cl.1	FAIL	900.66
2qbf-5cnf-80var-1280cl.8	FAIL	900.66
ncf_8_32_4_d.6	FAIL	900.67
counter_re_64	FAIL	900.67
counter_32	FAIL	900.67
connect_5x4_4_R	FAIL	900.67
ncf_8_64_8_d.7	FAIL	900.67
5qbf-5cnf-20var-640cl.6	FAIL	900.67
toilet_a_08_05.8	FAIL	900.67
2qbf-5cnf-160var-2560cl.3	FAIL	900.67
ncf_16_128_4_u.8	FAIL	900.67
toilet_a_08_10.2	FAIL	900.68
4qbf-5cnf-20var-640cl.8	FAIL	900.68
ncf_16_32_2_u.1	FAIL	900.68
ncf_16_32_2_u.8	FAIL	900.68
ev-pr-4x4-11-3-0-0-1-s	FAIL	900.68
toilet_a_08_01.8	FAIL	900.68
ncf_8_16_8_euad.5	FAIL	900.68
toilet_a_10_05.2	FAIL	900.68
k_dum_n-4	FAIL	900.69
ncf_4_32_2_euad.3	FAIL	900.69
4qbf-5cnf-20var-640cl.7	FAIL	900.69
szymanski-22-s	FAIL	900.69
ncf_8_16_2_d.7	FAIL	900.69
ncf_8_32_8_euad.1	FAIL	900.69
3qbf-5cnf-20var-320cl.1	FAIL	900.69
k_d4_p-4	FAIL	900.69
k_dum_p-8	FAIL	900.69
ev-pr-6x6-5-5-0-1-2-s	FAIL	900.69
ncf_8_16_2_euad.6	FAIL	900.69
4qbf-5cnf-40var-1280cl.8	FAIL	900.69
ncf_4_32_4_d.1	FAIL	900.69
toilet_a_10_10.2	FAIL	900.69
term1.blif_0.10_0.20_0_0_inp_exact	FAIL	900.69
3qbf-5cnf-20var-320cl.4	FAIL	900.69
k_lin_p-20	FAIL	900.69
4qbf-5cnf-20var-640cl.2	FAIL	900.69
ncf_4_16_4_euad.2	FAIL	900.69
ncf_16_32_2_d.2	FAIL	900.69
ncf_4_16_4_d.8	FAIL	900.7
ncf_16_128_4_u.9	FAIL	900.7
ev-pr-6x6-9-5-0-1-2-s	FAIL	900.7
ncf_16_128_2_edau.2	FAIL	900.7
4qbf-5cnf-20var-640cl.4	FAIL	900.7
4qbf-5cnf-40var-1280cl.9	FAIL	900.7
ncf_16_128_8_u.1	FAIL	900.7
4qbf-5cnf-20var-640cl.1	FAIL	900.7
ncf_8_64_8_d.4	FAIL	900.7
3qbf-5cnf-20var-320cl.2	FAIL	900.7
4qbf-5cnf-20var-640cl.6	FAIL	900.7
4qbf-5cnf-80var-2560cl.6	FAIL	900.7
connect_5x4_4_D	FAIL	900.7
ncf_8_64_4_euad.9	FAIL	900.7
ncf_4_32_8_euad.4	FAIL	900.7
ev-pr-6x6-19-5-0-1-2-s	FAIL	900.7
ncf_16_64_4_euad.6	FAIL	900.7
ncf_16_64_4_euad.3	FAIL	900.7
2qbf-5cnf-160var-2560cl.6	FAIL	900.71
ncf_8_16_4_d.4	FAIL	900.71
ncf_4_32_2_euad.4	FAIL	900.71
ncf_8_16_4_euad.6	FAIL	900.71
ncf_16_64_2_euad.4	FAIL	900.71
ncf_16_128_2_d.9	FAIL	900.71
2qbf-5cnf-80var-1280cl.7	FAIL	900.71
toilet_c_08_10.2	FAIL	900.71
ncf_16_128_2_euad.10	FAIL	900.71
ncf_16_128_4_edau.4	FAIL	900.71
ncf_16_64_2_u.5	FAIL	900.71
3qbf-5cnf-20var-320cl.5	FAIL	900.71
ncf_16_128_2_edau.4	FAIL	900.71
TOILET10.1.iv.20	FAIL	900.71
C432.blif_0.10_0.20_0_1_out_exact	FAIL	900.71
ncf_8_16_8_d.7	FAIL	900.71
ncf_8_16_4_d.10	FAIL	900.72
ncf_8_16_8_euad.3	FAIL	900.72
ncf_8_16_8_euad.10	FAIL	900.72
ncf_16_32_4_u.3	FAIL	900.72
ncf_8_32_2_d.1	FAIL	900.72
ncf_4_32_4_euad.6	FAIL	900.72
4qbf-5cnf-40var-1280cl.6	FAIL	900.72
ncf_8_16_8_euad.4	FAIL	900.72
CHAIN15v.16	FAIL	900.72
toilet_a_10_01.20	FAIL	900.72
4qbf-5cnf-80var-2560cl.8	FAIL	900.72
ncf_8_16_8_euad.6	FAIL	900.72
ncf_16_64_8_u.2	FAIL	900.72
test1_quant3	FAIL	900.72
3qbf-5cnf-20var-320cl.3	FAIL	900.72
ncf_16_64_2_edau.1	FAIL	900.72
ncf_8_64_2_edau.8	FAIL	900.72
5qbf-5cnf-20var-640cl.4	FAIL	900.72
ncf_16_128_2_u.2	FAIL	900.73
ncf_8_16_2_d.6	FAIL	900.73
ncf_16_128_2_u.8	FAIL	900.73
ncf_8_16_2_euad.9	FAIL	900.73
ncf_8_32_4_d.4	FAIL	900.73
ncf_8_32_4_d.9	FAIL	900.73
ncf_4_16_2_euad.1	FAIL	900.73
ncf_16_32_2_u.10	FAIL	900.73
ncf_4_16_2_euad.5	FAIL	900.73
ncf_4_16_8_euad.5	FAIL	900.73
2qbf-5cnf-80var-1280cl.5	FAIL	900.73
ncf_8_16_2_euad.4	FAIL	900.73
ncf_16_128_4_u.4	FAIL	900.73
2qbf-5cnf-80var-1280cl.2	FAIL	900.73
ncf_8_16_2_euad.3	FAIL	900.73
4qbf-5cnf-40var-1280cl.2	FAIL	900.73
ncf_16_128_2_edau.6	FAIL	900.73
4qbf-5cnf-20var-640cl.9	FAIL	900.73
ncf_16_32_2_euad.1	FAIL	900.73
k_ph_n-8	FAIL	900.73
2qbf-5cnf-160var-2560cl.0	FAIL	900.73
ncf_8_32_8_d.1	FAIL	900.73
ncf_16_32_2_d.3	FAIL	900.73
ncf_16_128_2_edau.5	FAIL	900.73
ncf_8_64_2_d.8	FAIL	900.73
ncf_8_16_4_d.8	FAIL	900.73
uclid-pipe3b	FAIL	900.73
ncf_4_16_2_euad.2	FAIL	900.74
ncf_4_16_8_d.4	FAIL	900.74
2qbf-5cnf-160var-2560cl.9	FAIL	900.74
ncf_16_128_2_d.5	FAIL	900.74
ncf_16_128_4_u.3	FAIL	900.74
lut4_3_fAND	FAIL	900.74
qshifter_7	FAIL	900.74
2qbf-5cnf-160var-2560cl.5	FAIL	900.74
ncf_8_64_8_u.5	FAIL	900.74
ncf_8_16_8_euad.9	FAIL	900.74
ncf_16_32_2_u.6	FAIL	900.74
ncf_8_16_2_d.9	FAIL	900.74
toilet_a_08_05.2	FAIL	900.74
5qbf-5cnf-20var-640cl.8	FAIL	900.74
ncf_4_16_2_d.10	FAIL	900.74
3qbf-5cnf-20var-320cl.0	FAIL	900.74
k_lin_p-16	FAIL	900.74
ncf_4_16_2_d.5	FAIL	900.74
ncf_16_32_4_u.8	FAIL	900.74
ncf_8_64_8_u.4	FAIL	900.74
ncf_16_128_8_u.8	FAIL	900.74
ncf_16_32_2_edau.9	FAIL	900.74
ncf_16_32_2_edau.2	FAIL	900.74
ncf_16_32_8_u.7	FAIL	900.74
ev-pr-4x4-9-3-0-0-1-s	FAIL	900.74
ncf_8_32_8_d.8	FAIL	900.74
4qbf-5cnf-20var-40cl.1	FAIL	900.74
ncf_16_128_4_euad.4	FAIL	900.74
term1.blif_0.10_0.20_0_1_out_exact	FAIL	900.74
ncf_16_64_8_u.4	FAIL	900.74
connect_6x5_3_W	FAIL	900.74
k_dum_n-21	FAIL	900.74
ncf_16_32_4_d.9	FAIL	900.74
ncf_8_16_2_euad.8	FAIL	900.74
ncf_8_16_8_euad.2	FAIL	900.74
ev-pr-4x4-15-3-0-0-1-s	FAIL	900.75
ncf_8_16_2_d.1	FAIL	900.75
counter_r_32	FAIL	900.75
szymanski-10-s	FAIL	900.75
ncf_8_64_4_u.5	FAIL	900.75
ncf_16_64_4_euad.4	FAIL	900.75
ncf_4_32_8_euad.10	FAIL	900.75
ncf_8_32_4_edau.10	FAIL	900.75
ncf_16_32_2_u.9	FAIL	900.75
ncf_16_128_2_euad.6	FAIL	900.75
ncf_16_32_2_u.2	FAIL	900.75
ncf_4_16_4_euad.8	FAIL	900.75
C6288.blif_0.10_0.20_0_1_inp_exact	FAIL	900.75
ncf_8_16_2_d.2	FAIL	900.75
ncf_4_32_4_d.4	FAIL	900.75
2qbf-5cnf-160var-2560cl.4	FAIL	900.75
ncf_16_128_4_edau.6	FAIL	900.75
ncf_8_64_2_u.9	FAIL	900.75
connect_7x6_3_W	FAIL	900.75
ncf_8_16_4_euad.9	FAIL	900.75
s713_d6_s	FAIL	900.75
k_dum_p-4	FAIL	900.75
ncf_8_64_4_u.8	FAIL	900.75
ncf_4_32_2_d.8	FAIL	900.75
ncf_8_16_2_euad.2	FAIL	900.75
ncf_4_32_4_euad.3	FAIL	900.75
ncf_16_128_2_edau.8	FAIL	900.75
ncf_16_64_2_edau.2	FAIL	900.75
ncf_16_64_8_u.5	FAIL	900.75
2qbf-5cnf-80var-1280cl.1	FAIL	900.75
ncf_16_64_4_edau.2	FAIL	900.75
lut4_2_f2	FAIL	900.76
ncf_8_16_8_u.5	FAIL	900.76
ncf_16_64_4_euad.5	FAIL	900.76
counter_16	FAIL	900.76
4qbf-5cnf-40var-1280cl.3	FAIL	900.76
ncf_4_16_8_d.6	FAIL	900.76
ncf_16_64_4_edau.8	FAIL	900.76
ncf_4_32_2_d.2	FAIL	900.76
4qbf-5cnf-80var-2560cl.1	FAIL	900.76
k_lin_p-8	FAIL	900.76
ncf_4_32_2_euad.9	FAIL	900.76
3qbf-5cnf-20var-320cl.6	FAIL	900.76
ncf_8_16_8_d.10	FAIL	900.76
ncf_8_16_8_euad.7	FAIL	900.76
ncf_4_16_8_euad.4	FAIL	900.76
4qbf-5cnf-20var-640cl.0	FAIL	900.76
ncf_16_32_4_edau.9	FAIL	900.76
ncf_16_128_4_euad.8	FAIL	900.76
lut4_2_f1	FAIL	900.76
ncf_16_32_2_d.4	FAIL	900.76
ncf_16_32_2_edau.3	FAIL	900.76
ncf_16_32_2_edau.7	FAIL	900.76
ncf_16_128_8_u.4	FAIL	900.76
ncf_16_128_8_edau.10	FAIL	900.76
ncf_16_64_2_edau.5	FAIL	900.76
ev-pr-6x6-7-5-0-1-2-s	FAIL	900.76
ev-pr-6x6-11-5-0-1-2-s	FAIL	900.77
ncf_16_32_8_u.1	FAIL	900.77
ncf_4_16_8_euad.8	FAIL	900.77
ev-pr-6x6-13-5-0-1-2-s	FAIL	900.77
ncf_16_64_4_u.4	FAIL	900.77
lut4_2_fXOR	FAIL	900.77
ncf_4_32_8_d.2	FAIL	900.77
ncf_16_64_2_edau.7	FAIL	900.77
ncf_8_32_2_d.5	FAIL	900.77
ncf_8_64_4_edau.2	FAIL	900.77
4qbf-5cnf-160var-5120cl.3	FAIL	900.77
ncf_16_32_8_u.4	FAIL	900.77
ncf_4_32_4_euad.1	FAIL	900.77
ncf_16_32_4_u.10	FAIL	900.77
4qbf-5cnf-160var-5120cl.4	FAIL	900.77
ncf_8_16_8_euad.8	FAIL	900.77
ncf_4_16_2_d.1	FAIL	900.77
lut4_AND_fXOR	FAIL	900.77
ncf_16_64_4_edau.6	FAIL	900.77
ncf_8_64_2_edau.9	FAIL	900.77
ncf_16_32_4_d.6	FAIL	900.77
4qbf-5cnf-40var-1280cl.4	FAIL	900.77
ncf_16_128_4_edau.1	FAIL	900.77
CHAIN14v.15	FAIL	900.77
toilet_a_10_01.16	FAIL	900.77
ncf_4_32_4_d.9	FAIL	900.77
ncf_8_16_4_d.2	FAIL	900.77
ncf_4_32_2_u.2	FAIL	900.77
ncf_16_128_4_u.10	FAIL	900.77
ncf_16_128_8_u.2	FAIL	900.78
ncf_8_16_4_euad.3	FAIL	900.78
ncf_16_64_8_u.7	FAIL	900.78
ncf_16_64_4_u.8	FAIL	900.78
ncf_8_64_4_d.2	FAIL	900.78
ncf_8_32_2_euad.3	FAIL	900.78
TOILET6.1.iv.11	FAIL	900.78
ncf_16_64_8_u.10	FAIL	900.78
ncf_8_16_8_u.1	FAIL	900.78
s713_d4_s	FAIL	900.78
ncf_16_32_2_edau.4	FAIL	900.78
ncf_4_16_2_euad.7	FAIL	900.78
ncf_8_32_4_d.10	FAIL	900.78
ncf_4_16_8_euad.3	FAIL	900.78
3qbf-5cnf-20var-320cl.8	FAIL	900.78
ncf_8_16_4_euad.10	FAIL	900.78
5qbf-5cnf-20var-640cl.0	FAIL	900.78
lut4_AND_f1	FAIL	900.78
CHAIN19v.20	FAIL	900.78
ncf_4_32_4_euad.7	FAIL	900.78
3qbf-5cnf-40var-640cl.7	FAIL	900.78
ncf_8_32_4_d.3	FAIL	900.78
C880.blif_0.10_0.20_0_0_inp_exact	FAIL	900.78
toilet_a_10_05.4	FAIL	900.78
ncf_16_32_8_u.2	FAIL	900.78
C432.blif_0.10_0.20_0_0_inp_exact	FAIL	900.78
szymanski-12-s	FAIL	900.78
ncf_16_64_2_euad.9	FAIL	900.78
szymanski-8-s	FAIL	900.78
ncf_8_64_4_u.9	FAIL	900.78
k_ph_p-8	FAIL	900.78
ncf_16_128_8_u.9	FAIL	900.78
ncf_16_32_4_u.1	FAIL	900.78
ncf_16_128_4_edau.8	FAIL	900.78
ncf_16_128_4_u.7	FAIL	900.78
ncf_8_16_2_d.8	FAIL	900.78
ncf_8_32_2_d.2	FAIL	900.78
ncf_8_64_4_u.1	FAIL	900.78
ncf_16_64_4_d.10	FAIL	900.78
ncf_8_32_2_d.4	FAIL	900.78
3qbf-5cnf-20var-160cl.8	FAIL	900.78
ncf_16_32_2_edau.8	FAIL	900.78
ncf_16_64_2_edau.9	FAIL	900.78
ncf_16_64_2_d.2	FAIL	900.78
ncf_16_128_8_u.10	FAIL	900.78
ncf_4_16_2_euad.4	FAIL	900.78
2qbf-5cnf-40var-320cl.9	FAIL	900.78
3qbf-5cnf-20var-320cl.9	FAIL	900.79
ncf_4_32_2_euad.7	FAIL	900.79
ncf_8_64_8_u.10	FAIL	900.79
ncf_16_128_4_edau.9	FAIL	900.79
ncf_8_64_8_u.2	FAIL	900.79
ncf_16_32_4_u.5	FAIL	900.79
ncf_16_32_8_d.7	FAIL	900.79
ncf_16_128_2_u.1	FAIL	900.79
ev-pr-4x4-13-3-0-0-1-s	FAIL	900.79
ncf_4_16_8_d.9	FAIL	900.79
ncf_4_32_2_euad.5	FAIL	900.79
ncf_4_32_2_d.10	FAIL	900.79
ncf_8_32_2_euad.5	FAIL	900.79
ncf_8_64_4_edau.5	FAIL	900.79
ncf_16_32_2_euad.6	FAIL	900.79
ncf_16_64_4_euad.9	FAIL	900.79
ncf_16_128_4_edau.10	FAIL	900.79
ncf_4_16_4_d.6	FAIL	900.79
szymanski-14-s	FAIL	900.79
ncf_4_32_8_euad.1	FAIL	900.79
ncf_4_16_8_euad.1	FAIL	900.79
ncf_16_32_2_euad.2	FAIL	900.79
ncf_16_128_4_euad.1	FAIL	900.79
ncf_4_16_2_d.4	FAIL	900.79
ncf_16_64_4_euad.2	FAIL	900.79
ncf_16_128_8_edau.5	FAIL	900.79
ncf_16_32_2_edau.1	FAIL	900.79
ncf_16_32_8_d.5	FAIL	900.79
ncf_16_64_8_u.6	FAIL	900.79
ncf_4_16_4_euad.1	FAIL	900.79
ncf_4_32_8_euad.9	FAIL	900.79
ncf_16_32_2_u.3	FAIL	900.79
ncf_8_64_4_edau.8	FAIL	900.79
ncf_8_64_4_d.1	FAIL	900.79
ncf_8_64_4_u.6	FAIL	900.79
4qbf-5cnf-20var-320cl.5	FAIL	900.79
ncf_4_32_4_euad.4	FAIL	900.79
2qbf-5cnf-160var-2560cl.8	FAIL	900.8
ncf_16_32_2_edau.6	FAIL	900.8
ncf_16_64_2_u.7	FAIL	900.8
counter_8	FAIL	900.8
ncf_16_32_4_u.2	FAIL	900.8
2qbf-5cnf-40var-320cl.8	FAIL	900.8
ncf_8_32_2_euad.8	FAIL	900.8
ncf_4_16_2_euad.10	FAIL	900.8
s27_d5_u	FAIL	900.8
ncf_16_64_4_u.7	FAIL	900.8
ncf_8_64_2_edau.2	FAIL	900.8
ncf_16_32_2_edau.5	FAIL	900.8
ncf_4_32_2_euad.8	FAIL	900.8
3qbf-5cnf-40var-640cl.6	FAIL	900.8
ncf_8_32_8_d.10	FAIL	900.8
ncf_16_64_8_u.9	FAIL	900.8
lut4_XOR_f1	FAIL	900.8
ncf_16_128_2_d.2	FAIL	900.8
ncf_8_32_2_d.8	FAIL	900.8
ncf_16_128_2_u.4	FAIL	900.8
ncf_16_128_8_edau.3	FAIL	900.8
4qbf-5cnf-20var-640cl.5	FAIL	900.8
ncf_16_64_2_u.10	FAIL	900.8
ncf_16_128_8_edau.2	FAIL	900.8
ncf_16_64_4_u.3	FAIL	900.8
ncf_16_32_2_euad.8	FAIL	900.8
2qbf-5cnf-160var-2560cl.7	FAIL	900.8
ncf_16_128_4_u.6	FAIL	900.8
3qbf-5cnf-20var-160cl.5	FAIL	900.8
ncf_4_16_4_euad.3	FAIL	900.8
ncf_8_16_2_d.3	FAIL	900.8
ncf_16_64_4_u.10	FAIL	900.8
ncf_4_16_4_d.2	FAIL	900.8
ncf_4_32_2_d.6	FAIL	900.8
5qbf-5cnf-20var-640cl.5	FAIL	900.8
ncf_8_16_2_d.4	FAIL	900.8
ncf_16_128_2_u.5	FAIL	900.8
ncf_8_32_8_d.9	FAIL	900.8
ncf_16_64_2_d.10	FAIL	900.8
test1_quant_squaring2	FAIL	900.8
CHAIN16v.17	FAIL	900.8
3qbf-5cnf-40var-640cl.0	FAIL	900.8
ncf_4_32_2_d.9	FAIL	900.8
ncf_16_32_8_u.5	FAIL	900.8
ncf_8_64_8_u.1	FAIL	900.8
ncf_8_64_8_u.7	FAIL	900.8
ncf_4_32_4_d.8	FAIL	900.8
ncf_16_128_4_d.8	FAIL	900.8
4qbf-5cnf-40var-1280cl.1	FAIL	900.8
k_dum_p-21	FAIL	900.81
ncf_16_32_2_u.5	FAIL	900.81
ncf_16_32_4_u.7	FAIL	900.81
ncf_4_16_2_d.2	FAIL	900.81
ncf_16_64_2_edau.3	FAIL	900.81
ncf_4_32_8_d.3	FAIL	900.81
ncf_16_64_2_euad.1	FAIL	900.81
ncf_4_32_2_d.7	FAIL	900.81
ncf_4_16_8_d.10	FAIL	900.81
ncf_16_128_8_u.6	FAIL	900.81
ncf_16_64_4_euad.10	FAIL	900.81
ncf_16_128_2_u.3	FAIL	900.81
ncf_8_16_4_d.3	FAIL	900.81
ncf_16_64_4_euad.8	FAIL	900.81
3qbf-5cnf-40var-640cl.9	FAIL	900.81
4qbf-5cnf-40var-1280cl.0	FAIL	900.81
ncf_16_32_4_edau.10	FAIL	900.81
ncf_8_16_2_d.10	FAIL	900.81
4qbf-5cnf-20var-320cl.6	FAIL	900.81
toilet_c_10_01.8	FAIL	900.81
ncf_4_8_4_d.2	FAIL	900.81
4qbf-5cnf-20var-320cl.0	FAIL	900.81
2qbf-5cnf-40var-320cl.6	FAIL	900.81
ncf_4_16_4_euad.5	FAIL	900.81
ncf_4_32_2_euad.10	FAIL	900.81
ncf_8_32_8_d.4	FAIL	900.81
ncf_4_32_4_euad.5	FAIL	900.81
ncf_16_32_8_d.4	FAIL	900.81
ncf_16_128_8_d.1	FAIL	900.81
ncf_4_16_4_euad.10	FAIL	900.81
ncf_8_16_8_d.1	FAIL	900.81
ncf_16_64_2_d.1	FAIL	900.81
ncf_16_64_2_d.7	FAIL	900.82
ncf_16_32_4_edau.1	FAIL	900.82
ncf_16_32_8_euad.1	FAIL	900.82
C6288.blif_0.10_0.20_0_0_inp_exact	FAIL	900.82
ncf_8_32_4_d.5	FAIL	900.82
3qbf-5cnf-20var-160cl.0	FAIL	900.82
ncf_4_16_4_euad.6	FAIL	900.82
ncf_16_32_8_d.9	FAIL	900.82
s27_d4_u	FAIL	900.82
ncf_8_64_2_u.6	FAIL	900.82
ncf_8_32_2_euad.7	FAIL	900.82
test3_quant4	FAIL	900.82
ncf_16_64_4_euad.1	FAIL	900.82
ncf_4_32_2_d.5	FAIL	900.82
ncf_8_64_2_euad.10	FAIL	900.82
ncf_16_64_2_edau.10	FAIL	900.82
2qbf-5cnf-40var-320cl.4	FAIL	900.82
ncf_8_16_2_euad.5	FAIL	900.82
2qbf-5cnf-40var-320cl.7	FAIL	900.82
ncf_8_32_4_euad.5	FAIL	900.82
2qbf-5cnf-40var-320cl.0	FAIL	900.82
ncf_16_32_4_edau.2	FAIL	900.82
ncf_8_32_2_d.10	FAIL	900.82
ncf_8_16_2_euad.1	FAIL	900.82
ncf_16_32_8_d.6	FAIL	900.82
6qbf-5cnf-80var-160cl.5	FAIL	900.82
ncf_8_64_2_d.7	FAIL	900.82
ncf_8_16_4_d.7	FAIL	900.82
ncf_16_32_2_u.4	FAIL	900.82
horn_400CNF1360_2aQBF_831	FAIL	900.82
ncf_4_16_4_euad.7	FAIL	900.82
ncf_16_128_2_euad.2	FAIL	900.82
ncf_16_128_2_euad.5	FAIL	900.82
2qbf-5cnf-80var-1280cl.9	FAIL	900.82
k_lin_p-21	FAIL	900.82
ncf_8_64_4_u.7	FAIL	900.83
ncf_8_32_4_d.8	FAIL	900.83
ncf_16_32_2_d.1	FAIL	900.83
s713_d2_s	FAIL	900.83
test5_quant7	FAIL	900.83
test1_quant2	FAIL	900.83
ncf_8_64_4_u.10	FAIL	900.83
ncf_8_32_2_euad.4	FAIL	900.83
ncf_16_32_8_euad.5	FAIL	900.83
ncf_8_64_2_d.6	FAIL	900.83
ncf_16_64_2_d.4	FAIL	900.83
ncf_4_32_2_d.3	FAIL	900.83
2qbf-5cnf-80var-1280cl.0	FAIL	900.83
ncf_16_64_2_edau.4	FAIL	900.83
ncf_16_32_4_edau.3	FAIL	900.83
5qbf-5cnf-20var-640cl.2	FAIL	900.83
szymanski-20-s	FAIL	900.83
ncf_8_64_2_edau.4	FAIL	900.83
ncf_8_64_8_d.2	FAIL	900.83
ncf_16_64_2_euad.3	FAIL	900.83
ncf_8_64_4_edau.7	FAIL	900.83
ncf_16_64_4_d.4	FAIL	900.83
ncf_16_128_8_edau.9	FAIL	900.83
ncf_4_16_8_euad.9	FAIL	900.83
k_dum_n-20	FAIL	900.83
ncf_16_32_8_u.8	FAIL	900.83
ncf_16_64_4_u.2	FAIL	900.83
3qbf-5cnf-20var-160cl.3	FAIL	900.83
ncf_8_64_2_edau.1	FAIL	900.83
ncf_8_64_4_edau.9	FAIL	900.83
ncf_8_16_8_d.5	FAIL	900.83
s27_d3_u	FAIL	900.83
ncf_8_16_2_euad.10	FAIL	900.83
ncf_16_128_2_u.10	FAIL	900.83
5qbf-5cnf-20var-640cl.9	FAIL	900.83
4qbf-5cnf-20var-640cl.3	FAIL	900.83
ncf_16_64_4_u.9	FAIL	900.83
ncf_8_64_2_edau.7	FAIL	900.83
ncf_8_16_4_d.1	FAIL	900.84
ncf_4_32_2_d.4	FAIL	900.84
ncf_4_32_2_euad.6	FAIL	900.84
lut4_XOR_fOR	FAIL	900.84
ncf_8_32_8_euad.3	FAIL	900.84
ncf_8_64_4_edau.6	FAIL	900.84
ncf_4_16_8_euad.2	FAIL	900.84
ncf_4_16_4_euad.9	FAIL	900.84
ncf_4_16_4_d.1	FAIL	900.84
ncf_4_16_8_euad.6	FAIL	900.84
3qbf-5cnf-40var-640cl.3	FAIL	900.84
3qbf-5cnf-20var-160cl.4	FAIL	900.84
5qbf-5cnf-20var-640cl.7	FAIL	900.84
5qbf-5cnf-20var-640cl.3	FAIL	900.84
ncf_4_32_4_euad.10	FAIL	900.84
ncf_16_64_2_euad.5	FAIL	900.84
ncf_16_128_2_u.6	FAIL	900.84
ncf_8_64_2_edau.5	FAIL	900.84
ncf_8_32_2_euad.2	FAIL	900.84
test3_quant_squaring2	FAIL	900.84
ncf_8_32_2_euad.10	FAIL	900.84
CHAIN21v.22	FAIL	900.84
qshifter_6	FAIL	900.84
ncf_8_32_2_d.6	FAIL	900.84
ncf_8_32_2_euad.9	FAIL	900.84
ncf_16_32_8_u.3	FAIL	900.84
ncf_16_128_4_euad.9	FAIL	900.84
ncf_8_64_4_edau.10	FAIL	900.84
ncf_8_64_8_u.6	FAIL	900.84
3qbf-5cnf-20var-160cl.2	FAIL	900.84
ncf_8_32_2_euad.6	FAIL	900.84
k_lin_p-12	FAIL	900.84
3qbf-5cnf-20var-160cl.9	FAIL	900.85
ncf_16_32_2_d.10	FAIL	900.85
ncf_16_64_2_euad.2	FAIL	900.85
ncf_16_32_8_euad.7	FAIL	900.85
ncf_16_128_2_euad.9	FAIL	900.85
ncf_16_32_4_euad.10	FAIL	900.85
ncf_8_16_8_d.4	FAIL	900.85
5qbf-5cnf-20var-640cl.1	FAIL	900.85
ncf_16_32_4_d.1	FAIL	900.85
ncf_4_32_4_d.2	FAIL	900.85
test4_quant4	FAIL	900.85
3qbf-5cnf-20var-160cl.7	FAIL	900.85
ncf_16_128_4_d.5	FAIL	900.85
ncf_16_32_4_u.6	FAIL	900.85
ncf_8_32_4_euad.9	FAIL	900.85
ncf_16_64_2_euad.8	FAIL	900.85
ncf_8_64_4_euad.4	FAIL	900.85
ncf_16_64_4_d.1	FAIL	900.85
horn_400CNF1680_2aQBF_154	FAIL	900.85
connect_6x5_5_W	FAIL	900.85
ncf_16_32_2_euad.4	FAIL	900.85
ncf_16_128_4_u.1	FAIL	900.85
3qbf-5cnf-40var-640cl.2	FAIL	900.85
ncf_8_64_8_u.3	FAIL	900.85
3qbf-5cnf-20var-160cl.6	FAIL	900.85
ncf_16_32_2_euad.3	FAIL	900.85
ncf_4_16_4_d.3	FAIL	900.85
3qbf-5cnf-20var-160cl.1	FAIL	900.85
ncf_16_128_4_edau.7	FAIL	900.85
ncf_4_16_4_d.7	FAIL	900.85
ncf_16_128_8_d.7	FAIL	900.85
ncf_4_16_8_euad.7	FAIL	900.85
toilet_a_10_01.8	FAIL	900.85
ncf_8_64_2_u.10	FAIL	900.85
ncf_16_32_2_edau.10	FAIL	900.85
ncf_4_16_2_euad.3	FAIL	900.85
ncf_8_64_2_edau.3	FAIL	900.85
2qbf-5cnf-40var-320cl.3	FAIL	900.85
ncf_16_128_8_d.9	FAIL	900.85
3qbf-5cnf-40var-640cl.4	FAIL	900.85
k_poly_p-4	FAIL	900.85
ncf_4_16_2_d.3	FAIL	900.86
ncf_16_128_4_d.4	FAIL	900.86
C432.blif_0.10_1.00_0_0_out_exact	FAIL	900.86
ncf_16_32_4_d.4	FAIL	900.86
ncf_8_64_4_d.6	FAIL	900.86
C432.blif_0.10_0.20_0_1_inp_exact	FAIL	900.86
ncf_4_32_8_euad.3	FAIL	900.86
3qbf-5cnf-40var-640cl.5	FAIL	900.86
ncf_8_64_2_u.2	FAIL	900.86
ncf_8_64_4_edau.4	FAIL	900.86
ncf_8_64_4_u.2	FAIL	900.86
ncf_4_32_8_euad.5	FAIL	900.86
ncf_8_32_8_d.3	FAIL	900.86
C499.blif_0.10_0.20_0_1_out_exact	FAIL	900.86
ncf_8_64_2_euad.6	FAIL	900.86
ncf_16_64_2_d.8	FAIL	900.86
test4_quant2	FAIL	900.86
ncf_8_32_4_d.7	FAIL	900.86
CHAIN18v.19	FAIL	900.86
ncf_16_64_2_edau.8	FAIL	900.86
ncf_8_64_2_u.3	FAIL	900.86
test3_quant2	FAIL	900.86
ncf_16_32_2_euad.7	FAIL	900.86
4qbf-5cnf-80var-320cl.3	FAIL	900.86
ncf_16_32_2_d.9	FAIL	900.86
ncf_8_64_8_d.10	FAIL	900.86
ncf_8_64_4_d.5	FAIL	900.86
test4_quant_squaring2	FAIL	900.86
ncf_8_32_2_d.3	FAIL	900.86
ncf_8_64_2_edau.10	FAIL	900.86
ncf_8_64_4_u.3	FAIL	900.86
ncf_4_16_8_d.8	FAIL	900.86
ncf_4_32_4_d.3	FAIL	900.86
ncf_8_64_8_d.6	FAIL	900.86
horn_400CNF1600_2aQBF_922	FAIL	900.86
3qbf-5cnf-40var-1280cl.5	FAIL	900.87
ncf_16_64_2_euad.7	FAIL	900.87
horn_400CNF2160_2aQBF_23	FAIL	900.87
2qbf-5cnf-40var-160cl.3	FAIL	900.87
ncf_4_8_8_d.6	FAIL	900.87
ncf_8_64_2_u.1	FAIL	900.87
4qbf-5cnf-40var-1280cl.7	FAIL	900.87
ncf_8_32_4_euad.10	FAIL	900.87
ncf_4_16_8_d.7	FAIL	900.87
uclid-pipe3a	FAIL	900.87
ncf_16_32_4_d.8	FAIL	900.87
ncf_8_32_8_d.6	FAIL	900.87
ncf_4_16_2_euad.6	FAIL	900.87
ncf_4_32_4_euad.8	FAIL	900.87
ncf_16_32_2_d.6	FAIL	900.87
ncf_4_32_8_d.1	FAIL	900.87
ncf_8_64_2_euad.8	FAIL	900.87
ncf_8_64_4_d.8	FAIL	900.87
3qbf-5cnf-80var-2560cl.2	FAIL	900.87
ncf_8_64_2_euad.4	FAIL	900.87
4qbf-5cnf-20var-320cl.7	FAIL	900.87
test5_quant5	FAIL	900.87
3qbf-5cnf-80var-2560cl.8	FAIL	900.87
ncf_4_16_8_euad.10	FAIL	900.87
ncf_8_32_8_euad.7	FAIL	900.87
ncf_16_32_4_d.2	FAIL	900.87
2qbf-5cnf-40var-320cl.5	FAIL	900.87
s1269_d2_s	FAIL	900.87
ncf_8_64_8_euad.2	FAIL	900.88
renHorn_400CNF1560_2aQBF_28	FAIL	900.88
renHorn_400CNF1800_2aQBF_53	FAIL	900.88
2qbf-5cnf-40var-320cl.2	FAIL	900.88
k_path_p-4	FAIL	900.88
ncf_8_32_8_euad.5	FAIL	900.88
ncf_8_32_4_d.2	FAIL	900.88
C880.blif_0.10_0.20_0_1_inp_exact	FAIL	900.88
C5315.blif_0.10_0.20_0_1_inp_exact	FAIL	900.88
uclid-pipe2	FAIL	900.88
horn_400CNF1680_2aQBF_728	FAIL	900.88
ncf_16_128_2_d.3	FAIL	900.88
3qbf-5cnf-40var-640cl.8	FAIL	900.88
4qbf-5cnf-20var-320cl.4	FAIL	900.88
4qbf-5cnf-20var-320cl.2	FAIL	900.88
4qbf-5cnf-20var-320cl.1	FAIL	900.88
k_t4p_p-4	FAIL	900.88
ncf_8_32_4_euad.3	FAIL	900.88
CHAIN22v.23	FAIL	900.88
ncf_8_64_4_d.4	FAIL	900.88
horn_400CNF1760_2aQBF_330	FAIL	900.88
qshifter_5	FAIL	900.88
ncf_8_64_2_u.4	FAIL	900.88
ncf_16_32_8_d.3	FAIL	900.88
adder-8-sat	FAIL	900.88
ncf_16_128_4_d.6	FAIL	900.88
horn_400CNF1520_2aQBF_53	FAIL	900.88
ncf_16_32_2_d.8	FAIL	900.88
ncf_8_64_4_euad.6	FAIL	900.88
2qbf-5cnf-40var-320cl.1	FAIL	900.88
3qbf-5cnf-80var-2560cl.4	FAIL	900.88
k_path_n-4	FAIL	900.88
horn_400CNF2320_2aQBF_772	FAIL	900.88
2qbf-5cnf-80var-640cl.2	FAIL	900.88
2qbf-5cnf-80var-640cl.3	FAIL	900.88
ncf_8_32_2_d.7	FAIL	900.89
ncf_8_64_4_euad.7	FAIL	900.89
3qbf-5cnf-80var-2560cl.0	FAIL	900.89
ncf_8_64_8_u.9	FAIL	900.89
ncf_16_128_4_edau.2	FAIL	900.89
ncf_16_32_8_euad.10	FAIL	900.89
ncf_4_8_4_d.7	FAIL	900.89
5qbf-5cnf-40var-160cl.3	FAIL	900.89
CHAIN23v.24	FAIL	900.89
ncf_8_16_4_euad.7	FAIL	900.89
renHorn_400CNF2280_2aQBF_59	FAIL	900.89
horn_400CNF1600_2aQBF_571	FAIL	900.89
6qbf-5cnf-20var-640cl.1	FAIL	900.89
ncf_4_16_2_d.8	FAIL	900.89
ncf_8_64_8_euad.1	FAIL	900.89
CHAIN17v.18	FAIL	900.89
5qbf-5cnf-40var-1280cl.1	FAIL	900.89
ncf_8_32_8_d.5	FAIL	900.89
C880.blif_0.10_1.00_0_1_out_exact	FAIL	900.89
renHorn_400CNF1560_2aQBF_2	FAIL	900.89
ncf_8_32_4_euad.6	FAIL	900.89
ncf_16_128_4_d.9	FAIL	900.89
C880.blif_0.10_0.20_0_0_out_exact	FAIL	900.89
ncf_16_32_4_euad.1	FAIL	900.89
C499.blif_0.10_0.20_0_0_inp_exact	FAIL	900.89
ncf_16_64_2_d.5	FAIL	900.89
ncf_16_128_4_d.1	FAIL	900.89
szymanski-18-s	FAIL	900.9
ncf_8_32_4_edau.6	FAIL	900.9
ncf_4_16_2_euad.8	FAIL	900.9
ncf_4_32_2_euad.2	FAIL	900.9
C880.blif_0.10_0.20_0_1_out_exact	FAIL	900.9
ncf_4_16_2_d.6	FAIL	900.9
ncf_8_32_8_d.2	FAIL	900.9
k_poly_n-4	FAIL	900.9
ncf_8_64_2_d.4	FAIL	900.9
ncf_8_32_4_edau.9	FAIL	900.9
ncf_8_32_2_edau.6	FAIL	900.9
robots_1_5_3_44.8	FAIL	900.9
horn_400CNF1840_2aQBF_215	FAIL	900.9
renHorn_400CNF1480_2aQBF_62	FAIL	900.9
ncf_16_32_2_euad.10	FAIL	900.9
C880.blif_0.10_1.00_0_0_inp_exact	FAIL	900.9
horn_400CNF1840_2aQBF_158	FAIL	900.9
ncf_16_32_4_euad.3	FAIL	900.9
renHorn_400CNF1560_2aQBF_90	FAIL	900.9
ncf_8_64_8_d.1	FAIL	900.9
C5315.blif_0.10_0.20_0_0_inp_exact	FAIL	900.9
ncf_16_32_8_d.1	FAIL	900.9
ncf_8_64_8_euad.7	FAIL	900.9
ncf_8_32_2_u.10	FAIL	900.9
ncf_16_128_8_euad.9	FAIL	900.9
robots_1_5_3_27.8	FAIL	900.9
ncf_8_32_4_euad.2	FAIL	900.91
term1.blif_0.10_1.00_0_0_out_exact	FAIL	900.91
robots_1_5_5_100.8	FAIL	900.91
adder-4-sat	FAIL	900.91
ncf_8_32_4_edau.3	FAIL	900.91
adder-6-sat	FAIL	900.91
ncf_8_64_4_d.3	FAIL	900.91
horn_400CNF1360_2aQBF_894	FAIL	900.91
renHorn_400CNF1960_2aQBF_76	FAIL	900.91
horn_400CNF2000_2aQBF_987	FAIL	900.91
renHorn_400CNF1280_2aQBF_3	FAIL	900.91
CHAIN20v.21	FAIL	900.91
ncf_8_64_2_u.8	FAIL	900.91
3qbf-5cnf-20var-80cl.0	FAIL	900.91
C499.blif_0.10_1.00_0_0_out_exact	FAIL	900.91
ncf_4_16_4_euad.4	FAIL	900.91
3qbf-5cnf-80var-2560cl.7	FAIL	900.91
horn_400CNF2080_2aQBF_322	FAIL	900.91
ncf_8_64_4_euad.3	FAIL	900.91
s713_d7_u	FAIL	900.91
ncf_16_64_2_u.6	FAIL	900.91
ncf_8_64_8_euad.6	FAIL	900.91
ncf_8_32_4_euad.1	FAIL	900.91
ncf_4_8_4_d.8	FAIL	900.91
ncf_8_32_4_euad.8	FAIL	900.91
ncf_8_64_8_u.8	FAIL	900.91
ncf_8_64_8_d.3	FAIL	900.91
ncf_16_64_4_d.8	FAIL	900.91
horn_400CNF1680_2aQBF_29	FAIL	900.91
ncf_8_32_8_euad.9	FAIL	900.91
2qbf-5cnf-80var-640cl.9	FAIL	900.91
horn_400CNF2320_2aQBF_832	FAIL	900.91
ncf_4_32_2_euad.1	FAIL	900.91
C499.blif_0.10_0.20_0_1_inp_exact	FAIL	900.91
ncf_8_64_8_euad.3	FAIL	900.91
horn_400CNF1600_2aQBF_236	FAIL	900.91
ncf_16_32_4_d.10	FAIL	900.91
robots_1_5_4_99.8	FAIL	900.91
ncf_8_64_2_d.10	FAIL	900.92
5qbf-5cnf-40var-1280cl.7	FAIL	900.92
ncf_4_32_2_d.1	FAIL	900.92
ncf_8_64_2_edau.6	FAIL	900.92
6qbf-5cnf-20var-640cl.5	FAIL	900.92
mutex-64-s	FAIL	900.92
horn_400CNF1520_2aQBF_165	FAIL	900.92
horn_400CNF1680_2aQBF_589	FAIL	900.92
horn_400CNF1760_2aQBF_726	FAIL	900.92
horn_400CNF1760_2aQBF_484	FAIL	900.92
ncf_16_128_8_u.3	FAIL	900.92
horn_400CNF1840_2aQBF_401	FAIL	900.92
horn_400CNF2160_2aQBF_701	FAIL	900.92
horn_400CNF1600_2aQBF_505	FAIL	900.92
C880.blif_0.10_1.00_0_0_out_exact	FAIL	900.92
ncf_8_32_4_euad.4	FAIL	900.92
ncf_4_16_2_d.7	FAIL	900.92
ncf_16_32_8_euad.8	FAIL	900.92
renHorn_400CNF1640_2aQBF_87	FAIL	900.92
ncf_8_32_4_d.1	FAIL	900.92
3qbf-5cnf-20var-80cl.1	FAIL	900.92
C6288.blif_0.10_1.00_0_1_inp_exact	FAIL	900.92
robots_1_5_3_64.8	FAIL	900.92
ncf_4_8_4_d.10	FAIL	900.92
ncf_8_32_4_u.8	FAIL	900.92
ncf_4_8_4_euad.8	FAIL	900.92
k_lin_n-8	FAIL	900.92
ncf_4_32_8_euad.6	FAIL	900.92
ncf_8_32_4_euad.7	FAIL	900.92
ncf_4_8_2_d.7	FAIL	900.92
5qbf-5cnf-20var-320cl.6	FAIL	900.92
renHorn_400CNF1800_2aQBF_36	FAIL	900.92
renHorn_400CNF1640_2aQBF_42	FAIL	900.92
horn_400CNF1760_2aQBF_10	FAIL	900.92
3qbf-5cnf-20var-80cl.3	FAIL	900.92
ncf_16_64_4_u.5	FAIL	900.92
horn_400CNF1840_2aQBF_32	FAIL	900.92
horn_400CNF2320_2aQBF_420	FAIL	900.92
ncf_4_32_4_euad.2	FAIL	900.92
ncf_8_32_8_euad.2	FAIL	900.92
ncf_4_8_8_u.2	FAIL	900.92
ncf_8_32_8_u.9	FAIL	900.92
horn_400CNF1360_2aQBF_867	FAIL	900.92
6qbf-5cnf-80var-320cl.5	FAIL	900.92
horn_400CNF1600_2aQBF_912	FAIL	900.92
horn_400CNF2160_2aQBF_660	FAIL	900.92
3qbf-5cnf-80var-640cl.7	FAIL	900.92
k_ph_p-21	FAIL	900.92
ncf_4_8_2_u.10	FAIL	900.92
ncf_16_128_4_euad.10	FAIL	900.92
robots_1_5_4_17.8	FAIL	900.92
horn_400CNF1840_2aQBF_340	FAIL	900.93
5qbf-5cnf-40var-1280cl.0	FAIL	900.93
ncf_8_32_4_edau.5	FAIL	900.93
5qbf-5cnf-40var-320cl.1	FAIL	900.93
horn_400CNF1440_2aQBF_668	FAIL	900.93
ncf_8_32_2_u.7	FAIL	900.93
renHorn_400CNF2040_2aQBF_11	FAIL	900.93
ncf_8_16_4_edau.2	FAIL	900.93
3qbf-5cnf-80var-2560cl.6	FAIL	900.93
robots_1_5_2_40.8	FAIL	900.93
ncf_16_128_2_d.4	FAIL	900.93
renHorn_400CNF1400_2aQBF_80	FAIL	900.93
horn_400CNF1600_2aQBF_748	FAIL	900.93
k_grz_n-4	FAIL	900.93
5qbf-5cnf-40var-1280cl.9	FAIL	900.93
renHorn_400CNF1200_2aQBF_8	FAIL	900.93
ncf_8_32_2_edau.5	FAIL	900.93
renHorn_400CNF2040_2aQBF_100	FAIL	900.93
horn_400CNF1440_2aQBF_829	FAIL	900.93
k_ph_p-20	FAIL	900.93
horn_400CNF1520_2aQBF_995	FAIL	900.93
5qbf-5cnf-40var-640cl.3	FAIL	900.93
ncf_16_128_8_euad.3	FAIL	900.93
ncf_16_32_8_d.8	FAIL	900.93
ncf_16_64_2_u.2	FAIL	900.93
ncf_16_32_8_euad.2	FAIL	900.93
robots_1_5_2_9.8	FAIL	900.93
6qbf-5cnf-20var-640cl.9	FAIL	900.93
6qbf-5cnf-80var-320cl.4	FAIL	900.93
horn_400CNF1360_2aQBF_755	FAIL	900.93
ncf_8_64_8_euad.5	FAIL	900.93
ncf_16_128_4_euad.2	FAIL	900.93
6qbf-5cnf-20var-80cl.6	FAIL	900.93
ncf_8_16_8_d.8	FAIL	900.93
robots_1_5_3_100.8	FAIL	900.93
2qbf-5cnf-40var-160cl.0	FAIL	900.93
ncf_16_32_2_d.5	FAIL	900.93
3qbf-5cnf-20var-80cl.6	FAIL	900.93
C6288.blif_0.10_1.00_0_0_inp_exact	FAIL	900.93
3qbf-5cnf-80var-640cl.2	FAIL	900.93
ncf_4_8_4_d.9	FAIL	900.93
ncf_16_32_4_euad.7	FAIL	900.93
renHorn_400CNF1880_2aQBF_88	FAIL	900.93
k_ph_p-16	FAIL	900.93
ncf_8_32_8_u.4	FAIL	900.93
horn_400CNF2160_2aQBF_588	FAIL	900.93
ncf_8_32_4_edau.8	FAIL	900.93
ncf_4_16_8_d.1	FAIL	900.93
horn_400CNF1280_2aQBF_841	FAIL	900.93
k_poly_p-8	FAIL	900.93
ncf_4_8_8_d.9	FAIL	900.93
3qbf-5cnf-80var-640cl.5	FAIL	900.93
5qbf-5cnf-40var-1280cl.5	FAIL	900.93
6qbf-5cnf-80var-640cl.0	FAIL	900.93
ncf_4_16_4_edau.1	FAIL	900.93
robots_1_5_4_100.8	FAIL	900.93
horn_400CNF1760_2aQBF_996	FAIL	900.93
ncf_4_8_2_edau.10	FAIL	900.94
renHorn_400CNF1200_2aQBF_85	FAIL	900.94
5qbf-5cnf-20var-320cl.1	FAIL	900.94
adder-10-sat	FAIL	900.94
ncf_4_8_2_u.7	FAIL	900.94
2qbf-5cnf-80var-640cl.6	FAIL	900.94
6qbf-5cnf-20var-640cl.7	FAIL	900.94
5qbf-5cnf-20var-320cl.9	FAIL	900.94
renHorn_400CNF2120_2aQBF_52	FAIL	900.94
ncf_4_32_4_euad.9	FAIL	900.94
ncf_16_64_2_edau.6	FAIL	900.94
ncf_4_8_2_d.10	FAIL	900.94
ncf_16_128_8_euad.2	FAIL	900.94
adder-16-sat	FAIL	900.94
ncf_8_64_2_u.5	FAIL	900.94
2qbf-5cnf-160var-1280cl.1	FAIL	900.94
s1269_d10_s	FAIL	900.94
4qbf-5cnf-40var-320cl.4	FAIL	900.94
horn_400CNF1760_2aQBF_188	FAIL	900.94
ncf_4_16_2_edau.2	FAIL	900.94
ncf_16_32_8_u.10	FAIL	900.94
ncf_16_64_4_u.6	FAIL	900.94
5qbf-5cnf-20var-320cl.0	FAIL	900.94
ncf_16_64_8_euad.8	FAIL	900.94
5qbf-5cnf-20var-160cl.3	FAIL	900.94
ncf_4_8_2_edau.4	FAIL	900.94
horn_400CNF2000_2aQBF_104	FAIL	900.94
ncf_4_16_2_edau.7	FAIL	900.94
ncf_8_32_8_euad.10	FAIL	900.94
4qbf-5cnf-20var-320cl.9	FAIL	900.94
3qbf-5cnf-40var-320cl.5	FAIL	900.94
ncf_8_16_8_d.2	FAIL	900.94
horn_400CNF2000_2aQBF_650	FAIL	900.94
4qbf-5cnf-40var-160cl.4	FAIL	900.94
6qbf-5cnf-160var-640cl.8	FAIL	900.94
6qbf-5cnf-20var-640cl.2	FAIL	900.94
2qbf-5cnf-40var-160cl.6	FAIL	900.94
ncf_16_32_4_d.5	FAIL	900.94
horn_400CNF1600_2aQBF_26	FAIL	900.94
horn_400CNF2080_2aQBF_832	FAIL	900.94
robots_1_5_5_33.8	FAIL	900.94
5qbf-5cnf-40var-1280cl.4	FAIL	900.94
4qbf-5cnf-160var-320cl.4	FAIL	900.94
term1.blif_0.10_0.20_0_1_inp_exact	FAIL	900.94
k_branch_n-4	FAIL	900.94
ncf_16_32_8_euad.9	FAIL	900.94
ncf_4_8_2_u.5	FAIL	900.94
6qbf-5cnf-80var-160cl.0	FAIL	900.94
ncf_4_16_2_u.7	FAIL	900.94
ncf_16_128_8_euad.8	FAIL	900.94
s1269_d11_u	FAIL	900.94
ncf_4_32_8_d.10	FAIL	900.94
6qbf-5cnf-40var-160cl.9	FAIL	900.94
3qbf-5cnf-160var-640cl.7	FAIL	900.94
3qbf-5cnf-80var-320cl.8	FAIL	900.94
renHorn_400CNF1640_2aQBF_38	FAIL	900.94
k_grz_p-4	FAIL	900.94
k_ph_n-12	FAIL	900.94
horn_400CNF1360_2aQBF_310	FAIL	900.94
horn_400CNF1360_2aQBF_565	FAIL	900.94
horn_400CNF1680_2aQBF_286	FAIL	900.94
3qbf-5cnf-40var-320cl.2	FAIL	900.94
ncf_16_64_8_euad.5	FAIL	900.94
ncf_8_16_4_u.7	FAIL	900.94
ncf_4_8_4_d.1	FAIL	900.94
qshifter_4	FAIL	900.94
2qbf-5cnf-80var-640cl.1	FAIL	900.94
renHorn_400CNF2120_2aQBF_63	FAIL	900.94
5qbf-5cnf-20var-160cl.5	FAIL	900.94
horn_400CNF1520_2aQBF_387	FAIL	900.94
5qbf-5cnf-20var-40cl.9	FAIL	900.94
2qbf-5cnf-80var-640cl.7	FAIL	900.94
3qbf-5cnf-20var-80cl.4	FAIL	900.94
ncf_8_64_2_d.9	FAIL	900.94
robots_1_5_5_50.8	FAIL	900.95
qshifter_8	FAIL	900.95
ncf_4_32_4_d.6	FAIL	900.95
k_lin_n-12	FAIL	900.95
6qbf-5cnf-20var-640cl.3	FAIL	900.95
ncf_4_8_2_edau.6	FAIL	900.95
ncf_4_8_4_euad.9	FAIL	900.95
3qbf-5cnf-20var-40cl.2	FAIL	900.95
ncf_16_64_2_d.3	FAIL	900.95
5qbf-5cnf-40var-320cl.8	FAIL	900.95
horn_400CNF1680_2aQBF_698	FAIL	900.95
ncf_8_64_2_euad.9	FAIL	900.95
renHorn_400CNF1200_2aQBF_2	FAIL	900.95
renHorn_400CNF2280_2aQBF_95	FAIL	900.95
ncf_16_32_2_d.7	FAIL	900.95
4qbf-5cnf-20var-160cl.6	FAIL	900.95
ncf_4_8_2_d.1	FAIL	900.95
ncf_4_32_8_u.3	FAIL	900.95
s1269_d4_s	FAIL	900.95
3qbf-5cnf-40var-160cl.9	FAIL	900.95
ncf_4_8_8_d.5	FAIL	900.95
horn_400CNF1760_2aQBF_946	FAIL	900.95
4qbf-5cnf-20var-320cl.8	FAIL	900.95
ncf_8_32_8_d.7	FAIL	900.95
horn_400CNF1600_2aQBF_789	FAIL	900.95
ncf_16_128_8_euad.5	FAIL	900.95
Adder2-6-s	FAIL	900.95
2qbf-5cnf-80var-640cl.8	FAIL	900.95
ncf_4_8_2_d.5	FAIL	900.95
k_branch_p-4	FAIL	900.95
ncf_16_128_8_u.7	FAIL	900.95
renHorn_400CNF1800_2aQBF_7	FAIL	900.95
horn_400CNF1440_2aQBF_642	FAIL	900.95
horn_400CNF1200_2aQBF_539	FAIL	900.95
renHorn_400CNF2360_2aQBF_9	FAIL	900.95
horn_400CNF1840_2aQBF_547	FAIL	900.95
5qbf-5cnf-40var-80cl.7	FAIL	900.95
ncf_16_128_8_euad.1	FAIL	900.95
horn_400CNF2000_2aQBF_456	FAIL	900.95
ncf_16_128_2_euad.3	FAIL	900.95
robots_1_5_3_8.8	FAIL	900.95
4qbf-5cnf-40var-80cl.4	FAIL	900.95
ncf_4_8_2_d.8	FAIL	900.95
robots_1_5_4_75.8	FAIL	900.95
ncf_16_128_2_edau.7	FAIL	900.95
mutex-16-s	FAIL	900.95
horn_400CNF2080_2aQBF_709	FAIL	900.95
5qbf-5cnf-20var-80cl.0	FAIL	900.95
robots_1_5_2_61.8	FAIL	900.95
robots_1_5_5_12.8	FAIL	900.95
4qbf-5cnf-40var-80cl.7	FAIL	900.95
4qbf-5cnf-80var-640cl.2	FAIL	900.95
horn_400CNF1920_2aQBF_721	FAIL	900.95
ncf_16_32_2_euad.5	FAIL	900.95
ncf_4_8_2_u.8	FAIL	900.95
k_lin_n-21	FAIL	900.95
6qbf-5cnf-160var-320cl.4	FAIL	900.95
ncf_4_8_2_d.6	FAIL	900.95
ncf_8_32_4_u.3	FAIL	900.95
2qbf-5cnf-40var-160cl.7	FAIL	900.95
ncf_4_8_4_euad.2	FAIL	900.95
horn_400CNF1760_2aQBF_686	FAIL	900.95
2qbf-5cnf-160var-320cl.6	FAIL	900.95
Adder2-4-s	FAIL	900.95
ncf_16_64_4_d.2	FAIL	900.95
ncf_16_128_2_euad.1	FAIL	900.95
C6288.blif_0.10_1.00_0_1_out_exact	FAIL	900.95
3qbf-5cnf-80var-320cl.4	FAIL	900.95
4qbf-5cnf-20var-160cl.0	FAIL	900.95
renHorn_400CNF2280_2aQBF_13	FAIL	900.95
4qbf-5cnf-40var-320cl.9	FAIL	900.95
ncf_8_32_8_euad.6	FAIL	900.95
renHorn_400CNF1640_2aQBF_7	FAIL	900.95
6qbf-5cnf-20var-160cl.6	FAIL	900.95
ncf_8_64_8_d.8	FAIL	900.95
renHorn_400CNF1800_2aQBF_20	FAIL	900.95
horn_400CNF2080_2aQBF_584	FAIL	900.95
ncf_4_8_4_d.6	FAIL	900.95
ncf_4_32_8_d.5	FAIL	900.95
ncf_4_16_8_d.2	FAIL	900.95
horn_400CNF2160_2aQBF_692	FAIL	900.95
horn_400CNF1760_2aQBF_846	FAIL	900.95
horn_400CNF1520_2aQBF_702	FAIL	900.95
ncf_16_32_4_d.3	FAIL	900.95
robots_1_5_4_46.8	FAIL	900.95
horn_400CNF1760_2aQBF_997	FAIL	900.95
horn_400CNF1840_2aQBF_980	FAIL	900.95
2qbf-5cnf-40var-160cl.5	FAIL	900.96
4qbf-5cnf-40var-320cl.0	FAIL	900.96
robots_1_5_5_5.8	FAIL	900.96
robots_1_5_5_99.8	FAIL	900.96
4qbf-5cnf-20var-320cl.3	FAIL	900.96
ncf_4_16_8_d.5	FAIL	900.96
ncf_16_128_8_euad.7	FAIL	900.96
ncf_8_32_8_u.10	FAIL	900.96
ncf_4_16_4_d.5	FAIL	900.96
6qbf-5cnf-20var-160cl.4	FAIL	900.96
ncf_4_8_2_u.1	FAIL	900.96
ncf_16_32_8_d.2	FAIL	900.96
6qbf-5cnf-20var-640cl.4	FAIL	900.96
ncf_8_32_2_edau.7	FAIL	900.96
2qbf-5cnf-40var-160cl.9	FAIL	900.96
horn_400CNF1440_2aQBF_147	FAIL	900.96
5qbf-5cnf-160var-320cl.5	FAIL	900.96
4qbf-5cnf-40var-320cl.6	FAIL	900.96
6qbf-5cnf-20var-640cl.0	FAIL	900.96
3qbf-5cnf-40var-320cl.3	FAIL	900.96
6qbf-5cnf-80var-160cl.2	FAIL	900.96
5qbf-5cnf-20var-160cl.8	FAIL	900.96
horn_400CNF1280_2aQBF_389	FAIL	900.96
4qbf-5cnf-20var-160cl.4	FAIL	900.96
3qbf-5cnf-80var-1280cl.4	FAIL	900.96
ncf_4_8_2_d.3	FAIL	900.96
robots_1_5_2_82.8	FAIL	900.96
4qbf-5cnf-160var-320cl.1	FAIL	900.96
ncf_16_64_8_euad.9	FAIL	900.96
ncf_16_64_8_d.10	FAIL	900.96
horn_400CNF1520_2aQBF_116	FAIL	900.96
horn_400CNF2000_2aQBF_8	FAIL	900.96
robots_1_5_3_55.8	FAIL	900.96
3qbf-5cnf-80var-1280cl.6	FAIL	900.96
renHorn_400CNF1360_2aQBF_96	FAIL	900.96
3qbf-5cnf-40var-320cl.8	FAIL	900.96
ncf_4_8_2_euad.6	FAIL	900.96
4qbf-5cnf-80var-320cl.7	FAIL	900.96
ncf_16_64_2_d.9	FAIL	900.96
3qbf-5cnf-80var-1280cl.9	FAIL	900.96
3qbf-5cnf-160var-640cl.0	FAIL	900.96
ncf_8_16_4_edau.5	FAIL	900.96
3qbf-5cnf-160var-320cl.5	FAIL	900.96
horn_400CNF1920_2aQBF_890	FAIL	900.96
ncf_8_32_8_u.1	FAIL	900.96
5qbf-5cnf-160var-320cl.8	FAIL	900.96
6qbf-5cnf-20var-320cl.6	FAIL	900.96
5qbf-5cnf-20var-160cl.4	FAIL	900.96
5qbf-5cnf-80var-160cl.1	FAIL	900.96
6qbf-5cnf-80var-320cl.3	FAIL	900.96
3qbf-5cnf-80var-640cl.9	FAIL	900.96
2qbf-5cnf-80var-640cl.5	FAIL	900.96
ncf_16_128_4_edau.3	FAIL	900.96
renHorn_400CNF1960_2aQBF_68	FAIL	900.96
horn_400CNF1520_2aQBF_382	FAIL	900.96
2qbf-5cnf-160var-5120cl.7	FAIL	900.96
ncf_4_16_2_u.2	FAIL	900.96
3qbf-5cnf-20var-80cl.7	FAIL	900.96
ncf_4_16_4_edau.9	FAIL	900.96
5qbf-5cnf-40var-1280cl.3	FAIL	900.96
horn_400CNF1520_2aQBF_625	FAIL	900.96
horn_400CNF1920_2aQBF_75	FAIL	900.96
ncf_8_64_4_euad.8	FAIL	900.96
robots_1_5_2_32.8	FAIL	900.96
6qbf-5cnf-20var-640cl.8	FAIL	900.96
ncf_16_64_2_u.9	FAIL	900.96
2qbf-5cnf-160var-320cl.3	FAIL	900.96
3qbf-5cnf-160var-5120cl.1	FAIL	900.96
robots_1_5_4_1.8	FAIL	900.96
robots_1_5_4_96.8	FAIL	900.96
ncf_8_32_8_euad.4	FAIL	900.96
3qbf-5cnf-20var-80cl.8	FAIL	900.96
ncf_16_64_2_euad.6	FAIL	900.96
k_grz_n-8	FAIL	900.96
ncf_8_64_2_euad.2	FAIL	900.96
ncf_4_8_4_euad.6	FAIL	900.96
ncf_4_8_2_edau.5	FAIL	900.96
3qbf-5cnf-40var-160cl.3	FAIL	900.96
ncf_16_32_8_euad.6	FAIL	900.96
ncf_8_32_2_edau.4	FAIL	900.96
6qbf-5cnf-40var-640cl.1	FAIL	900.96
4qbf-5cnf-160var-320cl.5	FAIL	900.96
ncf_16_128_8_euad.6	FAIL	900.96
ncf_8_64_2_u.7	FAIL	900.96
ncf_8_64_8_d.9	FAIL	900.96
5qbf-5cnf-40var-640cl.6	FAIL	900.96
ncf_16_32_8_u.6	FAIL	900.96
renHorn_400CNF1720_2aQBF_11	FAIL	900.96
2qbf-5cnf-80var-320cl.9	FAIL	900.96
ncf_8_32_4_u.2	FAIL	900.96
horn_400CNF1760_2aQBF_614	FAIL	900.96
2qbf-5cnf-80var-320cl.6	FAIL	900.96
horn_400CNF1920_2aQBF_927	FAIL	900.96
ncf_8_64_8_euad.10	FAIL	900.96
horn_400CNF2080_2aQBF_176	FAIL	900.96
horn_400CNF1520_2aQBF_600	FAIL	900.96
horn_400CNF2160_2aQBF_427	FAIL	900.96
3qbf-5cnf-40var-160cl.4	FAIL	900.96
k_grz_n-20	FAIL	900.96
ncf_4_8_2_d.4	FAIL	900.96
ncf_8_64_4_euad.1	FAIL	900.96
horn_400CNF1760_2aQBF_979	FAIL	900.96
s1269_d8_s	FAIL	900.96
horn_400CNF1680_2aQBF_433	FAIL	900.96
ncf_8_64_2_d.2	FAIL	900.96
ncf_8_32_4_u.5	FAIL	900.96
mutex-128-s	FAIL	900.96
5qbf-5cnf-80var-2560cl.8	FAIL	900.96
2qbf-5cnf-160var-640cl.0	FAIL	900.96
4qbf-5cnf-40var-80cl.6	FAIL	900.96
horn_400CNF2160_2aQBF_411	FAIL	900.96
2qbf-5cnf-160var-640cl.6	FAIL	900.96
6qbf-5cnf-20var-160cl.7	FAIL	900.96
BLOCKS3iii.5	FAIL	900.96
5qbf-5cnf-80var-320cl.8	FAIL	900.96
ncf_8_32_8_u.2	FAIL	900.96
horn_400CNF2080_2aQBF_682	FAIL	900.96
ncf_16_64_4_d.9	FAIL	900.97
ncf_4_8_2_edau.7	FAIL	900.97
adder-14-sat	FAIL	900.97
6qbf-5cnf-80var-320cl.8	FAIL	900.97
ncf_16_64_8_euad.3	FAIL	900.97
ncf_16_32_4_d.7	FAIL	900.97
5qbf-5cnf-40var-160cl.0	FAIL	900.97
renHorn_400CNF1200_2aQBF_28	FAIL	900.97
5qbf-5cnf-160var-640cl.3	FAIL	900.97
ncf_16_128_8_euad.10	FAIL	900.97
2qbf-5cnf-160var-5120cl.3	FAIL	900.97
2qbf-5cnf-40var-160cl.1	FAIL	900.97
ncf_4_8_2_euad.4	FAIL	900.97
ncf_16_64_2_u.1	FAIL	900.97
ncf_4_16_8_u.7	FAIL	900.97
ncf_4_16_4_u.9	FAIL	900.97
ncf_8_16_8_d.6	FAIL	900.97
5qbf-5cnf-80var-2560cl.3	FAIL	900.97
4qbf-5cnf-80var-1280cl.3	FAIL	900.97
ncf_4_16_4_u.3	FAIL	900.97
ncf_4_16_4_edau.10	FAIL	900.97
2qbf-5cnf-80var-640cl.4	FAIL	900.97
ncf_4_16_2_edau.4	FAIL	900.97
renHorn_400CNF1480_2aQBF_44	FAIL	900.97
2qbf-5cnf-160var-5120cl.2	FAIL	900.97
3qbf-5cnf-80var-1280cl.7	FAIL	900.97
4qbf-5cnf-160var-320cl.3	FAIL	900.97
C6288.blif_0.10_0.20_0_1_out_exact	FAIL	900.97
ncf_4_8_2_euad.1	FAIL	900.97
3qbf-5cnf-160var-5120cl.9	FAIL	900.97
ncf_16_64_4_euad.7	FAIL	900.97
ncf_4_8_4_u.9	FAIL	900.97
renHorn_400CNF1560_2aQBF_47	FAIL	900.97
3qbf-5cnf-80var-1280cl.1	FAIL	900.97
5qbf-5cnf-160var-5120cl.3	FAIL	900.97
ncf_16_128_2_edau.1	FAIL	900.97
ncf_4_8_8_u.1	FAIL	900.97
4qbf-5cnf-40var-320cl.1	FAIL	900.97
5qbf-5cnf-160var-640cl.9	FAIL	900.97
ncf_8_32_2_u.1	FAIL	900.97
k_t4p_p-8	FAIL	900.97
4qbf-5cnf-20var-80cl.9	FAIL	900.97
4qbf-5cnf-80var-640cl.9	FAIL	900.97
ncf_8_32_2_u.2	FAIL	900.97
3qbf-5cnf-40var-80cl.8	FAIL	900.97
ncf_4_8_4_d.5	FAIL	900.97
k_branch_p-21	FAIL	900.97
6qbf-5cnf-20var-80cl.4	FAIL	900.97
horn_400CNF2320_2aQBF_209	FAIL	900.97
ncf_4_16_2_edau.10	FAIL	900.97
ncf_16_128_8_d.5	FAIL	900.97
2qbf-5cnf-160var-640cl.4	FAIL	900.97
3qbf-5cnf-160var-5120cl.0	FAIL	900.97
k_lin_n-4	FAIL	900.97
ncf_4_8_2_edau.1	FAIL	900.97
ncf_4_16_4_u.1	FAIL	900.97
6qbf-5cnf-40var-1280cl.1	FAIL	900.97
robots_1_5_4_91.8	FAIL	900.97
ncf_4_8_8_u.8	FAIL	900.97
4qbf-5cnf-40var-640cl.3	FAIL	900.97
ncf_4_16_4_edau.5	FAIL	900.97
ncf_16_32_2_euad.9	FAIL	900.97
5qbf-5cnf-80var-2560cl.5	FAIL	900.97
6qbf-5cnf-160var-320cl.8	FAIL	900.97
ncf_4_16_2_u.4	FAIL	900.97
ncf_4_32_8_u.7	FAIL	900.97
4qbf-5cnf-20var-40cl.6	FAIL	900.97
ncf_4_16_2_d.9	FAIL	900.97
5qbf-5cnf-160var-640cl.2	FAIL	900.97
5qbf-5cnf-20var-40cl.4	FAIL	900.97
4qbf-5cnf-40var-80cl.8	FAIL	900.97
renHorn_400CNF1480_2aQBF_21	FAIL	900.97
robots_1_5_3_70.8	FAIL	900.97
5qbf-5cnf-20var-80cl.5	FAIL	900.97
4qbf-5cnf-160var-640cl.3	FAIL	900.97
2qbf-5cnf-40var-160cl.8	FAIL	900.97
5qbf-5cnf-20var-160cl.0	FAIL	900.97
5qbf-5cnf-20var-320cl.7	FAIL	900.97
5qbf-5cnf-20var-320cl.3	FAIL	900.97
6qbf-5cnf-160var-640cl.6	FAIL	900.97
ncf_16_128_2_d.8	FAIL	900.97
ncf_8_16_4_d.6	FAIL	900.97
ncf_8_64_2_d.5	FAIL	900.97
k_d4_n-4	FAIL	900.97
ncf_16_128_2_edau.3	FAIL	900.97
renHorn_400CNF1360_2aQBF_35	FAIL	900.97
4qbf-5cnf-20var-40cl.9	FAIL	900.97
2qbf-5cnf-40var-160cl.4	FAIL	900.97
5qbf-5cnf-40var-160cl.6	FAIL	900.97
4qbf-5cnf-160var-320cl.6	FAIL	900.97
k_poly_n-8	FAIL	900.97
horn_400CNF1440_2aQBF_117	FAIL	900.97
3qbf-5cnf-160var-640cl.9	FAIL	900.97
ncf_4_32_4_d.10	FAIL	900.97
4qbf-5cnf-20var-160cl.9	FAIL	900.97
ncf_4_32_8_u.6	FAIL	900.97
4qbf-5cnf-80var-160cl.8	FAIL	900.97
5qbf-5cnf-40var-1280cl.2	FAIL	900.97
ncf_8_64_8_d.5	FAIL	900.97
5qbf-5cnf-20var-320cl.4	FAIL	900.97
ncf_16_128_2_edau.9	FAIL	900.97
3qbf-5cnf-80var-640cl.0	FAIL	900.97
6qbf-5cnf-160var-320cl.2	FAIL	900.97
5qbf-5cnf-20var-320cl.5	FAIL	900.97
3qbf-5cnf-40var-80cl.6	FAIL	900.97
6qbf-5cnf-40var-320cl.1	FAIL	900.97
3qbf-5cnf-40var-80cl.0	FAIL	900.97
robots_1_5_4_56.8	FAIL	900.97
ncf_4_8_2_euad.5	FAIL	900.97
ncf_16_64_8_euad.1	FAIL	900.97
3qbf-5cnf-40var-640cl.1	FAIL	900.97
ncf_16_64_8_euad.7	FAIL	900.97
5qbf-5cnf-20var-40cl.3	FAIL	900.97
horn_400CNF1520_2aQBF_405	FAIL	900.97
ncf_4_16_4_d.10	FAIL	900.97
ncf_16_64_8_d.2	FAIL	900.97
k_path_n-16	FAIL	900.97
horn_400CNF2320_2aQBF_433	FAIL	900.97
k_t4p_n-4	FAIL	900.97
ncf_16_64_8_d.9	FAIL	900.97
ncf_16_32_4_euad.8	FAIL	900.97
5qbf-5cnf-80var-640cl.8	FAIL	900.97
5qbf-5cnf-160var-640cl.7	FAIL	900.97
ncf_16_32_8_d.10	FAIL	900.97
robots_1_5_3_16.8	FAIL	900.97
k_path_p-8	FAIL	900.97
3qbf-5cnf-40var-320cl.4	FAIL	900.97
2qbf-5cnf-160var-5120cl.6	FAIL	900.97
6qbf-5cnf-20var-320cl.1	FAIL	900.97
renHorn_400CNF1560_2aQBF_68	FAIL	900.97
5qbf-5cnf-160var-320cl.6	FAIL	900.97
ncf_8_64_4_euad.5	FAIL	900.97
ncf_4_16_4_d.4	FAIL	900.97
3qbf-5cnf-160var-320cl.8	FAIL	900.97
3qbf-5cnf-160var-640cl.4	FAIL	900.97
6qbf-5cnf-40var-160cl.0	FAIL	900.97
1qbf-5cnf-160var-5120cl.3	FAIL	900.97
6qbf-5cnf-80var-2560cl.9	FAIL	900.98
ncf_4_16_4_u.5	FAIL	900.98
3qbf-5cnf-80var-1280cl.0	FAIL	900.98
ncf_16_64_8_euad.6	FAIL	900.98
k_lin_n-16	FAIL	900.98
3qbf-5cnf-40var-320cl.0	FAIL	900.98
3qbf-5cnf-80var-640cl.3	FAIL	900.98
3qbf-5cnf-160var-320cl.0	FAIL	900.98
5qbf-5cnf-80var-160cl.7	FAIL	900.98
4qbf-5cnf-40var-640cl.1	FAIL	900.98
C6288.blif_0.10_0.20_0_0_out_exact	FAIL	900.98
3qbf-5cnf-40var-320cl.7	FAIL	900.98
6qbf-5cnf-80var-160cl.4	FAIL	900.98
ncf_4_8_2_edau.3	FAIL	900.98
5qbf-5cnf-40var-80cl.8	FAIL	900.98
5qbf-5cnf-80var-640cl.5	FAIL	900.98
ncf_16_32_8_euad.4	FAIL	900.98
ncf_8_64_8_edau.8	FAIL	900.98
renHorn_400CNF1720_2aQBF_92	FAIL	900.98
5qbf-5cnf-160var-640cl.1	FAIL	900.98
ncf_8_32_8_edau.4	FAIL	900.98
5qbf-5cnf-40var-160cl.7	FAIL	900.98
4qbf-5cnf-160var-640cl.9	FAIL	900.98
ncf_8_64_2_d.3	FAIL	900.98
ncf_16_128_8_edau.4	FAIL	900.98
4qbf-5cnf-40var-320cl.7	FAIL	900.98
2qbf-5cnf-80var-160cl.6	FAIL	900.98
ncf_8_32_2_u.9	FAIL	900.98
ncf_4_8_2_d.9	FAIL	900.98
C6288.blif_0.10_1.00_0_0_out_exact	FAIL	900.98
ncf_4_32_4_edau.6	FAIL	900.98
2qbf-5cnf-160var-320cl.0	FAIL	900.98
ncf_16_128_8_d.2	FAIL	900.98
renHorn_400CNF1720_2aQBF_20	FAIL	900.98
4qbf-5cnf-160var-320cl.8	FAIL	900.98
5qbf-5cnf-40var-640cl.1	FAIL	900.98
4qbf-5cnf-40var-160cl.6	FAIL	900.98
4qbf-5cnf-80var-640cl.3	FAIL	900.98
3qbf-5cnf-160var-1280cl.0	FAIL	900.98
6qbf-5cnf-20var-80cl.0	FAIL	900.98
5qbf-5cnf-40var-640cl.5	FAIL	900.98
renHorn_400CNF1480_2aQBF_85	FAIL	900.98
ncf_4_32_4_edau.2	FAIL	900.98
ncf_16_128_8_d.6	FAIL	900.98
2qbf-5cnf-80var-320cl.5	FAIL	900.98
ncf_16_64_4_d.7	FAIL	900.98
5qbf-5cnf-20var-40cl.7	FAIL	900.98
ncf_4_16_4_edau.2	FAIL	900.98
2qbf-5cnf-160var-640cl.8	FAIL	900.98
5qbf-5cnf-160var-640cl.4	FAIL	900.98
k_branch_n-20	FAIL	900.98
k_lin_n-20	FAIL	900.98
5qbf-5cnf-40var-80cl.0	FAIL	900.98
renHorn_400CNF2280_2aQBF_4	FAIL	900.98
3qbf-5cnf-80var-160cl.4	FAIL	900.98
4qbf-5cnf-160var-640cl.0	FAIL	900.98
ncf_8_32_4_u.10	FAIL	900.98
4qbf-5cnf-80var-320cl.2	FAIL	900.98
6qbf-5cnf-160var-5120cl.7	FAIL	900.98
ncf_4_8_2_u.9	FAIL	900.98
5qbf-5cnf-40var-1280cl.6	FAIL	900.98
3qbf-5cnf-20var-80cl.9	FAIL	900.98
ncf_4_16_2_u.3	FAIL	900.98
ncf_16_32_4_euad.9	FAIL	900.98
5qbf-5cnf-80var-2560cl.1	FAIL	900.98
5qbf-5cnf-80var-320cl.5	FAIL	900.98
6qbf-5cnf-20var-320cl.2	FAIL	900.98
ncf_8_64_4_u.4	FAIL	900.98
ncf_16_64_8_d.8	FAIL	900.98
6qbf-5cnf-160var-5120cl.6	FAIL	900.98
k_branch_p-12	FAIL	900.98
renHorn_400CNF1200_2aQBF_79	FAIL	900.98
2qbf-5cnf-160var-1280cl.2	FAIL	900.98
k_ph_p-12	FAIL	900.98
2qbf-5cnf-80var-320cl.7	FAIL	900.98
ncf_4_32_8_edau.4	FAIL	900.98
2qbf-5cnf-160var-1280cl.0	FAIL	900.98
ncf_4_8_2_u.4	FAIL	900.98
renHorn_400CNF2120_2aQBF_10	FAIL	900.98
5qbf-5cnf-80var-2560cl.2	FAIL	900.98
Adder2-16-s	FAIL	900.98
2qbf-5cnf-80var-320cl.8	FAIL	900.98
ncf_4_32_2_edau.6	FAIL	900.98
ncf_8_16_2_u.1	FAIL	900.98
3qbf-5cnf-160var-1280cl.3	FAIL	900.98
ncf_4_16_2_u.6	FAIL	900.98
6qbf-5cnf-80var-160cl.1	FAIL	900.98
ncf_16_64_8_d.5	FAIL	900.98
ncf_8_16_4_euad.8	FAIL	900.98
3qbf-5cnf-160var-1280cl.8	FAIL	900.98
ncf_4_32_4_u.1	FAIL	900.98
robots_1_5_3_90.8	FAIL	900.98
6qbf-5cnf-160var-1280cl.9	FAIL	900.98
renHorn_400CNF2120_2aQBF_37	FAIL	900.98
4qbf-5cnf-20var-80cl.6	FAIL	900.98
3qbf-5cnf-80var-320cl.3	FAIL	900.98
3qbf-5cnf-80var-160cl.6	FAIL	900.98
6qbf-5cnf-20var-160cl.9	FAIL	900.98
horn_400CNF2080_2aQBF_194	FAIL	900.98
ncf_4_8_4_euad.5	FAIL	900.98
6qbf-5cnf-20var-320cl.3	FAIL	900.98
3qbf-5cnf-20var-80cl.2	FAIL	900.98
k_ph_n-21	FAIL	900.98
ncf_8_16_4_d.9	FAIL	900.98
2qbf-5cnf-80var-640cl.0	FAIL	900.98
4qbf-5cnf-40var-80cl.5	FAIL	900.98
3qbf-5cnf-160var-320cl.2	FAIL	900.98
3qbf-5cnf-80var-1280cl.2	FAIL	900.98
6qbf-5cnf-80var-640cl.6	FAIL	900.98
k_ph_n-16	FAIL	900.98
6qbf-5cnf-160var-2560cl.8	FAIL	900.98
renHorn_400CNF1280_2aQBF_56	FAIL	900.98
5qbf-5cnf-20var-80cl.3	FAIL	900.98
3qbf-5cnf-80var-1280cl.3	FAIL	900.98
5qbf-5cnf-160var-640cl.0	FAIL	900.98
k_d4_n-20	FAIL	900.98
4qbf-5cnf-160var-2560cl.9	FAIL	900.98
renHorn_400CNF1720_2aQBF_79	FAIL	900.98
4qbf-5cnf-20var-80cl.0	FAIL	900.98
ncf_8_16_4_d.5	FAIL	900.98
ncf_4_8_8_d.10	FAIL	900.98
5qbf-5cnf-40var-160cl.5	FAIL	900.98
6qbf-5cnf-40var-640cl.3	FAIL	900.98
6qbf-5cnf-40var-80cl.7	FAIL	900.98
k_branch_p-20	FAIL	900.98
k_grz_p-12	FAIL	900.98
5qbf-5cnf-160var-320cl.2	FAIL	900.98
ncf_8_32_2_euad.1	FAIL	900.98
5qbf-5cnf-80var-160cl.0	FAIL	900.98
3qbf-5cnf-160var-640cl.8	FAIL	900.98
6qbf-5cnf-40var-320cl.0	FAIL	900.98
5qbf-5cnf-80var-160cl.2	FAIL	900.98
ncf_16_64_4_edau.1	FAIL	900.98
ncf_4_8_8_edau.1	FAIL	900.98
6qbf-5cnf-40var-640cl.2	FAIL	900.98
ncf_16_128_2_u.7	FAIL	900.98
5qbf-5cnf-160var-1280cl.1	FAIL	900.98
ncf_8_64_4_euad.10	FAIL	900.98
ncf_8_32_4_u.1	FAIL	900.98
6qbf-5cnf-160var-640cl.4	FAIL	900.98
4qbf-5cnf-80var-160cl.4	FAIL	900.98
ncf_16_32_4_euad.4	FAIL	900.98
6qbf-5cnf-160var-1280cl.0	FAIL	900.98
3qbf-5cnf-40var-80cl.2	FAIL	900.98
4qbf-5cnf-40var-80cl.2	FAIL	900.98
6qbf-5cnf-40var-1280cl.9	FAIL	900.98
2qbf-5cnf-160var-1280cl.7	FAIL	900.98
4qbf-5cnf-160var-1280cl.8	FAIL	900.98
ncf_4_16_2_u.10	FAIL	900.98
6qbf-5cnf-40var-640cl.8	FAIL	900.98
6qbf-5cnf-80var-1280cl.2	FAIL	900.98
5qbf-5cnf-40var-320cl.5	FAIL	900.98
ncf_4_8_8_euad.9	FAIL	900.98
ncf_4_32_4_d.7	FAIL	900.98
ncf_4_32_4_edau.8	FAIL	900.98
k_poly_p-21	FAIL	900.98
6qbf-5cnf-20var-320cl.4	FAIL	900.98
horn_400CNF1840_2aQBF_323	FAIL	900.98
5qbf-5cnf-40var-80cl.3	FAIL	900.98
renHorn_400CNF1800_2aQBF_24	FAIL	900.98
6qbf-5cnf-40var-80cl.5	FAIL	900.98
4qbf-5cnf-40var-640cl.8	FAIL	900.98
3qbf-5cnf-80var-320cl.2	FAIL	900.98
ncf_4_8_8_euad.10	FAIL	900.98
3qbf-5cnf-160var-320cl.4	FAIL	900.98
2qbf-5cnf-80var-160cl.9	FAIL	900.98
renHorn_400CNF2120_2aQBF_88	FAIL	900.98
ncf_4_32_2_u.8	FAIL	900.98
5qbf-5cnf-80var-1280cl.1	FAIL	900.98
ncf_4_32_2_edau.4	FAIL	900.98
4qbf-5cnf-160var-1280cl.2	FAIL	900.98
ncf_4_8_4_euad.1	FAIL	900.98
ncf_4_8_2_euad.7	FAIL	900.98
6qbf-5cnf-40var-320cl.3	FAIL	900.98
5qbf-5cnf-160var-320cl.7	FAIL	900.98
6qbf-5cnf-20var-80cl.1	FAIL	900.98
4qbf-5cnf-160var-640cl.8	FAIL	900.98
6qbf-5cnf-160var-5120cl.5	FAIL	900.98
6qbf-5cnf-160var-320cl.0	FAIL	900.98
3qbf-5cnf-80var-640cl.8	FAIL	900.98
4qbf-5cnf-160var-640cl.1	FAIL	900.98
5qbf-5cnf-40var-320cl.7	FAIL	900.98
ncf_16_128_4_euad.3	FAIL	900.98
horn_400CNF1760_2aQBF_93	FAIL	900.98
Adder2-4-c	FAIL	900.98
ncf_8_16_2_u.4	FAIL	900.98
3qbf-5cnf-20var-40cl.1	FAIL	900.98
2qbf-5cnf-80var-320cl.3	FAIL	900.98
5qbf-5cnf-80var-160cl.9	FAIL	900.98
4qbf-5cnf-160var-640cl.2	FAIL	900.98
4qbf-5cnf-80var-1280cl.8	FAIL	900.98
ncf_8_16_8_d.3	FAIL	900.98
ncf_8_16_4_euad.2	FAIL	900.98
renHorn_400CNF1480_2aQBF_96	FAIL	900.98
5qbf-5cnf-160var-5120cl.9	FAIL	900.98
5qbf-5cnf-40var-320cl.3	FAIL	900.98
5qbf-5cnf-160var-320cl.1	FAIL	900.98
ncf_8_16_2_edau.1	FAIL	900.98
adder-4-unsat	FAIL	900.98
horn_400CNF1840_2aQBF_752	FAIL	900.98
4qbf-5cnf-20var-80cl.3	FAIL	900.98
ncf_4_16_4_u.2	FAIL	900.98
k_d4_p-8	FAIL	900.98
3qbf-5cnf-160var-640cl.1	FAIL	900.98
5qbf-5cnf-40var-320cl.0	FAIL	900.98
5qbf-5cnf-40var-160cl.9	FAIL	900.98
6qbf-5cnf-20var-40cl.2	FAIL	900.98
ncf_16_64_2_u.3	FAIL	900.98
ncf_4_8_8_euad.3	FAIL	900.98
ncf_4_16_8_u.5	FAIL	900.98
2qbf-5cnf-160var-5120cl.5	FAIL	900.98
6qbf-5cnf-40var-1280cl.7	FAIL	900.98
6qbf-5cnf-40var-1280cl.8	FAIL	900.98
ncf_8_32_4_u.7	FAIL	900.98
renHorn_400CNF1640_2aQBF_53	FAIL	900.98
5qbf-5cnf-160var-1280cl.5	FAIL	900.98
Adder2-14-c	FAIL	900.98
4qbf-5cnf-160var-320cl.9	FAIL	900.98
3qbf-5cnf-80var-640cl.4	FAIL	900.98
4qbf-5cnf-20var-160cl.2	FAIL	900.98
5qbf-5cnf-40var-320cl.4	FAIL	900.98
3qbf-5cnf-40var-320cl.9	FAIL	900.98
5qbf-5cnf-80var-160cl.6	FAIL	900.98
1qbf-5cnf-160var-5120cl.5	FAIL	900.98
6qbf-5cnf-80var-160cl.7	FAIL	900.98
4qbf-5cnf-80var-320cl.9	FAIL	900.99
ncf_4_16_4_u.10	FAIL	900.99
robots_1_5_5_95.8	FAIL	900.99
ncf_4_16_8_u.8	FAIL	900.99
5qbf-5cnf-80var-640cl.7	FAIL	900.99
ncf_4_8_2_euad.8	FAIL	900.99
4qbf-5cnf-160var-2560cl.3	FAIL	900.99
6qbf-5cnf-20var-40cl.3	FAIL	900.99
ncf_4_32_8_euad.8	FAIL	900.99
6qbf-5cnf-40var-320cl.9	FAIL	900.99
counter_r_64	FAIL	900.99
3qbf-5cnf-160var-2560cl.3	FAIL	900.99
5qbf-5cnf-80var-320cl.3	FAIL	900.99
ncf_8_64_8_edau.9	FAIL	900.99
ncf_16_64_8_u.1	FAIL	900.99
2qbf-5cnf-80var-320cl.1	FAIL	900.99
6qbf-5cnf-20var-40cl.0	FAIL	900.99
ncf_4_16_2_edau.5	FAIL	900.99
4qbf-5cnf-80var-160cl.7	FAIL	900.99
6qbf-5cnf-40var-160cl.7	FAIL	900.99
ncf_4_32_2_edau.5	FAIL	900.99
5qbf-5cnf-40var-640cl.2	FAIL	900.99
5qbf-5cnf-20var-40cl.0	FAIL	900.99
3qbf-5cnf-80var-160cl.2	FAIL	900.99
ncf_8_64_8_euad.4	FAIL	900.99
ncf_16_64_8_edau.10	FAIL	900.99
k_ph_n-20	FAIL	900.99
ncf_4_32_2_edau.1	FAIL	900.99
4qbf-5cnf-80var-640cl.6	FAIL	900.99
ncf_4_16_8_u.6	FAIL	900.99
5qbf-5cnf-80var-320cl.1	FAIL	900.99
ncf_8_64_4_d.7	FAIL	900.99
6qbf-5cnf-40var-80cl.3	FAIL	900.99
6qbf-5cnf-80var-640cl.8	FAIL	900.99
6qbf-5cnf-80var-320cl.7	FAIL	900.99
5qbf-5cnf-160var-640cl.8	FAIL	900.99
k_branch_p-16	FAIL	900.99
BLOCKS4i.6.4	FAIL	900.99
ncf_8_16_4_euad.1	FAIL	900.99
3qbf-5cnf-160var-1280cl.9	FAIL	900.99
ncf_8_16_8_u.10	FAIL	900.99
3qbf-5cnf-80var-160cl.9	FAIL	900.99
ncf_16_64_4_d.3	FAIL	900.99
4qbf-5cnf-80var-320cl.0	FAIL	900.99
ncf_8_32_2_edau.9	FAIL	900.99
4qbf-5cnf-20var-160cl.5	FAIL	900.99
6qbf-5cnf-40var-640cl.4	FAIL	900.99
3qbf-5cnf-160var-640cl.3	FAIL	900.99
6qbf-5cnf-80var-320cl.1	FAIL	900.99
ncf_8_32_8_u.6	FAIL	900.99
6qbf-5cnf-160var-2560cl.1	FAIL	900.99
4qbf-5cnf-20var-40cl.5	FAIL	900.99
ncf_16_32_4_euad.2	FAIL	900.99
renHorn_400CNF1880_2aQBF_81	FAIL	900.99
4qbf-5cnf-160var-640cl.4	FAIL	900.99
ncf_16_64_8_d.7	FAIL	900.99
3qbf-5cnf-40var-80cl.9	FAIL	900.99
2qbf-5cnf-160var-640cl.2	FAIL	900.99
ncf_4_8_8_d.8	FAIL	900.99
3qbf-5cnf-160var-1280cl.1	FAIL	900.99
6qbf-5cnf-20var-320cl.9	FAIL	900.99
adder-14-unsat	FAIL	900.99
k_t4p_n-21	FAIL	900.99
5qbf-5cnf-160var-5120cl.8	FAIL	900.99
5qbf-5cnf-40var-160cl.1	FAIL	900.99
ncf_4_32_8_edau.6	FAIL	900.99
3qbf-5cnf-40var-320cl.1	FAIL	900.99
2qbf-5cnf-160var-320cl.8	FAIL	900.99
4qbf-5cnf-40var-640cl.9	FAIL	900.99
3qbf-5cnf-80var-160cl.7	FAIL	900.99
6qbf-5cnf-160var-1280cl.4	FAIL	900.99
5qbf-5cnf-20var-160cl.6	FAIL	900.99
4qbf-5cnf-40var-160cl.9	FAIL	900.99
6qbf-5cnf-40var-320cl.7	FAIL	900.99
5qbf-5cnf-40var-80cl.6	FAIL	900.99
horn_400CNF2080_2aQBF_899	FAIL	900.99
5qbf-5cnf-20var-80cl.9	FAIL	900.99
renHorn_400CNF1960_2aQBF_41	FAIL	900.99
2qbf-5cnf-160var-640cl.5	FAIL	900.99
ncf_16_64_4_d.6	FAIL	900.99
renHorn_400CNF1560_2aQBF_96	FAIL	900.99
2qbf-5cnf-160var-1280cl.3	FAIL	900.99
6qbf-5cnf-80var-160cl.3	FAIL	900.99
ncf_4_16_8_d.3	FAIL	900.99
3qbf-5cnf-80var-320cl.9	FAIL	900.99
ncf_16_128_8_edau.6	FAIL	900.99
5qbf-5cnf-80var-2560cl.9	FAIL	900.99
6qbf-5cnf-40var-640cl.5	FAIL	900.99
3qbf-5cnf-80var-640cl.6	FAIL	900.99
2qbf-5cnf-80var-320cl.0	FAIL	900.99
ncf_16_128_2_d.10	FAIL	900.99
ncf_4_32_2_edau.7	FAIL	900.99
2qbf-5cnf-160var-640cl.3	FAIL	900.99
ncf_4_16_8_u.4	FAIL	900.99
ncf_4_16_8_u.2	FAIL	900.99
ncf_4_8_4_d.4	FAIL	900.99
6qbf-5cnf-20var-320cl.8	FAIL	900.99
5qbf-5cnf-80var-1280cl.9	FAIL	900.99
6qbf-5cnf-160var-320cl.6	FAIL	900.99
3qbf-5cnf-160var-2560cl.1	FAIL	900.99
ncf_16_128_2_d.6	FAIL	900.99
mutex-32-s	FAIL	900.99
2qbf-5cnf-40var-160cl.2	FAIL	900.99
3qbf-5cnf-160var-2560cl.9	FAIL	900.99
ncf_8_16_2_edau.4	FAIL	900.99
k_d4_n-16	FAIL	900.99
ncf_4_32_8_d.9	FAIL	900.99
4qbf-5cnf-40var-320cl.8	FAIL	900.99
5qbf-5cnf-160var-2560cl.5	FAIL	900.99
5qbf-5cnf-80var-320cl.6	FAIL	900.99
ncf_8_16_4_euad.5	FAIL	900.99
6qbf-5cnf-160var-5120cl.9	FAIL	900.99
ncf_4_8_4_u.6	FAIL	900.99
ncf_16_128_4_d.10	FAIL	900.99
ncf_8_16_8_edau.3	FAIL	900.99
4qbf-5cnf-40var-160cl.2	FAIL	900.99
6qbf-5cnf-40var-320cl.2	FAIL	900.99
ncf_16_128_8_edau.1	FAIL	900.99
ncf_4_8_8_euad.7	FAIL	900.99
5qbf-5cnf-80var-320cl.9	FAIL	900.99
3qbf-5cnf-80var-320cl.0	FAIL	900.99
ncf_4_16_2_euad.9	FAIL	900.99
ncf_16_32_8_edau.7	FAIL	900.99
ncf_16_64_8_edau.3	FAIL	900.99
5qbf-5cnf-80var-1280cl.4	FAIL	900.99
6qbf-5cnf-20var-40cl.7	FAIL	900.99
5qbf-5cnf-80var-320cl.7	FAIL	900.99
6qbf-5cnf-40var-160cl.8	FAIL	900.99
6qbf-5cnf-80var-640cl.1	FAIL	900.99
ncf_4_32_2_edau.3	FAIL	900.99
ncf_8_16_2_edau.3	FAIL	900.99
k_d4_n-8	FAIL	900.99
6qbf-5cnf-80var-2560cl.6	FAIL	900.99
4qbf-5cnf-80var-640cl.5	FAIL	900.99
5qbf-5cnf-160var-5120cl.6	FAIL	900.99
5qbf-5cnf-80var-2560cl.6	FAIL	900.99
BLOCKS4iii.7	FAIL	900.99
ncf_4_8_4_edau.5	FAIL	900.99
ncf_8_32_2_edau.2	FAIL	900.99
6qbf-5cnf-20var-80cl.7	FAIL	900.99
ncf_16_32_8_euad.3	FAIL	900.99
ncf_4_8_4_edau.6	FAIL	900.99
ncf_4_32_4_u.2	FAIL	900.99
3qbf-5cnf-40var-80cl.7	FAIL	900.99
2qbf-5cnf-160var-1280cl.8	FAIL	900.99
ncf_8_16_2_u.5	FAIL	900.99
4qbf-5cnf-40var-640cl.4	FAIL	900.99
ncf_4_8_8_u.10	FAIL	900.99
3qbf-5cnf-20var-80cl.5	FAIL	900.99
2qbf-5cnf-80var-320cl.2	FAIL	900.99
5qbf-5cnf-40var-80cl.9	FAIL	900.99
5qbf-5cnf-20var-160cl.7	FAIL	900.99
k_t4p_n-20	FAIL	900.99
4qbf-5cnf-20var-40cl.0	FAIL	900.99
ncf_4_16_8_u.10	FAIL	900.99
5qbf-5cnf-40var-320cl.2	FAIL	900.99
renHorn_400CNF2040_2aQBF_86	FAIL	900.99
horn_400CNF1520_2aQBF_760	FAIL	900.99
ncf_8_32_2_edau.10	FAIL	900.99
4qbf-5cnf-80var-160cl.1	FAIL	900.99
3qbf-5cnf-40var-160cl.6	FAIL	900.99
ncf_4_8_4_u.1	FAIL	900.99
ncf_8_16_4_edau.10	FAIL	900.99
ncf_4_16_8_edau.3	FAIL	900.99
ncf_8_32_4_u.9	FAIL	900.99
ncf_4_8_2_u.3	FAIL	900.99
ncf_16_64_4_d.5	FAIL	900.99
5qbf-5cnf-80var-2560cl.7	FAIL	900.99
5qbf-5cnf-80var-320cl.0	FAIL	900.99
4qbf-5cnf-40var-160cl.3	FAIL	900.99
6qbf-5cnf-20var-40cl.8	FAIL	900.99
ncf_8_16_2_edau.7	FAIL	900.99
4qbf-5cnf-80var-640cl.8	FAIL	900.99
ncf_8_32_2_edau.3	FAIL	900.99
5qbf-5cnf-80var-640cl.4	FAIL	900.99
ncf_4_32_8_d.6	FAIL	900.99
ncf_8_32_4_edau.4	FAIL	900.99
5qbf-5cnf-160var-5120cl.0	FAIL	900.99
ncf_4_16_4_edau.7	FAIL	900.99
6qbf-5cnf-20var-640cl.6	FAIL	900.99
5qbf-5cnf-20var-80cl.8	FAIL	900.99
5qbf-5cnf-160var-2560cl.8	FAIL	900.99
ncf_4_32_4_u.7	FAIL	900.99
3qbf-5cnf-40var-320cl.6	FAIL	900.99
tree-exa2-40	FAIL	900.99
4qbf-5cnf-80var-1280cl.0	FAIL	900.99
ncf_4_8_4_d.3	FAIL	900.99
5qbf-5cnf-40var-640cl.9	FAIL	900.99
ncf_4_32_4_u.8	FAIL	900.99
ncf_16_64_4_edau.3	FAIL	900.99
ncf_4_8_8_euad.4	FAIL	900.99
ncf_4_16_2_u.1	FAIL	900.99
5qbf-5cnf-160var-2560cl.4	FAIL	900.99
3qbf-5cnf-40var-160cl.2	FAIL	900.99
4qbf-5cnf-80var-160cl.0	FAIL	900.99
ncf_8_16_4_u.5	FAIL	900.99
ncf_16_64_4_edau.4	FAIL	900.99
ncf_16_128_8_euad.4	FAIL	900.99
ncf_8_32_2_u.5	FAIL	900.99
k_grz_p-21	FAIL	900.99
ncf_8_32_4_edau.7	FAIL	900.99
6qbf-5cnf-80var-2560cl.3	FAIL	900.99
4qbf-5cnf-20var-160cl.1	FAIL	900.99
k_t4p_p-20	FAIL	900.99
ncf_16_32_2_u.7	FAIL	900.99
k_t4p_n-16	FAIL	900.99
ncf_4_8_4_edau.2	FAIL	900.99
6qbf-5cnf-40var-80cl.4	FAIL	900.99
ncf_8_16_4_u.1	FAIL	900.99
ncf_8_64_2_euad.5	FAIL	900.99
ncf_16_128_8_d.10	FAIL	900.99
k_t4p_p-12	FAIL	900.99
ncf_16_64_8_edau.1	FAIL	900.99
ncf_8_16_2_u.7	FAIL	900.99
6qbf-5cnf-80var-640cl.9	FAIL	900.99
counter_64	FAIL	900.99
6qbf-5cnf-80var-1280cl.3	FAIL	900.99
k_t4p_p-21	FAIL	900.99
renHorn_400CNF1280_2aQBF_22	FAIL	900.99
3qbf-5cnf-160var-2560cl.2	FAIL	900.99
ncf_4_8_8_d.7	FAIL	900.99
ncf_4_8_4_euad.3	FAIL	900.99
ncf_8_32_2_u.4	FAIL	900.99
robots_1_5_5_14.8	FAIL	900.99
3qbf-5cnf-160var-2560cl.6	FAIL	900.99
k_branch_n-21	FAIL	900.99
ncf_4_32_4_edau.7	FAIL	900.99
ncf_8_32_8_u.5	FAIL	900.99
ncf_4_16_4_u.4	FAIL	900.99
5qbf-5cnf-40var-1280cl.8	FAIL	900.99
5qbf-5cnf-40var-320cl.6	FAIL	900.99
6qbf-5cnf-20var-40cl.1	FAIL	900.99
ncf_16_64_8_euad.4	FAIL	900.99
5qbf-5cnf-80var-160cl.8	FAIL	900.99
ncf_4_16_8_edau.10	FAIL	900.99
ncf_8_64_8_edau.7	FAIL	900.99
ncf_4_8_8_euad.5	FAIL	900.99
5qbf-5cnf-80var-1280cl.3	FAIL	900.99
ncf_16_128_4_u.2	FAIL	900.99
5qbf-5cnf-80var-1280cl.5	FAIL	900.99
3qbf-5cnf-160var-1280cl.5	FAIL	900.99
5qbf-5cnf-80var-640cl.2	FAIL	900.99
5qbf-5cnf-160var-320cl.0	FAIL	900.99
6qbf-5cnf-80var-640cl.7	FAIL	900.99
ncf_4_8_8_edau.2	FAIL	900.99
ncf_4_32_2_edau.8	FAIL	900.99
6qbf-5cnf-80var-160cl.9	FAIL	900.99
4qbf-5cnf-40var-640cl.0	FAIL	900.99
ncf_16_128_8_d.4	FAIL	900.99
4qbf-5cnf-160var-2560cl.5	FAIL	900.99
ncf_16_128_2_u.9	FAIL	900.99
4qbf-5cnf-160var-640cl.6	FAIL	900.99
4qbf-5cnf-40var-160cl.0	FAIL	900.99
ncf_4_32_8_edau.1	FAIL	900.99
5qbf-5cnf-80var-640cl.3	FAIL	900.99
5qbf-5cnf-40var-160cl.8	FAIL	900.99
5qbf-5cnf-160var-2560cl.6	FAIL	900.99
ncf_4_32_2_u.9	FAIL	900.99
renHorn_400CNF1280_2aQBF_62	FAIL	900.99
5qbf-5cnf-80var-2560cl.4	FAIL	900.99
6qbf-5cnf-160var-2560cl.7	FAIL	900.99
4qbf-5cnf-20var-40cl.4	FAIL	900.99
ncf_4_8_8_edau.10	FAIL	900.99
3qbf-5cnf-40var-80cl.1	FAIL	900.99
ncf_4_8_8_u.4	FAIL	900.99
ncf_8_64_4_d.10	FAIL	900.99
renHorn_400CNF2120_2aQBF_21	FAIL	900.99
renHorn_400CNF2120_2aQBF_31	FAIL	900.99
ncf_4_8_4_euad.4	FAIL	900.99
ncf_4_16_2_edau.3	FAIL	900.99
horn_400CNF1760_2aQBF_711	FAIL	900.99
ncf_8_64_2_euad.3	FAIL	900.99
ncf_4_8_8_euad.2	FAIL	900.99
4qbf-5cnf-80var-640cl.4	FAIL	900.99
4qbf-5cnf-80var-320cl.8	FAIL	900.99
4qbf-5cnf-80var-160cl.2	FAIL	900.99
6qbf-5cnf-80var-640cl.4	FAIL	900.99
ncf_4_32_4_edau.3	FAIL	900.99
4qbf-5cnf-160var-1280cl.7	FAIL	900.99
ncf_4_16_8_edau.1	FAIL	900.99
ncf_8_16_8_u.6	FAIL	900.99
ncf_16_32_8_u.9	FAIL	900.99
6qbf-5cnf-160var-5120cl.0	FAIL	900.99
k_branch_n-16	FAIL	900.99
4qbf-5cnf-80var-1280cl.4	FAIL	900.99
6qbf-5cnf-40var-1280cl.4	FAIL	900.99
k_grz_p-20	FAIL	900.99
ncf_4_32_4_edau.1	FAIL	900.99
ncf_8_32_8_euad.8	FAIL	900.99
6qbf-5cnf-160var-2560cl.3	FAIL	900.99
ncf_4_32_8_edau.5	FAIL	900.99
ncf_8_32_2_d.9	FAIL	900.99
robots_1_5_4_24.8	FAIL	900.99
4qbf-5cnf-40var-80cl.9	FAIL	900.99
2qbf-5cnf-160var-1280cl.5	FAIL	900.99
ncf_16_64_8_edau.7	FAIL	900.99
horn_400CNF2080_2aQBF_793	FAIL	900.99
k_branch_p-8	FAIL	900.99
C499.blif_0.10_0.20_0_0_out_exact	FAIL	900.99
5qbf-5cnf-20var-80cl.7	FAIL	900.99
k_path_n-21	FAIL	900.99
4qbf-5cnf-20var-80cl.2	FAIL	900.99
5qbf-5cnf-20var-160cl.9	FAIL	900.99
4qbf-5cnf-80var-1280cl.2	FAIL	900.99
ncf_4_16_8_edau.4	FAIL	900.99
4qbf-5cnf-40var-640cl.6	FAIL	900.99
2qbf-5cnf-80var-160cl.1	FAIL	900.99
ncf_16_32_4_u.4	FAIL	900.99
ncf_4_8_2_u.6	FAIL	900.99
BLOCKS3i.5.3	FAIL	900.99
ncf_8_32_2_u.3	FAIL	900.99
k_grz_n-21	FAIL	900.99
2qbf-5cnf-160var-1280cl.9	FAIL	900.99
6qbf-5cnf-40var-160cl.2	FAIL	900.99
ncf_8_16_8_edau.1	FAIL	900.99
ncf_8_64_8_edau.2	FAIL	900.99
3qbf-5cnf-160var-320cl.7	FAIL	900.99
3qbf-5cnf-80var-1280cl.8	FAIL	900.99
ncf_16_128_2_euad.4	FAIL	900.99
renHorn_400CNF1960_2aQBF_79	FAIL	900.99
3qbf-5cnf-160var-640cl.2	FAIL	900.99
4qbf-5cnf-40var-320cl.5	FAIL	900.99
ncf_16_64_8_euad.2	FAIL	900.99
ncf_8_32_4_u.4	FAIL	900.99
6qbf-5cnf-160var-2560cl.6	FAIL	900.99
2qbf-5cnf-80var-160cl.4	FAIL	900.99
3qbf-5cnf-80var-320cl.6	FAIL	900.99
ncf_16_64_8_d.1	FAIL	900.99
5qbf-5cnf-160var-2560cl.1	FAIL	900.99
5qbf-5cnf-160var-640cl.5	FAIL	900.99
k_grz_p-8	FAIL	900.99
ncf_4_8_2_euad.10	FAIL	900.99
renHorn_400CNF1480_2aQBF_92	FAIL	900.99
4qbf-5cnf-80var-640cl.1	FAIL	900.99
4qbf-5cnf-20var-40cl.7	FAIL	900.99
4qbf-5cnf-160var-1280cl.6	FAIL	900.99
ncf_4_32_4_u.6	FAIL	900.99
6qbf-5cnf-160var-320cl.7	FAIL	900.99
ncf_8_32_8_u.3	FAIL	900.99
ncf_8_16_4_edau.7	FAIL	900.99
ncf_4_8_4_edau.9	FAIL	900.99
ncf_4_8_8_edau.9	FAIL	900.99
4qbf-5cnf-160var-1280cl.0	FAIL	900.99
3qbf-5cnf-160var-320cl.3	FAIL	900.99
2qbf-5cnf-160var-5120cl.8	FAIL	900.99
ncf_8_16_4_edau.3	FAIL	900.99
ncf_4_8_8_d.4	FAIL	900.99
5qbf-5cnf-160var-1280cl.4	FAIL	900.99
6qbf-5cnf-20var-160cl.1	FAIL	900.99
6qbf-5cnf-160var-640cl.3	FAIL	900.99
renHorn_400CNF1560_2aQBF_72	FAIL	900.99
ncf_4_16_8_edau.2	FAIL	900.99
3qbf-5cnf-160var-1280cl.6	FAIL	900.99
ncf_4_8_8_edau.8	FAIL	900.99
1qbf-5cnf-160var-5120cl.1	FAIL	900.99
6qbf-5cnf-20var-80cl.5	FAIL	900.99
1qbf-5cnf-160var-5120cl.4	FAIL	900.99
4qbf-5cnf-20var-40cl.3	FAIL	900.99
1qbf-5cnf-160var-5120cl.8	FAIL	900.99
5qbf-5cnf-40var-80cl.1	FAIL	900.99
1qbf-5cnf-160var-5120cl.7	FAIL	900.99
ncf_8_64_2_euad.1	FAIL	901
ncf_16_64_8_edau.6	FAIL	901
6qbf-5cnf-80var-2560cl.8	FAIL	901
3qbf-5cnf-80var-320cl.1	FAIL	901
ncf_4_16_8_edau.9	FAIL	901
3qbf-5cnf-40var-160cl.7	FAIL	901
ncf_16_64_8_d.4	FAIL	901
ncf_16_128_2_euad.7	FAIL	901
5qbf-5cnf-80var-320cl.4	FAIL	901
ncf_8_16_2_u.9	FAIL	901
4qbf-5cnf-160var-2560cl.0	FAIL	901
ncf_16_64_4_edau.7	FAIL	901
6qbf-5cnf-40var-1280cl.5	FAIL	901
6qbf-5cnf-40var-320cl.5	FAIL	901
ncf_8_16_4_u.9	FAIL	901
ncf_4_32_8_edau.8	FAIL	901
k_grz_p-16	FAIL	901
ncf_4_16_8_edau.8	FAIL	901
4qbf-5cnf-20var-80cl.4	FAIL	901
4qbf-5cnf-20var-80cl.8	FAIL	901
ncf_4_32_4_u.5	FAIL	901
2qbf-5cnf-80var-160cl.5	FAIL	901
6qbf-5cnf-160var-1280cl.5	FAIL	901
ncf_8_16_2_edau.5	FAIL	901
k_path_p-16	FAIL	901
6qbf-5cnf-80var-2560cl.5	FAIL	901
ncf_8_16_8_u.3	FAIL	901
ncf_4_32_8_edau.3	FAIL	901
6qbf-5cnf-40var-160cl.6	FAIL	901
6qbf-5cnf-20var-40cl.9	FAIL	901
4qbf-5cnf-20var-80cl.5	FAIL	901
3qbf-5cnf-160var-2560cl.0	FAIL	901
4qbf-5cnf-40var-320cl.2	FAIL	901
4qbf-5cnf-80var-1280cl.7	FAIL	901
5qbf-5cnf-80var-640cl.0	FAIL	901
6qbf-5cnf-20var-320cl.5	FAIL	901
ncf_8_16_8_edau.6	FAIL	901
k_d4_p-20	FAIL	901
6qbf-5cnf-160var-640cl.2	FAIL	901
renHorn_400CNF2280_2aQBF_67	FAIL	901
4qbf-5cnf-40var-160cl.7	FAIL	901
3qbf-5cnf-80var-160cl.1	FAIL	901
adder-8-unsat	FAIL	901
5qbf-5cnf-20var-80cl.4	FAIL	901
4qbf-5cnf-80var-160cl.6	FAIL	901
k_branch_n-12	FAIL	901
ncf_8_16_4_u.4	FAIL	901
5qbf-5cnf-20var-80cl.2	FAIL	901
ncf_8_64_4_d.9	FAIL	901
ncf_16_64_4_edau.5	FAIL	901
ncf_4_16_8_u.3	FAIL	901
ncf_8_32_8_edau.5	FAIL	901
ncf_16_32_8_edau.8	FAIL	901
k_d4_n-21	FAIL	901
6qbf-5cnf-40var-160cl.1	FAIL	901
6qbf-5cnf-40var-1280cl.0	FAIL	901
Adder2-16-c	FAIL	901
6qbf-5cnf-80var-640cl.5	FAIL	901
ncf_16_64_8_edau.8	FAIL	901
horn_400CNF2320_2aQBF_230	FAIL	901
6qbf-5cnf-20var-160cl.8	FAIL	901
3qbf-5cnf-160var-2560cl.5	FAIL	901
ncf_4_8_8_u.6	FAIL	901
BLOCKS4ii.6.3	FAIL	901
6qbf-5cnf-160var-320cl.5	FAIL	901
ncf_8_16_2_u.10	FAIL	901
ncf_4_8_8_d.1	FAIL	901
ncf_16_64_8_d.6	FAIL	901
BLOCKS4iii.6	FAIL	901
5qbf-5cnf-160var-1280cl.8	FAIL	901
5qbf-5cnf-20var-40cl.5	FAIL	901
ncf_4_32_8_edau.7	FAIL	901
ncf_8_16_8_u.2	FAIL	901
horn_400CNF2160_2aQBF_976	FAIL	901
4qbf-5cnf-80var-320cl.1	FAIL	901
ncf_4_8_8_edau.5	FAIL	901
ncf_4_8_2_euad.9	FAIL	901
6qbf-5cnf-80var-1280cl.1	FAIL	901
renHorn_400CNF2200_2aQBF_22	FAIL	901
BLOCKS4ii.7.2	FAIL	901
3qbf-5cnf-80var-320cl.7	FAIL	901
2qbf-5cnf-80var-160cl.7	FAIL	901
2qbf-5cnf-160var-320cl.5	FAIL	901
4qbf-5cnf-80var-320cl.5	FAIL	901
ncf_8_16_8_edau.9	FAIL	901
ncf_8_16_4_u.2	FAIL	901
6qbf-5cnf-80var-320cl.6	FAIL	901
ncf_16_32_8_edau.4	FAIL	901
3qbf-5cnf-160var-1280cl.4	FAIL	901
ncf_16_128_4_d.2	FAIL	901
3qbf-5cnf-80var-1280cl.5	FAIL	901
4qbf-5cnf-80var-1280cl.6	FAIL	901
ncf_4_32_8_u.10	FAIL	901
ncf_16_32_8_edau.6	FAIL	901
ncf_8_64_8_euad.9	FAIL	901
renHorn_400CNF2360_2aQBF_88	FAIL	901
ncf_8_16_4_edau.9	FAIL	901
5qbf-5cnf-20var-320cl.2	FAIL	901
3qbf-5cnf-40var-160cl.0	FAIL	901
k_poly_n-20	FAIL	901
k_path_n-8	FAIL	901
tree-exa2-25	FAIL	901
6qbf-5cnf-20var-40cl.6	FAIL	901
ncf_8_16_8_u.4	FAIL	901
adder-6-unsat	FAIL	901
5qbf-5cnf-160var-5120cl.1	FAIL	901
2qbf-5cnf-80var-160cl.2	FAIL	901
ncf_4_8_8_euad.8	FAIL	901
ncf_8_16_2_edau.10	FAIL	901
3qbf-5cnf-40var-80cl.3	FAIL	901
4qbf-5cnf-160var-320cl.0	FAIL	901
ncf_8_64_8_edau.10	FAIL	901
4qbf-5cnf-80var-160cl.3	FAIL	901
ncf_16_32_8_edau.1	FAIL	901
ncf_4_8_4_edau.7	FAIL	901
5qbf-5cnf-160var-5120cl.5	FAIL	901
6qbf-5cnf-20var-320cl.7	FAIL	901
ncf_8_32_4_edau.1	FAIL	901
3qbf-5cnf-80var-160cl.8	FAIL	901
ncf_8_64_8_euad.8	FAIL	901
C5315.blif_0.10_1.00_0_0_out_exact	FAIL	901
ncf_8_16_4_euad.4	FAIL	901
renHorn_400CNF1200_2aQBF_97	FAIL	901
renHorn_400CNF1280_2aQBF_7	FAIL	901
5qbf-5cnf-40var-80cl.5	FAIL	901
adder-10-unsat	FAIL	901
ncf_4_32_2_u.4	FAIL	901
4qbf-5cnf-40var-160cl.8	FAIL	901
ncf_4_32_4_u.9	FAIL	901
ncf_16_128_8_d.8	FAIL	901
6qbf-5cnf-80var-320cl.9	FAIL	901
5qbf-5cnf-160var-5120cl.7	FAIL	901
k_d4_n-12	FAIL	901
3qbf-5cnf-160var-320cl.1	FAIL	901
ncf_4_32_2_u.3	FAIL	901
3qbf-5cnf-160var-2560cl.7	FAIL	901
6qbf-5cnf-40var-640cl.0	FAIL	901
4qbf-5cnf-40var-640cl.5	FAIL	901
k_t4p_n-8	FAIL	901
ncf_8_64_2_d.1	FAIL	901
6qbf-5cnf-40var-320cl.4	FAIL	901
ncf_4_16_2_u.5	FAIL	901
ncf_4_32_8_u.2	FAIL	901
6qbf-5cnf-20var-160cl.0	FAIL	901
ncf_16_64_4_edau.9	FAIL	901
6qbf-5cnf-20var-320cl.0	FAIL	901
6qbf-5cnf-80var-2560cl.0	FAIL	901
ncf_16_128_8_edau.7	FAIL	901
2qbf-5cnf-160var-320cl.7	FAIL	901
6qbf-5cnf-160var-5120cl.2	FAIL	901
5qbf-5cnf-40var-80cl.4	FAIL	901
4qbf-5cnf-40var-80cl.3	FAIL	901
ncf_4_8_2_edau.9	FAIL	901
k_t4p_n-12	FAIL	901
5qbf-5cnf-40var-80cl.2	FAIL	901
2qbf-5cnf-160var-320cl.9	FAIL	901
ncf_8_16_4_u.3	FAIL	901
6qbf-5cnf-160var-2560cl.2	FAIL	901
ncf_8_16_8_edau.7	FAIL	901
Adder2-14-s	FAIL	901
ncf_4_16_2_edau.1	FAIL	901
6qbf-5cnf-40var-1280cl.3	FAIL	901
ncf_4_16_4_u.7	FAIL	901
tree-exa2-20	FAIL	901
4qbf-5cnf-80var-320cl.6	FAIL	901
2qbf-5cnf-160var-1280cl.4	FAIL	901
k_grz_n-16	FAIL	901
ncf_8_64_4_edau.3	FAIL	901
ncf_8_64_4_edau.1	FAIL	901
ncf_4_32_8_u.1	FAIL	901
ncf_16_128_4_euad.6	FAIL	901
ncf_8_16_8_edau.10	FAIL	901
renHorn_400CNF1360_2aQBF_22	FAIL	901
C5315.blif_0.10_0.20_0_0_out_exact	FAIL	901
renHorn_400CNF1640_2aQBF_79	FAIL	901
ncf_4_32_4_edau.9	FAIL	901
ncf_8_16_8_edau.5	FAIL	901
ncf_4_32_8_edau.9	FAIL	901
5qbf-5cnf-160var-2560cl.0	FAIL	901
ncf_16_32_4_euad.6	FAIL	901
ncf_8_32_4_u.6	FAIL	901
ncf_8_16_4_u.6	FAIL	901
3qbf-5cnf-40var-160cl.8	FAIL	901
BLOCKS3i.4.4	FAIL	901
ncf_8_16_4_edau.1	FAIL	901
5qbf-5cnf-20var-80cl.1	FAIL	901
ncf_4_8_8_u.5	FAIL	901
renHorn_400CNF1800_2aQBF_5	FAIL	901
5qbf-5cnf-40var-160cl.4	FAIL	901
ncf_16_128_4_euad.5	FAIL	901
k_poly_n-16	FAIL	901
2qbf-5cnf-80var-320cl.4	FAIL	901
6qbf-5cnf-40var-80cl.2	FAIL	901
ncf_8_32_2_u.8	FAIL	901
k_t4p_p-16	FAIL	901
k_d4_p-12	FAIL	901
5qbf-5cnf-80var-160cl.5	FAIL	901
ncf_4_32_2_u.10	FAIL	901
ncf_4_32_4_edau.5	FAIL	901
ncf_16_32_4_edau.7	FAIL	901
k_grz_n-12	FAIL	901
ncf_16_128_4_d.7	FAIL	901
renHorn_400CNF1960_2aQBF_35	FAIL	901
6qbf-5cnf-160var-1280cl.6	FAIL	901
ncf_16_32_8_edau.9	FAIL	901
ncf_16_64_8_d.3	FAIL	901
4qbf-5cnf-160var-2560cl.1	FAIL	901
5qbf-5cnf-160var-1280cl.0	FAIL	901
6qbf-5cnf-80var-320cl.0	FAIL	901
5qbf-5cnf-160var-320cl.3	FAIL	901
tree-exa2-50	FAIL	901
ncf_8_64_4_euad.2	FAIL	901
ncf_8_64_8_edau.5	FAIL	901
4qbf-5cnf-40var-640cl.7	FAIL	901
5qbf-5cnf-80var-1280cl.0	FAIL	901
ncf_8_64_8_edau.6	FAIL	901
ncf_4_32_4_edau.10	FAIL	901
4qbf-5cnf-20var-80cl.1	FAIL	901
6qbf-5cnf-160var-1280cl.2	FAIL	901
ncf_4_16_2_u.8	FAIL	901
5qbf-5cnf-160var-640cl.6	FAIL	901
ncf_4_32_8_edau.10	FAIL	901
6qbf-5cnf-80var-1280cl.0	FAIL	901
ncf_8_32_2_u.6	FAIL	901
ncf_4_16_2_edau.9	FAIL	901
ncf_4_8_4_u.5	FAIL	901
6qbf-5cnf-40var-160cl.3	FAIL	901
6qbf-5cnf-160var-640cl.9	FAIL	901
ncf_16_64_8_edau.5	FAIL	901
5qbf-5cnf-20var-40cl.6	FAIL	901
ncf_8_32_8_edau.3	FAIL	901
4qbf-5cnf-20var-160cl.3	FAIL	901
5qbf-5cnf-160var-1280cl.7	FAIL	901
ncf_4_32_2_u.6	FAIL	901
4qbf-5cnf-40var-160cl.5	FAIL	901
ncf_16_64_2_d.6	FAIL	901
5qbf-5cnf-20var-160cl.1	FAIL	901
ncf_4_32_8_u.9	FAIL	901
5qbf-5cnf-80var-160cl.4	FAIL	901
5qbf-5cnf-20var-40cl.8	FAIL	901
4qbf-5cnf-160var-2560cl.2	FAIL	901
ncf_8_32_8_edau.2	FAIL	901
5qbf-5cnf-40var-160cl.2	FAIL	901
renHorn_400CNF2200_2aQBF_48	FAIL	901
ncf_4_16_4_u.8	FAIL	901
4qbf-5cnf-80var-1280cl.1	FAIL	901
3qbf-5cnf-40var-160cl.1	FAIL	901
6qbf-5cnf-40var-640cl.6	FAIL	901
ncf_4_8_4_edau.10	FAIL	901
6qbf-5cnf-160var-5120cl.1	FAIL	901
ncf_8_32_8_u.8	FAIL	901
ncf_16_128_4_d.3	FAIL	901
6qbf-5cnf-80var-640cl.3	FAIL	901
6qbf-5cnf-160var-2560cl.4	FAIL	901
2qbf-5cnf-80var-160cl.0	FAIL	901
4qbf-5cnf-160var-1280cl.3	FAIL	901
ncf_4_16_8_edau.7	FAIL	901
ncf_4_16_8_u.9	FAIL	901
5qbf-5cnf-160var-1280cl.3	FAIL	901
ncf_4_32_8_d.8	FAIL	901
ncf_8_32_8_edau.10	FAIL	901
horn_400CNF2000_2aQBF_577	FAIL	901
ncf_8_32_2_edau.8	FAIL	901
ncf_8_32_8_edau.1	FAIL	901
Adder2-8-c	FAIL	901
6qbf-5cnf-40var-640cl.7	FAIL	901
6qbf-5cnf-160var-5120cl.4	FAIL	901
3qbf-5cnf-160var-1280cl.2	FAIL	901
4qbf-5cnf-160var-2560cl.6	FAIL	901
4qbf-5cnf-80var-640cl.0	FAIL	901
5qbf-5cnf-160var-1280cl.2	FAIL	901
3qbf-5cnf-80var-160cl.3	FAIL	901
4qbf-5cnf-160var-640cl.5	FAIL	901
3qbf-5cnf-80var-640cl.1	FAIL	901
ncf_4_8_2_edau.8	FAIL	901
4qbf-5cnf-160var-320cl.2	FAIL	901
4qbf-5cnf-40var-320cl.3	FAIL	901
ncf_8_64_8_edau.3	FAIL	901
ncf_16_64_8_edau.9	FAIL	901
5qbf-5cnf-160var-5120cl.4	FAIL	901
ncf_4_16_4_edau.8	FAIL	901
4qbf-5cnf-20var-80cl.7	FAIL	901
4qbf-5cnf-80var-640cl.7	FAIL	901
6qbf-5cnf-160var-2560cl.9	FAIL	901
ncf_4_8_4_u.8	FAIL	901
6qbf-5cnf-40var-160cl.4	FAIL	901
ncf_4_8_4_u.7	FAIL	901
6qbf-5cnf-160var-640cl.7	FAIL	901
ncf_8_32_8_edau.8	FAIL	901
k_path_p-20	FAIL	901
adder-12-sat	FAIL	901
ncf_4_8_4_edau.1	FAIL	901
ncf_8_16_8_u.7	FAIL	901
k_poly_p-16	FAIL	901
5qbf-5cnf-40var-320cl.9	FAIL	901
6qbf-5cnf-80var-2560cl.4	FAIL	901
ncf_8_16_8_edau.8	FAIL	901
4qbf-5cnf-160var-2560cl.4	FAIL	901
ncf_4_8_8_euad.1	FAIL	901
6qbf-5cnf-160var-1280cl.7	FAIL	901
6qbf-5cnf-160var-640cl.1	FAIL	901
ncf_8_16_8_edau.4	FAIL	901
ncf_16_32_8_edau.3	FAIL	901
5qbf-5cnf-160var-5120cl.2	FAIL	901
renHorn_400CNF1480_2aQBF_99	FAIL	901
ncf_8_16_2_edau.9	FAIL	901
ncf_8_16_4_edau.4	FAIL	901
k_path_p-21	FAIL	901
3qbf-5cnf-160var-5120cl.3	FAIL	901
tree-exa2-30	FAIL	901
ncf_4_32_8_u.8	FAIL	901
ncf_8_16_4_edau.6	FAIL	901
ncf_8_16_4_u.10	FAIL	901
2qbf-5cnf-80var-160cl.8	FAIL	901
2qbf-5cnf-160var-320cl.4	FAIL	901
ncf_16_32_4_edau.4	FAIL	901
ncf_16_32_4_edau.5	FAIL	901
6qbf-5cnf-160var-1280cl.1	FAIL	901
k_path_n-12	FAIL	901
6qbf-5cnf-80var-1280cl.7	FAIL	901
5qbf-5cnf-160var-1280cl.9	FAIL	901
6qbf-5cnf-40var-80cl.0	FAIL	901
ncf_4_8_4_edau.8	FAIL	901
renHorn_400CNF1800_2aQBF_2	FAIL	901
6qbf-5cnf-40var-1280cl.2	FAIL	901
ncf_4_32_2_edau.2	FAIL	901
5qbf-5cnf-20var-80cl.6	FAIL	901
4qbf-5cnf-20var-160cl.8	FAIL	901
horn_400CNF1360_2aQBF_130	FAIL	901
5qbf-5cnf-160var-320cl.4	FAIL	901
6qbf-5cnf-160var-320cl.3	FAIL	901
horn_400CNF1920_2aQBF_597	FAIL	901
4qbf-5cnf-20var-160cl.7	FAIL	901
6qbf-5cnf-160var-640cl.5	FAIL	901
ncf_8_16_8_edau.2	FAIL	901
renHorn_400CNF1640_2aQBF_18	FAIL	901
6qbf-5cnf-40var-320cl.8	FAIL	901
5qbf-5cnf-80var-320cl.2	FAIL	901
5qbf-5cnf-160var-2560cl.7	FAIL	901
2qbf-5cnf-160var-5120cl.4	FAIL	901
ncf_4_16_2_edau.8	FAIL	901
4qbf-5cnf-160var-1280cl.4	FAIL	901
ncf_16_128_2_euad.8	FAIL	901
6qbf-5cnf-160var-1280cl.3	FAIL	901
ncf_4_32_8_u.4	FAIL	901
6qbf-5cnf-40var-80cl.6	FAIL	901
6qbf-5cnf-80var-160cl.8	FAIL	901
horn_400CNF1920_2aQBF_704	FAIL	901
5qbf-5cnf-160var-1280cl.6	FAIL	901
6qbf-5cnf-40var-80cl.1	FAIL	901
4qbf-5cnf-160var-1280cl.5	FAIL	901
6qbf-5cnf-160var-640cl.0	FAIL	901
renHorn_400CNF1720_2aQBF_71	FAIL	901
k_branch_n-8	FAIL	901
6qbf-5cnf-20var-80cl.3	FAIL	901
6qbf-5cnf-80var-1280cl.4	FAIL	901
5qbf-5cnf-80var-1280cl.8	FAIL	901
4qbf-5cnf-160var-640cl.7	FAIL	901
6qbf-5cnf-20var-80cl.9	FAIL	901
5qbf-5cnf-20var-320cl.8	FAIL	901
Adder2-10-s	FAIL	901
5qbf-5cnf-160var-2560cl.3	FAIL	901
ncf_4_16_4_u.6	FAIL	901
Adder2-6-c	FAIL	901
5qbf-5cnf-20var-40cl.1	FAIL	901
6qbf-5cnf-160var-5120cl.3	FAIL	901
ncf_4_32_4_u.4	FAIL	901
ncf_8_16_4_u.8	FAIL	901
5qbf-5cnf-160var-2560cl.2	FAIL	901
ncf_8_32_8_edau.7	FAIL	901
ncf_4_8_4_euad.7	FAIL	901
ncf_8_32_8_u.7	FAIL	901
renHorn_400CNF2040_2aQBF_59	FAIL	901
6qbf-5cnf-80var-1280cl.9	FAIL	901
adder-16-unsat	FAIL	901
ncf_4_8_4_u.3	FAIL	901
ncf_8_16_2_u.3	FAIL	901
ncf_16_64_4_u.1	FAIL	901
ncf_4_32_4_edau.4	FAIL	901
ncf_16_64_8_edau.4	FAIL	901
ncf_16_128_4_euad.7	FAIL	901
6qbf-5cnf-20var-160cl.2	FAIL	901
2qbf-5cnf-160var-640cl.9	FAIL	901
ncf_8_64_2_euad.7	FAIL	901
4qbf-5cnf-160var-1280cl.1	FAIL	901
tree-exa2-35	FAIL	901
6qbf-5cnf-80var-2560cl.2	FAIL	901
ncf_4_32_2_u.5	FAIL	901
ncf_16_32_8_edau.10	FAIL	901
6qbf-5cnf-20var-160cl.3	FAIL	901
5qbf-5cnf-40var-640cl.4	FAIL	901
ncf_4_16_4_edau.3	FAIL	901
k_poly_n-21	FAIL	901
6qbf-5cnf-20var-40cl.5	FAIL	901
3qbf-5cnf-160var-320cl.6	FAIL	901
6qbf-5cnf-80var-160cl.6	FAIL	901
renHorn_400CNF2200_2aQBF_79	FAIL	901
4qbf-5cnf-80var-160cl.9	FAIL	901
ncf_16_128_8_edau.8	FAIL	901
4qbf-5cnf-80var-1280cl.9	FAIL	901
5qbf-5cnf-80var-2560cl.0	FAIL	901
3qbf-5cnf-80var-160cl.5	FAIL	901
ncf_4_8_4_u.10	FAIL	901
6qbf-5cnf-160var-2560cl.5	FAIL	901
ncf_8_64_8_edau.4	FAIL	901
3qbf-5cnf-160var-640cl.5	FAIL	901
ncf_4_16_2_u.9	FAIL	901
ncf_4_8_4_u.4	FAIL	901
ncf_16_128_2_d.7	FAIL	901
ncf_4_8_8_edau.7	FAIL	901
ncf_16_64_8_edau.2	FAIL	901
ncf_16_32_4_edau.6	FAIL	901
6qbf-5cnf-160var-1280cl.8	FAIL	901
ncf_4_16_8_u.1	FAIL	901
ncf_8_16_4_edau.8	FAIL	901
5qbf-5cnf-40var-640cl.0	FAIL	901
3qbf-5cnf-80var-320cl.5	FAIL	901
2qbf-5cnf-160var-640cl.1	FAIL	901
ncf_8_32_4_edau.2	FAIL	901
ncf_16_32_4_edau.8	FAIL	901
ncf_16_32_8_edau.2	FAIL	901
ncf_4_8_8_u.3	FAIL	901
ncf_4_8_4_euad.10	FAIL	901
ncf_4_8_8_edau.4	FAIL	901
ncf_4_8_4_u.2	FAIL	901
ncf_4_16_8_edau.6	FAIL	901
ncf_4_32_8_edau.2	FAIL	901
4qbf-5cnf-160var-320cl.7	FAIL	901
6qbf-5cnf-80var-1280cl.8	FAIL	901
6qbf-5cnf-20var-40cl.4	FAIL	901
1qbf-5cnf-160var-5120cl.9	FAIL	901
1qbf-5cnf-160var-5120cl.0	FAIL	901
1qbf-5cnf-160var-5120cl.6	FAIL	901
5qbf-5cnf-80var-160cl.3	FAIL	901
1qbf-5cnf-160var-5120cl.2	FAIL	901
ncf_8_16_2_edau.8	FAIL	901.01
6qbf-5cnf-40var-640cl.9	FAIL	901.01
6qbf-5cnf-160var-5120cl.8	FAIL	901.01
2qbf-5cnf-160var-320cl.2	FAIL	901.01
ncf_16_128_2_d.1	FAIL	901.01
6qbf-5cnf-40var-320cl.6	FAIL	901.01
ncf_4_16_4_d.9	FAIL	901.01
tree-exa2-45	FAIL	901.01
3qbf-5cnf-160var-2560cl.8	FAIL	901.01
ncf_8_16_2_edau.6	FAIL	901.01
ncf_8_32_2_edau.1	FAIL	901.01
ncf_16_128_8_d.3	FAIL	901.01
3qbf-5cnf-40var-160cl.5	FAIL	901.01
3qbf-5cnf-160var-1280cl.7	FAIL	901.01
ncf_4_16_8_edau.5	FAIL	901.01
renHorn_400CNF2360_2aQBF_58	FAIL	901.01
3qbf-5cnf-160var-2560cl.4	FAIL	901.01
5qbf-5cnf-40var-640cl.7	FAIL	901.01
BLOCKS3i.5.4	FAIL	901.01
ncf_4_16_4_edau.6	FAIL	901.01
ncf_4_32_8_u.5	FAIL	901.01
ncf_4_32_2_u.7	FAIL	901.01
4qbf-5cnf-80var-1280cl.5	FAIL	901.01
ncf_4_8_8_edau.3	FAIL	901.01
ncf_4_8_8_u.9	FAIL	901.01
6qbf-5cnf-40var-160cl.5	FAIL	901.01
4qbf-5cnf-160var-2560cl.7	FAIL	901.01
Adder2-12-c	FAIL	901.01
ncf_4_32_4_d.5	FAIL	901.01
4qbf-5cnf-160var-2560cl.8	FAIL	901.01
3qbf-5cnf-80var-160cl.0	FAIL	901.01
4qbf-5cnf-20var-40cl.8	FAIL	901.01
ncf_16_128_4_edau.5	FAIL	901.01
6qbf-5cnf-80var-2560cl.1	FAIL	901.01
6qbf-5cnf-80var-320cl.2	FAIL	901.01
4qbf-5cnf-40var-80cl.0	FAIL	901.01
Adder2-10-c	FAIL	901.01
6qbf-5cnf-80var-640cl.2	FAIL	901.01
4qbf-5cnf-40var-160cl.1	FAIL	901.01
5qbf-5cnf-80var-640cl.6	FAIL	901.01
6qbf-5cnf-40var-1280cl.6	FAIL	901.01
k_d4_p-16	FAIL	901.01
ncf_4_16_2_edau.6	FAIL	901.01
ncf_8_64_8_edau.1	FAIL	901.01
ncf_8_16_2_u.2	FAIL	901.01
ncf_8_16_2_u.8	FAIL	901.01
ncf_4_32_4_u.3	FAIL	901.01
k_d4_p-21	FAIL	901.01
6qbf-5cnf-160var-320cl.9	FAIL	901.01
ncf_8_16_8_u.8	FAIL	901.01
4qbf-5cnf-160var-1280cl.9	FAIL	901.01
ncf_8_32_8_edau.6	FAIL	901.01
6qbf-5cnf-40var-80cl.9	FAIL	901.01
ncf_16_64_2_u.4	FAIL	901.01
5qbf-5cnf-80var-1280cl.6	FAIL	901.01
5qbf-5cnf-20var-40cl.2	FAIL	901.01
ncf_8_32_8_edau.9	FAIL	901.01
horn_400CNF2160_2aQBF_407	FAIL	901.01
4qbf-5cnf-40var-640cl.2	FAIL	901.01
renHorn_400CNF1960_2aQBF_50	FAIL	901.01
6qbf-5cnf-20var-80cl.8	FAIL	901.01
6qbf-5cnf-20var-160cl.5	FAIL	901.01
ncf_4_8_2_euad.3	FAIL	901.01
ncf_8_16_2_edau.2	FAIL	901.01
6qbf-5cnf-20var-80cl.2	FAIL	901.01
ncf_4_8_8_u.7	FAIL	901.01
5qbf-5cnf-80var-640cl.9	FAIL	901.01
3qbf-5cnf-160var-320cl.9	FAIL	901.01
2qbf-5cnf-160var-320cl.1	FAIL	901.01
5qbf-5cnf-160var-2560cl.9	FAIL	901.01
6qbf-5cnf-80var-1280cl.6	FAIL	901.01
4qbf-5cnf-80var-160cl.5	FAIL	901.01
5qbf-5cnf-80var-1280cl.7	FAIL	901.01
ncf_4_32_2_u.1	FAIL	901.01
ncf_8_16_2_u.6	FAIL	901.01
ncf_4_32_2_edau.10	FAIL	901.01
5qbf-5cnf-80var-640cl.1	FAIL	901.01
2qbf-5cnf-80var-160cl.3	FAIL	901.01
ncf_4_8_4_edau.4	FAIL	901.01
C5315.blif_0.10_0.20_0_1_out_exact	FAIL	901.01
ncf_4_8_8_d.3	FAIL	901.01
4qbf-5cnf-40var-80cl.1	FAIL	901.01
6qbf-5cnf-80var-1280cl.5	FAIL	901.01
3qbf-5cnf-160var-640cl.6	FAIL	901.01
6qbf-5cnf-80var-2560cl.7	FAIL	901.01
5qbf-5cnf-20var-160cl.2	FAIL	901.01
k_path_p-12	FAIL	901.01
3qbf-5cnf-40var-80cl.4	FAIL	901.01
2qbf-5cnf-160var-1280cl.6	FAIL	901.01
6qbf-5cnf-40var-80cl.8	FAIL	901.01
renHorn_400CNF2120_2aQBF_17	FAIL	901.01
k_poly_p-12	FAIL	901.01
renHorn_400CNF2120_2aQBF_84	FAIL	901.01
k_path_n-20	FAIL	901.01
k_poly_n-12	FAIL	901.01
ncf_16_32_8_edau.5	FAIL	901.01
ncf_4_16_4_edau.4	FAIL	901.01
adder-12-unsat	FAIL	901.01
ncf_16_32_4_euad.5	FAIL	901.01
3qbf-5cnf-40var-80cl.5	FAIL	901.01
ncf_4_8_4_edau.3	FAIL	901.01
2qbf-5cnf-160var-640cl.7	FAIL	901.01
renHorn_400CNF2360_2aQBF_97	FAIL	901.01
ncf_16_128_2_edau.10	FAIL	901.01
ncf_8_16_8_u.9	FAIL	901.01
renHorn_400CNF2120_2aQBF_19	FAIL	901.01
Adder2-8-s	FAIL	901.01
4qbf-5cnf-80var-320cl.4	FAIL	901.01
6qbf-5cnf-160var-2560cl.0	FAIL	901.01
5qbf-5cnf-40var-640cl.8	FAIL	901.01
renHorn_400CNF1880_2aQBF_19	FAIL	901.01
ncf_4_8_8_d.2	FAIL	901.01
5qbf-5cnf-80var-1280cl.2	FAIL	901.01
5qbf-5cnf-160var-320cl.9	FAIL	901.01
ncf_4_8_8_edau.6	FAIL	901.01
6qbf-5cnf-160var-320cl.1	FAIL	901.01
k_poly_p-20	FAIL	901.01
ncf_4_32_2_edau.9	FAIL	901.01
ncf_4_32_4_u.10	FAIL	901.01

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances solved by qbfbdd
QBFEVAL'05

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances solved by qbfbdd QBFEVAL'05

Instances solved by qbfbdd
QBFEVAL'05