Instances solved by <a href='solver_detail.php?solver=43'>preQuantor</a> <br> QBFEVAL'06

Instances solved by preQuantor
QBFEVAL'06

Instance	Result	Time
3qbf-5cnf-80var-2560cl.9	UNSAT	0
6qbf-5cnf-40var-320cl.9	FAIL	0
6qbf-5cnf-160var-5120cl.8	FAIL	0
5qbf-5cnf-40var-1280cl.0	UNSAT	0
ncf_4_16_4_d.5	FAIL	0
ncf_4_32_2_edau.1	FAIL	0
ncf_4_8_2_u.1	UNSAT	0
ncf_4_8_4_euad.9	SAT	0
ncf_4_16_2_d.6	SAT	0
ncf_8_16_4_euad.1	SAT	0
ncf_8_16_4_d.10	FAIL	0
6qbf-5cnf-160var-640cl.2	SAT	0
ncf_8_16_8_euad.3	FAIL	0
5qbf-5cnf-160var-640cl.1	FAIL	0
ncf_4_16_8_euad.8	FAIL	0
ncf_4_8_8_edau.3	FAIL	0
4qbf-5cnf-40var-320cl.6	FAIL	0
4qbf-5cnf-40var-1280cl.3	FAIL	0
5qbf-5cnf-160var-5120cl.8	FAIL	0
6qbf-5cnf-40var-320cl.7	FAIL	0
ncf_4_8_8_d.6	FAIL	0
3qbf-5cnf-80var-2560cl.0	FAIL	0
3qbf-5cnf-80var-320cl.9	SAT	0
3qbf-5cnf-80var-320cl.7	FAIL	0
5qbf-5cnf-80var-2560cl.3	UNSAT	0
5qbf-5cnf-80var-2560cl.9	UNSAT	0
ncf_8_16_4_u.2	UNSAT	0
4qbf-5cnf-80var-2560cl.5	FAIL	0
ncf_4_16_4_edau.10	FAIL	0
4qbf-5cnf-20var-160cl.6	FAIL	0
5qbf-5cnf-20var-320cl.2	FAIL	0
ncf_16_32_2_edau.5	FAIL	0
ncf_4_8_2_euad.6	FAIL	0
5qbf-5cnf-20var-640cl.1	FAIL	0
ncf_16_32_2_u.10	FAIL	0
ncf_16_32_4_d.1	FAIL	0
ncf_4_16_2_euad.5	FAIL	0
3qbf-5cnf-80var-1280cl.9	FAIL	0
ncf_4_16_8_d.9	FAIL	0
ncf_4_16_8_euad.3	FAIL	0
ncf_4_16_2_euad.9	FAIL	0
ncf_4_8_4_u.9	FAIL	0
ncf_4_16_2_edau.6	SAT	0
4qbf-5cnf-20var-320cl.8	FAIL	0
ncf_4_32_2_edau.3	FAIL	0
ncf_4_32_2_u.3	FAIL	0
5qbf-5cnf-80var-2560cl.6	UNSAT	0
2qbf-5cnf-80var-1280cl.5	FAIL	0
6qbf-5cnf-20var-160cl.0	FAIL	0
6qbf-5cnf-80var-2560cl.0	FAIL	0
5qbf-5cnf-20var-320cl.0	FAIL	0
2qbf-5cnf-160var-320cl.9	FAIL	0
ncf_4_8_8_u.10	FAIL	0
4qbf-5cnf-20var-640cl.5	FAIL	0
ncf_8_16_8_edau.7	FAIL	0
4qbf-5cnf-80var-2560cl.6	FAIL	0
5qbf-5cnf-40var-320cl.2	FAIL	0
ncf_16_32_4_euad.6	FAIL	0
2qbf-5cnf-80var-1280cl.6	FAIL	0
5qbf-5cnf-20var-640cl.7	UNSAT	0
ncf_4_8_4_u.1	FAIL	0
ncf_8_16_4_edau.10	FAIL	0
6qbf-5cnf-20var-160cl.5	FAIL	0
5qbf-5cnf-80var-2560cl.2	FAIL	0
ncf_4_16_2_u.6	FAIL	0
3qbf-5cnf-80var-2560cl.1	UNSAT	0
5qbf-5cnf-20var-640cl.2	UNSAT	0
tree-exa2-50	UNSAT	0
6qbf-5cnf-80var-1280cl.0	FAIL	0
ncf_4_16_2_euad.6	FAIL	0
6qbf-5cnf-160var-640cl.8	SAT	0
ncf_4_8_4_euad.5	SAT	0
5qbf-5cnf-160var-2560cl.9	FAIL	0
ncf_8_16_4_u.1	SAT	0
3qbf-5cnf-80var-1280cl.3	FAIL	0
4qbf-5cnf-40var-1280cl.5	FAIL	0
ncf_4_8_4_euad.3	FAIL	0
5qbf-5cnf-40var-1280cl.4	UNSAT	0
ncf_16_32_2_euad.1	FAIL	0
5qbf-5cnf-40var-1280cl.1	UNSAT	0
5qbf-5cnf-40var-320cl.6	FAIL	0
ncf_16_32_2_euad.3	FAIL	0
6qbf-5cnf-160var-640cl.6	FAIL	0
5qbf-5cnf-20var-640cl.6	UNSAT	0
5qbf-5cnf-80var-1280cl.3	FAIL	0
ncf_8_16_4_d.6	FAIL	0
6qbf-5cnf-160var-640cl.4	FAIL	0
5qbf-5cnf-80var-640cl.2	FAIL	0
4qbf-5cnf-160var-2560cl.4	FAIL	0
6qbf-5cnf-160var-640cl.1	SAT	0
5qbf-5cnf-160var-5120cl.2	UNSAT	0
ncf_4_16_4_d.2	FAIL	0
4qbf-5cnf-160var-5120cl.1	FAIL	0
3qbf-5cnf-20var-320cl.3	FAIL	0
3qbf-5cnf-160var-640cl.7	FAIL	0
ncf_4_16_2_u.10	FAIL	0
6qbf-5cnf-40var-640cl.8	FAIL	0
2qbf-5cnf-40var-320cl.6	FAIL	0
2qbf-5cnf-160var-320cl.4	FAIL	0
2qbf-5cnf-40var-160cl.4	FAIL	0
ncf_4_16_4_euad.5	FAIL	0
ncf_4_8_8_edau.10	FAIL	0
5qbf-5cnf-40var-1280cl.2	FAIL	0
6qbf-5cnf-40var-320cl.1	FAIL	0
4qbf-5cnf-160var-640cl.8	FAIL	0
3qbf-5cnf-160var-640cl.2	FAIL	0
5qbf-5cnf-160var-5120cl.9	FAIL	0
comp.blif_0.10_1.00_0_0_out_exact	UNSAT	0
5qbf-5cnf-40var-640cl.8	UNSAT	0
ncf_8_16_4_d.2	UNSAT	0
5qbf-5cnf-40var-1280cl.5	UNSAT	0
robots_1_5_3_100.4	FAIL	0
5qbf-5cnf-80var-2560cl.0	UNSAT	0
5qbf-5cnf-160var-640cl.5	SAT	0
ncf_4_8_2_euad.10	FAIL	0
ncf_4_16_2_euad.4	FAIL	0
ncf_4_16_4_edau.1	SAT	0
ncf_4_16_4_euad.10	FAIL	0
2qbf-5cnf-80var-1280cl.9	FAIL	0
2qbf-5cnf-40var-320cl.3	FAIL	0
2qbf-5cnf-40var-320cl.5	FAIL	0
ncf_4_8_8_edau.9	FAIL	0
5qbf-5cnf-20var-640cl.4	UNSAT	0
3qbf-5cnf-80var-2560cl.3	UNSAT	0
ncf_16_32_4_edau.6	FAIL	0
6qbf-5cnf-20var-160cl.7	FAIL	0
ncf_4_32_2_edau.9	FAIL	0
ncf_4_8_4_u.2	UNSAT	0
4qbf-5cnf-20var-160cl.2	FAIL	0
ncf_4_8_2_u.10	FAIL	0
x105.7	FAIL	0
x110.6	FAIL	0
x110.8	FAIL	0
x115.2	FAIL	0
x120.6	FAIL	0
x125.9	FAIL	0
x130.7	FAIL	0
x135.9	FAIL	0
x140.0	FAIL	0
x140.5	FAIL	0
x145.8	FAIL	0
x150.3	FAIL	0
x150.9	FAIL	0
x15.3	FAIL	0
x155.7	FAIL	0
x160.4	FAIL	0
x160.8	FAIL	0
x165.7	FAIL	0
x165.9	FAIL	0
x175.2	FAIL	0
x180.2	FAIL	0
x180.7	FAIL	0
x185.5	FAIL	0
x185.9	FAIL	0
x190.2	FAIL	0
x190.5	FAIL	0
x200.0	FAIL	0
x200.7	FAIL	0
x205.4	FAIL	0
x210.2	FAIL	0
x215.3	FAIL	0
x215.7	FAIL	0
x215.9	FAIL	0
x225.1	FAIL	0
x225.7	FAIL	0
x240.4	FAIL	0
x240.6	FAIL	0
x240.7	FAIL	0
x245.2	FAIL	0
x245.6	FAIL	0
x245.7	FAIL	0
x250.2	FAIL	0
x250.6	FAIL	0
x250.7	FAIL	0
x25.2	FAIL	0
x25.3	FAIL	0
x25.5	FAIL	0
x300.6	FAIL	0
x30.1	FAIL	0
x30.2	FAIL	0
x30.3	FAIL	0
x30.4	FAIL	0
x30.9	FAIL	0
x350.5	FAIL	0
x35.0	FAIL	0
x35.1	FAIL	0
x35.2	FAIL	0
x35.3	FAIL	0
x35.4	FAIL	0
x400.8	FAIL	0
x400.9	FAIL	0
x40.0	FAIL	0
x40.8	FAIL	0
x45.0	FAIL	0
x45.1	FAIL	0
x45.5	FAIL	0
x45.7	FAIL	0
x45.8	FAIL	0
x45.9	FAIL	0
x50.0	FAIL	0
x50.4	FAIL	0
x50.7	FAIL	0
x50.8	FAIL	0
x5.1	UNSAT	0
x5.2	UNSAT	0
x5.4	UNSAT	0
x55.1	FAIL	0
x55.2	FAIL	0
x55.5	FAIL	0
x5.5	UNSAT	0
x5.9	UNSAT	0
T-adeu-1	FAIL	0
T-adeu-7	FAIL	0
T-adeu-8	FAIL	0
eijk.S208c.S-d2	SAT	0
eijk.S208o.S-d2	SAT	0
eijk.S298.S-d2	SAT	0
eijk.S526.S-d2	SAT	0
texas.parsesys^1.E-d2	SAT	0
vis.bakery.E-d2	SAT	0
vis.eisenberg.E-d2	SAT	0
Qq2k1k4v40v40m2s1	SAT	0
Qq2k1k4v40v40m2s2	SAT	0
Qq2k1k4v40v40m2s4	SAT	0
Qq2k1k4v40v40m2s5	SAT	0
Qq2k1k4v40v40m2s6	SAT	0
Qq2k1k4v40v40m2s7	FAIL	0
Qq2k1k4v40v40m2s9	SAT	0
Qq2k1k4v40v40m4s0	SAT	0
Qq2k1k4v40v40m4s2	UNSAT	0
Qq2k1k4v40v40m4s3	FAIL	0
Qq2k1k4v40v40m4s5	FAIL	0
Qq2k1k4v40v40m4s6	SAT	0
Qq2k1k4v40v40m4s7	FAIL	0
Qq2k1k4v40v40m4s8	SAT	0
Qq2k1k4v40v40m8s0	SAT	0
Qq2k1k4v40v40m8s4	SAT	0
Qq2k1k4v40v40m8s5	SAT	0
Qq2k1k4v40v40m8s6	UNSAT	0
Qq2k1k4v40v40m8s8	SAT	0
Qq2k1k4v40v40m16s0	UNSAT	0
Qq2k1k4v40v40m16s1	SAT	0
Qq2k1k4v40v40m16s2	FAIL	0
Qq2k1k4v40v40m16s3	UNSAT	0
Qq2k1k4v40v40m16s4	SAT	0
Qq2k1k4v40v40m16s6	UNSAT	0
Qq2k1k4v40v40m16s8	SAT	0
Qq2k1k4v40v40m16s9	UNSAT	0
Qq2k1k4v40v40m32s0	UNSAT	0
Qq2k1k4v40v40m32s1	UNSAT	0
Qq2k1k4v40v40m32s4	UNSAT	0
Qq2k1k4v40v40m32s5	UNSAT	0
Qq2k1k4v40v40m32s8	UNSAT	0
Qq2k1k4v40v40m32s9	UNSAT	0
Qq2k1k4v80v80m2s1	SAT	0
Qq2k1k4v80v80m2s2	SAT	0
Qq2k1k4v80v80m2s3	SAT	0
Qq2k1k4v80v80m2s4	FAIL	0
Qq2k1k4v80v80m2s8	FAIL	0
Qq2k1k4v80v80m2s9	SAT	0
Qq2k1k4v80v80m4s0	SAT	0
Qq2k1k4v80v80m4s2	SAT	0
Qq2k1k4v80v80m4s5	SAT	0
Qq2k1k4v80v80m4s6	SAT	0
Qq2k1k4v80v80m4s7	SAT	0
Qq2k1k4v80v80m4s8	SAT	0
Qq2k1k4v80v80m4s9	SAT	0
Qq2k1k4v80v80m8s0	SAT	0
Qq2k1k4v80v80m8s1	SAT	0
Qq2k1k4v80v80m8s2	FAIL	0
Qq2k1k4v80v80m8s8	SAT	0
Qq2k1k4v80v80m16s2	SAT	0
Qq2k1k4v80v80m16s3	UNSAT	0
Qq2k1k4v80v80m16s5	SAT	0
Qq2k1k4v80v80m16s7	SAT	0
Qq2k1k4v80v80m16s8	UNSAT	0
Qq2k1k4v80v80m32s1	SAT	0
Qq2k1k4v80v80m32s2	UNSAT	0
Qq2k1k4v80v80m32s3	UNSAT	0
Qq2k1k4v80v80m32s4	UNSAT	0
Qq2k1k4v80v80m32s6	UNSAT	0
Qq2k1k4v80v80m32s8	UNSAT	0
Qq2k2k3v40v40m2s0	SAT	0
Qq2k2k3v40v40m2s1	SAT	0
Qq2k2k3v40v40m2s2	SAT	0
Qq2k2k3v40v40m2s5	SAT	0
Qq2k2k3v40v40m2s6	SAT	0
Qq2k2k3v40v40m2s7	SAT	0
Qq2k2k3v40v40m2s9	SAT	0
Qq2k2k3v40v40m4s0	SAT	0
Qq2k2k3v40v40m4s1	SAT	0
Qq2k2k3v40v40m4s3	FAIL	0
Qq2k2k3v40v40m4s4	FAIL	0
Qq2k2k3v40v40m4s5	FAIL	0
Qq2k2k3v40v40m4s6	SAT	0
Qq2k2k3v40v40m4s7	FAIL	0
Qq2k2k3v40v40m4s8	SAT	0
Qq2k2k3v40v40m4s9	SAT	0
Qq2k2k3v40v40m8s3	SAT	0
Qq2k2k3v40v40m8s5	SAT	0
Qq2k2k3v40v40m8s7	SAT	0
Qq2k2k3v40v40m8s8	FAIL	0
Qq2k2k3v40v40m16s3	SAT	0
Qq2k2k3v40v40m16s4	SAT	0
Qq2k2k3v40v40m16s5	SAT	0
Qq2k2k3v40v40m16s6	SAT	0
Qq2k2k3v40v40m16s8	SAT	0
Qq2k2k3v40v40m16s9	SAT	0
Qq2k2k3v40v40m32s0	SAT	0
Qq2k2k3v40v40m32s1	SAT	0
Qq2k2k3v40v40m32s2	FAIL	0
Qq2k2k3v40v40m32s3	SAT	0
Qq2k2k3v40v40m32s5	SAT	0
Qq2k2k3v40v40m32s7	FAIL	0
Qq2k2k3v40v40m32s8	SAT	0
Qq2k2k3v40v40m32s9	FAIL	0
Qq2k2k3v80v80m2s1	SAT	0
Qq2k2k3v80v80m2s3	SAT	0
Qq2k2k3v80v80m2s7	FAIL	0
Qq2k2k3v80v80m2s8	SAT	0
Qq2k2k3v80v80m2s9	SAT	0
Qq2k2k3v80v80m4s0	SAT	0
Qq2k2k3v80v80m4s1	SAT	0
Qq2k2k3v80v80m4s2	SAT	0
Qq2k2k3v80v80m4s5	FAIL	0
Qq2k2k3v80v80m4s6	SAT	0
Qq2k2k3v80v80m4s9	SAT	0
Qq2k2k3v80v80m8s0	SAT	0
Qq2k2k3v80v80m8s1	SAT	0
Qq2k2k3v80v80m8s3	SAT	0
Qq2k2k3v80v80m8s4	SAT	0
Qq2k2k3v80v80m8s5	SAT	0
Qq2k2k3v80v80m8s6	SAT	0
Qq2k2k3v80v80m8s7	SAT	0
Qq2k2k3v80v80m8s8	FAIL	0
Qq2k2k3v80v80m16s0	SAT	0
Qq2k2k3v80v80m16s2	SAT	0
Qq2k2k3v80v80m16s3	SAT	0
Qq2k2k3v80v80m16s9	SAT	0
Qq2k2k3v80v80m32s0	SAT	0
Qq2k2k3v80v80m32s3	SAT	0
Qq2k2k3v80v80m32s5	SAT	0
Qq2k2k3v80v80m32s6	FAIL	0
Qq2k2k3v80v80m32s7	SAT	0
Qq2k2k3v80v80m32s8	SAT	0
Qq2k2k3v80v80m32s9	SAT	0
Qq2k3k2v40v40m2s1	FAIL	0
Qq2k3k2v40v40m2s2	SAT	0
Qq2k3k2v40v40m2s5	SAT	0
Qq2k3k2v40v40m2s7	SAT	0
Qq2k3k2v40v40m2s8	SAT	0
Qq2k3k2v40v40m2s9	SAT	0
Qq2k3k2v40v40m4s2	SAT	0
Qq2k3k2v40v40m4s5	SAT	0
Qq2k3k2v40v40m4s7	SAT	0
Qq2k3k2v40v40m8s3	SAT	0
Qq2k3k2v40v40m8s6	SAT	0
Qq2k3k2v40v40m8s8	FAIL	0
Qq2k3k2v40v40m8s9	SAT	0
Qq2k3k2v40v40m16s1	SAT	0
Qq2k3k2v40v40m16s2	SAT	0
Qq2k3k2v40v40m16s3	SAT	0
Qq2k3k2v40v40m16s6	SAT	0
Qq2k3k2v40v40m32s0	SAT	0
Qq2k3k2v40v40m32s2	SAT	0
Qq2k3k2v40v40m32s3	SAT	0
Qq2k3k2v40v40m32s4	SAT	0
Qq2k3k2v40v40m32s6	SAT	0
Qq2k3k2v40v40m32s7	SAT	0
Qq2k3k2v40v40m32s8	SAT	0
Qq2k3k2v80v80m2s1	SAT	0
Qq2k3k2v80v80m2s3	SAT	0
Qq2k3k2v80v80m2s4	SAT	0
Qq2k3k2v80v80m2s5	SAT	0
Qq2k3k2v80v80m2s6	SAT	0
Qq2k3k2v80v80m2s7	FAIL	0
Qq2k3k2v80v80m4s0	FAIL	0
Qq2k3k2v80v80m4s1	SAT	0
Qq2k3k2v80v80m4s3	FAIL	0
Qq2k3k2v80v80m4s4	SAT	0
Qq2k3k2v80v80m4s8	SAT	0
Qq2k3k2v80v80m4s9	SAT	0
Qq2k3k2v80v80m8s0	SAT	0
Qq2k3k2v80v80m8s5	SAT	0
Qq2k3k2v80v80m8s6	SAT	0
Qq2k3k2v80v80m8s7	SAT	0
Qq2k3k2v80v80m8s9	SAT	0
Qq2k3k2v80v80m16s0	SAT	0
Qq2k3k2v80v80m16s2	FAIL	0
Qq2k3k2v80v80m16s3	SAT	0
Qq2k3k2v80v80m16s4	SAT	0
Qq2k3k2v80v80m16s9	FAIL	0
Qq2k3k2v80v80m32s2	SAT	0
Qq2k3k2v80v80m32s3	SAT	0
Qq2k3k2v80v80m32s4	SAT	0
Qq2k3k2v80v80m32s5	FAIL	0
Qq2k3k2v80v80m32s6	SAT	0
Qq2k3k2v80v80m32s8	SAT	0
Qq3k1k1k3v40v40v40m2s0	FAIL	0
Qq3k1k1k3v40v40v40m2s2	FAIL	0
Qq3k1k1k3v40v40v40m2s3	SAT	0
Qq3k1k1k3v40v40v40m2s4	SAT	0
Qq3k1k1k3v40v40v40m2s6	FAIL	0
Qq3k1k1k3v40v40v40m2s8	SAT	0
Qq3k1k1k3v40v40v40m2s9	SAT	0
Qq3k1k1k3v40v40v40m4s0	FAIL	0
Qq3k1k1k3v40v40v40m4s3	SAT	0
Qq3k1k1k3v40v40v40m4s4	SAT	0
Qq3k1k1k3v40v40v40m4s6	FAIL	0
Qq3k1k1k3v40v40v40m4s7	SAT	0
Qq3k1k1k3v40v40v40m4s8	SAT	0
Qq3k1k1k3v40v40v40m4s9	FAIL	0
Qq3k1k1k3v40v40v40m8s0	SAT	0
Qq3k1k1k3v40v40v40m8s1	SAT	0
Qq3k1k1k3v40v40v40m8s5	SAT	0
Qq3k1k1k3v40v40v40m8s7	SAT	0
Qq3k1k1k3v40v40v40m8s8	SAT	0
Qq3k1k1k3v40v40v40m8s9	SAT	0
Qq3k1k1k3v40v40v40m16s2	SAT	0
Qq3k1k1k3v40v40v40m16s4	SAT	0
Qq3k1k1k3v40v40v40m16s5	SAT	0
Qq3k1k1k3v40v40v40m16s8	SAT	0
Qq3k1k1k3v40v40v40m16s9	SAT	0
Qq3k1k1k3v40v40v40m32s0	SAT	0
Qq3k1k1k3v40v40v40m32s1	SAT	0
Qq3k1k1k3v40v40v40m32s5	FAIL	0
Qq3k1k1k3v40v40v40m32s6	SAT	0
Qq3k1k1k3v40v40v40m32s7	SAT	0
Qq3k1k1k3v40v40v40m32s8	FAIL	0
Qq3k1k1k3v40v40v40m32s9	SAT	0
Qq3k1k1k3v80v80v80m2s1	SAT	0
Qq3k1k1k3v80v80v80m2s2	SAT	0
Qq3k1k1k3v80v80v80m2s4	SAT	0
Qq3k1k1k3v80v80v80m2s6	SAT	0
Qq3k1k1k3v80v80v80m4s0	SAT	0
Qq3k1k1k3v80v80v80m4s2	SAT	0
Qq3k1k1k3v80v80v80m4s5	SAT	0
Qq3k1k1k3v80v80v80m4s6	FAIL	0
Qq3k1k1k3v80v80v80m4s8	SAT	0
Qq3k1k1k3v80v80v80m8s1	FAIL	0
Qq3k1k1k3v80v80v80m8s2	SAT	0
Qq3k1k1k3v80v80v80m8s3	SAT	0
Qq3k1k1k3v80v80v80m8s5	SAT	0
Qq3k1k1k3v80v80v80m8s6	SAT	0
Qq3k1k1k3v80v80v80m8s7	FAIL	0
Qq3k1k1k3v80v80v80m8s8	SAT	0
Qq3k1k1k3v80v80v80m16s4	SAT	0
Qq3k1k1k3v80v80v80m16s5	SAT	0
Qq3k1k1k3v80v80v80m16s6	SAT	0
Qq3k1k1k3v80v80v80m16s7	SAT	0
Qq3k1k1k3v80v80v80m16s9	SAT	0
Qq3k1k1k3v80v80v80m32s2	SAT	0
Qq3k1k1k3v80v80v80m32s4	SAT	0
Qq3k1k1k3v80v80v80m32s5	SAT	0
Qq3k1k1k3v80v80v80m32s6	SAT	0
Qq3k1k1k3v80v80v80m32s8	SAT	0
Qq3k1k1k3v80v80v80m32s9	SAT	0
Qq3k1k2k2v40v40v40m2s2	SAT	0
Qq3k1k2k2v40v40v40m2s3	SAT	0
Qq3k1k2k2v40v40v40m2s4	SAT	0
Qq3k1k2k2v40v40v40m2s5	SAT	0
Qq3k1k2k2v40v40v40m2s6	SAT	0
Qq3k1k2k2v40v40v40m2s7	SAT	0
Qq3k1k2k2v40v40v40m2s8	SAT	0
Qq3k1k2k2v40v40v40m2s9	SAT	0
Qq3k1k2k2v40v40v40m4s0	SAT	0
Qq3k1k2k2v40v40v40m4s4	SAT	0
Qq3k1k2k2v40v40v40m4s5	SAT	0
Qq3k1k2k2v40v40v40m4s6	SAT	0
Qq3k1k2k2v40v40v40m4s7	SAT	0
Qq3k1k2k2v40v40v40m4s8	SAT	0
Qq3k1k2k2v40v40v40m4s9	SAT	0
Qq3k1k2k2v40v40v40m8s0	SAT	0
Qq3k1k2k2v40v40v40m8s1	SAT	0
Qq3k1k2k2v40v40v40m8s2	SAT	0
Qq3k1k2k2v40v40v40m8s5	SAT	0
Qq3k1k2k2v40v40v40m8s6	SAT	0
Qq3k1k2k2v40v40v40m8s7	SAT	0
Qq3k1k2k2v40v40v40m8s8	SAT	0
Qq3k1k2k2v40v40v40m8s9	SAT	0
Qq3k1k2k2v40v40v40m16s0	SAT	0
Qq3k1k2k2v40v40v40m16s1	SAT	0
Qq3k1k2k2v40v40v40m16s3	SAT	0
Qq3k1k2k2v40v40v40m16s4	SAT	0
Qq3k1k2k2v40v40v40m16s8	SAT	0
Qq3k1k2k2v40v40v40m32s0	SAT	0
Qq3k1k2k2v40v40v40m32s1	SAT	0
Qq3k1k2k2v40v40v40m32s2	SAT	0
Qq3k1k2k2v40v40v40m32s5	SAT	0
Qq3k1k2k2v40v40v40m32s6	SAT	0
Qq3k1k2k2v40v40v40m32s9	SAT	0
Qq3k1k2k2v80v80v80m2s2	SAT	0
Qq3k1k2k2v80v80v80m2s3	SAT	0
Qq3k1k2k2v80v80v80m2s4	SAT	0
Qq3k1k2k2v80v80v80m2s5	FAIL	0
Qq3k1k2k2v80v80v80m2s7	SAT	0
Qq3k1k2k2v80v80v80m2s8	SAT	0
Qq3k1k2k2v80v80v80m2s9	SAT	0
Qq3k1k2k2v80v80v80m4s0	SAT	0
Qq3k1k2k2v80v80v80m4s2	SAT	0
Qq3k1k2k2v80v80v80m4s3	FAIL	0
Qq3k1k2k2v80v80v80m4s4	SAT	0
Qq3k1k2k2v80v80v80m4s5	SAT	0
Qq3k1k2k2v80v80v80m4s6	FAIL	0
Qq3k1k2k2v80v80v80m4s7	SAT	0
Qq3k1k2k2v80v80v80m4s9	SAT	0
Qq3k1k2k2v80v80v80m8s0	SAT	0
Qq3k1k2k2v80v80v80m8s2	SAT	0
Qq3k1k2k2v80v80v80m8s4	SAT	0
Qq3k1k2k2v80v80v80m8s6	SAT	0
Qq3k1k2k2v80v80v80m8s8	SAT	0
Qq3k1k2k2v80v80v80m8s9	SAT	0
Qq3k1k2k2v80v80v80m16s0	SAT	0
Qq3k1k2k2v80v80v80m16s4	SAT	0
Qq3k1k2k2v80v80v80m16s5	FAIL	0
Qq3k1k2k2v80v80v80m16s8	SAT	0
Qq3k1k2k2v80v80v80m16s9	SAT	0
Qq3k1k2k2v80v80v80m32s0	SAT	0
Qq3k1k2k2v80v80v80m32s1	SAT	0
Qq3k1k2k2v80v80v80m32s2	SAT	0
Qq3k1k2k2v80v80v80m32s3	SAT	0
Qq3k1k2k2v80v80v80m32s5	SAT	0
Qq3k1k2k2v80v80v80m32s6	FAIL	0
Qq3k1k2k2v80v80v80m32s7	FAIL	0
Qq3k1k2k2v80v80v80m32s8	SAT	0
Qq3k1k2k2v80v80v80m32s9	SAT	0
Qq3k1k3k1v40v40v40m2s0	SAT	0
Qq3k1k3k1v40v40v40m2s1	FAIL	0
Qq3k1k3k1v40v40v40m2s2	SAT	0
Qq3k1k3k1v40v40v40m2s4	SAT	0
Qq3k1k3k1v40v40v40m2s6	SAT	0
Qq3k1k3k1v40v40v40m2s9	SAT	0
Qq3k1k3k1v40v40v40m4s1	FAIL	0
Qq3k1k3k1v40v40v40m4s3	SAT	0
Qq3k1k3k1v40v40v40m4s5	SAT	0
Qq3k1k3k1v40v40v40m4s6	FAIL	0
Qq3k1k3k1v40v40v40m4s7	FAIL	0
Qq3k1k3k1v40v40v40m4s8	SAT	0
Qq3k1k3k1v40v40v40m8s0	SAT	0
Qq3k1k3k1v40v40v40m8s4	FAIL	0
Qq3k1k3k1v40v40v40m8s7	SAT	0
Qq3k1k3k1v40v40v40m8s8	SAT	0
Qq3k1k3k1v40v40v40m16s0	FAIL	0
Qq3k1k3k1v40v40v40m16s4	SAT	0
Qq3k1k3k1v40v40v40m16s6	FAIL	0
Qq3k1k3k1v40v40v40m16s7	SAT	0
Qq3k1k3k1v40v40v40m16s9	SAT	0
Qq3k1k3k1v40v40v40m32s0	SAT	0
Qq3k1k3k1v40v40v40m32s1	SAT	0
Qq3k1k3k1v40v40v40m32s2	SAT	0
Qq3k1k3k1v40v40v40m32s3	SAT	0
Qq3k1k3k1v40v40v40m32s5	SAT	0
Qq3k1k3k1v40v40v40m32s6	SAT	0
Qq3k1k3k1v40v40v40m32s7	SAT	0
Qq3k1k3k1v40v40v40m32s8	FAIL	0
Qq3k1k3k1v40v40v40m32s9	SAT	0
Qq3k1k3k1v80v80v80m2s0	SAT	0
Qq3k1k3k1v80v80v80m2s1	SAT	0
Qq3k1k3k1v80v80v80m2s3	SAT	0
Qq3k1k3k1v80v80v80m2s4	SAT	0
Qq3k1k3k1v80v80v80m2s7	SAT	0
Qq3k1k3k1v80v80v80m2s8	FAIL	0
Qq3k1k3k1v80v80v80m2s9	SAT	0
Qq3k1k3k1v80v80v80m4s0	SAT	0
Qq3k1k3k1v80v80v80m4s1	SAT	0
Qq3k1k3k1v80v80v80m4s4	SAT	0
Qq3k1k3k1v80v80v80m4s5	SAT	0
Qq3k1k3k1v80v80v80m4s7	SAT	0
Qq3k1k3k1v80v80v80m4s8	FAIL	0
Qq3k1k3k1v80v80v80m4s9	SAT	0
Qq3k1k3k1v80v80v80m8s0	SAT	0
Qq3k1k3k1v80v80v80m8s3	SAT	0
Qq3k1k3k1v80v80v80m8s4	SAT	0
Qq3k1k3k1v80v80v80m8s7	SAT	0
Qq3k1k3k1v80v80v80m8s8	SAT	0
Qq3k1k3k1v80v80v80m8s9	SAT	0
Qq3k1k3k1v80v80v80m16s0	FAIL	0
Qq3k1k3k1v80v80v80m16s1	SAT	0
Qq3k1k3k1v80v80v80m16s4	SAT	0
Qq3k1k3k1v80v80v80m16s5	FAIL	0
Qq3k1k3k1v80v80v80m16s6	FAIL	0
Qq3k1k3k1v80v80v80m16s7	SAT	0
Qq3k1k3k1v80v80v80m16s8	SAT	0
Qq3k1k3k1v80v80v80m16s9	SAT	0
Qq3k1k3k1v80v80v80m32s0	SAT	0
Qq3k1k3k1v80v80v80m32s2	SAT	0
Qq3k1k3k1v80v80v80m32s3	SAT	0
Qq3k1k3k1v80v80v80m32s4	SAT	0
Qq3k1k3k1v80v80v80m32s6	SAT	0
Qq3k2k1k2v40v40v40m2s0	SAT	0
Qq3k2k1k2v40v40v40m2s1	SAT	0
Qq3k2k1k2v40v40v40m2s3	SAT	0
Qq3k2k1k2v40v40v40m2s4	SAT	0
Qq3k2k1k2v40v40v40m2s7	SAT	0
Qq3k2k1k2v40v40v40m2s8	FAIL	0
Qq3k2k1k2v40v40v40m2s9	SAT	0
Qq3k2k1k2v40v40v40m4s1	SAT	0
Qq3k2k1k2v40v40v40m4s2	SAT	0
Qq3k2k1k2v40v40v40m4s4	SAT	0
Qq3k2k1k2v40v40v40m4s5	SAT	0
Qq3k2k1k2v40v40v40m4s7	SAT	0
Qq3k2k1k2v40v40v40m4s9	SAT	0
Qq3k2k1k2v40v40v40m8s0	SAT	0
Qq3k2k1k2v40v40v40m8s1	SAT	0
Qq3k2k1k2v40v40v40m8s2	SAT	0
Qq3k2k1k2v40v40v40m8s5	FAIL	0
Qq3k2k1k2v40v40v40m8s6	SAT	0
Qq3k2k1k2v40v40v40m8s9	SAT	0
Qq3k2k1k2v40v40v40m16s2	SAT	0
Qq3k2k1k2v40v40v40m16s3	SAT	0
Qq3k2k1k2v40v40v40m16s4	SAT	0
Qq3k2k1k2v40v40v40m16s6	SAT	0
Qq3k2k1k2v40v40v40m16s8	SAT	0
Qq3k2k1k2v40v40v40m32s0	SAT	0
Qq3k2k1k2v40v40v40m32s2	SAT	0
Qq3k2k1k2v40v40v40m32s3	SAT	0
Qq3k2k1k2v40v40v40m32s4	SAT	0
Qq3k2k1k2v40v40v40m32s8	SAT	0
Qq3k2k1k2v80v80v80m2s0	SAT	0
Qq3k2k1k2v80v80v80m2s1	SAT	0
Qq3k2k1k2v80v80v80m2s2	SAT	0
Qq3k2k1k2v80v80v80m2s3	SAT	0
Qq3k2k1k2v80v80v80m2s4	SAT	0
Qq3k2k1k2v80v80v80m2s7	SAT	0
Qq3k2k1k2v80v80v80m2s9	SAT	0
Qq3k2k1k2v80v80v80m4s0	SAT	0
Qq3k2k1k2v80v80v80m4s1	SAT	0
Qq3k2k1k2v80v80v80m4s2	SAT	0
Qq3k2k1k2v80v80v80m4s3	SAT	0
Qq3k2k1k2v80v80v80m4s4	SAT	0
Qq3k2k1k2v80v80v80m4s5	SAT	0
Qq3k2k1k2v80v80v80m4s6	SAT	0
Qq3k2k1k2v80v80v80m4s7	SAT	0
Qq3k2k1k2v80v80v80m4s8	FAIL	0
Qq3k2k1k2v80v80v80m8s0	FAIL	0
Qq3k2k1k2v80v80v80m8s1	SAT	0
Qq3k2k1k2v80v80v80m8s4	SAT	0
Qq3k2k1k2v80v80v80m8s5	SAT	0
Qq3k2k1k2v80v80v80m8s6	SAT	0
Qq3k2k1k2v80v80v80m8s9	FAIL	0
Qq3k2k1k2v80v80v80m16s0	SAT	0
Qq3k2k1k2v80v80v80m16s1	FAIL	0
Qq3k2k1k2v80v80v80m16s3	SAT	0
Qq3k2k1k2v80v80v80m16s4	SAT	0
Qq3k2k1k2v80v80v80m16s6	SAT	0
Qq3k2k1k2v80v80v80m16s8	SAT	0
Qq3k2k1k2v80v80v80m16s9	SAT	0
Qq3k2k1k2v80v80v80m32s2	SAT	0
Qq3k2k1k2v80v80v80m32s3	FAIL	0
Qq3k2k1k2v80v80v80m32s5	SAT	0
Qq3k2k1k2v80v80v80m32s6	SAT	0
Qq3k2k1k2v80v80v80m32s7	SAT	0
Qq3k2k1k2v80v80v80m32s9	SAT	0
Qq3k2k2k1v40v40v40m2s3	SAT	0
Qq3k2k2k1v40v40v40m2s4	SAT	0
Qq3k2k2k1v40v40v40m2s5	FAIL	0
Qq3k2k2k1v40v40v40m2s6	SAT	0
Qq3k2k2k1v40v40v40m2s7	SAT	0
Qq3k2k2k1v40v40v40m2s8	SAT	0
Qq3k2k2k1v40v40v40m2s9	SAT	0
Qq3k2k2k1v40v40v40m4s0	SAT	0
Qq3k2k2k1v40v40v40m4s3	SAT	0
Qq3k2k2k1v40v40v40m4s4	SAT	0
Qq3k2k2k1v40v40v40m4s5	SAT	0
Qq3k2k2k1v40v40v40m4s7	FAIL	0
Qq3k2k2k1v40v40v40m4s8	SAT	0
Qq3k2k2k1v40v40v40m4s9	FAIL	0
Qq3k2k2k1v40v40v40m8s0	SAT	0
Qq3k2k2k1v40v40v40m8s2	SAT	0
Qq3k2k2k1v40v40v40m8s3	FAIL	0
Qq3k2k2k1v40v40v40m8s4	SAT	0
Qq3k2k2k1v40v40v40m8s6	SAT	0
Qq3k2k2k1v40v40v40m8s7	SAT	0
Qq3k2k2k1v40v40v40m8s8	SAT	0
Qq3k2k2k1v40v40v40m8s9	SAT	0
Qq3k2k2k1v40v40v40m16s1	SAT	0
Qq3k2k2k1v40v40v40m16s2	SAT	0
Qq3k2k2k1v40v40v40m16s3	SAT	0
Qq3k2k2k1v40v40v40m16s4	SAT	0
Qq3k2k2k1v40v40v40m16s5	SAT	0
Qq3k2k2k1v40v40v40m16s8	SAT	0
Qq3k2k2k1v40v40v40m32s0	SAT	0
Qq3k2k2k1v40v40v40m32s1	FAIL	0
Qq3k2k2k1v40v40v40m32s3	SAT	0
Qq3k2k2k1v40v40v40m32s4	FAIL	0
Qq3k2k2k1v40v40v40m32s7	SAT	0
Qq3k2k2k1v40v40v40m32s9	SAT	0
Qq3k2k2k1v80v80v80m2s2	FAIL	0
Qq3k2k2k1v80v80v80m2s3	SAT	0
Qq3k2k2k1v80v80v80m2s7	FAIL	0
Qq3k2k2k1v80v80v80m2s9	SAT	0
Qq3k2k2k1v80v80v80m4s0	FAIL	0
Qq3k2k2k1v80v80v80m4s1	FAIL	0
Qq3k2k2k1v80v80v80m4s2	SAT	0
Qq3k2k2k1v80v80v80m4s3	SAT	0
Qq3k2k2k1v80v80v80m4s4	SAT	0
Qq3k2k2k1v80v80v80m4s5	SAT	0
Qq3k2k2k1v80v80v80m4s6	SAT	0
Qq3k2k2k1v80v80v80m4s7	SAT	0
Qq3k2k2k1v80v80v80m4s8	SAT	0
Qq3k2k2k1v80v80v80m4s9	SAT	0
Qq3k2k2k1v80v80v80m8s0	SAT	0
Qq3k2k2k1v80v80v80m8s3	SAT	0
Qq3k2k2k1v80v80v80m8s4	SAT	0
Qq3k2k2k1v80v80v80m8s5	FAIL	0
Qq3k2k2k1v80v80v80m8s6	SAT	0
Qq3k2k2k1v80v80v80m8s7	SAT	0
Qq3k2k2k1v80v80v80m8s8	SAT	0
Qq3k2k2k1v80v80v80m8s9	SAT	0
Qq3k2k2k1v80v80v80m16s0	SAT	0
Qq3k2k2k1v80v80v80m16s2	SAT	0
Qq3k2k2k1v80v80v80m16s4	SAT	0
Qq3k2k2k1v80v80v80m16s5	SAT	0
Qq3k2k2k1v80v80v80m16s6	SAT	0
Qq3k2k2k1v80v80v80m16s7	SAT	0
Qq3k2k2k1v80v80v80m16s8	SAT	0
Qq3k2k2k1v80v80v80m16s9	FAIL	0
Qq3k2k2k1v80v80v80m32s0	FAIL	0
Qq3k2k2k1v80v80v80m32s1	SAT	0
Qq3k2k2k1v80v80v80m32s4	FAIL	0
Qq3k2k2k1v80v80v80m32s5	FAIL	0
Qq3k2k2k1v80v80v80m32s6	FAIL	0
Qq3k2k2k1v80v80v80m32s7	SAT	0
Qq3k2k2k1v80v80v80m32s8	SAT	0
Qq3k2k2k1v80v80v80m32s9	SAT	0
Qq3k3k1k1v40v40v40m2s1	SAT	0
Qq3k3k1k1v40v40v40m2s3	SAT	0
Qq3k3k1k1v40v40v40m2s4	SAT	0
Qq3k3k1k1v40v40v40m2s7	FAIL	0
Qq3k3k1k1v40v40v40m2s8	SAT	0
Qq3k3k1k1v40v40v40m4s0	SAT	0
Qq3k3k1k1v40v40v40m4s1	SAT	0
Qq3k3k1k1v40v40v40m4s2	SAT	0
Qq3k3k1k1v40v40v40m4s3	SAT	0
Qq3k3k1k1v40v40v40m4s4	SAT	0
Qq3k3k1k1v40v40v40m4s6	SAT	0
Qq3k3k1k1v40v40v40m4s7	SAT	0
Qq3k3k1k1v40v40v40m4s9	SAT	0
Qq3k3k1k1v40v40v40m8s0	FAIL	0
Qq3k3k1k1v40v40v40m8s1	SAT	0
Qq3k3k1k1v40v40v40m8s2	SAT	0
Qq3k3k1k1v40v40v40m8s3	FAIL	0
Qq3k3k1k1v40v40v40m8s4	SAT	0
Qq3k3k1k1v40v40v40m8s6	SAT	0
Qq3k3k1k1v40v40v40m8s7	SAT	0
Qq3k3k1k1v40v40v40m8s9	SAT	0
Qq3k3k1k1v40v40v40m16s0	SAT	0
Qq3k3k1k1v40v40v40m16s1	SAT	0
Qq3k3k1k1v40v40v40m16s3	SAT	0
Qq3k3k1k1v40v40v40m16s4	SAT	0
Qq3k3k1k1v40v40v40m16s5	SAT	0
Qq3k3k1k1v40v40v40m16s7	FAIL	0
Qq3k3k1k1v40v40v40m16s9	SAT	0
Qq3k3k1k1v40v40v40m32s3	SAT	0
Qq3k3k1k1v40v40v40m32s4	SAT	0
Qq3k3k1k1v40v40v40m32s6	SAT	0
Qq3k3k1k1v40v40v40m32s7	FAIL	0
Qq3k3k1k1v40v40v40m32s9	SAT	0
Qq3k3k1k1v80v80v80m2s1	SAT	0
Qq3k3k1k1v80v80v80m2s4	FAIL	0
Qq3k3k1k1v80v80v80m2s5	SAT	0
Qq3k3k1k1v80v80v80m2s7	SAT	0
Qq3k3k1k1v80v80v80m2s8	SAT	0
Qq3k3k1k1v80v80v80m2s9	SAT	0
Qq3k3k1k1v80v80v80m4s1	FAIL	0
Qq3k3k1k1v80v80v80m4s2	SAT	0
Qq3k3k1k1v80v80v80m4s4	SAT	0
Qq3k3k1k1v80v80v80m4s5	SAT	0
Qq3k3k1k1v80v80v80m4s6	SAT	0
Qq3k3k1k1v80v80v80m4s7	SAT	0
Qq3k3k1k1v80v80v80m4s8	SAT	0
Qq3k3k1k1v80v80v80m8s1	FAIL	0
Qq3k3k1k1v80v80v80m8s2	SAT	0
Qq3k3k1k1v80v80v80m8s4	FAIL	0
Qq3k3k1k1v80v80v80m8s5	SAT	0
Qq3k3k1k1v80v80v80m8s6	SAT	0
Qq3k3k1k1v80v80v80m16s1	SAT	0
Qq3k3k1k1v80v80v80m16s4	SAT	0
Qq3k3k1k1v80v80v80m16s6	SAT	0
Qq3k3k1k1v80v80v80m16s9	SAT	0
Qq3k3k1k1v80v80v80m32s3	FAIL	0
Qq3k3k1k1v80v80v80m32s4	SAT	0
Qq3k3k1k1v80v80v80m32s6	SAT	0
Qq3k3k1k1v80v80v80m32s8	SAT	0
Qq2k3k2v80v80m32s9	SAT	0
ncf_8_16_4_d.1	FAIL	0.01
ncf_16_32_2_edau.6	SAT	0.01
3qbf-5cnf-80var-320cl.1	FAIL	0.01
ncf_4_8_2_euad.8	FAIL	0.01
ncf_4_16_4_u.5	FAIL	0.01
6qbf-5cnf-40var-320cl.5	FAIL	0.01
ncf_16_32_4_u.7	FAIL	0.01
ncf_4_8_2_u.7	UNSAT	0.01
3qbf-5cnf-160var-2560cl.0	FAIL	0.01
6qbf-5cnf-160var-2560cl.1	FAIL	0.01
ncf_4_32_2_u.7	FAIL	0.01
k_poly_n-4	SAT	0.01
ncf_8_16_4_edau.2	UNSAT	0.01
3qbf-5cnf-80var-2560cl.6	UNSAT	0.01
ncf_16_32_8_d.7	FAIL	0.01
4qbf-5cnf-80var-320cl.5	FAIL	0.01
robots_1_5_3_57.4	FAIL	0.01
5qbf-5cnf-160var-5120cl.1	FAIL	0.01
6qbf-5cnf-80var-2560cl.1	UNSAT	0.01
5qbf-5cnf-160var-2560cl.5	FAIL	0.01
5qbf-5cnf-40var-1280cl.9	UNSAT	0.01
ncf_4_16_4_euad.8	SAT	0.01
ncf_4_8_2_euad.1	UNSAT	0.01
5qbf-5cnf-160var-640cl.4	SAT	0.01
4qbf-5cnf-40var-320cl.4	FAIL	0.01
ncf_4_8_2_u.9	SAT	0.01
ncf_4_16_2_edau.2	SAT	0.01
5qbf-5cnf-40var-1280cl.6	UNSAT	0.01
ncf_16_32_4_euad.9	FAIL	0.01
3qbf-5cnf-80var-2560cl.5	UNSAT	0.01
5qbf-5cnf-80var-2560cl.1	UNSAT	0.01
5qbf-5cnf-160var-5120cl.3	UNSAT	0.01
ncf_4_16_4_d.1	SAT	0.01
ncf_4_16_8_euad.6	FAIL	0.01
ncf_8_16_4_euad.10	FAIL	0.01
k_lin_p-8	UNSAT	0.01
ncf_16_32_4_u.8	FAIL	0.01
3qbf-5cnf-20var-160cl.4	FAIL	0.01
ncf_16_32_2_edau.9	UNSAT	0.01
ncf_4_8_2_u.4	FAIL	0.01
ncf_16_32_2_u.8	FAIL	0.01
ncf_8_16_4_edau.1	SAT	0.01
5qbf-5cnf-80var-2560cl.7	UNSAT	0.01
ncf_8_16_8_d.2	FAIL	0.01
5qbf-5cnf-160var-5120cl.0	UNSAT	0.01
5qbf-5cnf-160var-640cl.6	SAT	0.01
ncf_4_8_4_u.5	SAT	0.01
6qbf-5cnf-20var-640cl.8	FAIL	0.01
k_dum_n-8	SAT	0.01
ncf_4_16_4_edau.5	FAIL	0.01
5qbf-5cnf-80var-2560cl.5	UNSAT	0.01
ncf_4_16_2_d.9	SAT	0.01
ncf_16_32_4_d.5	FAIL	0.01
5qbf-5cnf-160var-640cl.2	SAT	0.01
3qbf-5cnf-160var-2560cl.6	FAIL	0.01
2qbf-5cnf-40var-640cl.5	FAIL	0.01
ncf_4_8_2_u.8	SAT	0.01
5qbf-5cnf-40var-1280cl.8	UNSAT	0.01
ncf_16_32_8_euad.9	FAIL	0.01
2qbf-5cnf-40var-320cl.7	FAIL	0.01
ncf_4_8_2_u.5	SAT	0.01
ncf_4_8_4_u.8	FAIL	0.01
6qbf-5cnf-160var-640cl.7	SAT	0.01
4qbf-5cnf-40var-1280cl.8	FAIL	0.01
ncf_4_32_2_edau.8	FAIL	0.01
ncf_8_16_4_edau.6	UNSAT	0.01
ncf_4_8_4_euad.2	UNSAT	0.01
ncf_16_32_2_d.3	FAIL	0.01
ncf_16_32_2_d.9	UNSAT	0.01
ncf_4_16_4_euad.1	SAT	0.01
ncf_16_32_4_edau.9	FAIL	0.01
6qbf-5cnf-20var-320cl.4	FAIL	0.01
6qbf-5cnf-160var-640cl.5	SAT	0.01
ncf_16_32_4_edau.2	FAIL	0.01
2qbf-5cnf-160var-320cl.6	SAT	0.01
5qbf-5cnf-80var-1280cl.1	FAIL	0.01
6qbf-5cnf-160var-640cl.0	SAT	0.01
ncf_4_8_2_euad.5	SAT	0.01
ncf_4_8_2_euad.7	UNSAT	0.01
3qbf-5cnf-80var-2560cl.4	UNSAT	0.01
6qbf-5cnf-160var-5120cl.3	FAIL	0.01
3qbf-5cnf-80var-2560cl.8	UNSAT	0.01
ncf_16_32_4_d.2	FAIL	0.01
ncf_8_16_4_euad.2	UNSAT	0.01
4qbf-5cnf-80var-320cl.4	FAIL	0.01
5qbf-5cnf-80var-2560cl.8	UNSAT	0.01
5qbf-5cnf-160var-640cl.7	SAT	0.01
k_grz_p-8	UNSAT	0.01
ncf_4_16_2_u.9	FAIL	0.01
counter_re_4	SAT	0.01
6qbf-5cnf-160var-640cl.3	SAT	0.01
ncf_16_32_4_d.10	FAIL	0.01
4qbf-5cnf-40var-1280cl.1	UNSAT	0.01
1qbf-5cnf-160var-2560cl.1	FAIL	0.01
1qbf-5cnf-80var-2560cl.9	FAIL	0.01
1qbf-5cnf-80var-2560cl.8	FAIL	0.01
x10.8	FAIL	0.01
x115.4	FAIL	0.01
x120.5	FAIL	0.01
x135.0	FAIL	0.01
x140.8	FAIL	0.01
x145.3	FAIL	0.01
x150.4	FAIL	0.01
x155.4	FAIL	0.01
x170.7	FAIL	0.01
x175.4	FAIL	0.01
x175.5	FAIL	0.01
x180.8	FAIL	0.01
x180.9	FAIL	0.01
x190.6	FAIL	0.01
x20.0	FAIL	0.01
x20.8	FAIL	0.01
x220.3	FAIL	0.01
x220.8	FAIL	0.01
x230.7	FAIL	0.01
x235.1	FAIL	0.01
x235.4	FAIL	0.01
x245.0	FAIL	0.01
x245.3	FAIL	0.01
x25.0	FAIL	0.01
x25.4	FAIL	0.01
x25.8	FAIL	0.01
x300.1	FAIL	0.01
x30.8	FAIL	0.01
x350.3	FAIL	0.01
x400.0	FAIL	0.01
x40.2	FAIL	0.01
x40.7	FAIL	0.01
x50.1	FAIL	0.01
x50.6	FAIL	0.01
x5.0	SAT	0.01
x5.3	UNSAT	0.01
x5.7	UNSAT	0.01
S-adeu-6	FAIL	0.01
T-adeu-6	FAIL	0.01
cmu.dme1.B-d2	SAT	0.01
cmu.dme2.B-d2	SAT	0.01
eijk.S208.S-d2	SAT	0.01
eijk.S382.S-d2	SAT	0.01
eijk.S386.S-d2	SAT	0.01
eijk.S444.S-d2	SAT	0.01
texas.ifetch1^4.E-f2	UNSAT	0.01
texas.parsesys^4.E-f2	UNSAT	0.01
vis.emodel.E-f2	UNSAT	0.01
Qq2k1k4v40v40m2s3	SAT	0.01
Qq2k1k4v40v40m2s8	SAT	0.01
Qq2k1k4v40v40m4s1	FAIL	0.01
Qq2k1k4v40v40m4s4	SAT	0.01
Qq2k1k4v40v40m4s9	SAT	0.01
Qq2k1k4v40v40m8s1	SAT	0.01
Qq2k1k4v40v40m8s3	SAT	0.01
Qq2k1k4v40v40m8s9	SAT	0.01
Qq2k1k4v40v40m16s5	SAT	0.01
Qq2k1k4v40v40m16s7	SAT	0.01
Qq2k1k4v40v40m32s2	UNSAT	0.01
Qq2k1k4v40v40m32s3	UNSAT	0.01
Qq2k1k4v40v40m32s6	UNSAT	0.01
Qq2k1k4v40v40m32s7	UNSAT	0.01
Qq2k1k4v80v80m2s5	SAT	0.01
Qq2k1k4v80v80m2s6	SAT	0.01
Qq2k1k4v80v80m2s7	FAIL	0.01
Qq2k1k4v80v80m4s1	SAT	0.01
Qq2k1k4v80v80m4s4	SAT	0.01
Qq2k1k4v80v80m8s3	SAT	0.01
Qq2k1k4v80v80m8s4	FAIL	0.01
Qq2k1k4v80v80m8s5	SAT	0.01
Qq2k1k4v80v80m8s6	SAT	0.01
Qq2k1k4v80v80m8s7	FAIL	0.01
Qq2k1k4v80v80m8s9	FAIL	0.01
Qq2k1k4v80v80m16s0	UNSAT	0.01
Qq2k1k4v80v80m16s1	FAIL	0.01
Qq2k1k4v80v80m16s6	SAT	0.01
Qq2k1k4v80v80m16s9	SAT	0.01
Qq2k1k4v80v80m32s0	UNSAT	0.01
Qq2k1k4v80v80m32s5	UNSAT	0.01
Qq2k1k4v80v80m32s7	SAT	0.01
Qq2k1k4v80v80m32s9	UNSAT	0.01
Qq2k2k3v40v40m2s4	FAIL	0.01
Qq2k2k3v40v40m2s8	SAT	0.01
Qq2k2k3v40v40m4s2	SAT	0.01
Qq2k2k3v40v40m8s0	SAT	0.01
Qq2k2k3v40v40m8s1	FAIL	0.01
Qq2k2k3v40v40m8s2	SAT	0.01
Qq2k2k3v40v40m8s4	FAIL	0.01
Qq2k2k3v40v40m16s0	SAT	0.01
Qq2k2k3v40v40m16s1	SAT	0.01
Qq2k2k3v40v40m16s7	FAIL	0.01
Qq2k2k3v40v40m32s4	SAT	0.01
Qq2k2k3v40v40m32s6	SAT	0.01
Qq2k2k3v80v80m2s2	SAT	0.01
Qq2k2k3v80v80m2s4	SAT	0.01
Qq2k2k3v80v80m2s5	SAT	0.01
Qq2k2k3v80v80m2s6	FAIL	0.01
Qq2k2k3v80v80m4s3	SAT	0.01
Qq2k2k3v80v80m4s4	SAT	0.01
Qq2k2k3v80v80m4s7	SAT	0.01
Qq2k2k3v80v80m8s2	SAT	0.01
Qq2k2k3v80v80m8s9	SAT	0.01
Qq2k2k3v80v80m16s6	SAT	0.01
Qq2k2k3v80v80m16s7	SAT	0.01
Qq2k2k3v80v80m16s8	SAT	0.01
Qq2k2k3v80v80m32s1	FAIL	0.01
Qq2k2k3v80v80m32s2	SAT	0.01
Qq2k2k3v80v80m32s4	SAT	0.01
Qq2k3k2v40v40m2s0	SAT	0.01
Qq2k3k2v40v40m2s4	FAIL	0.01
Qq2k3k2v40v40m2s6	SAT	0.01
Qq2k3k2v40v40m4s0	SAT	0.01
Qq2k3k2v40v40m4s4	SAT	0.01
Qq2k3k2v40v40m4s8	FAIL	0.01
Qq2k3k2v40v40m4s9	SAT	0.01
Qq2k3k2v40v40m8s0	SAT	0.01
Qq2k3k2v40v40m8s1	SAT	0.01
Qq2k3k2v40v40m8s2	SAT	0.01
Qq2k3k2v40v40m8s5	SAT	0.01
Qq2k3k2v40v40m8s7	SAT	0.01
Qq2k3k2v40v40m16s0	FAIL	0.01
Qq2k3k2v40v40m16s4	SAT	0.01
Qq2k3k2v40v40m16s5	SAT	0.01
Qq2k3k2v40v40m16s7	SAT	0.01
Qq2k3k2v40v40m16s9	SAT	0.01
Qq2k3k2v40v40m32s1	SAT	0.01
Qq2k3k2v40v40m32s5	SAT	0.01
Qq2k3k2v40v40m32s9	SAT	0.01
Qq2k3k2v80v80m2s0	SAT	0.01
Qq2k3k2v80v80m2s8	SAT	0.01
Qq2k3k2v80v80m2s9	FAIL	0.01
Qq2k3k2v80v80m4s2	SAT	0.01
Qq2k3k2v80v80m4s5	FAIL	0.01
Qq2k3k2v80v80m4s7	SAT	0.01
Qq2k3k2v80v80m8s1	SAT	0.01
Qq2k3k2v80v80m8s2	SAT	0.01
Qq2k3k2v80v80m8s3	SAT	0.01
Qq2k3k2v80v80m8s4	SAT	0.01
Qq2k3k2v80v80m8s8	SAT	0.01
Qq2k3k2v80v80m16s5	SAT	0.01
Qq2k3k2v80v80m16s6	SAT	0.01
Qq2k3k2v80v80m16s7	SAT	0.01
Qq2k3k2v80v80m16s8	SAT	0.01
Qq2k3k2v80v80m32s1	SAT	0.01
Qq2k3k2v80v80m32s7	FAIL	0.01
Qq3k1k1k3v40v40v40m2s1	FAIL	0.01
Qq3k1k1k3v40v40v40m2s7	SAT	0.01
Qq3k1k1k3v40v40v40m4s1	FAIL	0.01
Qq3k1k1k3v40v40v40m4s2	FAIL	0.01
Qq3k1k1k3v40v40v40m8s2	SAT	0.01
Qq3k1k1k3v40v40v40m8s3	SAT	0.01
Qq3k1k1k3v40v40v40m8s6	SAT	0.01
Qq3k1k1k3v40v40v40m16s0	SAT	0.01
Qq3k1k1k3v40v40v40m16s1	FAIL	0.01
Qq3k1k1k3v40v40v40m16s3	SAT	0.01
Qq3k1k1k3v40v40v40m16s6	FAIL	0.01
Qq3k1k1k3v40v40v40m16s7	SAT	0.01
Qq3k1k1k3v40v40v40m32s2	SAT	0.01
Qq3k1k1k3v80v80v80m2s0	SAT	0.01
Qq3k1k1k3v80v80v80m2s3	SAT	0.01
Qq3k1k1k3v80v80v80m2s8	SAT	0.01
Qq3k1k1k3v80v80v80m2s9	SAT	0.01
Qq3k1k1k3v80v80v80m4s3	SAT	0.01
Qq3k1k1k3v80v80v80m4s4	SAT	0.01
Qq3k1k1k3v80v80v80m4s7	SAT	0.01
Qq3k1k1k3v80v80v80m4s9	FAIL	0.01
Qq3k1k1k3v80v80v80m8s0	SAT	0.01
Qq3k1k1k3v80v80v80m8s4	SAT	0.01
Qq3k1k1k3v80v80v80m8s9	SAT	0.01
Qq3k1k1k3v80v80v80m16s0	FAIL	0.01
Qq3k1k1k3v80v80v80m16s1	SAT	0.01
Qq3k1k1k3v80v80v80m16s2	FAIL	0.01
Qq3k1k1k3v80v80v80m16s8	SAT	0.01
Qq3k1k1k3v80v80v80m32s0	SAT	0.01
Qq3k1k1k3v80v80v80m32s1	SAT	0.01
Qq3k1k1k3v80v80v80m32s3	FAIL	0.01
Qq3k1k1k3v80v80v80m32s7	SAT	0.01
Qq3k1k2k2v40v40v40m2s0	FAIL	0.01
Qq3k1k2k2v40v40v40m2s1	SAT	0.01
Qq3k1k2k2v40v40v40m4s3	SAT	0.01
Qq3k1k2k2v40v40v40m8s3	SAT	0.01
Qq3k1k2k2v40v40v40m16s2	SAT	0.01
Qq3k1k2k2v40v40v40m16s7	SAT	0.01
Qq3k1k2k2v40v40v40m16s9	SAT	0.01
Qq3k1k2k2v40v40v40m32s3	SAT	0.01
Qq3k1k2k2v40v40v40m32s4	SAT	0.01
Qq3k1k2k2v40v40v40m32s7	SAT	0.01
Qq3k1k2k2v40v40v40m32s8	SAT	0.01
Qq3k1k2k2v80v80v80m2s0	SAT	0.01
Qq3k1k2k2v80v80v80m2s1	SAT	0.01
Qq3k1k2k2v80v80v80m2s6	FAIL	0.01
Qq3k1k2k2v80v80v80m4s1	SAT	0.01
Qq3k1k2k2v80v80v80m4s8	FAIL	0.01
Qq3k1k2k2v80v80v80m8s1	SAT	0.01
Qq3k1k2k2v80v80v80m8s3	SAT	0.01
Qq3k1k2k2v80v80v80m8s5	SAT	0.01
Qq3k1k2k2v80v80v80m16s1	SAT	0.01
Qq3k1k2k2v80v80v80m16s2	SAT	0.01
Qq3k1k2k2v80v80v80m16s3	SAT	0.01
Qq3k1k2k2v80v80v80m16s6	SAT	0.01
Qq3k1k2k2v80v80v80m16s7	SAT	0.01
Qq3k1k2k2v80v80v80m32s4	FAIL	0.01
Qq3k1k3k1v40v40v40m2s3	SAT	0.01
Qq3k1k3k1v40v40v40m2s5	SAT	0.01
Qq3k1k3k1v40v40v40m2s7	SAT	0.01
Qq3k1k3k1v40v40v40m2s8	FAIL	0.01
Qq3k1k3k1v40v40v40m4s0	SAT	0.01
Qq3k1k3k1v40v40v40m4s2	SAT	0.01
Qq3k1k3k1v40v40v40m4s4	SAT	0.01
Qq3k1k3k1v40v40v40m8s1	SAT	0.01
Qq3k1k3k1v40v40v40m8s3	SAT	0.01
Qq3k1k3k1v40v40v40m8s5	FAIL	0.01
Qq3k1k3k1v40v40v40m8s6	SAT	0.01
Qq3k1k3k1v40v40v40m8s9	FAIL	0.01
Qq3k1k3k1v40v40v40m16s1	SAT	0.01
Qq3k1k3k1v40v40v40m16s2	SAT	0.01
Qq3k1k3k1v40v40v40m16s5	SAT	0.01
Qq3k1k3k1v40v40v40m16s8	SAT	0.01
Qq3k1k3k1v40v40v40m32s4	SAT	0.01
Qq3k1k3k1v80v80v80m2s2	SAT	0.01
Qq3k1k3k1v80v80v80m2s5	SAT	0.01
Qq3k1k3k1v80v80v80m2s6	SAT	0.01
Qq3k1k3k1v80v80v80m4s3	SAT	0.01
Qq3k1k3k1v80v80v80m4s6	SAT	0.01
Qq3k1k3k1v80v80v80m8s1	SAT	0.01
Qq3k1k3k1v80v80v80m8s2	SAT	0.01
Qq3k1k3k1v80v80v80m8s5	SAT	0.01
Qq3k1k3k1v80v80v80m16s2	FAIL	0.01
Qq3k1k3k1v80v80v80m16s3	SAT	0.01
Qq3k1k3k1v80v80v80m32s5	SAT	0.01
Qq3k1k3k1v80v80v80m32s7	SAT	0.01
Qq3k1k3k1v80v80v80m32s8	FAIL	0.01
Qq3k1k3k1v80v80v80m32s9	FAIL	0.01
Qq3k2k1k2v40v40v40m2s5	SAT	0.01
Qq3k2k1k2v40v40v40m2s6	SAT	0.01
Qq3k2k1k2v40v40v40m4s0	SAT	0.01
Qq3k2k1k2v40v40v40m4s6	SAT	0.01
Qq3k2k1k2v40v40v40m4s8	SAT	0.01
Qq3k2k1k2v40v40v40m8s3	SAT	0.01
Qq3k2k1k2v40v40v40m8s4	SAT	0.01
Qq3k2k1k2v40v40v40m8s7	SAT	0.01
Qq3k2k1k2v40v40v40m8s8	SAT	0.01
Qq3k2k1k2v40v40v40m16s0	SAT	0.01
Qq3k2k1k2v40v40v40m16s1	SAT	0.01
Qq3k2k1k2v40v40v40m16s5	SAT	0.01
Qq3k2k1k2v40v40v40m16s7	SAT	0.01
Qq3k2k1k2v40v40v40m16s9	SAT	0.01
Qq3k2k1k2v40v40v40m32s1	SAT	0.01
Qq3k2k1k2v40v40v40m32s6	SAT	0.01
Qq3k2k1k2v40v40v40m32s7	SAT	0.01
Qq3k2k1k2v40v40v40m32s9	SAT	0.01
Qq3k2k1k2v80v80v80m2s5	SAT	0.01
Qq3k2k1k2v80v80v80m2s6	SAT	0.01
Qq3k2k1k2v80v80v80m2s8	FAIL	0.01
Qq3k2k1k2v80v80v80m4s9	SAT	0.01
Qq3k2k1k2v80v80v80m8s2	SAT	0.01
Qq3k2k1k2v80v80v80m8s3	FAIL	0.01
Qq3k2k1k2v80v80v80m8s7	SAT	0.01
Qq3k2k1k2v80v80v80m8s8	SAT	0.01
Qq3k2k1k2v80v80v80m16s2	FAIL	0.01
Qq3k2k1k2v80v80v80m16s5	FAIL	0.01
Qq3k2k1k2v80v80v80m32s0	SAT	0.01
Qq3k2k1k2v80v80v80m32s4	SAT	0.01
Qq3k2k1k2v80v80v80m32s8	FAIL	0.01
Qq3k2k2k1v40v40v40m2s0	SAT	0.01
Qq3k2k2k1v40v40v40m2s2	SAT	0.01
Qq3k2k2k1v40v40v40m4s1	SAT	0.01
Qq3k2k2k1v40v40v40m4s2	SAT	0.01
Qq3k2k2k1v40v40v40m4s6	FAIL	0.01
Qq3k2k2k1v40v40v40m16s6	SAT	0.01
Qq3k2k2k1v40v40v40m16s7	SAT	0.01
Qq3k2k2k1v40v40v40m16s9	SAT	0.01
Qq3k2k2k1v40v40v40m32s2	FAIL	0.01
Qq3k2k2k1v40v40v40m32s5	SAT	0.01
Qq3k2k2k1v40v40v40m32s6	SAT	0.01
Qq3k2k2k1v40v40v40m32s8	SAT	0.01
Qq3k2k2k1v80v80v80m2s0	SAT	0.01
Qq3k2k2k1v80v80v80m2s4	FAIL	0.01
Qq3k2k2k1v80v80v80m2s6	SAT	0.01
Qq3k2k2k1v80v80v80m2s8	FAIL	0.01
Qq3k2k2k1v80v80v80m8s1	SAT	0.01
Qq3k2k2k1v80v80v80m8s2	FAIL	0.01
Qq3k2k2k1v80v80v80m32s2	FAIL	0.01
Qq3k3k1k1v40v40v40m2s0	SAT	0.01
Qq3k3k1k1v40v40v40m2s2	SAT	0.01
Qq3k3k1k1v40v40v40m2s6	SAT	0.01
Qq3k3k1k1v40v40v40m4s5	FAIL	0.01
Qq3k3k1k1v40v40v40m4s8	FAIL	0.01
Qq3k3k1k1v40v40v40m8s8	SAT	0.01
Qq3k3k1k1v40v40v40m16s2	SAT	0.01
Qq3k3k1k1v40v40v40m16s6	SAT	0.01
Qq3k3k1k1v40v40v40m16s8	SAT	0.01
Qq3k3k1k1v40v40v40m32s0	SAT	0.01
Qq3k3k1k1v40v40v40m32s1	SAT	0.01
Qq3k3k1k1v40v40v40m32s2	SAT	0.01
Qq3k3k1k1v40v40v40m32s5	SAT	0.01
Qq3k3k1k1v40v40v40m32s8	SAT	0.01
Qq3k3k1k1v80v80v80m2s0	SAT	0.01
Qq3k3k1k1v80v80v80m2s2	SAT	0.01
Qq3k3k1k1v80v80v80m2s3	SAT	0.01
Qq3k3k1k1v80v80v80m4s0	SAT	0.01
Qq3k3k1k1v80v80v80m4s3	SAT	0.01
Qq3k3k1k1v80v80v80m4s9	SAT	0.01
Qq3k3k1k1v80v80v80m8s0	SAT	0.01
Qq3k3k1k1v80v80v80m8s3	SAT	0.01
Qq3k3k1k1v80v80v80m8s8	SAT	0.01
Qq3k3k1k1v80v80v80m8s9	SAT	0.01
Qq3k3k1k1v80v80v80m16s0	SAT	0.01
Qq3k3k1k1v80v80v80m16s2	SAT	0.01
Qq3k3k1k1v80v80v80m16s3	SAT	0.01
Qq3k3k1k1v80v80v80m16s5	SAT	0.01
Qq3k3k1k1v80v80v80m16s8	SAT	0.01
Qq3k3k1k1v80v80v80m32s0	FAIL	0.01
Qq3k3k1k1v80v80v80m32s2	SAT	0.01
Qq3k3k1k1v80v80v80m32s5	SAT	0.01
Qq3k3k1k1v80v80v80m32s7	SAT	0.01
Qq3k3k1k1v80v80v80m32s9	SAT	0.01
ncf_4_16_2_d.2	SAT	0.02
5qbf-5cnf-160var-640cl.8	SAT	0.02
5qbf-5cnf-160var-640cl.3	SAT	0.02
ncf_4_8_8_u.9	UNSAT	0.02
ncf_4_16_4_d.8	SAT	0.02
ncf_4_8_8_edau.5	UNSAT	0.02
ncf_16_32_2_u.9	UNSAT	0.02
connect_5x4_4_R	UNSAT	0.02
CHAIN20v.21	SAT	0.02
ncf_8_16_4_euad.5	UNSAT	0.02
ncf_4_8_8_d.5	UNSAT	0.02
ncf_8_16_4_edau.5	UNSAT	0.02
5qbf-5cnf-160var-5120cl.7	UNSAT	0.02
5qbf-5cnf-160var-5120cl.6	UNSAT	0.02
k_dum_n-16	SAT	0.02
3qbf-5cnf-80var-2560cl.7	UNSAT	0.02
5qbf-5cnf-20var-640cl.0	UNSAT	0.02
ncf_16_32_8_u.7	FAIL	0.02
3qbf-5cnf-40var-640cl.7	UNSAT	0.02
ncf_4_16_2_edau.9	FAIL	0.02
ncf_4_16_4_u.1	SAT	0.02
ncf_16_32_2_euad.9	UNSAT	0.02
ncf_4_16_4_u.8	SAT	0.02
5qbf-5cnf-160var-640cl.0	SAT	0.02
ncf_16_32_2_d.6	SAT	0.02
5qbf-5cnf-20var-320cl.7	FAIL	0.02
ncf_4_16_4_edau.8	SAT	0.02
3qbf-5cnf-80var-2560cl.2	UNSAT	0.02
k_dum_p-12	UNSAT	0.02
ncf_4_8_8_euad.9	UNSAT	0.02
k_grz_p-4	UNSAT	0.02
k_poly_n-8	SAT	0.02
ncf_8_16_4_d.8	UNSAT	0.02
ncf_4_8_8_d.9	UNSAT	0.02
ncf_16_32_4_d.9	SAT	0.02
ncf_8_16_4_edau.8	UNSAT	0.02
ncf_8_16_8_d.1	SAT	0.02
ncf_4_8_8_edau.8	SAT	0.02
x100.7	FAIL	0.02
x105.4	FAIL	0.02
x10.7	SAT	0.02
x150.7	FAIL	0.02
x185.6	FAIL	0.02
x300.0	FAIL	0.02
x30.0	FAIL	0.02
x350.2	FAIL	0.02
x5.6	UNSAT	0.02
eijk.S953.S-d2	SAT	0.02
vis.coherence^1.E-d2	SAT	0.02
texas.ifetch1^1.E-f2	UNSAT	0.02
vis.elevator^1.E-f2	UNSAT	0.02
Qq2k1k4v40v40m2s0	SAT	0.02
Qq2k1k4v40v40m8s2	UNSAT	0.02
Qq2k1k4v40v40m8s7	SAT	0.02
Qq2k1k4v80v80m2s0	SAT	0.02
Qq2k1k4v80v80m4s3	SAT	0.02
Qq2k2k3v40v40m8s6	SAT	0.02
Qq2k2k3v40v40m8s9	SAT	0.02
Qq2k2k3v40v40m16s2	SAT	0.02
Qq2k2k3v80v80m2s0	SAT	0.02
Qq2k2k3v80v80m4s8	SAT	0.02
Qq2k2k3v80v80m16s1	SAT	0.02
Qq2k2k3v80v80m16s4	SAT	0.02
Qq2k3k2v40v40m2s3	SAT	0.02
Qq2k3k2v40v40m4s1	SAT	0.02
Qq2k3k2v40v40m8s4	SAT	0.02
Qq2k3k2v40v40m16s8	SAT	0.02
Qq2k3k2v80v80m4s6	SAT	0.02
Qq2k3k2v80v80m16s1	SAT	0.02
Qq2k3k2v80v80m32s0	SAT	0.02
Qq3k1k1k3v40v40v40m8s4	SAT	0.02
Qq3k1k1k3v40v40v40m32s3	SAT	0.02
Qq3k1k1k3v40v40v40m32s4	SAT	0.02
Qq3k1k1k3v80v80v80m2s7	SAT	0.02
Qq3k1k1k3v80v80v80m4s1	SAT	0.02
Qq3k1k1k3v80v80v80m16s3	SAT	0.02
Qq3k1k2k2v40v40v40m4s1	SAT	0.02
Qq3k1k2k2v40v40v40m4s2	SAT	0.02
Qq3k1k2k2v40v40v40m8s4	SAT	0.02
Qq3k1k2k2v40v40v40m16s5	SAT	0.02
Qq3k1k2k2v40v40v40m16s6	FAIL	0.02
Qq3k1k2k2v80v80v80m8s7	SAT	0.02
Qq3k1k3k1v40v40v40m4s9	SAT	0.02
Qq3k1k3k1v40v40v40m8s2	SAT	0.02
Qq3k1k3k1v40v40v40m16s3	SAT	0.02
Qq3k1k3k1v80v80v80m8s6	SAT	0.02
Qq3k1k3k1v80v80v80m32s1	SAT	0.02
Qq3k2k1k2v40v40v40m2s2	SAT	0.02
Qq3k2k1k2v40v40v40m4s3	SAT	0.02
Qq3k2k1k2v40v40v40m32s5	SAT	0.02
Qq3k2k1k2v80v80v80m16s7	SAT	0.02
Qq3k2k2k1v40v40v40m2s1	SAT	0.02
Qq3k2k2k1v40v40v40m8s1	SAT	0.02
Qq3k2k2k1v40v40v40m8s5	SAT	0.02
Qq3k2k2k1v40v40v40m16s0	SAT	0.02
Qq3k2k2k1v80v80v80m2s5	SAT	0.02
Qq3k2k2k1v80v80v80m16s1	SAT	0.02
Qq3k2k2k1v80v80v80m16s3	SAT	0.02
Qq3k2k2k1v80v80v80m32s3	FAIL	0.02
Qq3k3k1k1v40v40v40m2s5	SAT	0.02
Qq3k3k1k1v40v40v40m2s9	SAT	0.02
Qq3k3k1k1v40v40v40m8s5	SAT	0.02
Qq3k3k1k1v80v80v80m2s6	SAT	0.02
Qq3k3k1k1v80v80v80m8s7	SAT	0.02
Qq3k3k1k1v80v80v80m16s7	SAT	0.02
ncf_16_32_4_edau.1	FAIL	0.03
ncf_4_8_8_d.8	SAT	0.03
ncf_4_8_2_euad.4	UNSAT	0.03
ncf_4_8_2_euad.9	SAT	0.03
ncf_16_32_2_d.7	UNSAT	0.03
ncf_4_16_2_edau.4	SAT	0.03
k_path_n-8	SAT	0.03
5qbf-5cnf-160var-5120cl.5	UNSAT	0.03
BLOCKS3i.4.4	UNSAT	0.03
k_poly_n-16	SAT	0.03
connect_5x4_3_R	UNSAT	0.03
ncf_16_32_4_edau.7	UNSAT	0.03
CHAIN22v.23	SAT	0.03
6qbf-5cnf-160var-640cl.9	SAT	0.03
ncf_8_16_4_u.5	UNSAT	0.03
ncf_4_16_2_u.4	SAT	0.03
ncf_8_16_4_d.5	UNSAT	0.03
CHAIN21v.22	SAT	0.03
ncf_4_16_2_d.4	SAT	0.03
k_path_n-12	SAT	0.03
k_path_p-12	UNSAT	0.03
k_poly_n-12	SAT	0.03
ncf_8_16_8_edau.1	SAT	0.03
k_dum_n-21	SAT	0.03
k_path_p-8	UNSAT	0.03
k_dum_n-12	SAT	0.03
x10.0	UNSAT	0.03
x10.1	UNSAT	0.03
x10.2	UNSAT	0.03
x10.3	UNSAT	0.03
x10.6	UNSAT	0.03
x10.9	UNSAT	0.03
sortnetsort5.v.stepl.003	UNSAT	0.03
Qq2k1k4v80v80m16s4	SAT	0.03
Qq2k2k3v80v80m16s5	SAT	0.03
Qq3k1k1k3v40v40v40m2s5	SAT	0.03
Qq3k1k1k3v40v40v40m4s5	SAT	0.03
Qq3k1k1k3v80v80v80m2s5	SAT	0.03
Qq3k1k3k1v80v80v80m4s2	SAT	0.03
Qq3k2k2k1v80v80v80m2s1	SAT	0.03
Qq3k3k1k1v80v80v80m32s1	SAT	0.03
ncf_16_32_4_d.7	UNSAT	0.04
5qbf-5cnf-160var-640cl.9	SAT	0.04
ncf_16_32_4_edau.10	UNSAT	0.04
ncf_8_16_8_euad.1	SAT	0.04
qshifter_5	SAT	0.04
k_poly_p-21	UNSAT	0.04
k_poly_p-12	UNSAT	0.04
s27_d3_u	UNSAT	0.04
comp.blif_0.10_0.20_0_0_out_exact	UNSAT	0.04
k_poly_p-20	UNSAT	0.04
k_lin_p-12	UNSAT	0.04
x10.4	SAT	0.04
x10.5	UNSAT	0.04
x5.8	UNSAT	0.04
Qq2k3k2v40v40m4s3	SAT	0.04
Qq2k3k2v80v80m2s2	SAT	0.04
k_dum_p-21	UNSAT	0.05
C432.blif_0.10_1.00_0_0_out_exact	UNSAT	0.05
k_dum_p-20	UNSAT	0.05
k_d4_p-16	UNSAT	0.05
CHAIN23v.24	SAT	0.05
k_d4_p-12	UNSAT	0.05
k_dum_n-20	SAT	0.05
connect_6x5_5_R	UNSAT	0.05
toilet_c_10_05.7	SAT	0.05
ncf_4_8_2_u.6	SAT	0.05
k_d4_p-8	UNSAT	0.05
sortnetsort5.v.stepl.005	SAT	0.05
Qq2k2k3v40v40m2s3	SAT	0.05
Qq2k3k2v40v40m4s6	SAT	0.05
Qq3k2k1k2v80v80v80m32s1	SAT	0.05
k_path_p-16	UNSAT	0.06
k_poly_n-20	SAT	0.06
k_t4p_p-4	UNSAT	0.06
k_grz_n-8	SAT	0.06
k_path_n-21	SAT	0.06
k_path_n-16	SAT	0.06
ncf_16_32_8_d.4	SAT	0.06
k_poly_n-21	SAT	0.06
lut4_2_fXOR	SAT	0.07
BLOCKS3ii.5.2	UNSAT	0.07
ncf_16_32_8_edau.4	SAT	0.07
k_t4p_p-12	UNSAT	0.07
BLOCKS3iii.5	SAT	0.07
sortnetsort5.v.stepl.006	SAT	0.07
sortnetsort6.v.stepl.003	UNSAT	0.07
k_lin_p-16	UNSAT	0.08
k_d4_p-21	UNSAT	0.08
k_path_p-21	UNSAT	0.08
1qbf-5cnf-160var-2560cl.8	SAT	0.08
BLOCKS3ii.5.3	SAT	0.09
k_t4p_p-16	UNSAT	0.09
k_lin_n-4	SAT	0.09
2qbf-5cnf-160var-320cl.3	SAT	0.09
ncf_4_8_8_d.3	SAT	0.09
k_path_p-20	UNSAT	0.09
k_path_n-20	SAT	0.09
eijk.S820.S-d2	SAT	0.09
eijk.S832.S-d2	SAT	0.09
sortnetsort5.v.stepl.004	UNSAT	0.09
3qbf-5cnf-40var-640cl.9	UNSAT	0.1
ncf_4_8_8_edau.1	SAT	0.1
x15.5	UNSAT	0.1
sortnetsort5.v.stepl.007	SAT	0.1
k_d4_p-20	UNSAT	0.11
TOILET10.1.iv.20	SAT	0.11
vis.4-arbit^1.E-d2	SAT	0.11
k_lin_p-20	UNSAT	0.12
C499.blif_0.10_1.00_0_0_inp_exact	UNSAT	0.12
x15.1	SAT	0.12
x15.6	UNSAT	0.12
vis.emodel.E-d2	SAT	0.12
nusmv.reactor^5.C-f2	UNSAT	0.12
texas.ifetch1^8.E-f2	SAT	0.12
term1.blif_0.10_1.00_0_0_out_exact	UNSAT	0.13
k_t4p_p-20	UNSAT	0.13
k_t4p_p-21	UNSAT	0.13
BLOCKS3i.5.3	UNSAT	0.13
s298_d2_s	SAT	0.13
x15.4	UNSAT	0.13
irst.dme4.B-d2	SAT	0.13
ncf_4_16_4_d.9	SAT	0.14
k_t4p_n-8	SAT	0.14
k_lin_p-21	UNSAT	0.14
x15.0	UNSAT	0.14
x15.8	SAT	0.14
texas.parsesys^3.E-f2	SAT	0.14
counter_8	SAT	0.15
term1.blif_0.10_1.00_0_0_inp_exact	UNSAT	0.15
x15.7	UNSAT	0.15
x15.9	UNSAT	0.15
sortnetsort6.v.stepl.005	SAT	0.15
lognBWLARGEA1	FAIL	0.16
2qbf-5cnf-160var-320cl.5	SAT	0.16
k_t4p_n-12	SAT	0.16
Adder2-4-s	SAT	0.16
sortnetsort6.v.stepl.006	SAT	0.16
BLOCKS3i.5.4	SAT	0.17
k_ph_n-8	SAT	0.17
x15.2	UNSAT	0.17
ncf_16_32_2_euad.7	UNSAT	0.18
k_t4p_n-16	SAT	0.2
ncf_4_8_8_euad.3	SAT	0.2
sortnetsort6.v.stepl.007	SAT	0.2
2qbf-5cnf-160var-320cl.0	SAT	0.22
ncf_4_8_8_u.1	SAT	0.22
lut4_2_f1	SAT	0.22
adder-4-sat	SAT	0.23
ncf_4_8_8_u.3	SAT	0.24
sortnetsort7.v.stepl.003	UNSAT	0.24
1qbf-5cnf-160var-2560cl.3	SAT	0.26
sortnetsort6.v.stepl.004	UNSAT	0.28
connect_8x7_4_D	UNSAT	0.31
connect_8x7_4_W	UNSAT	0.31
texas.PI_main^14.E-f2	UNSAT	0.31
k_grz_p-12	UNSAT	0.32
qshifter_6	SAT	0.32
s499_d2_s	SAT	0.32
k_grz_n-12	SAT	0.33
connect_8x7_3_D	UNSAT	0.34
connect_8x7_3_W	UNSAT	0.35
ncf_4_8_8_d.1	SAT	0.36
ncf_4_16_2_edau.7	SAT	0.36
k_d4_n-4	SAT	0.38
k_t4p_p-8	UNSAT	0.39
ncf_4_16_2_d.7	SAT	0.41
s27_d4_u	UNSAT	0.41
lut4_AND_f1	SAT	0.41
3qbf-5cnf-20var-320cl.4	UNSAT	0.41
connect_9x8_5_W	UNSAT	0.5
x20.6	SAT	0.5
k_t4p_n-20	SAT	0.51
lognBWLARGEB1	FAIL	0.51
C5315.blif_0.10_1.00_0_0_inp_exact	UNSAT	0.52
connect_9x8_5_D	UNSAT	0.53
C5315.blif_0.10_1.00_0_0_out_exact	UNSAT	0.53
C5315.blif_0.10_1.00_0_1_inp_exact	SAT	0.53
ncf_4_8_2_u.2	SAT	0.53
TOILET16.1.iv.32	SAT	0.53
x20.4	UNSAT	0.54
eijk.S344.S-d2	SAT	0.54
eijk.S349.S-d2	SAT	0.54
k_t4p_n-21	SAT	0.55
szymanski-8-s	UNSAT	0.55
C5315.blif_0.10_1.00_0_1_out_exact	SAT	0.56
connect_9x8_3_W	UNSAT	0.58
ncf_4_8_4_euad.8	UNSAT	0.58
connect_9x8_4_D	UNSAT	0.58
connect_9x8_4_W	UNSAT	0.61
C499.blif_0.10_1.00_0_0_out_exact	UNSAT	0.63
sortnetsort8.v.stepl.003	UNSAT	0.63
ncf_4_16_2_u.2	SAT	0.65
ncf_4_16_2_euad.2	SAT	0.66
connect_9x8_3_D	UNSAT	0.72
texas.parsesys^1.E-f2	SAT	0.78
x20.3	UNSAT	0.79
ncf_4_8_2_euad.2	SAT	0.8
x20.9	SAT	0.81
sortnetsort7.v.stepl.008	SAT	0.84
k_lin_n-8	SAT	0.85
sortnetsort7.v.stepl.004	UNSAT	0.85
s510_d2_s	SAT	0.86
x20.5	SAT	0.88
vis.eisenberg.E-f2	SAT	0.89
1qbf-5cnf-160var-2560cl.2	SAT	0.9
ncf_4_16_4_euad.9	SAT	0.93
x20.7	SAT	0.95
x20.1	UNSAT	0.97
k_grz_p-16	UNSAT	0.98
irst.dme5.B-d2	SAT	1.03
texas.PI_main^01.E-f2	SAT	1.1
ncf_4_16_4_edau.9	SAT	1.11
3qbf-5cnf-40var-640cl.8	UNSAT	1.14
TOILET7.1.iv.13	UNSAT	1.2
1qbf-5cnf-160var-2560cl.4	SAT	1.27
x20.2	SAT	1.27
sortnetsort7.v.stepl.009	SAT	1.27
k_dum_p-16	UNSAT	1.32
lut4_AND_fXOR	UNSAT	1.37
1qbf-5cnf-160var-2560cl.5	SAT	1.44
2qbf-5cnf-40var-160cl.7	UNSAT	1.48
vis.bakery.E-f2	SAT	1.52
1qbf-5cnf-160var-2560cl.0	SAT	1.61
k_grz_n-16	SAT	1.79
lut4_3_fAND	SAT	2.07
sortnetsort8.v.stepl.008	SAT	2.12
ncf_16_32_2_edau.7	UNSAT	2.16
ncf_4_8_4_euad.10	SAT	2.28
eijk.S1423.S-d2	SAT	2.34
ncf_4_16_4_u.9	SAT	2.44
qshifter_7	SAT	2.46
szymanski-10-s	UNSAT	2.5
k_grz_p-21	UNSAT	2.5
sortnetsort8.v.stepl.009	SAT	2.53
sortnetsort8.v.stepl.004	UNSAT	2.55
k_grz_p-20	UNSAT	2.57
toilet_a_10_05.4	SAT	2.61
counter_e_8	SAT	2.7
s27_d5_u	UNSAT	2.87
irst.dme6.B-d2	SAT	3.12
k_grz_n-20	SAT	3.21
2qbf-5cnf-160var-320cl.2	SAT	3.25
BLOCKS4iii.6	UNSAT	3.27
ncf_4_8_4_euad.6	SAT	3.29
2qbf-5cnf-40var-160cl.2	UNSAT	3.39
ncf_4_8_4_u.10	SAT	3.41
k_ph_p-8	UNSAT	3.42
ncf_8_16_8_edau.6	UNSAT	3.54
k_grz_n-21	SAT	3.61
s386_d2_s	SAT	3.71
k_lin_n-12	SAT	3.8
BLOCKS4ii.6.3	UNSAT	3.95
nusmv.syncarb5^2.B-f2	SAT	4.13
BLOCKS4i.6.4	UNSAT	4.32
lut4_2_f2	UNSAT	4.38
k_ph_n-12	SAT	4.53
x25.9	UNSAT	4.55
eijk.S1196.S-d2	SAT	4.75
eijk.S1238.S-d2	SAT	4.89
sortnetsort7.v.stepl.006	SAT	5.04
texas.parsesys^2.E-f2	UNSAT	5.85
x25.7	UNSAT	5.87
sortnetsort8.v.stepl.006	SAT	6.1
x25.6	UNSAT	6.67
sortnetsort7.v.stepl.007	SAT	6.98
BLOCKS4ii.7.2	UNSAT	7.03
ncf_4_8_8_euad.1	SAT	7.37
sortnetsort9.v.stepl.004	UNSAT	7.86
k_t4p_n-4	SAT	8.1
ncf_4_8_4_u.6	SAT	8.56
sortnetsort9.v.stepl.011	SAT	9.14
BLOCKS4iii.7	SAT	9.43
x25.1	SAT	10
k_lin_n-16	SAT	10.21
sortnetsort8.v.stepl.007	SAT	10.59
2qbf-5cnf-40var-160cl.6	UNSAT	11.75
sortnetsort9.v.stepl.008	SAT	12.49
C499.blif_0.10_0.20_0_1_inp_exact	FAIL	13.67
sortnetsort9.v.stepl.010	SAT	13.78
2qbf-5cnf-40var-320cl.8	FAIL	13.81
6qbf-5cnf-80var-1280cl.5	FAIL	13.91
s298_d4_s	SAT	14.19
2qbf-5cnf-80var-640cl.7	FAIL	14.24
2qbf-5cnf-40var-320cl.0	FAIL	14.28
k_d4_n-21	FAIL	14.32
2qbf-5cnf-40var-320cl.4	FAIL	14.36
6qbf-5cnf-40var-640cl.2	FAIL	14.38
2qbf-5cnf-80var-640cl.8	FAIL	14.39
2qbf-5cnf-40var-320cl.1	FAIL	14.64
2qbf-5cnf-40var-320cl.9	FAIL	14.66
5qbf-5cnf-80var-1280cl.5	FAIL	14.69
4qbf-5cnf-40var-640cl.4	FAIL	14.76
2qbf-5cnf-40var-320cl.2	FAIL	14.8
6qbf-5cnf-80var-1280cl.4	FAIL	14.89
3qbf-5cnf-160var-2560cl.9	FAIL	14.93
6qbf-5cnf-40var-640cl.4	FAIL	15.01
3qbf-5cnf-80var-1280cl.6	FAIL	15.01
sortnetsort9.v.stepl.009	SAT	15.03
2qbf-5cnf-80var-640cl.2	FAIL	15.26
5qbf-5cnf-40var-640cl.1	FAIL	15.31
mutex-64-s	FAIL	15.33
3qbf-5cnf-80var-1280cl.0	FAIL	15.36
6qbf-5cnf-80var-640cl.3	FAIL	15.38
6qbf-5cnf-40var-640cl.9	FAIL	15.39
5qbf-5cnf-40var-640cl.7	FAIL	15.41
mutex-32-s	FAIL	15.43
cmu.dme1.B-f2	FAIL	15.45
4qbf-5cnf-160var-2560cl.0	FAIL	15.53
irst.dme6.B-f2	FAIL	15.58
sortnetsort9.v.stepl.012	SAT	15.58
6qbf-5cnf-40var-640cl.6	FAIL	15.6
6qbf-5cnf-160var-2560cl.2	FAIL	15.63
5qbf-5cnf-80var-1280cl.6	FAIL	15.63
Adder2-6-c	FAIL	15.7
2qbf-5cnf-80var-640cl.5	FAIL	15.71
5qbf-5cnf-40var-640cl.9	FAIL	15.71
4qbf-5cnf-40var-640cl.3	FAIL	15.71
2qbf-5cnf-80var-640cl.4	FAIL	15.74
2qbf-5cnf-80var-640cl.9	FAIL	15.77
4qbf-5cnf-160var-2560cl.9	FAIL	15.78
3qbf-5cnf-160var-2560cl.2	FAIL	15.78
5qbf-5cnf-20var-320cl.3	FAIL	15.79
2qbf-5cnf-80var-320cl.2	FAIL	15.82
ncf_4_8_8_u.2	FAIL	15.83
2qbf-5cnf-80var-320cl.8	FAIL	15.87
k_branch_p-4	FAIL	15.93
3qbf-5cnf-160var-2560cl.4	FAIL	15.97
3qbf-5cnf-80var-1280cl.8	FAIL	15.98
3qbf-5cnf-160var-2560cl.8	FAIL	16.01
2qbf-5cnf-80var-320cl.3	FAIL	16.01
6qbf-5cnf-80var-1280cl.9	FAIL	16.02
4qbf-5cnf-160var-2560cl.7	FAIL	16.03
2qbf-5cnf-80var-320cl.7	FAIL	16.03
6qbf-5cnf-80var-1280cl.2	FAIL	16.03
4qbf-5cnf-160var-2560cl.8	FAIL	16.04
6qbf-5cnf-80var-1280cl.6	FAIL	16.04
2qbf-5cnf-80var-640cl.6	FAIL	16.05
3qbf-5cnf-80var-1280cl.2	FAIL	16.08
2qbf-5cnf-80var-320cl.1	FAIL	16.12
6qbf-5cnf-40var-1280cl.0	FAIL	16.16
6qbf-5cnf-40var-640cl.5	FAIL	16.18
3qbf-5cnf-40var-320cl.1	FAIL	16.19
2qbf-5cnf-80var-320cl.0	FAIL	16.24
2qbf-5cnf-80var-320cl.6	FAIL	16.25
4qbf-5cnf-40var-640cl.0	FAIL	16.28
k_d4_n-20	FAIL	16.31
2qbf-5cnf-80var-640cl.1	FAIL	16.32
5qbf-5cnf-80var-1280cl.9	FAIL	16.33
3qbf-5cnf-160var-2560cl.3	FAIL	16.34
2qbf-5cnf-80var-640cl.0	FAIL	16.34
Adder2-8-c	FAIL	16.34
2qbf-5cnf-40var-640cl.4	FAIL	16.35
2qbf-5cnf-80var-1280cl.0	FAIL	16.36
6qbf-5cnf-160var-2560cl.5	FAIL	16.36
6qbf-5cnf-160var-2560cl.8	FAIL	16.37
4qbf-5cnf-40var-640cl.7	FAIL	16.44
3qbf-5cnf-160var-2560cl.1	FAIL	16.45
4qbf-5cnf-40var-640cl.6	FAIL	16.49
3qbf-5cnf-160var-2560cl.5	FAIL	16.5
6qbf-5cnf-160var-2560cl.7	FAIL	16.5
2qbf-5cnf-80var-320cl.9	FAIL	16.51
2qbf-5cnf-80var-320cl.4	FAIL	16.54
ncf_4_16_8_u.6	FAIL	16.56
4qbf-5cnf-160var-2560cl.2	FAIL	16.57
3qbf-5cnf-40var-640cl.1	FAIL	16.66
6qbf-5cnf-40var-1280cl.4	FAIL	16.67
biu.mv.xl_ao.bb-b001-p010-MIF04-c05.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-005	FAIL	16.67
4qbf-5cnf-160var-2560cl.1	FAIL	16.69
nusmv.reactor^7.C-f2	FAIL	16.71
k_d4_n-8	FAIL	16.73
adder-4-unsat	FAIL	16.74
ncf_4_32_2_edau.7	FAIL	16.76
ncf_4_16_8_u.2	FAIL	16.85
4qbf-5cnf-80var-1280cl.6	FAIL	16.89
3qbf-5cnf-160var-2560cl.7	FAIL	16.89
6qbf-5cnf-40var-1280cl.5	FAIL	16.96
4qbf-5cnf-40var-640cl.5	FAIL	16.97
5qbf-5cnf-160var-2560cl.4	FAIL	16.97
eijk.S526.S-f2	FAIL	16.97
6qbf-5cnf-20var-320cl.5	FAIL	16.99
3qbf-5cnf-40var-640cl.2	FAIL	17
2qbf-5cnf-80var-1280cl.2	FAIL	17.01
6qbf-5cnf-40var-1280cl.7	FAIL	17.02
2qbf-5cnf-80var-320cl.5	FAIL	17.03
biu.mv.xl_ao.bb-b001-p010-MIF03-c10.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-005	FAIL	17.06
6qbf-5cnf-40var-1280cl.1	FAIL	17.08
ncf_16_32_8_u.4	FAIL	17.09
2qbf-5cnf-80var-640cl.3	FAIL	17.11
biu.mv.xl_ao.bb-b001-p010-MIF04-c06.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-005	FAIL	17.11
3qbf-5cnf-40var-640cl.4	FAIL	17.12
ncf_16_32_4_d.6	FAIL	17.17
4qbf-5cnf-80var-1280cl.5	FAIL	17.18
2qbf-5cnf-40var-640cl.1	FAIL	17.24
ncf_4_16_8_u.5	FAIL	17.24
C6288.blif_0.10_1.00_0_1_out_exact	FAIL	17.26
4qbf-5cnf-40var-640cl.8	FAIL	17.3
3qbf-5cnf-40var-640cl.0	FAIL	17.35
6qbf-5cnf-20var-640cl.7	FAIL	17.38
adder-6-unsat	FAIL	17.39
ncf_8_16_8_edau.4	FAIL	17.44
biu.mv.xl_ao.bb-b001-p010-MIF01-c10.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	17.49
ncf_16_32_4_u.1	FAIL	17.5
5qbf-5cnf-160var-2560cl.6	FAIL	17.52
biu.mv.xl_ao.bb-b001-p010-MIF01-c01.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	17.53
k_d4_n-12	FAIL	17.55
5qbf-5cnf-40var-1280cl.3	FAIL	17.55
ncf_16_32_4_u.3	FAIL	17.56
3qbf-5cnf-80var-1280cl.7	FAIL	17.56
3qbf-5cnf-40var-640cl.6	FAIL	17.57
6qbf-5cnf-20var-640cl.3	FAIL	17.6
ncf_16_32_4_euad.8	FAIL	17.6
2qbf-5cnf-80var-1280cl.4	FAIL	17.63
4qbf-5cnf-20var-640cl.4	FAIL	17.64
ncf_4_8_8_u.6	FAIL	17.65
ncf_16_32_4_u.2	FAIL	17.66
ncf_8_16_4_edau.7	FAIL	17.69
ncf_8_16_4_u.7	FAIL	17.7
biu.mv.xl_ao.bb-b001-p010-MIF03-c08.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-005	FAIL	17.71
4qbf-5cnf-160var-2560cl.3	FAIL	17.73
4qbf-5cnf-40var-320cl.9	FAIL	17.73
2qbf-5cnf-40var-640cl.6	FAIL	17.77
3qbf-5cnf-40var-640cl.5	FAIL	17.79
ncf_4_16_8_u.8	FAIL	17.81
5qbf-5cnf-20var-320cl.4	FAIL	17.81
2qbf-5cnf-40var-640cl.7	FAIL	17.83
2qbf-5cnf-80var-1280cl.8	FAIL	17.84
5qbf-5cnf-160var-2560cl.0	FAIL	17.86
2qbf-5cnf-160var-2560cl.0	FAIL	17.86
ncf_4_32_2_edau.5	FAIL	17.87
mutex-16-s	FAIL	17.88
2qbf-5cnf-160var-2560cl.8	FAIL	17.89
ncf_16_32_8_edau.7	FAIL	17.89
biu.mv.xl_ao.bb-b001-p010-IPF05-c05.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003	FAIL	17.89
5qbf-5cnf-80var-1280cl.0	FAIL	17.9
4qbf-5cnf-80var-1280cl.1	FAIL	17.91
ncf_16_32_8_edau.5	FAIL	17.93
ncf_4_16_8_d.1	FAIL	17.94
5qbf-5cnf-160var-2560cl.2	FAIL	17.96
ncf_8_16_8_edau.2	FAIL	17.97
6qbf-5cnf-40var-1280cl.8	FAIL	17.97
2qbf-5cnf-40var-640cl.2	FAIL	18
biu.mv.xl_ao.bb-b001-p005-OPF05-c04.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	18
6qbf-5cnf-40var-1280cl.6	FAIL	18.01
ncf_4_16_8_u.1	FAIL	18.01
6qbf-5cnf-160var-2560cl.4	FAIL	18.06
2qbf-5cnf-160var-2560cl.1	FAIL	18.09
5qbf-5cnf-40var-640cl.4	FAIL	18.1
ncf_8_16_4_euad.7	FAIL	18.12
6qbf-5cnf-20var-640cl.2	FAIL	18.12
biu.mv.xl_ao.bb-b001-p010-OPF05-c04.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	18.12
4qbf-5cnf-40var-640cl.2	FAIL	18.13
4qbf-5cnf-40var-640cl.9	FAIL	18.14
4qbf-5cnf-80var-1280cl.7	FAIL	18.16
3qbf-5cnf-80var-1280cl.4	FAIL	18.16
ncf_16_32_8_u.5	FAIL	18.16
5qbf-5cnf-160var-2560cl.3	FAIL	18.18
ncf_4_16_4_edau.2	FAIL	18.19
6qbf-5cnf-80var-2560cl.4	FAIL	18.21
5qbf-5cnf-40var-640cl.2	FAIL	18.25
ncf_8_16_4_u.9	FAIL	18.26
ncf_16_32_2_edau.10	FAIL	18.28
ncf_16_32_8_u.6	FAIL	18.29
2qbf-5cnf-80var-1280cl.7	FAIL	18.3
ncf_4_16_4_u.7	FAIL	18.3
ncf_16_32_4_euad.2	FAIL	18.31
2qbf-5cnf-160var-2560cl.2	FAIL	18.32
6qbf-5cnf-20var-640cl.6	FAIL	18.32
ncf_4_8_8_u.7	FAIL	18.34
ncf_16_32_2_d.1	FAIL	18.36
4qbf-5cnf-20var-640cl.1	FAIL	18.39
biu.mv.xl_ao.bb-b001-p010-MIF05-c05.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	18.39
ncf_16_32_8_u.8	FAIL	18.42
ncf_8_16_4_edau.9	FAIL	18.45
biu.mv.xl_ao.bb-b001-p005-OPF05-c02.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	18.45
ncf_16_32_4_u.4	FAIL	18.46
2qbf-5cnf-160var-2560cl.3	FAIL	18.48
ncf_8_16_8_edau.5	FAIL	18.49
ncf_4_16_8_u.9	FAIL	18.49
biu.mv.xl_ao.bb-b001-p010-OPF03-c03.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	18.49
ncf_4_32_2_edau.4	FAIL	18.51
ncf_16_32_4_euad.5	FAIL	18.51
3qbf-5cnf-40var-320cl.3	FAIL	18.54
ncf_16_32_8_edau.9	FAIL	18.54
ncf_16_32_8_u.1	FAIL	18.58
4qbf-5cnf-80var-1280cl.4	FAIL	18.58
ncf_4_16_8_d.6	FAIL	18.59
ncf_8_16_8_edau.10	FAIL	18.59
6qbf-5cnf-80var-2560cl.2	FAIL	18.59
6qbf-5cnf-80var-2560cl.5	FAIL	18.61
ncf_8_16_8_d.3	FAIL	18.62
ncf_4_16_4_u.2	FAIL	18.65
6qbf-5cnf-80var-2560cl.9	FAIL	18.66
5qbf-5cnf-40var-640cl.3	FAIL	18.66
ncf_16_32_4_edau.3	FAIL	18.67
6qbf-5cnf-40var-1280cl.9	FAIL	18.69
biu.mv.xl_ao.bb-b001-p005-OPF05-c03.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	18.69
ncf_4_16_4_euad.7	FAIL	18.7
biu.mv.xl_ao.bb-b001-p010-MIF01-c08.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	18.7
ncf_16_32_8_u.10	FAIL	18.71
6qbf-5cnf-80var-1280cl.7	FAIL	18.72
cmu.dme2.B-f2	FAIL	18.73
adder-8-unsat	FAIL	18.74
6qbf-5cnf-160var-5120cl.2	FAIL	18.74
ncf_8_16_8_d.4	FAIL	18.79
2qbf-5cnf-40var-640cl.8	FAIL	18.82
ncf_16_32_4_u.9	FAIL	18.83
5qbf-5cnf-160var-2560cl.7	FAIL	18.83
ncf_4_16_8_euad.5	FAIL	18.85
biu.mv.xl_ao.bb-b001-p010-MIF05-c03.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	18.85
k_branch_n-4	FAIL	18.86
6qbf-5cnf-40var-1280cl.2	FAIL	18.86
4qbf-5cnf-40var-1280cl.4	FAIL	18.88
ncf_8_16_4_u.4	FAIL	18.89
ncf_8_16_8_euad.2	FAIL	18.9
ncf_4_16_8_u.3	FAIL	18.92
2qbf-5cnf-80var-1280cl.3	FAIL	18.92
ncf_16_32_4_u.10	FAIL	18.92
k_branch_p-8	FAIL	18.92
nusmv.brp.B-f2	FAIL	18.92
4qbf-5cnf-80var-1280cl.0	FAIL	18.95
6qbf-5cnf-40var-640cl.7	FAIL	18.96
ncf_4_16_4_euad.6	FAIL	18.97
ncf_4_32_2_u.4	FAIL	18.97
ncf_4_8_8_edau.7	FAIL	18.97
2qbf-5cnf-160var-2560cl.9	FAIL	18.98
4qbf-5cnf-40var-640cl.1	FAIL	18.99
ncf_16_32_8_d.10	FAIL	18.99
ncf_8_16_4_u.3	FAIL	19
ncf_16_32_2_edau.2	FAIL	19
ncf_4_16_4_d.6	FAIL	19
ncf_4_8_4_euad.7	FAIL	19
nusmv.reactor^2.C-f2	FAIL	19.01
6qbf-5cnf-160var-2560cl.9	FAIL	19.03
ncf_16_32_4_u.5	FAIL	19.05
5qbf-5cnf-160var-2560cl.1	FAIL	19.06
3qbf-5cnf-40var-320cl.4	FAIL	19.06
biu.mv.xl_ao.bb-b001-p010-MIF05-c04.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	19.06
6qbf-5cnf-20var-640cl.5	FAIL	19.07
biu.mv.xl_ao.bb-b001-p010-OPF02-c08.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003	FAIL	19.08
2qbf-5cnf-40var-640cl.0	FAIL	19.1
ncf_4_16_8_d.4	FAIL	19.11
4qbf-5cnf-80var-2560cl.8	FAIL	19.11
eijk.bs1512.S-f2	FAIL	19.12
ncf_4_16_8_euad.1	FAIL	19.13
biu.mv.xl_ao.bb-b001-p010-OPF04-c02.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	19.13
ncf_4_16_4_d.10	FAIL	19.15
ncf_4_16_4_edau.4	FAIL	19.17
biu.mv.xl_ao.bb-b001-p010-MIF01-c07.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	19.2
ncf_8_16_4_d.7	FAIL	19.22
x30.6	SAT	19.22
2qbf-5cnf-160var-2560cl.5	FAIL	19.25
2qbf-5cnf-40var-640cl.9	FAIL	19.25
ncf_16_32_4_euad.1	FAIL	19.25
ncf_16_32_2_u.3	FAIL	19.28
ncf_16_32_8_edau.2	FAIL	19.28
2qbf-5cnf-160var-320cl.7	SAT	19.29
5qbf-5cnf-80var-1280cl.2	FAIL	19.3
ncf_4_16_8_u.4	FAIL	19.31
ncf_4_8_8_edau.2	FAIL	19.32
2qbf-5cnf-40var-640cl.3	FAIL	19.37
biu.mv.xl_ao.bb-b001-p010-OPF02-c10.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003	FAIL	19.37
ncf_8_16_4_u.10	FAIL	19.4
ncf_4_16_4_euad.4	FAIL	19.41
ncf_16_32_4_edau.4	FAIL	19.43
ncf_16_32_2_u.5	FAIL	19.44
ncf_4_16_8_euad.10	FAIL	19.46
3qbf-5cnf-80var-1280cl.5	FAIL	19.47
ncf_4_16_4_d.3	FAIL	19.47
mutex-128-s	FAIL	19.47
ncf_16_32_2_d.2	FAIL	19.47
4qbf-5cnf-80var-1280cl.2	FAIL	19.48
ncf_8_16_4_euad.9	FAIL	19.49
ncf_4_16_4_u.6	FAIL	19.49
ncf_4_16_8_d.10	FAIL	19.54
5qbf-5cnf-80var-2560cl.4	FAIL	19.56
6qbf-5cnf-40var-1280cl.3	FAIL	19.58
4qbf-5cnf-20var-640cl.3	FAIL	19.58
4qbf-5cnf-160var-2560cl.6	FAIL	19.6
ncf_4_16_4_euad.3	FAIL	19.6
ncf_4_16_4_euad.2	FAIL	19.61
ncf_4_8_8_edau.6	FAIL	19.62
eijk.S382.S-f2	FAIL	19.62
2qbf-5cnf-160var-2560cl.4	FAIL	19.63
ncf_4_32_2_edau.6	FAIL	19.63
ncf_4_32_2_u.9	FAIL	19.64
ncf_16_32_4_euad.3	FAIL	19.68
ncf_16_32_2_euad.5	FAIL	19.7
ncf_16_32_8_u.9	FAIL	19.7
eijk.S444.S-f2	FAIL	19.73
ncf_8_16_4_euad.3	FAIL	19.75
6qbf-5cnf-80var-2560cl.7	FAIL	19.79
2qbf-5cnf-80var-1280cl.1	FAIL	19.82
4qbf-5cnf-160var-2560cl.5	FAIL	19.84
ncf_16_32_8_euad.3	FAIL	19.87
ncf_8_16_4_euad.4	FAIL	19.88
5qbf-5cnf-160var-2560cl.8	FAIL	19.93
ncf_4_16_8_d.8	FAIL	19.93
4qbf-5cnf-20var-640cl.0	FAIL	19.97
ncf_4_16_4_d.4	FAIL	19.97
ncf_8_16_8_euad.10	FAIL	20.01
texas.two_proc^4.E-f2	FAIL	20.03
6qbf-5cnf-80var-2560cl.3	FAIL	20.04
ncf_16_32_2_d.4	FAIL	20.04
ncf_4_8_4_euad.1	FAIL	20.04
ncf_4_16_4_edau.6	FAIL	20.08
ncf_4_32_2_u.6	FAIL	20.1
k_branch_n-8	FAIL	20.1
ncf_16_32_8_d.1	FAIL	20.1
nusmv.reactor^3.C-f2	FAIL	20.11
ncf_8_16_8_euad.9	FAIL	20.12
ncf_16_32_8_edau.3	FAIL	20.13
4qbf-5cnf-20var-640cl.8	FAIL	20.14
4qbf-5cnf-20var-640cl.7	FAIL	20.16
6qbf-5cnf-160var-2560cl.6	FAIL	20.16
4qbf-5cnf-40var-1280cl.0	FAIL	20.2
ncf_4_8_8_u.8	FAIL	20.2
6qbf-5cnf-80var-640cl.6	FAIL	20.2
6qbf-5cnf-80var-2560cl.8	FAIL	20.21
6qbf-5cnf-80var-2560cl.6	FAIL	20.23
ncf_16_32_4_u.6	FAIL	20.23
ncf_4_8_8_euad.10	FAIL	20.23
6qbf-5cnf-160var-2560cl.0	FAIL	20.23
biu.mv.xl_ao.bb-b001-p010-MIF05-c07.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	20.24
biu.mv.xl_ao.bb-b001-p010-IPF02-c07.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003	FAIL	20.28
ncf_8_16_4_d.3	FAIL	20.3
ncf_4_32_2_u.5	FAIL	20.3
2qbf-5cnf-160var-2560cl.6	FAIL	20.31
ncf_4_8_8_euad.6	FAIL	20.33
ncf_16_32_8_euad.4	FAIL	20.35
ncf_16_32_4_d.4	FAIL	20.37
ncf_8_16_8_d.9	FAIL	20.38
ncf_16_32_8_u.2	FAIL	20.4
6qbf-5cnf-20var-640cl.0	FAIL	20.41
ncf_4_8_8_d.7	FAIL	20.41
5qbf-5cnf-40var-1280cl.7	FAIL	20.42
vis.elevator^2.E-f2	FAIL	20.43
ncf_16_32_8_euad.10	FAIL	20.44
biu.mv.xl_ao.bb-b001-p010-IPF05-c10.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003	FAIL	20.44
ncf_4_16_8_euad.9	FAIL	20.45
ncf_16_32_2_edau.4	FAIL	20.46
2qbf-5cnf-160var-2560cl.7	FAIL	20.47
ncf_16_32_2_edau.3	FAIL	20.47
6qbf-5cnf-20var-320cl.2	FAIL	20.49
ncf_16_32_8_d.2	FAIL	20.55
ncf_16_32_2_u.1	FAIL	20.56
4qbf-5cnf-80var-2560cl.2	FAIL	20.59
6qbf-5cnf-160var-5120cl.9	FAIL	20.6
4qbf-5cnf-80var-2560cl.4	FAIL	20.67
ncf_16_32_2_euad.10	FAIL	20.69
4qbf-5cnf-40var-1280cl.9	FAIL	20.71
ncf_16_32_8_d.5	FAIL	20.72
ncf_4_32_2_u.8	FAIL	20.73
ncf_16_32_2_edau.1	FAIL	20.75
ncf_16_32_8_edau.8	FAIL	20.77
4qbf-5cnf-80var-1280cl.9	FAIL	20.83
6qbf-5cnf-80var-1280cl.1	FAIL	20.85
ncf_16_32_8_euad.8	FAIL	20.86
ncf_8_16_8_d.6	FAIL	20.88
ncf_8_16_4_edau.3	FAIL	20.96
ncf_16_32_2_euad.6	FAIL	20.97
5qbf-5cnf-80var-1280cl.4	FAIL	21
ncf_16_32_8_edau.10	FAIL	21.04
4qbf-5cnf-40var-1280cl.6	FAIL	21.09
5qbf-5cnf-80var-640cl.3	FAIL	21.1
x30.5	UNSAT	21.14
ncf_16_32_2_u.2	FAIL	21.16
ncf_16_32_8_edau.1	FAIL	21.17
5qbf-5cnf-160var-5120cl.4	FAIL	21.18
qshifter_8	SAT	21.21
ncf_8_16_8_euad.4	FAIL	21.22
ncf_16_32_2_euad.2	FAIL	21.23
4qbf-5cnf-20var-640cl.9	FAIL	21.24
ncf_4_8_8_d.10	FAIL	21.25
4qbf-5cnf-80var-2560cl.1	FAIL	21.27
ncf_16_32_8_d.6	FAIL	21.28
4qbf-5cnf-20var-640cl.6	FAIL	21.32
texas.two_proc^3.E-f2	FAIL	21.33
4qbf-5cnf-80var-1280cl.3	FAIL	21.35
ncf_16_32_2_d.10	FAIL	21.36
ncf_4_16_8_euad.2	FAIL	21.36
ncf_4_16_4_u.4	FAIL	21.39
k_branch_p-12	FAIL	21.41
ncf_4_16_2_euad.3	FAIL	21.42
5qbf-5cnf-80var-640cl.4	FAIL	21.43
5qbf-5cnf-80var-1280cl.7	FAIL	21.5
ncf_4_32_2_u.10	FAIL	21.51
biu.mv.xl_ao.bb-b001-p010-IPF05-c07.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003	FAIL	21.57
4qbf-5cnf-40var-1280cl.2	FAIL	21.58
6qbf-5cnf-160var-5120cl.0	FAIL	21.64
ncf_4_8_8_euad.8	FAIL	21.66
ncf_16_32_8_edau.6	FAIL	21.67
ncf_8_16_4_d.9	FAIL	21.67
eijk.S298.S-f2	FAIL	21.68
ncf_16_32_2_euad.4	FAIL	21.7
texas.two_proc^1.E-f2	FAIL	21.7
k_d4_n-16	FAIL	21.73
4qbf-5cnf-80var-1280cl.8	FAIL	21.78
6qbf-5cnf-160var-2560cl.3	FAIL	21.79
ncf_16_32_4_d.3	FAIL	21.81
ncf_4_16_2_u.3	FAIL	21.84
6qbf-5cnf-160var-5120cl.5	FAIL	21.85
5qbf-5cnf-80var-640cl.7	FAIL	21.89
ncf_4_16_4_edau.7	FAIL	21.99
ncf_4_16_2_edau.3	FAIL	22.01
ncf_8_16_8_edau.9	FAIL	22.02
ncf_16_32_8_d.9	FAIL	22.09
6qbf-5cnf-160var-5120cl.4	FAIL	22.09
ncf_16_32_8_d.3	FAIL	22.1
ncf_8_16_4_euad.6	FAIL	22.15
texas.ifetch1^2.E-f2	FAIL	22.15
ncf_16_32_2_d.8	FAIL	22.16
4qbf-5cnf-80var-2560cl.7	FAIL	22.2
ncf_4_16_8_u.7	FAIL	22.23
4qbf-5cnf-80var-2560cl.3	FAIL	22.23
ncf_16_32_8_euad.6	FAIL	22.24
ncf_4_16_4_u.3	FAIL	22.25
ken.oop^1.C-f2	FAIL	22.29
ncf_16_32_4_euad.7	FAIL	22.35
4qbf-5cnf-160var-5120cl.7	FAIL	22.37
4qbf-5cnf-80var-2560cl.9	FAIL	22.39
3qbf-5cnf-80var-1280cl.1	FAIL	22.45
4qbf-5cnf-20var-320cl.2	FAIL	22.47
vis.elevator^3.E-f2	FAIL	22.49
5qbf-5cnf-40var-640cl.0	FAIL	22.53
6qbf-5cnf-160var-5120cl.1	FAIL	22.66
ncf_4_8_8_euad.4	FAIL	22.67
ncf_8_16_4_edau.4	FAIL	22.68
4qbf-5cnf-80var-2560cl.0	FAIL	22.7
irst.dme4.B-f2	FAIL	22.77
ncf_4_16_8_d.5	FAIL	22.78
ncf_4_16_8_euad.7	FAIL	22.78
5qbf-5cnf-80var-1280cl.8	FAIL	22.78
Adder2-4-c	FAIL	22.78
6qbf-5cnf-160var-5120cl.7	FAIL	22.8
ncf_4_16_4_u.10	FAIL	22.81
3qbf-5cnf-40var-640cl.3	FAIL	22.84
ncf_16_32_2_u.6	FAIL	22.86
5qbf-5cnf-40var-640cl.5	FAIL	22.89
6qbf-5cnf-160var-5120cl.6	FAIL	22.92
eijk.S344.S-f2	FAIL	22.96
ncf_16_32_8_euad.5	FAIL	22.97
ncf_4_16_8_u.10	FAIL	22.99
4qbf-5cnf-160var-5120cl.6	FAIL	23.01
ncf_8_16_4_u.6	FAIL	23.03
ncf_8_16_8_euad.8	FAIL	23.06
Adder2-6-s	SAT	23.15
6qbf-5cnf-80var-640cl.9	FAIL	23.17
ncf_16_32_4_euad.4	FAIL	23.17
3qbf-5cnf-80var-320cl.4	FAIL	23.18
eijk.S386.S-f2	FAIL	23.18
ncf_4_32_2_edau.10	FAIL	23.21
ncf_4_16_2_edau.1	FAIL	23.24
sortnetsort7.v.stepl.005	UNSAT	23.26
ncf_16_32_4_edau.5	FAIL	23.28
ncf_4_16_2_d.1	FAIL	23.39
4qbf-5cnf-40var-320cl.5	FAIL	23.45
ncf_16_32_8_euad.7	FAIL	23.5
ncf_16_32_8_euad.2	FAIL	23.52
ncf_8_16_8_d.5	FAIL	23.53
ncf_4_16_2_euad.1	FAIL	23.55
6qbf-5cnf-80var-640cl.5	FAIL	23.6
nusmv.reactor^6.C-f2	FAIL	23.61
sortnetsort10.v.stepl.004	UNSAT	23.62
6qbf-5cnf-80var-1280cl.3	FAIL	23.85
eijk.S641.S-f2	FAIL	23.87
ncf_4_16_4_edau.3	FAIL	23.88
eijk.S349.S-f2	FAIL	23.96
ncf_4_8_8_euad.2	FAIL	23.98
eijk.S832.S-f2	FAIL	24
6qbf-5cnf-40var-640cl.1	FAIL	24.02
4qbf-5cnf-40var-1280cl.7	FAIL	24.17
ncf_16_32_4_euad.10	FAIL	24.22
ncf_4_16_2_d.3	FAIL	24.29
ncf_4_8_8_u.5	FAIL	24.33
ncf_16_32_8_euad.1	FAIL	24.36
ncf_4_8_8_u.4	FAIL	24.42
ncf_16_32_2_u.4	FAIL	24.44
ncf_4_8_8_euad.7	FAIL	24.47
biu.mv.xl_ao.bb-b001-p010-IPF02-c08.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003	FAIL	24.48
ncf_16_32_2_d.5	FAIL	24.49
eijk.S420.S-f2	FAIL	24.68
ncf_8_16_8_edau.3	FAIL	24.73
3qbf-5cnf-40var-320cl.0	FAIL	24.79
3qbf-5cnf-20var-320cl.2	UNSAT	24.86
ncf_16_32_4_d.8	FAIL	24.91
ncf_8_16_4_euad.8	FAIL	25.06
ken.oop^2.C-f2	FAIL	25.14
4qbf-5cnf-40var-320cl.8	FAIL	25.15
ncf_16_32_2_edau.8	FAIL	25.34
C880.blif_0.10_1.00_0_1_out_exact	SAT	25.4
texas.ifetch1^5.E-f2	FAIL	25.41
ncf_4_8_4_u.4	FAIL	25.42
3qbf-5cnf-160var-640cl.5	FAIL	25.43
ncf_4_16_2_euad.10	FAIL	25.53
eijk.S713.S-f2	FAIL	25.53
ncf_16_32_4_edau.8	FAIL	25.54
5qbf-5cnf-80var-640cl.8	FAIL	25.58
ncf_16_32_8_d.8	FAIL	25.63
ncf_8_16_8_euad.7	FAIL	25.63
4qbf-5cnf-160var-5120cl.9	FAIL	25.8
4qbf-5cnf-160var-5120cl.5	FAIL	25.85
ncf_4_16_4_d.7	FAIL	25.85
3qbf-5cnf-160var-640cl.0	FAIL	25.87
5qbf-5cnf-40var-640cl.6	FAIL	25.92
biu.mv.xl_ao.bb-b001-p005-IPF02-c02.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	25.94
4qbf-5cnf-20var-320cl.6	FAIL	25.95
ncf_4_16_8_d.3	FAIL	25.99
4qbf-5cnf-160var-5120cl.0	FAIL	26.03
k_lin_n-20	SAT	26.16
4qbf-5cnf-160var-5120cl.4	FAIL	26.37
4qbf-5cnf-160var-5120cl.2	FAIL	26.38
texas.two_proc^6.E-f2	FAIL	26.4
5qbf-5cnf-20var-320cl.1	FAIL	26.45
6qbf-5cnf-80var-640cl.2	FAIL	26.46
vis.coherence^2.E-f2	FAIL	26.93
ncf_8_16_8_d.7	FAIL	26.97
3qbf-5cnf-40var-320cl.9	FAIL	27.19
5qbf-5cnf-80var-640cl.5	FAIL	27.32
ncf_8_16_8_edau.8	FAIL	27.35
sortnetsort10.v.stepl.009	SAT	27.55
6qbf-5cnf-80var-640cl.1	FAIL	27.57
texas.two_proc^5.E-f2	FAIL	27.61
4qbf-5cnf-20var-320cl.9	FAIL	27.64
adder-6-sat	SAT	27.65
biu.mv.xl_ao.bb-b001-p005-OPF04-c03.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-005	FAIL	27.82
ncf_4_16_8_d.2	FAIL	27.95
4qbf-5cnf-20var-320cl.1	FAIL	27.97
vis.coherence^5.E-f2	FAIL	28.24
texas.two_proc^2.E-f2	FAIL	28.38
ncf_4_16_2_u.8	FAIL	28.4
eijk.S838.S-f2	FAIL	28.41
6qbf-5cnf-80var-1280cl.8	FAIL	28.43
test5_quant7	FAIL	28.7
ncf_4_16_2_d.8	FAIL	28.73
eijk.S953.S-f2	FAIL	28.97
test5_quant5	FAIL	29.03
4qbf-5cnf-160var-5120cl.8	FAIL	29.32
ncf_4_8_8_d.2	FAIL	29.46
3qbf-5cnf-160var-640cl.8	FAIL	29.49
ncf_4_32_2_u.2	FAIL	29.5
4qbf-5cnf-160var-5120cl.3	FAIL	29.77
texas.ifetch1^9.E-f2	FAIL	29.77
5qbf-5cnf-40var-320cl.8	FAIL	29.84
texas.ifetch1^3.E-f2	FAIL	29.94
adder-16-sat	FAIL	29.97
ncf_8_16_4_d.4	FAIL	30.14
ncf_4_16_2_u.5	FAIL	30.14
5qbf-5cnf-80var-640cl.6	FAIL	30.19
sortnetsort8.AE.stepl.003	FAIL	30.25
3qbf-5cnf-160var-640cl.4	FAIL	31.41
texas.PI_main^10.E-f2	FAIL	31.54
2qbf-5cnf-160var-5120cl.3	FAIL	31.58
2qbf-5cnf-160var-5120cl.0	FAIL	31.71
2qbf-5cnf-160var-5120cl.8	FAIL	31.9
k_lin_n-21	SAT	31.91
2qbf-5cnf-160var-5120cl.7	FAIL	32.04
nusmv.dme2-16.B-d2	SAT	32.1
3qbf-5cnf-40var-320cl.8	FAIL	32.22
2qbf-5cnf-160var-5120cl.5	FAIL	32.36
2qbf-5cnf-160var-5120cl.4	FAIL	32.39
2qbf-5cnf-160var-5120cl.9	FAIL	32.7
texas.PI_main^16.E-f2	FAIL	32.74
2qbf-5cnf-160var-5120cl.6	FAIL	32.98
texas.PI_main^11.E-f2	FAIL	33.07
nusmv.reactor^4.C-f2	FAIL	33.18
ncf_4_16_2_d.10	FAIL	33.25
2qbf-5cnf-160var-5120cl.1	FAIL	33.26
2qbf-5cnf-160var-5120cl.2	FAIL	33.29
3qbf-5cnf-160var-640cl.1	FAIL	33.34
4qbf-5cnf-160var-640cl.0	FAIL	33.36
ncf_4_16_2_euad.8	FAIL	33.53
ncf_4_8_8_euad.5	FAIL	33.58
ncf_4_8_8_d.4	FAIL	33.88
6qbf-5cnf-80var-640cl.7	FAIL	34.25
3qbf-5cnf-40var-320cl.5	FAIL	34.42
6qbf-5cnf-80var-640cl.0	FAIL	34.51
ncf_4_16_8_euad.4	FAIL	34.62
eijk.S820.S-f2	FAIL	34.92
6qbf-5cnf-40var-320cl.4	FAIL	35.11
3qbf-5cnf-40var-320cl.2	FAIL	35.3
4qbf-5cnf-40var-320cl.2	FAIL	35.62
vis.4-arbit^2.E-f2	FAIL	36.53
3qbf-5cnf-160var-640cl.6	FAIL	36.58
test5_quant_squaring4	FAIL	36.73
5qbf-5cnf-80var-640cl.1	FAIL	36.86
3qbf-5cnf-160var-640cl.3	FAIL	37.02
ncf_8_16_8_euad.6	FAIL	37.05
6qbf-5cnf-40var-640cl.0	FAIL	37.65
6qbf-5cnf-20var-320cl.6	FAIL	37.74
5qbf-5cnf-40var-320cl.7	FAIL	37.75
5qbf-5cnf-40var-320cl.9	FAIL	38.15
ncf_4_8_4_u.7	FAIL	38.24
4qbf-5cnf-20var-320cl.7	FAIL	38.31
6qbf-5cnf-40var-640cl.3	FAIL	38.46
4qbf-5cnf-20var-160cl.9	FAIL	38.64
test5_quant_squaring5	FAIL	38.66
5qbf-5cnf-40var-320cl.0	FAIL	39
ncf_4_16_2_d.5	FAIL	39.07
sortnetsort7.AE.stepl.008	FAIL	39.46
test3_quant4	FAIL	40.01
ncf_8_16_8_euad.5	FAIL	40.94
sortnetsort8.AE.stepl.004	FAIL	41.33
5qbf-5cnf-20var-640cl.5	FAIL	41.48
4qbf-5cnf-40var-320cl.7	FAIL	41.76
robots_1_5_2_82.4	FAIL	42.04
robots_1_5_5_26.4	FAIL	42.17
sortnetsort9.AE.stepl.004	FAIL	42.27
robots_1_5_3_16.4	FAIL	42.74
6qbf-5cnf-40var-320cl.8	FAIL	42.78
robots_1_5_5_66.4	FAIL	42.88
ncf_4_8_2_u.3	FAIL	42.9
texas.ifetch1^7.E-f2	FAIL	42.9
5qbf-5cnf-20var-320cl.5	FAIL	43.25
sortnetsort6.AE.stepl.006	FAIL	43.41
robots_1_5_2_85.4	FAIL	43.52
6qbf-5cnf-80var-640cl.8	FAIL	43.72
vis.4-arbit^1.E-f2	FAIL	43.72
4qbf-5cnf-160var-640cl.3	FAIL	44.18
sortnetsort7.AE.stepl.005	FAIL	44.39
ncf_4_16_2_u.1	FAIL	44.69
sortnetsort6.AE.stepl.004	FAIL	44.88
biu.mv.xl_ao.bb-b001-p005-OPF03-c09.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003	FAIL	45.19
sortnetsort7.AE.stepl.009	FAIL	45.2
x85.7	FAIL	45.52
x30.7	UNSAT	45.57
robots_1_5_3_2.4	FAIL	45.69
4qbf-5cnf-20var-320cl.5	FAIL	45.79
3qbf-5cnf-160var-640cl.9	FAIL	45.97
3qbf-5cnf-40var-320cl.7	FAIL	45.99
x80.8	FAIL	46.63
robots_1_5_3_24.4	FAIL	46.82
x130.0	FAIL	47.04
6qbf-5cnf-20var-640cl.9	FAIL	47.1
robots_1_5_2_39.4	FAIL	47.13
eijk.S208.S-f2	FAIL	47.36
ncf_4_8_4_u.3	FAIL	47.37
sortnetsort10.AE.stepl.006	FAIL	47.37
x135.4	FAIL	47.38
6qbf-5cnf-80var-640cl.4	FAIL	47.52
3qbf-5cnf-20var-320cl.9	UNSAT	47.61
eijk.S208c.S-f2	FAIL	47.72
sortnetsort9.AE.stepl.006	FAIL	47.85
sortnetsort6.AE.stepl.007	FAIL	47.97
sortnetsort9.AE.stepl.005	FAIL	48.23
2qbf-5cnf-160var-320cl.8	SAT	48.29
x135.7	FAIL	48.45
6qbf-5cnf-20var-320cl.3	FAIL	48.47
x140.1	FAIL	48.57
sortnetsort10.AE.stepl.005	FAIL	48.63
x80.3	FAIL	48.76
x135.3	FAIL	48.96
ncf_16_32_2_u.7	FAIL	49
robots_1_5_3_66.4	FAIL	49.04
nusmv.dme1-16.B-d2	FAIL	49.27
sortnetsort10.AE.stepl.004	FAIL	49.4
x140.9	FAIL	49.44
sortnetsort5.AE.stepl.007	FAIL	49.58
x130.1	FAIL	49.64
x65.5	FAIL	49.72
x140.4	FAIL	49.74
sortnetsort8.v.stepl.005	UNSAT	49.81
2qbf-5cnf-40var-160cl.0	FAIL	49.97
x55.4	FAIL	50.28
x130.6	FAIL	50.3
robots_1_5_3_44.4	FAIL	50.48
x140.2	FAIL	50.49
x140.7	FAIL	50.84
sortnetsort8.AE.stepl.005	FAIL	50.91
x140.6	FAIL	51.04
x135.8	FAIL	51.29
x80.9	FAIL	51.47
cmu.gigamax.B-f2	FAIL	51.47
sortnetsort9.AE.stepl.011	FAIL	51.66
x100.0	FAIL	52.09
4qbf-5cnf-160var-640cl.7	FAIL	52.1
x140.3	FAIL	52.18
x80.7	FAIL	52.21
eijk.bs1512.S-d2	FAIL	52.31
5qbf-5cnf-80var-640cl.9	FAIL	52.33
x145.6	FAIL	52.54
6qbf-5cnf-20var-640cl.1	FAIL	52.6
robots_1_5_2_99.4	FAIL	52.74
x145.9	FAIL	53.17
robots_1_5_2_45.4	FAIL	53.19
x55.3	FAIL	53.2
4qbf-5cnf-160var-640cl.1	FAIL	53.21
x150.2	FAIL	53.22
6qbf-5cnf-20var-320cl.0	FAIL	53.25
sortnetsort10.v.stepl.008	SAT	53.27
x135.6	FAIL	53.34
x60.9	FAIL	53.34
x145.7	FAIL	53.35
sortnetsort6.AE.stepl.005	FAIL	53.48
x60.1	FAIL	53.53
x85.8	FAIL	53.54
x145.2	FAIL	53.59
x135.5	FAIL	53.68
2qbf-5cnf-40var-160cl.5	FAIL	53.72
x145.4	FAIL	53.75
sortnetsort9.AE.stepl.009	FAIL	53.77
x60.0	FAIL	53.83
x60.2	FAIL	53.88
x60.6	FAIL	53.91
x150.1	FAIL	53.97
6qbf-5cnf-40var-320cl.6	FAIL	54.01
sortnetsort8.AE.stepl.007	FAIL	54.1
x95.5	FAIL	54.14
x150.8	FAIL	54.25
ncf_16_32_8_u.3	FAIL	54.29
robots_1_5_2_100.4	FAIL	54.53
x135.1	FAIL	54.54
x85.6	FAIL	54.65
x155.5	FAIL	54.76
x85.1	FAIL	54.8
x90.5	FAIL	54.85
x145.5	FAIL	54.86
x85.9	FAIL	54.89
x85.2	FAIL	55.02
x60.7	FAIL	55.07
sortnetsort9.AE.stepl.007	FAIL	55.1
sortnetsort8.AE.stepl.006	FAIL	55.13
x55.0	FAIL	55.4
x80.2	FAIL	55.4
x135.2	FAIL	55.42
sortnetsort8.AE.stepl.009	FAIL	55.58
sortnetsort10.AE.stepl.008	FAIL	55.69
x85.4	FAIL	55.71
robots_1_5_2_3.4	FAIL	55.94
sortnetsort8.AE.stepl.008	FAIL	55.94
6qbf-5cnf-40var-320cl.2	FAIL	55.99
x80.0	FAIL	55.99
x160.9	FAIL	56.06
x155.0	FAIL	56.14
x155.3	FAIL	56.28
3qbf-5cnf-40var-320cl.6	FAIL	56.31
x95.0	FAIL	56.4
ncf_4_16_2_edau.10	FAIL	56.52
x155.6	FAIL	56.53
x85.3	FAIL	56.65
4qbf-5cnf-20var-320cl.3	FAIL	56.88
sortnetsort7.AE.stepl.007	FAIL	56.88
5qbf-5cnf-80var-640cl.0	FAIL	57.06
x145.0	FAIL	57.09
x155.8	FAIL	57.21
x95.6	FAIL	57.26
x150.5	FAIL	57.56
x45.3	FAIL	57.64
sortnetsort5.AE.stepl.006	FAIL	57.83
sortnetsort9.AE.stepl.012	FAIL	57.87
x60.4	FAIL	57.9
sortnetsort10.v.stepl.012	SAT	58.07
x150.6	FAIL	58.08
x160.3	FAIL	58.16
x155.2	FAIL	58.17
5qbf-5cnf-40var-320cl.5	FAIL	58.18
3qbf-5cnf-20var-160cl.3	FAIL	58.25
x155.9	FAIL	58.25
x95.3	FAIL	58.47
x155.1	FAIL	58.67
4qbf-5cnf-20var-160cl.5	FAIL	58.81
sortnetsort7.AE.stepl.006	FAIL	58.83
x40.4	FAIL	59.01
sortnetsort6.AE.stepl.003	FAIL	59.02
x150.0	FAIL	59.03
6qbf-5cnf-20var-640cl.4	FAIL	59.06
sortnetsort9.AE.stepl.008	FAIL	59.29
x45.6	FAIL	59.36
x105.2	FAIL	59.61
x70.3	FAIL	59.7
x90.4	FAIL	59.81
x90.6	FAIL	59.84
x90.2	FAIL	59.87
x100.6	FAIL	60.3
sortnetsort7.AE.stepl.004	FAIL	60.3
x165.3	FAIL	60.39
sortnetsort7.AE.stepl.003	FAIL	60.42
x160.5	FAIL	60.45
x55.7	FAIL	60.46
x65.9	FAIL	60.5
x90.8	FAIL	60.68
x70.2	FAIL	60.7
ncf_8_16_8_d.8	FAIL	60.74
x145.1	FAIL	60.76
x160.6	FAIL	61.12
2qbf-5cnf-40var-160cl.8	FAIL	61.16
x60.3	FAIL	61.32
x90.9	FAIL	61.39
robots_1_5_2_80.4	FAIL	61.55
x100.4	FAIL	61.69
x110.9	FAIL	61.8
x85.0	FAIL	61.9
x160.2	FAIL	61.98
x90.0	FAIL	62
x165.4	FAIL	62.27
x165.6	FAIL	62.34
x65.8	FAIL	62.35
ncf_8_16_8_d.10	FAIL	62.37
x65.1	FAIL	62.42
counter_r_8	SAT	62.43
irst.dme5.B-f2	FAIL	62.55
ncf_4_32_2_u.1	FAIL	62.57
2qbf-5cnf-40var-160cl.9	FAIL	62.6
robots_1_5_3_52.4	FAIL	62.73
x90.3	FAIL	62.76
x160.0	FAIL	62.83
x160.1	FAIL	62.92
x115.6	FAIL	62.98
x95.1	FAIL	63.04
x70.0	FAIL	63.32
x60.5	FAIL	63.35
x95.7	FAIL	63.51
x65.7	FAIL	63.62
x55.6	FAIL	63.89
x165.2	FAIL	63.96
x95.9	FAIL	63.99
x105.6	FAIL	64.06
x100.2	FAIL	64.09
sortnetsort10.v.stepl.011	SAT	64.18
robots_1_5_2_2.4	FAIL	64.62
4qbf-5cnf-40var-320cl.0	FAIL	64.93
6qbf-5cnf-20var-320cl.9	FAIL	65.04
x110.1	FAIL	65.09
x50.9	FAIL	65.24
x115.8	FAIL	65.27
sortnetsort5.AE.stepl.004	FAIL	65.38
x165.0	FAIL	65.39
x90.1	FAIL	65.44
x65.3	FAIL	65.49
x165.8	FAIL	65.9
x170.8	FAIL	65.95
x120.3	FAIL	66.05
x165.1	FAIL	66.28
x105.1	FAIL	66.3
x95.4	FAIL	66.34
4qbf-5cnf-40var-320cl.1	FAIL	66.37
x170.6	FAIL	66.42
x105.5	FAIL	66.49
k_ph_n-16	SAT	66.96
texas.PI_main^02.E-f2	FAIL	67.1
x70.6	FAIL	67.32
x175.7	FAIL	67.69
x170.1	FAIL	67.71
x90.7	FAIL	67.88
x100.9	FAIL	68.03
4qbf-5cnf-40var-320cl.3	FAIL	68.07
x170.3	FAIL	68.4
x40.5	FAIL	68.4
x160.7	FAIL	68.46
x60.8	FAIL	68.52
sortnetsort10.AE.stepl.009	FAIL	68.82
x100.1	FAIL	68.9
6qbf-5cnf-20var-160cl.8	FAIL	68.98
x110.5	FAIL	69.21
x105.3	FAIL	69.29
x170.0	FAIL	69.34
x175.1	FAIL	69.35
x110.3	FAIL	69.45
x105.0	FAIL	69.48
x95.8	FAIL	69.5
x50.2	FAIL	69.56
ncf_4_8_8_edau.4	FAIL	69.71
sortnetsort5.AE.stepl.005	FAIL	69.72
x70.7	FAIL	69.88
x125.7	FAIL	70.13
vis.arbiter.E-f2	FAIL	70.17
x110.0	FAIL	70.3
x175.6	FAIL	70.39
nusmv.syncarb10^2.B-f2	FAIL	70.79
x115.1	FAIL	70.83
x45.2	FAIL	70.84
x95.2	FAIL	70.85
ncf_8_16_4_u.8	FAIL	70.93
x170.5	FAIL	71.27
x55.8	FAIL	71.27
x75.6	FAIL	71.3
x65.4	FAIL	71.31
x50.3	FAIL	71.4
x70.9	FAIL	71.42
x180.5	FAIL	71.5
robots_1_5_2_21.4	FAIL	71.66
x170.2	FAIL	71.66
x180.1	FAIL	71.69
x55.9	FAIL	71.73
x120.7	FAIL	71.78
x75.4	FAIL	71.96
x110.4	FAIL	71.97
x75.2	FAIL	72
sortnetsort10.v.stepl.010	SAT	72.2
x180.3	FAIL	72.3
texas.PI_main^12.E-f2	FAIL	72.66
x115.0	FAIL	72.71
ncf_16_32_2_euad.8	FAIL	72.86
x100.3	FAIL	73.18
x65.0	FAIL	73.3
x170.4	FAIL	73.32
x120.0	FAIL	73.44
sortnetsort10.AE.stepl.010	FAIL	73.44
x65.2	FAIL	73.46
x225.2	FAIL	73.82
x115.7	FAIL	73.89
robots_1_5_4_2.4	FAIL	74.18
x175.3	FAIL	74.35
x100.5	FAIL	74.36
x75.9	FAIL	74.55
robots_1_5_4_98.4	FAIL	74.75
5qbf-5cnf-20var-320cl.6	FAIL	74.79
robots_1_5_5_30.4	FAIL	74.96
S-edau-3	FAIL	75.05
x175.8	FAIL	75.1
x180.0	FAIL	75.16
x220.4	FAIL	75.2
robots_1_5_4_46.4	FAIL	75.21
S-edau-7	FAIL	75.24
robots_1_5_3_20.4	FAIL	75.27
robots_1_5_4_91.4	FAIL	75.35
x175.9	FAIL	75.72
x180.4	FAIL	75.8
x105.8	FAIL	75.81
robots_1_5_5_45.4	FAIL	75.84
x125.1	FAIL	75.91
sortnetsort5.AE.stepl.003	FAIL	76.17
x120.2	FAIL	76.26
x115.5	FAIL	76.35
robots_1_5_4_87.4	FAIL	76.47
robots_1_5_4_51.4	FAIL	76.74
x170.9	FAIL	77.37
x225.8	FAIL	77.54
2qbf-5cnf-40var-160cl.3	FAIL	77.62
x230.4	FAIL	77.76
x120.8	FAIL	77.86
x70.8	FAIL	77.94
x125.0	FAIL	78.11
x105.9	FAIL	78.23
x230.0	FAIL	78.23
x115.3	FAIL	78.38
x40.1	FAIL	78.52
x110.2	FAIL	78.55
x45.4	FAIL	78.8
x70.1	FAIL	78.81
x185.8	FAIL	79.03
x175.0	FAIL	79.25
4qbf-5cnf-80var-320cl.7	FAIL	79.61
x110.7	FAIL	79.64
3qbf-5cnf-80var-320cl.6	FAIL	79.65
x65.6	FAIL	79.65
x225.4	FAIL	79.69
x115.9	FAIL	79.7
x235.2	FAIL	79.76
x100.8	FAIL	79.81
robots_1_5_5_34.4	FAIL	79.83
x70.4	FAIL	79.85
x35.9	FAIL	79.86
x165.5	FAIL	80.03
x225.0	FAIL	80.09
x195.1	FAIL	80.12
x125.3	FAIL	80.2
x185.1	FAIL	80.23
x75.7	FAIL	80.32
x230.2	FAIL	80.43
x230.5	FAIL	80.57
x185.0	FAIL	80.66
x235.3	FAIL	80.69
robots_1_5_5_12.4	FAIL	80.77
robots_1_5_3_78.4	FAIL	80.81
x225.5	FAIL	80.84
x185.4	FAIL	80.88
x195.6	FAIL	80.94
x225.3	FAIL	81.1
sortnetsort10.AE.stepl.007	FAIL	81.11
x120.1	FAIL	81.36
T-edau-9	FAIL	81.47
x75.8	FAIL	81.52
x70.5	FAIL	81.72
robots_1_5_5_93.4	FAIL	81.84
x235.8	FAIL	81.88
T-adeu-3	FAIL	81.94
x120.9	FAIL	82.14
x230.9	FAIL	82.41
sortnetsort10.AE.stepl.011	FAIL	82.53
x185.3	FAIL	82.65
robots_1_5_5_8.4	FAIL	82.84
x125.8	FAIL	83
robots_1_5_5_100.4	FAIL	83.01
T-edau-2	FAIL	83.09
sortnetsort9.AE.stepl.010	FAIL	83.09
x40.9	FAIL	83.16
x40.6	FAIL	83.23
T-edau-5	FAIL	83.37
x185.2	FAIL	83.43
x190.4	FAIL	83.48
T-edau-3	FAIL	83.54
S-edau-0	FAIL	83.58
robots_1_5_4_50.4	FAIL	83.82
x240.5	FAIL	83.98
x190.1	FAIL	84.05
counter_re_8	SAT	84.09
x230.3	FAIL	84.25
T-edau-1	FAIL	84.28
T-adeu-2	FAIL	84.43
x190.3	FAIL	84.65
T-adeu-9	FAIL	84.77
x195.8	FAIL	84.8
6qbf-5cnf-20var-320cl.1	FAIL	84.92
x180.6	FAIL	85.03
x75.5	FAIL	85.15
x230.8	FAIL	85.2
x195.9	FAIL	85.29
x230.1	FAIL	85.48
x235.0	FAIL	85.83
x240.0	FAIL	85.84
4qbf-5cnf-160var-640cl.5	FAIL	85.94
x195.3	FAIL	86.05
robots_1_5_4_100.4	FAIL	86.25
x125.5	FAIL	86.25
x75.3	FAIL	86.39
x80.1	FAIL	86.41
x235.5	FAIL	86.42
x245.9	FAIL	86.59
x235.7	FAIL	86.62
x125.2	FAIL	86.7
x240.3	FAIL	86.8
x200.6	FAIL	86.93
x195.2	FAIL	87.13
T-edau-8	FAIL	87.35
2qbf-5cnf-40var-160cl.1	FAIL	87.38
4qbf-5cnf-20var-640cl.2	FAIL	87.41
x120.4	FAIL	87.52
x190.0	FAIL	87.58
x75.1	FAIL	87.59
T-adeu-4	FAIL	87.78
vis.coherence^1.E-f2	FAIL	87.78
x125.6	FAIL	87.83
T-edau-4	FAIL	87.86
x230.6	FAIL	88.17
x245.5	FAIL	88.23
toilet_a_10_01.16	UNSAT	88.52
x50.5	FAIL	88.63
x195.0	FAIL	88.67
x75.0	FAIL	88.68
x240.9	FAIL	89.21
x130.2	FAIL	89.56
x235.9	FAIL	89.63
x190.8	FAIL	90.21
x245.8	FAIL	90.21
T-edau-0	FAIL	90.46
x225.9	FAIL	90.52
robots_1_5_4_31.4	FAIL	90.56
robots_1_5_5_87.4	FAIL	90.58
5qbf-5cnf-20var-320cl.9	FAIL	91.03
4qbf-5cnf-160var-640cl.2	FAIL	91.03
x80.4	FAIL	91.03
x190.9	FAIL	91.16
sortnetsort10.AE.stepl.012	FAIL	91.27
T-edau-7	FAIL	91.62
5qbf-5cnf-40var-320cl.3	FAIL	91.99
3qbf-5cnf-80var-320cl.0	FAIL	92.16
x195.7	FAIL	92.24
T-adeu-0	FAIL	92.78
S-edau-8	FAIL	92.83
x245.4	FAIL	92.87
x125.4	FAIL	92.88
robots_1_5_4_30.4	FAIL	93.05
x250.3	FAIL	93.17
x250.8	FAIL	93.48
x200.8	FAIL	93.59
x250.0	FAIL	93.61
x250.9	FAIL	93.69
2qbf-5cnf-160var-320cl.1	SAT	93.73
x240.1	FAIL	93.91
x235.6	FAIL	93.92
S-edau-9	FAIL	94.75
x200.5	FAIL	94.94
x185.7	FAIL	95.19
x85.5	FAIL	95.46
x240.8	FAIL	95.57
x200.3	FAIL	95.6
x240.2	FAIL	95.65
x195.4	FAIL	95.83
x195.5	FAIL	95.84
x190.7	FAIL	95.91
x250.4	FAIL	96.14
3qbf-5cnf-80var-320cl.2	FAIL	96.36
x245.1	FAIL	96.44
eijk.S510.S-f2	FAIL	96.44
x250.5	FAIL	97.59
x205.8	FAIL	98.52
6qbf-5cnf-20var-320cl.8	FAIL	98.91
x200.9	FAIL	99.14
x250.1	FAIL	99.2
x200.4	FAIL	99.56
S-adeu-0	FAIL	99.67
x210.8	FAIL	99.96
x80.6	FAIL	99.99
x205.9	FAIL	100.26
x200.2	FAIL	100.58
x130.4	FAIL	101.17
5qbf-5cnf-40var-320cl.1	FAIL	101.55
x205.3	FAIL	102.11
x205.1	FAIL	103
x205.0	FAIL	103.48
4qbf-5cnf-20var-160cl.1	FAIL	103.83
x205.7	FAIL	104.19
x210.7	FAIL	104.8
x210.4	FAIL	105.14
x210.9	FAIL	105.68
x205.2	FAIL	105.72
ncf_4_8_4_euad.4	FAIL	105.81
x210.6	FAIL	106.36
x215.8	FAIL	106.72
x205.5	FAIL	106.93
x40.3	FAIL	106.97
vis.coherence^3.E-f2	FAIL	107.75
x130.8	FAIL	108.67
x300.8	FAIL	109.2
x130.5	FAIL	109.35
x215.4	FAIL	109.99
4qbf-5cnf-160var-640cl.4	FAIL	110.73
4qbf-5cnf-20var-320cl.0	FAIL	111.13
x80.5	FAIL	111.22
x130.9	FAIL	111.26
x220.5	FAIL	111.84
4qbf-5cnf-80var-320cl.9	FAIL	112.1
x210.5	FAIL	112.62
x130.3	FAIL	112.77
x215.6	FAIL	112.95
x300.9	FAIL	113.69
S-edau-1	FAIL	113.99
x200.1	FAIL	114.05
x215.2	FAIL	114.4
x215.5	FAIL	114.47
3qbf-5cnf-20var-160cl.2	FAIL	114.76
4qbf-5cnf-20var-160cl.8	FAIL	115.55
4qbf-5cnf-80var-320cl.2	FAIL	116.04
x210.3	FAIL	116.42
x210.1	FAIL	116.49
S-edau-6	FAIL	116.65
x215.0	FAIL	117.46
x210.0	FAIL	117.95
x350.0	FAIL	119.63
5qbf-5cnf-20var-320cl.8	FAIL	120.85
T-adeu-5	FAIL	122.4
x300.3	FAIL	123.77
4qbf-5cnf-160var-640cl.6	FAIL	124.48
szymanski-12-s	UNSAT	124.54
x350.9	FAIL	125.74
S-edau-4	FAIL	125.91
x220.2	FAIL	126.67
x300.2	FAIL	128.18
T-edau-6	FAIL	128.22
x205.6	FAIL	128.24
x300.5	FAIL	128.86
sortnetsort9.v.stepl.005	UNSAT	129.82
3qbf-5cnf-20var-320cl.5	FAIL	130.68
x300.4	FAIL	130.79
6qbf-5cnf-40var-320cl.0	FAIL	131.68
x300.7	FAIL	131.96
x220.9	FAIL	134.69
adder-12-sat	FAIL	140.02
x220.6	FAIL	140.97
x220.7	FAIL	144.38
4qbf-5cnf-160var-640cl.9	FAIL	146.57
3qbf-5cnf-80var-320cl.8	FAIL	147.16
x350.4	FAIL	148.11
x215.1	FAIL	150.8
S-edau-5	FAIL	152.51
x350.6	FAIL	152.62
x35.5	UNSAT	152.87
x220.0	FAIL	152.95
sortnetsort9.v.stepl.007	SAT	153.31
x350.7	FAIL	154.46
x400.4	FAIL	156.97
x220.1	FAIL	157.69
x225.6	FAIL	160.12
x400.6	FAIL	161.49
ncf_4_16_2_u.7	SAT	162.35
x350.8	FAIL	162.73
S-edau-2	FAIL	162.74
x350.1	FAIL	166.36
x400.1	FAIL	170.27
5qbf-5cnf-40var-320cl.4	FAIL	170.83
3qbf-5cnf-20var-320cl.8	FAIL	171.24
adder-14-sat	FAIL	171.3
S-adeu-4	FAIL	172.38
S-adeu-5	FAIL	172.78
x35.7	FAIL	173.44
S-adeu-8	FAIL	175.03
6qbf-5cnf-20var-160cl.4	FAIL	175.79
S-adeu-7	FAIL	177.27
x400.2	FAIL	178.29
4qbf-5cnf-20var-160cl.7	FAIL	181.69
S-adeu-2	FAIL	184.24
S-adeu-9	FAIL	186
4qbf-5cnf-80var-320cl.1	FAIL	187.05
6qbf-5cnf-20var-160cl.1	FAIL	188.45
x400.7	FAIL	188.58
x400.5	FAIL	189.74
4qbf-5cnf-20var-160cl.4	FAIL	194.89
4qbf-5cnf-20var-320cl.4	FAIL	194.9
S-adeu-3	FAIL	195.72
5qbf-5cnf-20var-640cl.8	FAIL	200.09
3qbf-5cnf-20var-160cl.1	FAIL	201.39
x400.3	FAIL	204.39
ncf_4_8_2_euad.3	UNSAT	204.6
3qbf-5cnf-20var-320cl.1	UNSAT	211.17
6qbf-5cnf-20var-160cl.3	FAIL	211.64
x35.8	SAT	212.32
S-adeu-1	FAIL	217.69
6qbf-5cnf-20var-320cl.7	FAIL	222.45
3qbf-5cnf-20var-320cl.0	FAIL	223.8
5qbf-5cnf-20var-640cl.3	FAIL	245.02
s499_d4_s	SAT	251.41
5qbf-5cnf-20var-640cl.9	FAIL	251.52
4qbf-5cnf-20var-160cl.0	FAIL	251.73
4qbf-5cnf-80var-320cl.3	FAIL	254.44
6qbf-5cnf-40var-320cl.3	FAIL	255.77
3qbf-5cnf-20var-320cl.6	FAIL	266.88
sortnetsort10.v.stepl.005	UNSAT	285.02
3qbf-5cnf-20var-160cl.0	FAIL	287.52
ev-pr-4x4-13-3-0-0-1-lg	FAIL	292.65
ev-pr-8x8-9-7-0-1-2-lg	FAIL	309.3
ev-pr-6x6-9-5-0-1-2-lg	FAIL	315.96
3qbf-5cnf-20var-320cl.7	FAIL	331.19
ncf_4_16_2_edau.8	SAT	341.2
x35.6	UNSAT	348.59
3qbf-5cnf-20var-160cl.7	FAIL	348.85
ev-pr-8x8-11-7-0-1-2-lg	FAIL	352.6
ev-pr-4x4-15-3-0-0-1-lg	FAIL	353.07
3qbf-5cnf-20var-160cl.6	FAIL	355.01
ev-pr-4x4-11-3-0-0-1-lg	FAIL	371.53
s820_d2_s	SAT	381.27
3qbf-5cnf-80var-320cl.3	FAIL	388.36
4qbf-5cnf-80var-320cl.8	FAIL	408.22
term1.blif_0.10_0.20_0_0_out_exact	UNSAT	411.54
ev-pr-4x4-17-3-0-0-1-lg	FAIL	413.52
s713_d2_s	SAT	425.56
3qbf-5cnf-80var-320cl.5	FAIL	432.17
ev-pr-8x8-7-7-0-1-2-lg	FAIL	448.97
6qbf-5cnf-20var-160cl.9	FAIL	469.46
4qbf-5cnf-80var-320cl.0	FAIL	478.13
3qbf-5cnf-20var-160cl.9	FAIL	498.16
ncf_4_32_2_edau.2	SAT	518.3
3qbf-5cnf-20var-160cl.5	FAIL	551.12
ncf_4_16_2_euad.7	SAT	563.33
ev-pr-6x6-7-5-0-1-2-lg	FAIL	583.6
ncf_4_16_2_edau.5	FAIL	598.26
test3_quant2	FAIL	599.77
test3_quant_squaring2	FAIL	600.32
3qbf-5cnf-20var-160cl.8	FAIL	750.87
6qbf-5cnf-20var-160cl.2	FAIL	752.14
C432.blif_0.10_0.20_0_0_out_exact	UNSAT	809.43
C880.blif_0.10_1.00_0_1_inp_exact	SAT	853.7
4qbf-5cnf-20var-160cl.3	FAIL	871.21
6qbf-5cnf-20var-160cl.6	FAIL	918.96
4qbf-5cnf-80var-320cl.6	FAIL	928.04
ncf_4_16_8_d.7	FAIL	951.24
szymanski-24-s	FAIL	1125.85
szymanski-22-s	FAIL	1219.36
szymanski-20-s	FAIL	1260.99
szymanski-16-s	FAIL	1336.64
szymanski-18-s	FAIL	1373.46
eijk.S208o.S-f2	SAT	1921.33
ev-pr-8x8-5-7-0-1-2-lg	FAIL	1969.52
szymanski-14-s	FAIL	2285.68
term1.blif_0.10_0.20_0_0_inp_exact	FAIL	6000.21
C432.blif_0.10_0.20_0_1_inp_exact	FAIL	6000.27
sortnetsort10.v.stepl.007	FAIL	6000.43
adder-10-sat	FAIL	6000.51
sortnetsort9.v.stepl.006	FAIL	6000.59
C432.blif_0.10_0.20_0_0_inp_exact	FAIL	6000.6
1qbf-5cnf-80var-2560cl.1	FAIL	6000.62
1qbf-5cnf-80var-2560cl.2	FAIL	6000.65
Adder2-8-s	FAIL	6000.67
sortnetsort10.v.stepl.006	FAIL	6000.69
1qbf-5cnf-160var-2560cl.9	FAIL	6000.81
1qbf-5cnf-160var-2560cl.7	FAIL	6000.84
adder-8-sat	FAIL	6000.85
1qbf-5cnf-160var-2560cl.6	FAIL	6000.86
1qbf-5cnf-80var-2560cl.5	FAIL	6000.87
1qbf-5cnf-80var-2560cl.0	FAIL	6000.89
1qbf-5cnf-80var-2560cl.6	FAIL	6000.9
1qbf-5cnf-80var-2560cl.3	FAIL	6000.9
1qbf-5cnf-80var-2560cl.4	FAIL	6000.9
1qbf-5cnf-80var-2560cl.7	FAIL	6000.9

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances solved by preQuantor
QBFEVAL'06

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances solved by preQuantor QBFEVAL'06

Instances solved by preQuantor
QBFEVAL'06