21 instances solved by iProver but not by DepQBF. The first column
shows the result (10 satisfiable, 20 unsatisfiable), the second column
the time spent by iProver including QBF-to-EPR translation, and the
last column the name of the instance (replace suffix '.err' by
'.qdimacs').

20 3.22 Adder2-6-c-shuffled.err
20 14.56 biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-007-shuffled.err
20 69.35 biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-009-shuffled.err
20 194.73 biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-008-shuffled.err
20 72.76 biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-009-shuffled.err
20 246.92 biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-008-shuffled.err
20 93.05 biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-009-shuffled.err
20 160.44 biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-010-shuffled.err
20 363.17 biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-008-shuffled.err
10 142.34 BLOCKS4iii.7-shuffled.err
10 6.83 blocks_enc_2_b3_ser--opt-9_-shuffled.err
20 1.96 C499.blif_0.10_1.00_0_0_out_exact-shuffled.err
20 345.55 C5315.blif_0.10_1.00_0_0_out_exact-shuffled.err
10 2.55 CHAIN23v.24-shuffled.err
10 236.27 counter_e_8-shuffled.err
20 456.71 cube_c5_ser---14_-shuffled.err
20 686.46 emptyroom_e4_par---21_-shuffled.err
10 75.75 k5_3_2-shuffled.err
20 41.27 k_d4_p-7-shuffled.err
10 153.26 k_dum_n-10-shuffled.err
10 127.89 TOILET16.1.iv.32-shuffled.err