diff --git a/cores/Problem14_label14_false-unreach-call.c.cores.bz2 b/cores/Problem14_label14_false-unreach-call.c.cores.bz2
new file mode 100644
index 0000000..d363d52
Binary files /dev/null and b/cores/Problem14_label14_false-unreach-call.c.cores.bz2 differ
diff --git a/cores/Problem14_label19_true-unreach-call.c.cores.bz2 b/cores/Problem14_label19_true-unreach-call.c.cores.bz2
new file mode 100644
index 0000000..330ad3a
Binary files /dev/null and b/cores/Problem14_label19_true-unreach-call.c.cores.bz2 differ
diff --git a/cores/Problem14_label48_true-unreach-call.c.cores.bz2 b/cores/Problem14_label48_true-unreach-call.c.cores.bz2
new file mode 100644
index 0000000..ffef7d8
Binary files /dev/null and b/cores/Problem14_label48_true-unreach-call.c.cores.bz2 differ
diff --git a/cores/Problem14_label57_false-unreach-call.c.cores.bz2 b/cores/Problem14_label57_false-unreach-call.c.cores.bz2
new file mode 100644
index 0000000..00d835b
Binary files /dev/null and b/cores/Problem14_label57_false-unreach-call.c.cores.bz2 differ
diff --git a/cores/dist10.c.cores.bz2 b/cores/dist10.c.cores.bz2
new file mode 100644
index 0000000..02356a7
Binary files /dev/null and b/cores/dist10.c.cores.bz2 differ
diff --git a/cores/dist9.c.cores.bz2 b/cores/dist9.c.cores.bz2
new file mode 100644
index 0000000..1ecc1ec
Binary files /dev/null and b/cores/dist9.c.cores.bz2 differ
diff --git a/cores/ecarev-110-1031-23-40-2.cores.bz2 b/cores/ecarev-110-1031-23-40-2.cores.bz2
new file mode 100644
index 0000000..0321782
Binary files /dev/null and b/cores/ecarev-110-1031-23-40-2.cores.bz2 differ
diff --git a/cores/ecarev-110-1031-23-40-3.cores.bz2 b/cores/ecarev-110-1031-23-40-3.cores.bz2
new file mode 100644
index 0000000..da77d1a
Binary files /dev/null and b/cores/ecarev-110-1031-23-40-3.cores.bz2 differ
diff --git a/cores/ecarev-110-1031-23-40-5.cores.bz2 b/cores/ecarev-110-1031-23-40-5.cores.bz2
new file mode 100644
index 0000000..42e9b50
Binary files /dev/null and b/cores/ecarev-110-1031-23-40-5.cores.bz2 differ
diff --git a/cores/ecarev-110-1031-23-40-7.cores.bz2 b/cores/ecarev-110-1031-23-40-7.cores.bz2
new file mode 100644
index 0000000..e5fe2fc
Binary files /dev/null and b/cores/ecarev-110-1031-23-40-7.cores.bz2 differ
diff --git a/cores/ecarev-110-4099-22-30-2.cores.bz2 b/cores/ecarev-110-4099-22-30-2.cores.bz2
new file mode 100644
index 0000000..172b047
Binary files /dev/null and b/cores/ecarev-110-4099-22-30-2.cores.bz2 differ
diff --git a/cores/ecarev-110-4099-22-30-4.cores.bz2 b/cores/ecarev-110-4099-22-30-4.cores.bz2
new file mode 100644
index 0000000..220e2a5
Binary files /dev/null and b/cores/ecarev-110-4099-22-30-4.cores.bz2 differ
diff --git a/cores/ecarev-110-4099-22-30-5.cores.bz2 b/cores/ecarev-110-4099-22-30-5.cores.bz2
new file mode 100644
index 0000000..9e3f798
Binary files /dev/null and b/cores/ecarev-110-4099-22-30-5.cores.bz2 differ
diff --git a/cores/ecarev-110-4099-22-30-7.cores.bz2 b/cores/ecarev-110-4099-22-30-7.cores.bz2
new file mode 100644
index 0000000..339de0f
Binary files /dev/null and b/cores/ecarev-110-4099-22-30-7.cores.bz2 differ
diff --git a/cores/factoring87654321x12345678.cores.bz2 b/cores/factoring87654321x12345678.cores.bz2
new file mode 100644
index 0000000..d12c136
Binary files /dev/null and b/cores/factoring87654321x12345678.cores.bz2 differ
diff --git a/cores/filter1_true-unreach-call.c.cores.bz2 b/cores/filter1_true-unreach-call.c.cores.bz2
new file mode 100644
index 0000000..7fe8ebd
Binary files /dev/null and b/cores/filter1_true-unreach-call.c.cores.bz2 differ
diff --git a/cores/gto_p60c233.cores.bz2 b/cores/gto_p60c233.cores.bz2
new file mode 100644
index 0000000..873848d
Binary files /dev/null and b/cores/gto_p60c233.cores.bz2 differ
diff --git a/cores/gto_p60c234.cores.bz2 b/cores/gto_p60c234.cores.bz2
new file mode 100644
index 0000000..3d398ae
Binary files /dev/null and b/cores/gto_p60c234.cores.bz2 differ
diff --git a/cores/gto_p60c235.cores.bz2 b/cores/gto_p60c235.cores.bz2
new file mode 100644
index 0000000..0b6702e
Binary files /dev/null and b/cores/gto_p60c235.cores.bz2 differ
diff --git a/cores/gto_p60c238.cores.bz2 b/cores/gto_p60c238.cores.bz2
new file mode 100644
index 0000000..6a9af24
Binary files /dev/null and b/cores/gto_p60c238.cores.bz2 differ
diff --git a/cores/gto_p60c243.cores.bz2 b/cores/gto_p60c243.cores.bz2
new file mode 100644
index 0000000..0973903
Binary files /dev/null and b/cores/gto_p60c243.cores.bz2 differ
diff --git a/cores/newton_3_4_true-unreach-call.i.cores.bz2 b/cores/newton_3_4_true-unreach-call.i.cores.bz2
new file mode 100644
index 0000000..58044a4
Binary files /dev/null and b/cores/newton_3_4_true-unreach-call.i.cores.bz2 differ
diff --git a/cores/newton_3_6_false-unreach-call.i.cores.bz2 b/cores/newton_3_6_false-unreach-call.i.cores.bz2
new file mode 100644
index 0000000..5a97ba0
Binary files /dev/null and b/cores/newton_3_6_false-unreach-call.i.cores.bz2 differ
diff --git a/cores/pals_lcr-var-start-time.5_true-unreach-call.ufo.UNBOUNDED.pals.c.cores.bz2 b/cores/pals_lcr-var-start-time.5_true-unreach-call.ufo.UNBOUNDED.pals.c.cores.bz2
new file mode 100644
index 0000000..cb5f19c
Binary files /dev/null and b/cores/pals_lcr-var-start-time.5_true-unreach-call.ufo.UNBOUNDED.pals.c.cores.bz2 differ
diff --git a/cores/quadratic_tight_error.c.cores.bz2 b/cores/quadratic_tight_error.c.cores.bz2
new file mode 100644
index 0000000..9a03398
Binary files /dev/null and b/cores/quadratic_tight_error.c.cores.bz2 differ
diff --git a/instances/Problem14_label14_false-unreach-call.c.cnf.bz2 b/instances/Problem14_label14_false-unreach-call.c.cnf.bz2
new file mode 100644
index 0000000..7d82a4e
Binary files /dev/null and b/instances/Problem14_label14_false-unreach-call.c.cnf.bz2 differ
diff --git a/instances/Problem14_label19_true-unreach-call.c.cnf.bz2 b/instances/Problem14_label19_true-unreach-call.c.cnf.bz2
new file mode 100644
index 0000000..a9ae136
Binary files /dev/null and b/instances/Problem14_label19_true-unreach-call.c.cnf.bz2 differ
diff --git a/instances/Problem14_label48_true-unreach-call.c.cnf.bz2 b/instances/Problem14_label48_true-unreach-call.c.cnf.bz2
new file mode 100644
index 0000000..73ecb3a
Binary files /dev/null and b/instances/Problem14_label48_true-unreach-call.c.cnf.bz2 differ
diff --git a/instances/Problem14_label57_false-unreach-call.c.cnf.bz2 b/instances/Problem14_label57_false-unreach-call.c.cnf.bz2
new file mode 100644
index 0000000..32fef2e
Binary files /dev/null and b/instances/Problem14_label57_false-unreach-call.c.cnf.bz2 differ
diff --git a/instances/dist10.c.cnf.bz2 b/instances/dist10.c.cnf.bz2
new file mode 100644
index 0000000..c401f9f
Binary files /dev/null and b/instances/dist10.c.cnf.bz2 differ
diff --git a/instances/dist9.c.cnf.bz2 b/instances/dist9.c.cnf.bz2
new file mode 100644
index 0000000..1e8a1c4
Binary files /dev/null and b/instances/dist9.c.cnf.bz2 differ
diff --git a/instances/ecarev-110-1031-23-40-2.cnf.bz2 b/instances/ecarev-110-1031-23-40-2.cnf.bz2
new file mode 100644
index 0000000..7ed64b7
Binary files /dev/null and b/instances/ecarev-110-1031-23-40-2.cnf.bz2 differ
diff --git a/instances/ecarev-110-1031-23-40-3.cnf.bz2 b/instances/ecarev-110-1031-23-40-3.cnf.bz2
new file mode 100644
index 0000000..c87f4d3
Binary files /dev/null and b/instances/ecarev-110-1031-23-40-3.cnf.bz2 differ
diff --git a/instances/ecarev-110-1031-23-40-5.cnf.bz2 b/instances/ecarev-110-1031-23-40-5.cnf.bz2
new file mode 100644
index 0000000..e98d159
Binary files /dev/null and b/instances/ecarev-110-1031-23-40-5.cnf.bz2 differ
diff --git a/instances/ecarev-110-1031-23-40-7.cnf.bz2 b/instances/ecarev-110-1031-23-40-7.cnf.bz2
new file mode 100644
index 0000000..b7743fb
Binary files /dev/null and b/instances/ecarev-110-1031-23-40-7.cnf.bz2 differ
diff --git a/instances/ecarev-110-4099-22-30-2.cnf.bz2 b/instances/ecarev-110-4099-22-30-2.cnf.bz2
new file mode 100644
index 0000000..4ba5510
Binary files /dev/null and b/instances/ecarev-110-4099-22-30-2.cnf.bz2 differ
diff --git a/instances/ecarev-110-4099-22-30-4.cnf.bz2 b/instances/ecarev-110-4099-22-30-4.cnf.bz2
new file mode 100644
index 0000000..27fe030
Binary files /dev/null and b/instances/ecarev-110-4099-22-30-4.cnf.bz2 differ
diff --git a/instances/ecarev-110-4099-22-30-5.cnf.bz2 b/instances/ecarev-110-4099-22-30-5.cnf.bz2
new file mode 100644
index 0000000..65f4ead
Binary files /dev/null and b/instances/ecarev-110-4099-22-30-5.cnf.bz2 differ
diff --git a/instances/ecarev-110-4099-22-30-7.cnf.bz2 b/instances/ecarev-110-4099-22-30-7.cnf.bz2
new file mode 100644
index 0000000..51fb2df
Binary files /dev/null and b/instances/ecarev-110-4099-22-30-7.cnf.bz2 differ
diff --git a/instances/factoring87654321x12345678.cnf.bz2 b/instances/factoring87654321x12345678.cnf.bz2
new file mode 100644
index 0000000..e7031db
Binary files /dev/null and b/instances/factoring87654321x12345678.cnf.bz2 differ
diff --git a/instances/filter1_true-unreach-call.c.cnf.bz2 b/instances/filter1_true-unreach-call.c.cnf.bz2
new file mode 100644
index 0000000..5b83e6d
Binary files /dev/null and b/instances/filter1_true-unreach-call.c.cnf.bz2 differ
diff --git a/instances/gto_p60c233.cnf.bz2 b/instances/gto_p60c233.cnf.bz2
new file mode 100644
index 0000000..76941ad
Binary files /dev/null and b/instances/gto_p60c233.cnf.bz2 differ
diff --git a/instances/gto_p60c234.cnf.bz2 b/instances/gto_p60c234.cnf.bz2
new file mode 100644
index 0000000..75fcc9f
Binary files /dev/null and b/instances/gto_p60c234.cnf.bz2 differ
diff --git a/instances/gto_p60c235.cnf.bz2 b/instances/gto_p60c235.cnf.bz2
new file mode 100644
index 0000000..93b2834
Binary files /dev/null and b/instances/gto_p60c235.cnf.bz2 differ
diff --git a/instances/gto_p60c238.cnf.bz2 b/instances/gto_p60c238.cnf.bz2
new file mode 100644
index 0000000..3c21b61
Binary files /dev/null and b/instances/gto_p60c238.cnf.bz2 differ
diff --git a/instances/gto_p60c243.cnf.bz2 b/instances/gto_p60c243.cnf.bz2
new file mode 100644
index 0000000..79d4e6c
Binary files /dev/null and b/instances/gto_p60c243.cnf.bz2 differ
diff --git a/instances/newton_3_4_true-unreach-call.i.cnf.bz2 b/instances/newton_3_4_true-unreach-call.i.cnf.bz2
new file mode 100644
index 0000000..f7f9085
Binary files /dev/null and b/instances/newton_3_4_true-unreach-call.i.cnf.bz2 differ
diff --git a/instances/newton_3_6_false-unreach-call.i.cnf.bz2 b/instances/newton_3_6_false-unreach-call.i.cnf.bz2
new file mode 100644
index 0000000..4b3ef91
Binary files /dev/null and b/instances/newton_3_6_false-unreach-call.i.cnf.bz2 differ
diff --git a/instances/pals_lcr-var-start-time.5_true-unreach-call.ufo.UNBOUNDED.pals.c.cnf.bz2 b/instances/pals_lcr-var-start-time.5_true-unreach-call.ufo.UNBOUNDED.pals.c.cnf.bz2
new file mode 100644
index 0000000..3e851e7
Binary files /dev/null and b/instances/pals_lcr-var-start-time.5_true-unreach-call.ufo.UNBOUNDED.pals.c.cnf.bz2 differ
diff --git a/instances/quadratic_tight_error.c.cnf.bz2 b/instances/quadratic_tight_error.c.cnf.bz2
new file mode 100644
index 0000000..94dc000
Binary files /dev/null and b/instances/quadratic_tight_error.c.cnf.bz2 differ