# baseline (production binary)
c353_prod_S1: prog=./fsearch table=tab/t353.bin S=1 opts='-ell 1 -keys 8' slices_not_DONE=0 solutions_found=12 nodes=132 classes/predicted_labelled= 7 432 
c353_prod_S2: prog=./fsearch table=tab/t353.bin S=2 opts='-ell 1 -keys 8' slices_not_DONE=0 solutions_found=12 nodes=147 classes/predicted_labelled= 7 432 
c353_prod_S3: prog=./fsearch table=tab/t353.bin S=3 opts='-ell 1 -keys 8' slices_not_DONE=0 solutions_found=12 nodes=162 classes/predicted_labelled= 7 432 
c535_prod_S1: prog=./fsearch table=tab/t535.bin S=1 opts='-ell 1 -keys 8' slices_not_DONE=0 solutions_found=26 nodes=2452 classes/predicted_labelled= 12 698 
c535_prod_S2: prog=./fsearch table=tab/t535.bin S=2 opts='-ell 1 -keys 8' slices_not_DONE=0 solutions_found=26 nodes=2465 classes/predicted_labelled= 12 698 
c535_prod_S3: prog=./fsearch table=tab/t535.bin S=3 opts='-ell 1 -keys 8' slices_not_DONE=0 solutions_found=26 nodes=2478 classes/predicted_labelled= 12 698 
mut_m1_noinvthr_353: prog=../mutA/fsearch_m1_noinvthr table=tab/t353.bin S=1 opts='-ell 1 -keys 8' slices_not_DONE=0 solutions_found=12 nodes=132 classes/predicted_labelled= 7 432 
mut_m1_noinvthr_535: prog=../mutA/fsearch_m1_noinvthr table=tab/t535.bin S=1 opts='-ell 1 -keys 8' slices_not_DONE=0 solutions_found=26 nodes=2452 classes/predicted_labelled= 12 698 
mut_m2a_thr_minus1_353: prog=../mutA/fsearch_m2a_thr_minus1 table=tab/t353.bin S=1 opts='-ell 1 -keys 8' slices_not_DONE=0 solutions_found=21 nodes=199 classes/predicted_labelled= 7 432 
mut_m2a_thr_minus1_535: prog=../mutA/fsearch_m2a_thr_minus1 table=tab/t535.bin S=1 opts='-ell 1 -keys 8' slices_not_DONE=0 solutions_found=26 nodes=3750 classes/predicted_labelled= 12 698 
mut_m2b_thr_plus1_353: prog=../mutA/fsearch_m2b_thr_plus1 table=tab/t353.bin S=1 opts='-ell 1 -keys 8' slices_not_DONE=0 solutions_found=4 nodes=83 classes/predicted_labelled= 2 240 
mut_m2b_thr_plus1_535: prog=../mutA/fsearch_m2b_thr_plus1 table=tab/t535.bin S=1 opts='-ell 1 -keys 8' slices_not_DONE=0 solutions_found=3 nodes=2290 classes/predicted_labelled= 2 180 
mut_m4_noloop_353: prog=../mutA/fsearch_m4_noloop table=tab/t353.bin S=1 opts='-ell 1 -keys 8' slices_not_DONE=0 solutions_found=12 nodes=132 classes/predicted_labelled= 7 432 
mut_m4_noloop_535: prog=../mutA/fsearch_m4_noloop table=tab/t535.bin S=1 opts='-ell 1 -keys 8' slices_not_DONE=0 solutions_found=26 nodes=2452 classes/predicted_labelled= 12 698 
mut_m5_noloop_nofree_353: prog=../mutA/fsearch_m5_noloop_nofree table=tab/t353.bin S=1 opts='-ell 1 -keys 8' slices_not_DONE=0 solutions_found=12 nodes=132 classes/predicted_labelled= 7 432 
mut_m5_noloop_nofree_535: prog=../mutA/fsearch_m5_noloop_nofree table=tab/t535.bin S=1 opts='-ell 1 -keys 8' slices_not_DONE=0 solutions_found=26 nodes=2452 classes/predicted_labelled= 12 698 
mut_m3_dropsub_353_S2: prog=../mutA/fsearch_m3_dropsub table=tab/t353.bin S=2 opts='-ell 1 -keys 8' slices_not_DONE=0 solutions_found=9 nodes=108 classes/predicted_labelled= 5 300 
mut_m3_dropsub_535_S2: prog=../mutA/fsearch_m3_dropsub table=tab/t535.bin S=2 opts='-ell 1 -keys 8' slices_not_DONE=0 solutions_found=20 nodes=1604 classes/predicted_labelled= 10 626 
mut_m3_dropsub_353_S3: prog=../mutA/fsearch_m3_dropsub table=tab/t353.bin S=3 opts='-ell 1 -keys 8' slices_not_DONE=0 solutions_found=11 nodes=136 classes/predicted_labelled= 6 392 
mut_m3_dropsub_535_S3: prog=../mutA/fsearch_m3_dropsub table=tab/t535.bin S=3 opts='-ell 1 -keys 8' slices_not_DONE=0 solutions_found=21 nodes=1886 classes/predicted_labelled= 11 686 
production binary, [353], -sub 3 with the jobs I=2 left out: solutions_found=9 classes/predicted= 5 300 
production binary, [535], -sub 3 with the jobs I=2 left out: solutions_found=20 classes/predicted= 10 626 
