instances + cores

4 years ago · ce052e5f6e
--- a/cores/Problem14_label14_false-unreach-call.c.cores.bz2
+++ b/cores/Problem14_label14_false-unreach-call.c.cores.bz2
--- a/cores/Problem14_label19_true-unreach-call.c.cores.bz2
+++ b/cores/Problem14_label19_true-unreach-call.c.cores.bz2
--- a/cores/Problem14_label48_true-unreach-call.c.cores.bz2
+++ b/cores/Problem14_label48_true-unreach-call.c.cores.bz2
--- a/cores/Problem14_label57_false-unreach-call.c.cores.bz2
+++ b/cores/Problem14_label57_false-unreach-call.c.cores.bz2
--- a/cores/dist10.c.cores.bz2
+++ b/cores/dist10.c.cores.bz2
--- a/cores/dist9.c.cores.bz2
+++ b/cores/dist9.c.cores.bz2
--- a/cores/ecarev-110-1031-23-40-2.cores.bz2
+++ b/cores/ecarev-110-1031-23-40-2.cores.bz2
--- a/cores/ecarev-110-1031-23-40-3.cores.bz2
+++ b/cores/ecarev-110-1031-23-40-3.cores.bz2
--- a/cores/ecarev-110-1031-23-40-5.cores.bz2
+++ b/cores/ecarev-110-1031-23-40-5.cores.bz2
--- a/cores/ecarev-110-1031-23-40-7.cores.bz2
+++ b/cores/ecarev-110-1031-23-40-7.cores.bz2
--- a/cores/ecarev-110-4099-22-30-2.cores.bz2
+++ b/cores/ecarev-110-4099-22-30-2.cores.bz2
--- a/cores/ecarev-110-4099-22-30-4.cores.bz2
+++ b/cores/ecarev-110-4099-22-30-4.cores.bz2
--- a/cores/ecarev-110-4099-22-30-5.cores.bz2
+++ b/cores/ecarev-110-4099-22-30-5.cores.bz2
--- a/cores/ecarev-110-4099-22-30-7.cores.bz2
+++ b/cores/ecarev-110-4099-22-30-7.cores.bz2
--- a/cores/factoring87654321x12345678.cores.bz2
+++ b/cores/factoring87654321x12345678.cores.bz2
--- a/cores/filter1_true-unreach-call.c.cores.bz2
+++ b/cores/filter1_true-unreach-call.c.cores.bz2
--- a/cores/gto_p60c233.cores.bz2
+++ b/cores/gto_p60c233.cores.bz2
--- a/cores/gto_p60c234.cores.bz2
+++ b/cores/gto_p60c234.cores.bz2
--- a/cores/gto_p60c235.cores.bz2
+++ b/cores/gto_p60c235.cores.bz2
--- a/cores/gto_p60c238.cores.bz2
+++ b/cores/gto_p60c238.cores.bz2
--- a/cores/gto_p60c243.cores.bz2
+++ b/cores/gto_p60c243.cores.bz2
--- a/cores/newton_3_4_true-unreach-call.i.cores.bz2
+++ b/cores/newton_3_4_true-unreach-call.i.cores.bz2
--- a/cores/newton_3_6_false-unreach-call.i.cores.bz2
+++ b/cores/newton_3_6_false-unreach-call.i.cores.bz2
--- 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
--- a/cores/quadratic_tight_error.c.cores.bz2
+++ b/cores/quadratic_tight_error.c.cores.bz2
--- a/instances/Problem14_label14_false-unreach-call.c.cnf.bz2
+++ b/instances/Problem14_label14_false-unreach-call.c.cnf.bz2
--- a/instances/Problem14_label19_true-unreach-call.c.cnf.bz2
+++ b/instances/Problem14_label19_true-unreach-call.c.cnf.bz2
--- a/instances/Problem14_label48_true-unreach-call.c.cnf.bz2
+++ b/instances/Problem14_label48_true-unreach-call.c.cnf.bz2
--- a/instances/Problem14_label57_false-unreach-call.c.cnf.bz2
+++ b/instances/Problem14_label57_false-unreach-call.c.cnf.bz2
--- a/instances/dist10.c.cnf.bz2
+++ b/instances/dist10.c.cnf.bz2
--- a/instances/dist9.c.cnf.bz2
+++ b/instances/dist9.c.cnf.bz2
--- a/instances/ecarev-110-1031-23-40-2.cnf.bz2
+++ b/instances/ecarev-110-1031-23-40-2.cnf.bz2
--- a/instances/ecarev-110-1031-23-40-3.cnf.bz2
+++ b/instances/ecarev-110-1031-23-40-3.cnf.bz2
--- a/instances/ecarev-110-1031-23-40-5.cnf.bz2
+++ b/instances/ecarev-110-1031-23-40-5.cnf.bz2
--- a/instances/ecarev-110-1031-23-40-7.cnf.bz2
+++ b/instances/ecarev-110-1031-23-40-7.cnf.bz2
--- a/instances/ecarev-110-4099-22-30-2.cnf.bz2
+++ b/instances/ecarev-110-4099-22-30-2.cnf.bz2
--- a/instances/ecarev-110-4099-22-30-4.cnf.bz2
+++ b/instances/ecarev-110-4099-22-30-4.cnf.bz2
--- a/instances/ecarev-110-4099-22-30-5.cnf.bz2
+++ b/instances/ecarev-110-4099-22-30-5.cnf.bz2
--- a/instances/ecarev-110-4099-22-30-7.cnf.bz2
+++ b/instances/ecarev-110-4099-22-30-7.cnf.bz2
--- a/instances/factoring87654321x12345678.cnf.bz2
+++ b/instances/factoring87654321x12345678.cnf.bz2
--- a/instances/filter1_true-unreach-call.c.cnf.bz2
+++ b/instances/filter1_true-unreach-call.c.cnf.bz2
--- a/instances/gto_p60c233.cnf.bz2
+++ b/instances/gto_p60c233.cnf.bz2
--- a/instances/gto_p60c234.cnf.bz2
+++ b/instances/gto_p60c234.cnf.bz2
--- a/instances/gto_p60c235.cnf.bz2
+++ b/instances/gto_p60c235.cnf.bz2
--- a/instances/gto_p60c238.cnf.bz2
+++ b/instances/gto_p60c238.cnf.bz2
--- a/instances/gto_p60c243.cnf.bz2
+++ b/instances/gto_p60c243.cnf.bz2
--- a/instances/newton_3_4_true-unreach-call.i.cnf.bz2
+++ b/instances/newton_3_4_true-unreach-call.i.cnf.bz2
--- a/instances/newton_3_6_false-unreach-call.i.cnf.bz2
+++ b/instances/newton_3_6_false-unreach-call.i.cnf.bz2
--- 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
--- a/instances/quadratic_tight_error.c.cnf.bz2
+++ b/instances/quadratic_tight_error.c.cnf.bz2