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 
c353_prod_S5: prog=./fsearch table=tab/t353.bin S=5 opts='-ell 1 -keys 8' slices_not_DONE=0 solutions_found=12 nodes=192 classes/predicted_labelled= 7 432 
c353_prod_S16: prog=./fsearch table=tab/t353.bin S=16 opts='-ell 1 -keys 8' slices_not_DONE=0 solutions_found=12 nodes=357 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 
c535_prod_S5: prog=./fsearch table=tab/t535.bin S=5 opts='-ell 1 -keys 8' slices_not_DONE=0 solutions_found=26 nodes=2504 classes/predicted_labelled= 12 698 
c535_prod_S16: prog=./fsearch table=tab/t535.bin S=16 opts='-ell 1 -keys 8' slices_not_DONE=0 solutions_found=26 nodes=2647 classes/predicted_labelled= 12 698 
c353_dev_S1: prog=./fsearch_dev 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 
c535_dev_S1: prog=./fsearch_dev 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 
c353_gs_S1: prog=./gsearch table=tab/t353.bin S=1 opts='-ell 1' slices_not_DONE=0 solutions_found=12 nodes=183 classes/predicted_labelled= 7 432 
c535_gs_S1: prog=./gsearch table=tab/t535.bin S=1 opts='-ell 1' slices_not_DONE=0 solutions_found=26 nodes=4903 classes/predicted_labelled= 12 698 
c353_prod_noell: 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 
c535_prod_noell: 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 
u353_gs: prog=./gsearch table=tab/t353.bin opts='' labelled_solutions=432 nodes=3793 distinct/classes= 432 7 
u535_gs: prog=./gsearch table=tab/t535.bin opts='' labelled_solutions=698 nodes=108650 distinct/classes= 698 12 
u353_prod: prog=./fsearch table=tab/t353.bin opts='-keys 8' labelled_solutions=432 nodes=4978 distinct/classes= 432 7 
u535_prod: prog=./fsearch table=tab/t535.bin opts='-keys 8' labelled_solutions=698 nodes=83604 distinct/classes= 698 12 
csearch 3 5 3: SLICE noid DONE nodes=5092 solutions=432 leaves=432 cpu=0.05
csearch 5 3 5: SLICE noid DONE nodes=144275 solutions=698 leaves=698 cpu=0.57
