feat: import the best model from revise-memory-layout

[shnarazk]

[34f426a]

  1,"0a8a4c28d27228e954354ea0a6e7f16c-sum_of_three_cubes_42_kno", TIMEOUT
  2,"1a936d41e3439d602c3ddcf96458a38c-arles_thres10_p10_r8185.c",   0.685
  3,"2b4467a5ac4ac41b36d4c3432b07f767-oddball_69_5_tto_zp.norma", 131.971
  4,"3a1f1b4b9a521737cc760017fe9d8b43-MVRoundRobin_n16_d10_v3.c", TIMEOUT
  5,"4ba2c1aa580b6497df6baf5e7e2c87be-at-least-two-vmpc_28.cnf" ,  12.775
  6,"5aed29ce52192a55ffbd2a6f340017e7-oisc-subrv-and-nested-12.", TIMEOUT
  7,"6cb995b1c550beb579c53e27f6ca881a-RoundRobin_n16_d13.cnf"   , TIMEOUT
  8,"7a044c997ede14d00002f1db39d45170-sum_of_3_cubes_37_bits_87",1904.200
  9,"8a05f9b6bf49285e40d0a197967ea5d3-arles_thres10_p10_r7466.c",   0.012
 10,"9a839badecb20dcf505ec79eedd3753a-anbul-dated-5-15-u.cnf"   ,  70.254
 11,"a0bcdaffb0ea36b678899fd86bdc7f18-arles_thres10_p10_r8186.c",   0.017
 12,"b1c8eaa002ac2fa1c8bfd1002738e78e-cliquecolouring_n15_k7_c6", TIMEOUT
 13,"c0bd86bd7ca2c65e44311de374168150-goldcrest-and-14.cnf"     , TIMEOUT
 14,"d0298807e51730261ef65db827dcd70f-Break_triple_16_70.xml.cn",  95.870
 15,"e2d2b011b0805782df6adba648db92e8-59-129706.cnf"            ,2127.173
 16,"f0bafebdcce23ccfbaf6c27a7522069b-div-mitern172.cnf"        , 497.909
"splr"    , med:    83.062, max:  2127.173,total except 6 timeouts:4840.866

[shnarazk]

core size care + c.len

  1,"0a8a4c28d27228e954354ea0a6e7f16c-sum_of_three_cubes_42_kno", TIMEOUT
  2,"1a936d41e3439d602c3ddcf96458a38c-arles_thres10_p10_r8185.c",   0.015
  3,"2b4467a5ac4ac41b36d4c3432b07f767-oddball_69_5_tto_zp.norma",  62.135
  4,"3a1f1b4b9a521737cc760017fe9d8b43-MVRoundRobin_n16_d10_v3.c", TIMEOUT
  5,"4ba2c1aa580b6497df6baf5e7e2c87be-at-least-two-vmpc_28.cnf" , 343.074
  6,"5aed29ce52192a55ffbd2a6f340017e7-oisc-subrv-and-nested-12.", TIMEOUT
  7,"6cb995b1c550beb579c53e27f6ca881a-RoundRobin_n16_d13.cnf"   , TIMEOUT
  8,"7a044c997ede14d00002f1db39d45170-sum_of_3_cubes_37_bits_87",2239.717
  9,"8a05f9b6bf49285e40d0a197967ea5d3-arles_thres10_p10_r7466.c",   0.675
 10,"9a839badecb20dcf505ec79eedd3753a-anbul-dated-5-15-u.cnf"   , 149.863
 11,"a0bcdaffb0ea36b678899fd86bdc7f18-arles_thres10_p10_r8186.c",   0.017
 12,"b1c8eaa002ac2fa1c8bfd1002738e78e-cliquecolouring_n15_k7_c6", TIMEOUT
 13,"c0bd86bd7ca2c65e44311de374168150-goldcrest-and-14.cnf"     , TIMEOUT
 14,"d0298807e51730261ef65db827dcd70f-Break_triple_16_70.xml.cn", TIMEOUT
 15,"e2d2b011b0805782df6adba648db92e8-59-129706.cnf"            ,3560.213
 16,"f0bafebdcce23ccfbaf6c27a7522069b-div-mitern172.cnf"        , 399.213
"splr"    , med:   149.863, max:  3560.213,total except 7 timeouts:6754.922