mut_m1b_noinvthr_both_353: prog=../mutA/fsearch_m1b_noinvthr_both table=tab/t353.bin S=1 opts='-ell 1 -keys 8' slices_not_DONE=0 solutions_found=12 nodes=154 classes/predicted_labelled= 7 432 
mut_m1b_noinvthr_both_535: prog=../mutA/fsearch_m1b_noinvthr_both 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_m7_ell_only_c_353: prog=../mutA/fsearch_m7_ell_only_c 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_m7_ell_only_c_535: prog=../mutA/fsearch_m7_ell_only_c 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_m8_quick_strict_353: prog=../mutA/fsearch_m8_quick_strict table=tab/t353.bin S=1 opts='-ell 1 -keys 8' slices_not_DONE=0 solutions_found=7 nodes=122 classes/predicted_labelled= 5 352 
mut_m8_quick_strict_535: prog=../mutA/fsearch_m8_quick_strict 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 
# with -ell 0 (the elliptic flag otherwise also covers the loop classes)
base_noell_353: prog=./fsearch table=tab/t353.bin S=1 opts='-ell 0 -keys 8' slices_not_DONE=0 solutions_found=12 nodes=177 classes/predicted_labelled= 7 432 
base_noell_535: prog=./fsearch table=tab/t535.bin S=1 opts='-ell 0 -keys 8' slices_not_DONE=0 solutions_found=26 nodes=2452 classes/predicted_labelled= 12 698 
mut_m4_noloop_noell_353: prog=../mutA/fsearch_m4_noloop table=tab/t353.bin S=1 opts='-ell 0 -keys 8' slices_not_DONE=0 solutions_found=12 nodes=345 classes/predicted_labelled= 7 432 
mut_m4_noloop_noell_535: prog=../mutA/fsearch_m4_noloop table=tab/t535.bin S=1 opts='-ell 0 -keys 8' slices_not_DONE=0 solutions_found=26 nodes=2611 classes/predicted_labelled= 12 698 
mut_m5_noloop_nofree_noell_353: prog=../mutA/fsearch_m5_noloop_nofree table=tab/t353.bin S=1 opts='-ell 0 -keys 8' slices_not_DONE=0 solutions_found=12 nodes=345 classes/predicted_labelled= 7 432 
mut_m5_noloop_nofree_noell_535: prog=../mutA/fsearch_m5_noloop_nofree table=tab/t535.bin S=1 opts='-ell 0 -keys 8' slices_not_DONE=0 solutions_found=26 nodes=2611 classes/predicted_labelled= 12 698 
