hash,cb_enc_clauses_exitcode,cb_enc_clauses_result,cb_enc_clauses_CPUTIME,cb_enc_clauses_MAXVM,cb_enc_clauses_MERGING,cb_enc_clauses_NO_MERGING,cb_enc_clauses_NO_CB,cb_enc_clauses_out,cb_enc_clauses_var,cb_enc_clauses_wat
009f795766e470b1e3f38815240eeae3,0,solved,0.069965,19212,41566,41610,98486,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/009f795766e470b1e3f38815240eeae3.cb-enc-clauses.out,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/009f795766e470b1e3f38815240eeae3.cb-enc-clauses.var,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/009f795766e470b1e3f38815240eeae3.cb-enc-clauses.wat
01e6ba61c8ac436a870013cbc0373579,0,solved,2.1953,156992,458182,496085,257351,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/01e6ba61c8ac436a870013cbc0373579.cb-enc-clauses.out,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/01e6ba61c8ac436a870013cbc0373579.cb-enc-clauses.var,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/01e6ba61c8ac436a870013cbc0373579.cb-enc-clauses.wat
01f0768e486bff9e8c1752f112cbdfcc,0,solved,9.0897,516708,2101971,2130253,1679597,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/01f0768e486bff9e8c1752f112cbdfcc.cb-enc-clauses.out,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/01f0768e486bff9e8c1752f112cbdfcc.cb-enc-clauses.var,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/01f0768e486bff9e8c1752f112cbdfcc.cb-enc-clauses.wat
031398e89f8c691036f2483ee8d0741e,0,solved,31.6205,155380,414979,434328,165774,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/031398e89f8c691036f2483ee8d0741e.cb-enc-clauses.out,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/031398e89f8c691036f2483ee8d0741e.cb-enc-clauses.var,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/031398e89f8c691036f2483ee8d0741e.cb-enc-clauses.wat
070cfcf28df41a2d25853d2b6e6410bf,0,solved,2.10871,275420,845601,851531,1180799,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/070cfcf28df41a2d25853d2b6e6410bf.cb-enc-clauses.out,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/070cfcf28df41a2d25853d2b6e6410bf.cb-enc-clauses.var,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/070cfcf28df41a2d25853d2b6e6410bf.cb-enc-clauses.wat
07bf0e9791e8c94100b3f44ea0c00f44,0,solved,1.48746,116880,32029,162776,360362,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/07bf0e9791e8c94100b3f44ea0c00f44.cb-enc-clauses.out,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/07bf0e9791e8c94100b3f44ea0c00f44.cb-enc-clauses.var,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/07bf0e9791e8c94100b3f44ea0c00f44.cb-enc-clauses.wat
08713e4014212cfb4b5f38af643a7a55,0,solved,3.39608,248992,972684,973396,902722,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/08713e4014212cfb4b5f38af643a7a55.cb-enc-clauses.out,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/08713e4014212cfb4b5f38af643a7a55.cb-enc-clauses.var,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/08713e4014212cfb4b5f38af643a7a55.cb-enc-clauses.wat
0a92f0b6321097b10c84e4cd4c64c66f,0,solved,10.993,102560,14057,14836,17901,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/0a92f0b6321097b10c84e4cd4c64c66f.cb-enc-clauses.out,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/0a92f0b6321097b10c84e4cd4c64c66f.cb-enc-clauses.var,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/0a92f0b6321097b10c84e4cd4c64c66f.cb-enc-clauses.wat
0bc6c5e6674f0cd4aa4c3bf1cf2ebc70,0,solved,0.153641,116436,128898,128919,159174,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/0bc6c5e6674f0cd4aa4c3bf1cf2ebc70.cb-enc-clauses.out,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/0bc6c5e6674f0cd4aa4c3bf1cf2ebc70.cb-enc-clauses.var,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/0bc6c5e6674f0cd4aa4c3bf1cf2ebc70.cb-enc-clauses.wat
0ec932de353de4de3bc67c4caec08bb9,0,solved,0.014825,17840,2157,2364,4648,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/0ec932de353de4de3bc67c4caec08bb9.cb-enc-clauses.out,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/0ec932de353de4de3bc67c4caec08bb9.cb-enc-clauses.var,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/0ec932de353de4de3bc67c4caec08bb9.cb-enc-clauses.wat
1268a856ade793b1cd358628bc21ec20,0,solved,3.22615,221412,917582,927462,517277,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/1268a856ade793b1cd358628bc21ec20.cb-enc-clauses.out,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/1268a856ade793b1cd358628bc21ec20.cb-enc-clauses.var,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/1268a856ade793b1cd358628bc21ec20.cb-enc-clauses.wat
1315c7a70e5233b354e17e8eb55fa9e9,0,solved,0.368692,87668,7896,8897,8514,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/1315c7a70e5233b354e17e8eb55fa9e9.cb-enc-clauses.out,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/1315c7a70e5233b354e17e8eb55fa9e9.cb-enc-clauses.var,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/1315c7a70e5233b354e17e8eb55fa9e9.cb-enc-clauses.wat
13d31acb79375c7fddc4c7dcfb2dacf9,0,solved,0.565899,327484,1302867,1302867,1304455,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/13d31acb79375c7fddc4c7dcfb2dacf9.cb-enc-clauses.out,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/13d31acb79375c7fddc4c7dcfb2dacf9.cb-enc-clauses.var,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/13d31acb79375c7fddc4c7dcfb2dacf9.cb-enc-clauses.wat
14ebdfdede4d00ddb39afd0ec2e96272,0,solved,260.092,286580,613154,615435,1565239,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/14ebdfdede4d00ddb39afd0ec2e96272.cb-enc-clauses.out,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/14ebdfdede4d00ddb39afd0ec2e96272.cb-enc-clauses.var,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/14ebdfdede4d00ddb39afd0ec2e96272.cb-enc-clauses.wat
1502e8556290e5b1a5275e952c42a374,0,solved,2.67874,320460,1236641,1254668,961998,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/1502e8556290e5b1a5275e952c42a374.cb-enc-clauses.out,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/1502e8556290e5b1a5275e952c42a374.cb-enc-clauses.var,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/1502e8556290e5b1a5275e952c42a374.cb-enc-clauses.wat
1a4e608b8d8a1f0420d16d02d70b05a0,0,solved,698.576,672600,2542030,2660794,2682894,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/1a4e608b8d8a1f0420d16d02d70b05a0.cb-enc-clauses.out,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/1a4e608b8d8a1f0420d16d02d70b05a0.cb-enc-clauses.var,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/1a4e608b8d8a1f0420d16d02d70b05a0.cb-enc-clauses.wat
1c124d4903de29a6242f36f2c4da3c2d,0,solved,2.59288,325120,1390898,1437438,736167,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/1c124d4903de29a6242f36f2c4da3c2d.cb-enc-clauses.out,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/1c124d4903de29a6242f36f2c4da3c2d.cb-enc-clauses.var,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/1c124d4903de29a6242f36f2c4da3c2d.cb-enc-clauses.wat
24234fdf05503b95e9e10f24fc73f0ae,0,solved,0.442933,164880,179843,179867,299756,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/24234fdf05503b95e9e10f24fc73f0ae.cb-enc-clauses.out,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/24234fdf05503b95e9e10f24fc73f0ae.cb-enc-clauses.var,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/24234fdf05503b95e9e10f24fc73f0ae.cb-enc-clauses.wat
268eb33adb274db95ef66bf91c67fedb,0,solved,5.48931,392756,1600508,1601626,1809437,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/268eb33adb274db95ef66bf91c67fedb.cb-enc-clauses.out,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/268eb33adb274db95ef66bf91c67fedb.cb-enc-clauses.var,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/268eb33adb274db95ef66bf91c67fedb.cb-enc-clauses.wat
27f27886984b4ddc53c1fa3ada3481db,0,solved,1998.21,991920,3237929,3651967,6439048,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/27f27886984b4ddc53c1fa3ada3481db.cb-enc-clauses.out,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/27f27886984b4ddc53c1fa3ada3481db.cb-enc-clauses.var,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/27f27886984b4ddc53c1fa3ada3481db.cb-enc-clauses.wat
2ff24a5dced797320f27232466bce889,0,solved,5.6304,392396,1823189,1844252,1444694,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/2ff24a5dced797320f27232466bce889.cb-enc-clauses.out,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/2ff24a5dced797320f27232466bce889.cb-enc-clauses.var,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/2ff24a5dced797320f27232466bce889.cb-enc-clauses.wat
31e4ff66d1ebe5140fecb150d6ae30c4,0,solved,4.88346,218876,837049,868890,449098,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/31e4ff66d1ebe5140fecb150d6ae30c4.cb-enc-clauses.out,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/31e4ff66d1ebe5140fecb150d6ae30c4.cb-enc-clauses.var,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/31e4ff66d1ebe5140fecb150d6ae30c4.cb-enc-clauses.wat
32fe4527cc9d2c943f03b2ae19ba0611,0,solved,183.891,199228,36195,36221,1649215,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/32fe4527cc9d2c943f03b2ae19ba0611.cb-enc-clauses.out,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/32fe4527cc9d2c943f03b2ae19ba0611.cb-enc-clauses.var,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/32fe4527cc9d2c943f03b2ae19ba0611.cb-enc-clauses.wat
3318c7296eb4e2daf1600b4a995439ee,0,solved,1.67387,134248,217817,218215,417341,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/3318c7296eb4e2daf1600b4a995439ee.cb-enc-clauses.out,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/3318c7296eb4e2daf1600b4a995439ee.cb-enc-clauses.var,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/3318c7296eb4e2daf1600b4a995439ee.cb-enc-clauses.wat
3435234134749262bd452fff55ca0570,0,solved,1.3736,140172,264694,267142,183334,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/3435234134749262bd452fff55ca0570.cb-enc-clauses.out,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/3435234134749262bd452fff55ca0570.cb-enc-clauses.var,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/3435234134749262bd452fff55ca0570.cb-enc-clauses.wat
3773725af3add28ceac9a27e0d24b2c9,0,solved,13.9989,292048,1196024,1238521,576656,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/3773725af3add28ceac9a27e0d24b2c9.cb-enc-clauses.out,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/3773725af3add28ceac9a27e0d24b2c9.cb-enc-clauses.var,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/3773725af3add28ceac9a27e0d24b2c9.cb-enc-clauses.wat
3a24598408dda4cef696c5358399e8a4,0,solved,0.060331,96536,40747,40747,54358,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/3a24598408dda4cef696c5358399e8a4.cb-enc-clauses.out,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/3a24598408dda4cef696c5358399e8a4.cb-enc-clauses.var,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/3a24598408dda4cef696c5358399e8a4.cb-enc-clauses.wat
3b8c60f9e93ac10c91f1dca93b88287e,0,solved,3.98988,325496,1393529,1396748,911667,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/3b8c60f9e93ac10c91f1dca93b88287e.cb-enc-clauses.out,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/3b8c60f9e93ac10c91f1dca93b88287e.cb-enc-clauses.var,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/3b8c60f9e93ac10c91f1dca93b88287e.cb-enc-clauses.wat
401891b1d8264e88f74cf81d62ea14ce,0,solved,21.5016,314856,141000,764185,1396294,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/401891b1d8264e88f74cf81d62ea14ce.cb-enc-clauses.out,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/401891b1d8264e88f74cf81d62ea14ce.cb-enc-clauses.var,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/401891b1d8264e88f74cf81d62ea14ce.cb-enc-clauses.wat
444c8c91f93e65644c5734ffb8cc4e92,0,solved,5.93111,384492,1805639,1809923,1163412,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/444c8c91f93e65644c5734ffb8cc4e92.cb-enc-clauses.out,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/444c8c91f93e65644c5734ffb8cc4e92.cb-enc-clauses.var,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/444c8c91f93e65644c5734ffb8cc4e92.cb-enc-clauses.wat
4676f13c9e1e1b325c39ea5aa85471fa,0,solved,2.94643,187788,595852,604916,350880,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/4676f13c9e1e1b325c39ea5aa85471fa.cb-enc-clauses.out,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/4676f13c9e1e1b325c39ea5aa85471fa.cb-enc-clauses.var,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/4676f13c9e1e1b325c39ea5aa85471fa.cb-enc-clauses.wat
4c1fc2d9124a08f97e58b58aeeb7e445,0,solved,13.2598,326880,1330327,1336576,910593,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/4c1fc2d9124a08f97e58b58aeeb7e445.cb-enc-clauses.out,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/4c1fc2d9124a08f97e58b58aeeb7e445.cb-enc-clauses.var,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/4c1fc2d9124a08f97e58b58aeeb7e445.cb-enc-clauses.wat
4f6237dc32086b905e38df19c02b2497,0,solved,1.04696,153616,314385,314870,400036,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/4f6237dc32086b905e38df19c02b2497.cb-enc-clauses.out,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/4f6237dc32086b905e38df19c02b2497.cb-enc-clauses.var,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/4f6237dc32086b905e38df19c02b2497.cb-enc-clauses.wat
554a2c6a5f81f5b3501b7c385ca2eb43,0,solved,4.08379,194692,543763,554487,286005,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/554a2c6a5f81f5b3501b7c385ca2eb43.cb-enc-clauses.out,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/554a2c6a5f81f5b3501b7c385ca2eb43.cb-enc-clauses.var,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/554a2c6a5f81f5b3501b7c385ca2eb43.cb-enc-clauses.wat
561c2ec775532b9a5786aff5b9def233,0,solved,14.4805,363992,1403215,1409519,1215295,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/561c2ec775532b9a5786aff5b9def233.cb-enc-clauses.out,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/561c2ec775532b9a5786aff5b9def233.cb-enc-clauses.var,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/561c2ec775532b9a5786aff5b9def233.cb-enc-clauses.wat
56a79fa943d1f1e40c2fbb9722dbc407,0,solved,7.53491,220116,882156,918701,446053,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/56a79fa943d1f1e40c2fbb9722dbc407.cb-enc-clauses.out,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/56a79fa943d1f1e40c2fbb9722dbc407.cb-enc-clauses.var,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/56a79fa943d1f1e40c2fbb9722dbc407.cb-enc-clauses.wat
5783721b7bf356508063dba6bd084fd2,0,solved,0.195915,101732,91216,91253,178303,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/5783721b7bf356508063dba6bd084fd2.cb-enc-clauses.out,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/5783721b7bf356508063dba6bd084fd2.cb-enc-clauses.var,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/5783721b7bf356508063dba6bd084fd2.cb-enc-clauses.wat
579a16a81adc704de38e7a8e5f265d24,0,solved,8.42324,314784,1277987,1292686,670198,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/579a16a81adc704de38e7a8e5f265d24.cb-enc-clauses.out,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/579a16a81adc704de38e7a8e5f265d24.cb-enc-clauses.var,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/579a16a81adc704de38e7a8e5f265d24.cb-enc-clauses.wat
5a1eb585ce69f117a69ed97d19588f26,0,solved,6.02727,506752,2120122,2127247,1328510,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/5a1eb585ce69f117a69ed97d19588f26.cb-enc-clauses.out,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/5a1eb585ce69f117a69ed97d19588f26.cb-enc-clauses.var,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/5a1eb585ce69f117a69ed97d19588f26.cb-enc-clauses.wat
5a3ebc2bda417dcebbb6a451de918f92,0,solved,3.86296,343432,1542315,1585130,1082461,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/5a3ebc2bda417dcebbb6a451de918f92.cb-enc-clauses.out,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/5a3ebc2bda417dcebbb6a451de918f92.cb-enc-clauses.var,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/5a3ebc2bda417dcebbb6a451de918f92.cb-enc-clauses.wat
5aa7bf583518cebd3dbe077cb1d718f3,0,solved,4.54821,541316,2599317,2625589,1369299,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/5aa7bf583518cebd3dbe077cb1d718f3.cb-enc-clauses.out,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/5aa7bf583518cebd3dbe077cb1d718f3.cb-enc-clauses.var,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/5aa7bf583518cebd3dbe077cb1d718f3.cb-enc-clauses.wat
5fa5db8d9075b956004be16c33a0937c,0,solved,4.06605,369420,1161509,1198479,1788287,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/5fa5db8d9075b956004be16c33a0937c.cb-enc-clauses.out,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/5fa5db8d9075b956004be16c33a0937c.cb-enc-clauses.var,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/5fa5db8d9075b956004be16c33a0937c.cb-enc-clauses.wat
60378dfd8ac4fd5714efd71be41b57ac,0,solved,9.56238,349204,1634147,1666558,965356,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/60378dfd8ac4fd5714efd71be41b57ac.cb-enc-clauses.out,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/60378dfd8ac4fd5714efd71be41b57ac.cb-enc-clauses.var,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/60378dfd8ac4fd5714efd71be41b57ac.cb-enc-clauses.wat
61755b78779543d662b98e52fb365aad,0,solved,0.935748,162184,443328,443697,390700,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/61755b78779543d662b98e52fb365aad.cb-enc-clauses.out,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/61755b78779543d662b98e52fb365aad.cb-enc-clauses.var,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/61755b78779543d662b98e52fb365aad.cb-enc-clauses.wat
651a2c3f5586e3bd58287bd516c68762,0,solved,8.54731,295284,1349561,1528853,398991,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/651a2c3f5586e3bd58287bd516c68762.cb-enc-clauses.out,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/651a2c3f5586e3bd58287bd516c68762.cb-enc-clauses.var,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/651a2c3f5586e3bd58287bd516c68762.cb-enc-clauses.wat
66df4b4dfbcebeedae549fdb11380b9e,0,solved,0.83623,91076,10860,11487,15435,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/66df4b4dfbcebeedae549fdb11380b9e.cb-enc-clauses.out,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/66df4b4dfbcebeedae549fdb11380b9e.cb-enc-clauses.var,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/66df4b4dfbcebeedae549fdb11380b9e.cb-enc-clauses.wat
6c2a8fb12275bf828408cc28d6ccf78d,0,solved,4.45362,202796,607880,636683,370406,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/6c2a8fb12275bf828408cc28d6ccf78d.cb-enc-clauses.out,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/6c2a8fb12275bf828408cc28d6ccf78d.cb-enc-clauses.var,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/6c2a8fb12275bf828408cc28d6ccf78d.cb-enc-clauses.wat
6cd6fadd2059109232e5261dcadbc5b4,0,solved,2.25892,197280,535124,540429,475245,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/6cd6fadd2059109232e5261dcadbc5b4.cb-enc-clauses.out,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/6cd6fadd2059109232e5261dcadbc5b4.cb-enc-clauses.var,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/6cd6fadd2059109232e5261dcadbc5b4.cb-enc-clauses.wat
6e306917c770ef1e82acf83e832bd7b6,0,solved,4.35995,135936,339161,352798,163839,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/6e306917c770ef1e82acf83e832bd7b6.cb-enc-clauses.out,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/6e306917c770ef1e82acf83e832bd7b6.cb-enc-clauses.var,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/6e306917c770ef1e82acf83e832bd7b6.cb-enc-clauses.wat
6f14e8ad27368dfc7662760ab43c28c2,0,solved,1.40395,93792,12591,13440,16502,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/6f14e8ad27368dfc7662760ab43c28c2.cb-enc-clauses.out,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/6f14e8ad27368dfc7662760ab43c28c2.cb-enc-clauses.var,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/6f14e8ad27368dfc7662760ab43c28c2.cb-enc-clauses.wat
6f467a10785cb8c5180815495dc103e3,0,solved,0.014895,17680,8774,8774,8867,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/6f467a10785cb8c5180815495dc103e3.cb-enc-clauses.out,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/6f467a10785cb8c5180815495dc103e3.cb-enc-clauses.var,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/6f467a10785cb8c5180815495dc103e3.cb-enc-clauses.wat
71177f687696f60a600f240dabe82054,0,solved,4.96539,329816,1398787,1406483,965143,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/71177f687696f60a600f240dabe82054.cb-enc-clauses.out,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/71177f687696f60a600f240dabe82054.cb-enc-clauses.var,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/71177f687696f60a600f240dabe82054.cb-enc-clauses.wat
729c73e23ac770a4196b5c4f7b226fbc,0,solved,3.97169,378160,1731966,1737501,1147521,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/729c73e23ac770a4196b5c4f7b226fbc.cb-enc-clauses.out,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/729c73e23ac770a4196b5c4f7b226fbc.cb-enc-clauses.var,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/729c73e23ac770a4196b5c4f7b226fbc.cb-enc-clauses.wat
793454eded174e060d4dbe0559ae2591,0,solved,4.94165,222844,886284,937249,423281,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/793454eded174e060d4dbe0559ae2591.cb-enc-clauses.out,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/793454eded174e060d4dbe0559ae2591.cb-enc-clauses.var,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/793454eded174e060d4dbe0559ae2591.cb-enc-clauses.wat
7af88f7a09da63906c9066bfbff939c4,0,solved,0.103184,112596,137621,137621,134020,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/7af88f7a09da63906c9066bfbff939c4.cb-enc-clauses.out,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/7af88f7a09da63906c9066bfbff939c4.cb-enc-clauses.var,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/7af88f7a09da63906c9066bfbff939c4.cb-enc-clauses.wat
7c61a017aecacf2b51a2725200e39971,0,solved,5.79947,395864,1901022,1917715,1238475,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/7c61a017aecacf2b51a2725200e39971.cb-enc-clauses.out,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/7c61a017aecacf2b51a2725200e39971.cb-enc-clauses.var,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/7c61a017aecacf2b51a2725200e39971.cb-enc-clauses.wat
7c7cca64b0a56b4a0eb2896597d73b4a,0,solved,3.37705,381440,1610521,1611954,1434078,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/7c7cca64b0a56b4a0eb2896597d73b4a.cb-enc-clauses.out,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/7c7cca64b0a56b4a0eb2896597d73b4a.cb-enc-clauses.var,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/7c7cca64b0a56b4a0eb2896597d73b4a.cb-enc-clauses.wat
827f6828784e779af21f189c6ecf386a,0,solved,0.19473,130024,125684,125714,407001,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/827f6828784e779af21f189c6ecf386a.cb-enc-clauses.out,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/827f6828784e779af21f189c6ecf386a.cb-enc-clauses.var,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/827f6828784e779af21f189c6ecf386a.cb-enc-clauses.wat
82d2ab8d8cebfb9009249b8ff01c8924,0,solved,3.13989,204072,650762,672852,369217,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/82d2ab8d8cebfb9009249b8ff01c8924.cb-enc-clauses.out,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/82d2ab8d8cebfb9009249b8ff01c8924.cb-enc-clauses.var,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/82d2ab8d8cebfb9009249b8ff01c8924.cb-enc-clauses.wat
8602633a2a4724dba5ddce6a9f1cf92a,0,solved,18.0886,336228,1555069,1583290,791215,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/8602633a2a4724dba5ddce6a9f1cf92a.cb-enc-clauses.out,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/8602633a2a4724dba5ddce6a9f1cf92a.cb-enc-clauses.var,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/8602633a2a4724dba5ddce6a9f1cf92a.cb-enc-clauses.wat
8982ba0afec6f77980e52954469a58a1,0,solved,8.89544,539608,2326167,2326795,2082766,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/8982ba0afec6f77980e52954469a58a1.cb-enc-clauses.out,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/8982ba0afec6f77980e52954469a58a1.cb-enc-clauses.var,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/8982ba0afec6f77980e52954469a58a1.cb-enc-clauses.wat
8b4d9404821c66ed9740c451bbcb5718,0,solved,3.0419,165280,467833,471783,340267,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/8b4d9404821c66ed9740c451bbcb5718.cb-enc-clauses.out,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/8b4d9404821c66ed9740c451bbcb5718.cb-enc-clauses.var,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/8b4d9404821c66ed9740c451bbcb5718.cb-enc-clauses.wat
8e0f79a672addebe28c266db09cdf75a,0,solved,13.6306,302496,1340007,1418111,628599,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/8e0f79a672addebe28c266db09cdf75a.cb-enc-clauses.out,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/8e0f79a672addebe28c266db09cdf75a.cb-enc-clauses.var,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/8e0f79a672addebe28c266db09cdf75a.cb-enc-clauses.wat
8f0e2886b7abf537a04fa1999caad5d0,0,solved,2.13453,158164,475427,492184,283569,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/8f0e2886b7abf537a04fa1999caad5d0.cb-enc-clauses.out,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/8f0e2886b7abf537a04fa1999caad5d0.cb-enc-clauses.var,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/8f0e2886b7abf537a04fa1999caad5d0.cb-enc-clauses.wat
8f600311e42396f138c28288a38e0116,0,solved,2.44291,191620,600309,644990,246697,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/8f600311e42396f138c28288a38e0116.cb-enc-clauses.out,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/8f600311e42396f138c28288a38e0116.cb-enc-clauses.var,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/8f600311e42396f138c28288a38e0116.cb-enc-clauses.wat
8f9892dedefe1b8aabc92f1bb82aded1,0,solved,13.2659,300188,119049,834508,1319328,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/8f9892dedefe1b8aabc92f1bb82aded1.cb-enc-clauses.out,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/8f9892dedefe1b8aabc92f1bb82aded1.cb-enc-clauses.var,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/8f9892dedefe1b8aabc92f1bb82aded1.cb-enc-clauses.wat
90a40092dcce02c580e0ca61bef28ff9,0,solved,7.38516,241736,966258,972122,556323,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/90a40092dcce02c580e0ca61bef28ff9.cb-enc-clauses.out,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/90a40092dcce02c580e0ca61bef28ff9.cb-enc-clauses.var,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/90a40092dcce02c580e0ca61bef28ff9.cb-enc-clauses.wat
93061f24668071794708f6177af1f526,0,solved,24.4099,948388,4495905,4517022,2501641,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/93061f24668071794708f6177af1f526.cb-enc-clauses.out,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/93061f24668071794708f6177af1f526.cb-enc-clauses.var,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/93061f24668071794708f6177af1f526.cb-enc-clauses.wat
934381b3c56b9cfc3c8f67f95ba06831,0,solved,4.18426,282604,918222,919123,1323393,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/934381b3c56b9cfc3c8f67f95ba06831.cb-enc-clauses.out,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/934381b3c56b9cfc3c8f67f95ba06831.cb-enc-clauses.var,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/934381b3c56b9cfc3c8f67f95ba06831.cb-enc-clauses.wat
96366878e0a30f295d7c308c2094db3f,0,solved,0.07056,17668,2028,2271,7631,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/96366878e0a30f295d7c308c2094db3f.cb-enc-clauses.out,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/96366878e0a30f295d7c308c2094db3f.cb-enc-clauses.var,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/96366878e0a30f295d7c308c2094db3f.cb-enc-clauses.wat
978070b7d5c4d72387420381ca7d5c05,0,solved,0.160349,87608,5801,6139,10774,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/978070b7d5c4d72387420381ca7d5c05.cb-enc-clauses.out,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/978070b7d5c4d72387420381ca7d5c05.cb-enc-clauses.var,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/978070b7d5c4d72387420381ca7d5c05.cb-enc-clauses.wat
97c32aeae9382ac4b232761f5ab5c94f,0,solved,0.158344,102300,36543,36603,89892,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/97c32aeae9382ac4b232761f5ab5c94f.cb-enc-clauses.out,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/97c32aeae9382ac4b232761f5ab5c94f.cb-enc-clauses.var,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/97c32aeae9382ac4b232761f5ab5c94f.cb-enc-clauses.wat
9a0771156f5c0b837b1d50fa633a238f,0,solved,28.6506,103536,9241,9883,12288,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/9a0771156f5c0b837b1d50fa633a238f.cb-enc-clauses.out,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/9a0771156f5c0b837b1d50fa633a238f.cb-enc-clauses.var,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/9a0771156f5c0b837b1d50fa633a238f.cb-enc-clauses.wat
9a8d3c5dc7be7ff0f8584ee35beba509,0,solved,4.87389,462168,1722304,1723092,2208589,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/9a8d3c5dc7be7ff0f8584ee35beba509.cb-enc-clauses.out,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/9a8d3c5dc7be7ff0f8584ee35beba509.cb-enc-clauses.var,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/9a8d3c5dc7be7ff0f8584ee35beba509.cb-enc-clauses.wat
9c347b6aee0bf0e5f2aa2f22f082f7c2,0,solved,3.37355,277440,1039925,1052976,843601,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/9c347b6aee0bf0e5f2aa2f22f082f7c2.cb-enc-clauses.out,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/9c347b6aee0bf0e5f2aa2f22f082f7c2.cb-enc-clauses.var,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/9c347b6aee0bf0e5f2aa2f22f082f7c2.cb-enc-clauses.wat
a388e15995c7241eca6e03fadbfe4ae9,0,solved,1.09965,93252,9114,9811,11992,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/a388e15995c7241eca6e03fadbfe4ae9.cb-enc-clauses.out,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/a388e15995c7241eca6e03fadbfe4ae9.cb-enc-clauses.var,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/a388e15995c7241eca6e03fadbfe4ae9.cb-enc-clauses.wat
a5c5b52922e183420c566d7e893883f9,0,solved,5.16072,386428,1679877,1680715,1535369,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/a5c5b52922e183420c566d7e893883f9.cb-enc-clauses.out,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/a5c5b52922e183420c566d7e893883f9.cb-enc-clauses.var,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/a5c5b52922e183420c566d7e893883f9.cb-enc-clauses.wat
a83c6a93bea27d60d464843c14edc9cf,0,solved,2.31059,164884,484406,489488,350740,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/a83c6a93bea27d60d464843c14edc9cf.cb-enc-clauses.out,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/a83c6a93bea27d60d464843c14edc9cf.cb-enc-clauses.var,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/a83c6a93bea27d60d464843c14edc9cf.cb-enc-clauses.wat
af82b6715d5fa91b93fe8b597f3071b8,0,solved,11.6839,287412,1061776,1087789,607983,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/af82b6715d5fa91b93fe8b597f3071b8.cb-enc-clauses.out,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/af82b6715d5fa91b93fe8b597f3071b8.cb-enc-clauses.var,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/af82b6715d5fa91b93fe8b597f3071b8.cb-enc-clauses.wat
b0068b30eb7b7e7f8bef7edc21aac35a,0,solved,17.2095,308744,1405628,1416627,828036,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/b0068b30eb7b7e7f8bef7edc21aac35a.cb-enc-clauses.out,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/b0068b30eb7b7e7f8bef7edc21aac35a.cb-enc-clauses.var,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/b0068b30eb7b7e7f8bef7edc21aac35a.cb-enc-clauses.wat
b2bc3882f0527299dd9160ea9307609d,0,solved,10.9152,592248,2193126,2194200,2351116,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/b2bc3882f0527299dd9160ea9307609d.cb-enc-clauses.out,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/b2bc3882f0527299dd9160ea9307609d.cb-enc-clauses.var,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/b2bc3882f0527299dd9160ea9307609d.cb-enc-clauses.wat
b2bdb714388e52e8534b5ce5068e276e,0,solved,0.014104,17680,1973,2091,4628,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/b2bdb714388e52e8534b5ce5068e276e.cb-enc-clauses.out,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/b2bdb714388e52e8534b5ce5068e276e.cb-enc-clauses.var,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/b2bdb714388e52e8534b5ce5068e276e.cb-enc-clauses.wat
b51eb68bff2dbf1b9c107c2df33a391b,0,solved,14.0661,596916,3068951,3074396,2091180,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/b51eb68bff2dbf1b9c107c2df33a391b.cb-enc-clauses.out,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/b51eb68bff2dbf1b9c107c2df33a391b.cb-enc-clauses.var,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/b51eb68bff2dbf1b9c107c2df33a391b.cb-enc-clauses.wat
b5e4bd22b32dbbf803700d5df1e3e656,0,solved,9.06813,312172,1224141,1247847,692448,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/b5e4bd22b32dbbf803700d5df1e3e656.cb-enc-clauses.out,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/b5e4bd22b32dbbf803700d5df1e3e656.cb-enc-clauses.var,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/b5e4bd22b32dbbf803700d5df1e3e656.cb-enc-clauses.wat
b71c431c61fbc797c67100e02a239f94,0,solved,4.19408,409868,1960173,1961916,1916980,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/b71c431c61fbc797c67100e02a239f94.cb-enc-clauses.out,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/b71c431c61fbc797c67100e02a239f94.cb-enc-clauses.var,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/b71c431c61fbc797c67100e02a239f94.cb-enc-clauses.wat
ba640c8bcc64b7ccec60abe0e69ef2da,0,solved,2.28347,203424,671876,675745,437848,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/ba640c8bcc64b7ccec60abe0e69ef2da.cb-enc-clauses.out,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/ba640c8bcc64b7ccec60abe0e69ef2da.cb-enc-clauses.var,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/ba640c8bcc64b7ccec60abe0e69ef2da.cb-enc-clauses.wat
bb13afa699ff48f5272be04258fb452c,0,solved,4.13012,93132,1785,2047,6480,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/bb13afa699ff48f5272be04258fb452c.cb-enc-clauses.out,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/bb13afa699ff48f5272be04258fb452c.cb-enc-clauses.var,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/bb13afa699ff48f5272be04258fb452c.cb-enc-clauses.wat
c29c61acb4abeb24461b1ba897101514,0,solved,0.269694,189656,346923,346925,827134,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/c29c61acb4abeb24461b1ba897101514.cb-enc-clauses.out,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/c29c61acb4abeb24461b1ba897101514.cb-enc-clauses.var,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/c29c61acb4abeb24461b1ba897101514.cb-enc-clauses.wat
c400916c81899ae47f7fb4aa702f88e3,0,solved,7.43039,689820,3166485,3167759,3729320,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/c400916c81899ae47f7fb4aa702f88e3.cb-enc-clauses.out,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/c400916c81899ae47f7fb4aa702f88e3.cb-enc-clauses.var,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/c400916c81899ae47f7fb4aa702f88e3.cb-enc-clauses.wat
c64d82d5b2f2e110cbf09ee64357168f,0,solved,3.76839,364000,1094630,1129535,1935312,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/c64d82d5b2f2e110cbf09ee64357168f.cb-enc-clauses.out,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/c64d82d5b2f2e110cbf09ee64357168f.cb-enc-clauses.var,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/c64d82d5b2f2e110cbf09ee64357168f.cb-enc-clauses.wat
cc4458dccc0bf33ca10eab9e08994295,0,solved,2.57437,242152,996685,1003817,661441,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/cc4458dccc0bf33ca10eab9e08994295.cb-enc-clauses.out,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/cc4458dccc0bf33ca10eab9e08994295.cb-enc-clauses.var,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/cc4458dccc0bf33ca10eab9e08994295.cb-enc-clauses.wat
d10b447b605aa87ee4df8202a37bafe4,0,solved,4.0932,199448,734386,750465,390603,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/d10b447b605aa87ee4df8202a37bafe4.cb-enc-clauses.out,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/d10b447b605aa87ee4df8202a37bafe4.cb-enc-clauses.var,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/d10b447b605aa87ee4df8202a37bafe4.cb-enc-clauses.wat
d1a3720661bcd2ac09a173fbb65a9d5d,0,solved,8.52042,315308,1475814,1593123,519607,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/d1a3720661bcd2ac09a173fbb65a9d5d.cb-enc-clauses.out,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/d1a3720661bcd2ac09a173fbb65a9d5d.cb-enc-clauses.var,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/d1a3720661bcd2ac09a173fbb65a9d5d.cb-enc-clauses.wat
d38a0a8e9e7b273432e8da42be8f5ee6,0,solved,2.53928,305296,1119342,1176748,687654,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/d38a0a8e9e7b273432e8da42be8f5ee6.cb-enc-clauses.out,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/d38a0a8e9e7b273432e8da42be8f5ee6.cb-enc-clauses.var,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/d38a0a8e9e7b273432e8da42be8f5ee6.cb-enc-clauses.wat
d62f54e49fcbb28e69412b137d678cb2,0,solved,2.23839,187856,532996,583970,274296,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/d62f54e49fcbb28e69412b137d678cb2.cb-enc-clauses.out,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/d62f54e49fcbb28e69412b137d678cb2.cb-enc-clauses.var,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/d62f54e49fcbb28e69412b137d678cb2.cb-enc-clauses.wat
d783d85d0872b899de3fa7e601256a14,0,solved,0.13154,125316,205376,205376,306808,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/d783d85d0872b899de3fa7e601256a14.cb-enc-clauses.out,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/d783d85d0872b899de3fa7e601256a14.cb-enc-clauses.var,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/d783d85d0872b899de3fa7e601256a14.cb-enc-clauses.wat
d8f5eedf0b78f8e1144e9669ab7aa10e,0,solved,19.7061,406164,1633053,1633979,2341536,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/d8f5eedf0b78f8e1144e9669ab7aa10e.cb-enc-clauses.out,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/d8f5eedf0b78f8e1144e9669ab7aa10e.cb-enc-clauses.var,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/d8f5eedf0b78f8e1144e9669ab7aa10e.cb-enc-clauses.wat
dad22b18890df09493f04dd2bbd6ca05,0,solved,0.061569,86784,5185,5572,10774,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/dad22b18890df09493f04dd2bbd6ca05.cb-enc-clauses.out,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/dad22b18890df09493f04dd2bbd6ca05.cb-enc-clauses.var,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/dad22b18890df09493f04dd2bbd6ca05.cb-enc-clauses.wat
daefb90c84e11995cfab417041e6ce7a,0,solved,3.12789,146200,317738,318996,289474,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/daefb90c84e11995cfab417041e6ce7a.cb-enc-clauses.out,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/daefb90c84e11995cfab417041e6ce7a.cb-enc-clauses.var,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/daefb90c84e11995cfab417041e6ce7a.cb-enc-clauses.wat
e1a793be7ebc905d3dd72eb89452c9a0,0,solved,3.56351,210224,744943,753201,421014,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/e1a793be7ebc905d3dd72eb89452c9a0.cb-enc-clauses.out,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/e1a793be7ebc905d3dd72eb89452c9a0.cb-enc-clauses.var,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/e1a793be7ebc905d3dd72eb89452c9a0.cb-enc-clauses.wat
e6b9d3fc4b2e1a1e3b90c688fedf9fbc,0,solved,11.9732,964268,4353348,4354242,3490522,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/e6b9d3fc4b2e1a1e3b90c688fedf9fbc.cb-enc-clauses.out,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/e6b9d3fc4b2e1a1e3b90c688fedf9fbc.cb-enc-clauses.var,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/e6b9d3fc4b2e1a1e3b90c688fedf9fbc.cb-enc-clauses.wat
e742b3c9b7bc59c8157d6d7bb172794e,0,solved,0.121605,105856,106316,106620,360506,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/e742b3c9b7bc59c8157d6d7bb172794e.cb-enc-clauses.out,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/e742b3c9b7bc59c8157d6d7bb172794e.cb-enc-clauses.var,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/e742b3c9b7bc59c8157d6d7bb172794e.cb-enc-clauses.wat
eaf667adc64c04edafd12f56b6dc81e3,0,solved,2.58439,218412,858603,930026,304892,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/eaf667adc64c04edafd12f56b6dc81e3.cb-enc-clauses.out,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/eaf667adc64c04edafd12f56b6dc81e3.cb-enc-clauses.var,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/eaf667adc64c04edafd12f56b6dc81e3.cb-enc-clauses.wat
ebcb111a3a1b506efaec9aeaee26a8c5,0,solved,1.07823,92720,22119,22980,49758,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/ebcb111a3a1b506efaec9aeaee26a8c5.cb-enc-clauses.out,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/ebcb111a3a1b506efaec9aeaee26a8c5.cb-enc-clauses.var,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/ebcb111a3a1b506efaec9aeaee26a8c5.cb-enc-clauses.wat
ebfe7101d245987cc62159addd8f3859,0,solved,0.910015,88760,6434,7334,7020,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/ebfe7101d245987cc62159addd8f3859.cb-enc-clauses.out,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/ebfe7101d245987cc62159addd8f3859.cb-enc-clauses.var,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/ebfe7101d245987cc62159addd8f3859.cb-enc-clauses.wat
f32ce767f7530924efe82f1cd6780cea,0,solved,0.524794,90296,7911,8599,65961,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/f32ce767f7530924efe82f1cd6780cea.cb-enc-clauses.out,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/f32ce767f7530924efe82f1cd6780cea.cb-enc-clauses.var,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/f32ce767f7530924efe82f1cd6780cea.cb-enc-clauses.wat
f5e4cdfbb9a63f99d1b6d81e8a6e566b,0,solved,7.80031,374128,1618011,1622147,1261620,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/f5e4cdfbb9a63f99d1b6d81e8a6e566b.cb-enc-clauses.out,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/f5e4cdfbb9a63f99d1b6d81e8a6e566b.cb-enc-clauses.var,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/f5e4cdfbb9a63f99d1b6d81e8a6e566b.cb-enc-clauses.wat
f78ef3aef60b51b5f439105b2995d225,0,solved,4.33702,249144,1024939,1029551,766756,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/f78ef3aef60b51b5f439105b2995d225.cb-enc-clauses.out,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/f78ef3aef60b51b5f439105b2995d225.cb-enc-clauses.var,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/f78ef3aef60b51b5f439105b2995d225.cb-enc-clauses.wat
fbc39383132ce803f437210dc49afd17,0,solved,8.37961,320280,1386211,1391809,692576,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/fbc39383132ce803f437210dc49afd17.cb-enc-clauses.out,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/fbc39383132ce803f437210dc49afd17.cb-enc-clauses.var,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/fbc39383132ce803f437210dc49afd17.cb-enc-clauses.wat
fe617bf7d6972f4a4553cf896dbd97f8,0,solved,0.1912,127784,333265,333265,330215,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/fe617bf7d6972f4a4553cf896dbd97f8.cb-enc-clauses.out,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/fe617bf7d6972f4a4553cf896dbd97f8.cb-enc-clauses.var,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/fe617bf7d6972f4a4553cf896dbd97f8.cb-enc-clauses.wat
fe9474f20b50e8fc1a868d854dff339f,0,solved,0.785987,229632,3228,3228,0,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/fe9474f20b50e8fc1a868d854dff339f.cb-enc-clauses.out,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/fe9474f20b50e8fc1a868d854dff339f.cb-enc-clauses.var,/wrk-kappa/users/chrisjab/gbd-experiments/cb-clause-data/results/fe9474f20b50e8fc1a868d854dff339f.cb-enc-clauses.wat