Detailed Results

Criteria: -changed,-unmet_recommends

Caption and more info below table.

TIMEOUT (t)

WRONG (w)

BEST (b)

FASTEST (b)

UNSAT (u)

SUBOPTIMAL (s)

Problem	mccs+cbc	mccs+cplex	mccs+glpk	mccs+gurobi	mccs+lpsolve	mccs+scip	packup+core_merge	packup+core_merge_dc	packup+core_rebuild	packup+core_rebuild_dc	packup+core_rebuild_incr	packup+core_rebuild_incr_dc	packup+core_static	packup+binary	packup+linear-su	packup+linear-us	Problem
rand375.cudf	Time: 60.1607s b 12 13	Time: 5.12579s b 12 13	Time: 72.4788s b 12 13	Time: 4.82952s b 12 13	Time: 180.081s t	Time: 71.2086s b 12 13	SN 1: 539w 35307c SN 2: 172w 6761c Time: 28.5226s b 13 12	SN 1: 344w 6203c SN 2: 85w 879c Time: 2.44611s b 13 12	SN 1: 269w 4197c SN 2: 100w 1077c Time: 180.193s t 2429 441	SN 1: 410w 7452c SN 2: 91w 951c Time: 5.1157s b 12 13	SN 1: 268w 4169c SN 2: 99w 1064c Time: 180.218s t 2429 441	SN 1: 344w 5935c SN 2: 85w 867c Time: 4.06669s b 12 13	SN 1: 3375w 111413c SN 2: 1669w 45924c Time: 180.335s t 2429 441	SN 1: 3375w 111413c SN 2: 1669w 45924c Time: 180.319s t 16 16	SN 1: 3375w 111413c SN 2: 1669w 45924c Time: 180.302s t 13 13	SN 1: 3375w 111413c SN 2: 1669w 45924c Time: 180.414s t 2429 441	rand375.cudf
rand439.cudf	Time: 180.133s t	Time: 22.7726s b 191 93	Time: 180.115s t	Time: 14.8981s b 191 93	Time: 180.12s t	Time: 181.755s t	SN 1: 1878w 366252c SN 2: 408w 24204c Time: 36.6006s b 191 93	SN 1: 1282w 38381c SN 2: 194w 2930c Time: 4.15511s b 191 93	SN 1: 2018w 57538c SN 2: 410w 7452c Time: 180.218s t 191 94	SN 1: 1711w 47403c SN 2: 341w 5877c Time: 18.9589s b 191 93	SN 1: 1439w 38237c SN 2: 226w 3313c Time: 182.083s t 3420 508	SN 1: 1849w 52007c SN 2: 381w 6743c Time: 20.1679s b 191 93	SN 1: 4956w 180069c SN 2: 3281w 107653c Time: 92.2539s b 191 93	SN 1: 4956w 180069c SN 2: 3281w 107653c Time: 42.7687s b 191 93	SN 1: 4956w 180069c SN 2: 3281w 107653c Time: 65.0136s b 191 93	SN 1: 4956w 180069c SN 2: 3281w 107653c Time: 72.6272s b 191 93	rand439.cudf
rand790.cudf	Time: 138.833s b 478 61	Time: 11.0949s b 478 61	Time: 180.126s t	Time: 8.15631s b 478 61	Time: 180.031s t	Time: 180.515s t	SN 1: 740w 177192c SN 2: 68w 2041c Time: 3.32141s b 478 61	SN 1: 551w 12042c SN 2: 139w 1826c Time: 2.93225s b 478 61	SN 1: 1403w 37013c SN 2: 319w 5333c Time: 109.724s b 478 61	SN 1: 661w 14056c SN 2: 200w 2827c Time: 5.47177s b 478 61	Time: 33.5695s w	SN 1: 629w 13140c SN 2: 181w 2487c Time: 6.15084s b 478 61	SN 1: 5073w 185145c SN 2: 3535w 117655c Time: 47.1114s b 478 61	SN 1: 5073w 185145c SN 2: 3535w 117655c Time: 30.6772s b 478 61	SN 1: 5073w 185145c SN 2: 3535w 117655c Time: 36.4469s b 478 61	SN 1: 5073w 185145c SN 2: 3535w 117655c Time: 31.8493s b 478 61	rand790.cudf
rand598.cudf	Time: 109.983s b 107 89	Time: 11.2609s b 107 89	Time: 180.023s t	Time: 8.39509s b 107 89	Time: 180.028s t	Time: 180.239s t	SN 1: 401w 39963c SN 2: 90w 3962c Time: 2.98964s b 107 89	SN 1: 659w 14897c SN 2: 105w 1291c Time: 1.74022s b 107 89	SN 1: 1782w 49682c SN 2: 324w 5461c Time: 150.661s b 107 89	SN 1: 1091w 26541c SN 2: 172w 2321c Time: 3.75159s b 107 89	SN 1: 1335w 34793c SN 2: 201w 2853c Time: 185.065s t 107 89	SN 1: 1117w 27464c SN 2: 166w 2211c Time: 3.89794s b 107 89	SN 1: 3678w 123369c SN 2: 2076w 59725c Time: 21.9297s b 107 89	SN 1: 3678w 123369c SN 2: 2076w 59725c Time: 22.5847s b 107 89	SN 1: 3678w 123369c SN 2: 2076w 59725c Time: 25.4742s b 107 89	SN 1: 3678w 123369c SN 2: 2076w 59725c Time: 12.866s b 107 89	rand598.cudf
e381ba7e-a192-11e0-8647-00163e1e087d.cudf	Time: 48.7003s b 43 43	Time: 6.1556s b 43 43	Time: 180.133s t	Time: 3.77345s b 43 43	Time: 180.011s t	Time: 44.0291s b 43 43	SN 1: 588w 26044c SN 2: 178w 4778c Time: 180.199s t 1893 358	SN 1: 261w 3993c SN 2: 78w 762c Time: 180.103s t 32 56	SN 1: 399w 7184c SN 2: 112w 1247c Time: 180.192s t 1893 358	SN 1: 261w 3993c SN 2: 78w 762c Time: 180.173s t 32 56	SN 1: 420w 7681c SN 2: 113w 1268c Time: 180.288s t 1893 358	SN 1: 261w 3993c SN 2: 78w 762c Time: 180.173s t 32 56	SN 1: 2797w 88512c SN 2: 1366w 35856c Time: 180.251s t 1893 358	SN 1: 2797w 88512c SN 2: 1366w 35856c Time: 180.397s t 8 93	SN 1: 2797w 88512c SN 2: 1366w 35856c Time: 180.245s t 55 55	SN 1: 2797w 88512c SN 2: 1366w 35856c Time: 180.333s t 1893 358	e381ba7e-a192-11e0-8647-00163e1e087d.cudf
0207e19a-9b1c-11df-af69-00163e46d37a.cudf	Time: 7.60527s b 37 38	Time: 1.93068s b 37 38	Time: 180.098s t	Time: 1.60916s b 37 38	Time: 180.03s t	Time: 18.7277s b 37 38	SN 1: 752w 109538c SN 2: 250w 13945c Time: 180.332s t 38 38	SN 1: 617w 13107c SN 2: 185w 2572c Time: 131.527s b 37 38	SN 1: 765w 16850c SN 2: 258w 3906c Time: 180.081s t 38 38	SN 1: 616w 12787c SN 2: 187w 2589c Time: 180.157s t 38 38	SN 1: 704w 15199c SN 2: 219w 3192c Time: 181.843s t 38 38	SN 1: 617w 12823c SN 2: 185w 2554c Time: 180.177s t 38 38	SN 1: 3030w 97489c SN 2: 1572w 42621c Time: 180.302s t 1899 318	SN 1: 3030w 97489c SN 2: 1572w 42621c Time: 180.329s t 40 40	SN 1: 3030w 97489c SN 2: 1572w 42621c Time: 180.245s t 41 41	SN 1: 3030w 97489c SN 2: 1572w 42621c Time: 180.285s t 1899 318	0207e19a-9b1c-11df-af69-00163e46d37a.cudf
caefdef6-3477-11e0-84ef-00163e3d3b7c.cudf	Time: 3.36856s b 17 17	Time: 1.09205s b 17 17	Time: 180.115s t	Time: 0.894427s b 17 17	Time: 180.019s t	Time: 5.49752s b 17 17	SN 1: 195w 8463c SN 2: 68w 1533c Time: 15.7568s b 17 17	SN 1: 182w 2513c SN 2: 66w 607c Time: 1.93466s b 17 17	SN 1: 196w 2749c SN 2: 70w 646c Time: 180.085s t 17 17	SN 1: 182w 2503c SN 2: 66w 582c Time: 2.03357s b 17 17	SN 1: 194w 2707c SN 2: 69w 632c Time: 180.149s t 17 17	SN 1: 182w 2503c SN 2: 66w 582c Time: 3.71361s b 17 17	SN 1: 3152w 102399c SN 2: 1429w 37926c Time: 180.256s t 1261 163	SN 1: 3152w 102399c SN 2: 1429w 37926c Time: 180.205s t 31 31	SN 1: 3152w 102399c SN 2: 1429w 37926c Time: 180.2s t 17 17	SN 1: 3152w 102399c SN 2: 1429w 37926c Time: 180.232s t 1261 163	caefdef6-3477-11e0-84ef-00163e3d3b7c.cudf
f4ebf9e0-360e-11e0-9e6c-00163e3d3b7c.cudf	Time: 2.74584s b 16 16	Time: 0.954358s b 16 16	Time: 89.6269s b 16 16	Time: 0.862022s b 16 16	Time: 180.016s t	Time: 5.87759s b 16 16	SN 1: 172w 6998c SN 2: 54w 1063c Time: 9.24598s b 16 16	SN 1: 163w 2411c SN 2: 51w 445c Time: 1.57896s b 16 16	SN 1: 181w 2487c SN 2: 57w 474c Time: 180.088s t 16 16	SN 1: 160w 2079c SN 2: 51w 408c Time: 180.176s t 16 16	SN 1: 172w 2321c SN 2: 56w 459c Time: 180.18s t 16 16	SN 1: 160w 2079c SN 2: 50w 395c Time: 180.08s t 16 16	SN 1: 3135w 101641c SN 2: 1454w 38752c Time: 180.268s t 1168 150	SN 1: 3135w 101641c SN 2: 1454w 38752c Time: 180.23s t 16 16	SN 1: 3135w 101641c SN 2: 1454w 38752c Time: 180.198s t 16 16	SN 1: 3135w 101641c SN 2: 1454w 38752c Time: 180.274s t 1168 150	f4ebf9e0-360e-11e0-9e6c-00163e3d3b7c.cudf
rand740.cudf	Time: 56.6365s b 12 13	Time: 5.65074s b 12 13	Time: 180.025s t	Time: 4.89993s b 12 13	Time: 180.026s t	Time: 74.6167s b 12 13	SN 1: 1018w 99766c SN 2: 244w 12061c Time: 41.7761s b 13 12	SN 1: 565w 12839c SN 2: 154w 2181c Time: 5.69802s b 13 12	SN 1: 381w 6743c SN 2: 114w 1284c Time: 180.192s t 2213 405	SN 1: 110w 1226c SN 2: 32w 191c Time: 180.109s t 13 13	SN 1: 332w 5661c SN 2: 94w 988c Time: 180.19s t 2213 405	SN 1: 122w 1400c SN 2: 37w 255c Time: 180.19s t 14 14	SN 1: 3362w 110861c SN 2: 1661w 45636c Time: 180.327s t 2213 405	SN 1: 3362w 110861c SN 2: 1661w 45636c Time: 180.273s t 16 16	SN 1: 3362w 110861c SN 2: 1661w 45636c Time: 180.338s t 13 13	SN 1: 3362w 110861c SN 2: 1661w 45636c Time: 180.444s t 2213 405	rand740.cudf
rand692.cudf	Time: 3.15898s b 98 16	Time: 1.3604s b 98 16	Time: 3.41009s b 98 16	Time: 1.17721s b 98 16	Time: 5.13787s b 98 16	Time: 4.47911s b 98 16	SN 1: 150w 7721c SN 2: 16w 120c Time: 0.772793s b 98 16	SN 1: 53w 431c SN 2: 16w 63c Time: 0.749717s b 98 16	SN 1: 152w 1947c SN 2: 16w 63c Time: 2.82363s b 98 16	SN 1: 53w 431c SN 2: 16w 63c Time: 0.769711s b 98 16	SN 1: 150w 1917c SN 2: 16w 63c Time: 1.28666s b 98 16	SN 1: 53w 431c SN 2: 16w 63c Time: 0.772211s b 98 16	SN 1: 2997w 96283c SN 2: 1056w 25295c Time: 5.37107s b 98 16	SN 1: 2997w 96283c SN 2: 1056w 25295c Time: 13.2655s b 98 16	SN 1: 2997w 96283c SN 2: 1056w 25295c Time: 21.1136s b 98 16	SN 1: 2997w 96283c SN 2: 1056w 25295c Time: 1.41988s b 98 16	rand692.cudf
rand434.cudf	Time: 5.36294s b 100 21	Time: 1.79383s b 100 21	Time: 5.94875s b 100 21	Time: 1.59626s b 100 21	Time: 180.016s t	Time: 8.00596s b 100 21	SN 1: 239w 19064c SN 2: 21w 210c Time: 0.912166s b 100 21	SN 1: 130w 1805c SN 2: 24w 145c Time: 0.788551s b 100 21	SN 1: 383w 6774c SN 2: 46w 351c Time: 5.18114s b 100 21	SN 1: 267w 4149c SN 2: 36w 241c Time: 0.930277s b 100 21	SN 1: 211w 3045c SN 2: 21w 107c Time: 1.94065s b 100 21	SN 1: 235w 3491c SN 2: 26w 146c Time: 0.909705s b 100 21	SN 1: 3001w 96414c SN 2: 1055w 25274c Time: 4.67036s b 100 21	SN 1: 3001w 96414c SN 2: 1055w 25274c Time: 13.374s b 100 21	SN 1: 3001w 96414c SN 2: 1055w 25274c Time: 26.7227s b 100 21	SN 1: 3001w 96414c SN 2: 1055w 25274c Time: 2.42663s b 100 21	rand434.cudf
c2164c84-b015-11df-8b50-00163e46d37a.cudf	Time: 1.58291s b 16 15	Time: 0.643631s b 16 15	Time: 1.81304s b 16 15	Time: 0.649938s b 16 15	Time: 180.019s t	Time: 2.01777s b 15 16	SN 1: 146w 4861c SN 2: 47w 948c Time: 5.14437s b 16 15	SN 1: 130w 1622c SN 2: 41w 309c Time: 1.51049s b 15 16	SN 1: 146w 1839c SN 2: 48w 367c Time: 180.148s t 16 16	SN 1: 130w 1523c SN 2: 41w 298c Time: 1.53253s b 15 16	SN 1: 146w 1839c SN 2: 48w 367c Time: 180.177s t 16 16	SN 1: 130w 1523c SN 2: 41w 298c Time: 1.50048s b 16 15	SN 1: 2738w 86285c SN 2: 1082w 26240c Time: 180.154s t 973 7	SN 1: 2738w 86285c SN 2: 1082w 26240c Time: 180.153s t 27 30	SN 1: 2738w 86285c SN 2: 1082w 26240c Time: 180.171s t 16 16	SN 1: 2738w 86285c SN 2: 1082w 26240c Time: 180.166s t 973 7	c2164c84-b015-11df-8b50-00163e46d37a.cudf
56ae4afa-0b33-11df-8a2b-00163e1d94dc.cudf	Time: 180.135s t	Time: 9.8733s b 83 12	Time: 180.019s t	Time: 8.72569s b 83 12	Time: 180.123s t	Time: 180.336s t	SN 1: 355w 26971c SN 2: 106w 2718c Time: 3.68476s b 83 12	SN 1: 308w 5723c SN 2: 84w 926c Time: 1.86095s b 83 12	SN 1: 1094w 26660c SN 2: 375w 6626c Time: 41.148s b 83 12	SN 1: 424w 7775c SN 2: 153w 1971c Time: 2.98257s b 83 12	SN 1: 851w 19384c SN 2: 291w 4715c Time: 181.358s t 83 14	SN 1: 422w 7734c SN 2: 153w 1971c Time: 3.03929s b 83 12	SN 1: 2999w 96348c SN 2: 2143w 62568c Time: 27.8231s b 83 12	SN 1: 2999w 96348c SN 2: 2143w 62568c Time: 27.6922s b 83 12	SN 1: 2999w 96348c SN 2: 2143w 62568c Time: 46.3935s b 83 12	SN 1: 2999w 96348c SN 2: 2143w 62568c Time: 24.3305s b 83 12	56ae4afa-0b33-11df-8a2b-00163e1d94dc.cudf
rand7.cudf	Time: 0.970128s b 379 62	Time: 0.352242s b 379 62	Time: 3.46091s b 379 62	Time: 0.359766s b 379 62	Time: 0.827224s b 379 62	Time: 1.29614s b 379 62	SN 1: 581w 114212c SN 2: 64w 1933c Time: 0.860257s b 379 62	SN 1: 201w 3783c SN 2: 69w 830c Time: 0.382514s b 379 62	SN 1: 635w 13284c SN 2: 75w 722c Time: 6.61487s b 379 62	SN 1: 241w 3593c SN 2: 72w 671c Time: 0.536063s b 379 62	SN 1: 655w 13868c SN 2: 78w 762c Time: 17.611s b 379 62	SN 1: 224w 3263c SN 2: 69w 632c Time: 0.655756s b 379 62	SN 1: 1804w 50425c SN 2: 456w 8503c Time: 5.89179s b 379 62	SN 1: 1804w 50425c SN 2: 456w 8503c Time: 1.28714s b 379 62	SN 1: 1804w 50425c SN 2: 456w 8503c Time: 7.78628s b 379 62	SN 1: 1804w 50425c SN 2: 456w 8503c Time: 1.25634s b 379 62	rand7.cudf
rand18.cudf	Time: 55.8819s b 12 13	Time: 5.54931s b 12 13	Time: 180.131s t	Time: 4.75822s b 12 13	Time: 180.114s t	Time: 70.7502s b 12 13	SN 1: 705w 79899c SN 2: 209w 10646c Time: 71.6524s b 13 12	SN 1: 341w 6149c SN 2: 98w 1110c Time: 2.6572s b 12 13	SN 1: 939w 21851c SN 2: 288w 4623c Time: 180.113s t 13 13	SN 1: 340w 5849c SN 2: 99w 1064c Time: 5.25955s b 12 13	SN 1: 679w 14566c SN 2: 209w 3002c Time: 181.147s t 13 13	SN 1: 341w 5877c SN 2: 98w 1046c Time: 5.09111s b 12 13	SN 1: 3362w 110861c SN 2: 1661w 45636c Time: 180.323s t 2166 423	SN 1: 3362w 110861c SN 2: 1661w 45636c Time: 180.302s t 13 13	SN 1: 3362w 110861c SN 2: 1661w 45636c Time: 180.326s t 13 13	SN 1: 3362w 110861c SN 2: 1661w 45636c Time: 180.407s t 2166 423	rand18.cudf
rand438.cudf	Time: 57.6401s b 12 13	Time: 5.6134s b 12 13	Time: 172.131s b 12 13	Time: 5.21271s b 12 13	Time: 180.016s t	Time: 73.8572s b 12 13	SN 1: 919w 103658c SN 2: 238w 13715c Time: 105.259s b 13 12	SN 1: 486w 10086c SN 2: 106w 1241c Time: 3.03102s b 12 13	SN 1: 750w 16491c SN 2: 235w 3491c Time: 180.112s t 13 13	SN 1: 473w 8908c SN 2: 98w 1046c Time: 2.67534s b 12 13	SN 1: 807w 18125c SN 2: 245w 3671c Time: 181.267s t 13 13	SN 1: 486w 9200c SN 2: 106w 1170c Time: 3.78372s b 12 13	SN 1: 3362w 110861c SN 2: 1668w 45877c Time: 180.318s t 591 18	SN 1: 3362w 110861c SN 2: 1668w 45877c Time: 180.319s t 13 13	SN 1: 3362w 110861c SN 2: 1668w 45877c Time: 180.313s t 13 13	SN 1: 3362w 110861c SN 2: 1668w 45877c Time: 180.432s t 591 18	rand438.cudf
rand529.cudf	Time: 1.10461s b 133 77	Time: 0.497s b 133 77	Time: 2.70164s b 133 77	Time: 0.423423s b 133 77	Time: 0.92891s b 133 77	Time: 2.61531s b 133 77	SN 1: 373w 37407c SN 2: 82w 3138c Time: 0.616254s b 133 77	SN 1: 267w 4945c SN 2: 83w 957c Time: 0.394273s b 133 77	SN 1: 481w 9073c SN 2: 98w 1046c Time: 3.80994s b 133 77	SN 1: 350w 6066c SN 2: 97w 1029c Time: 0.571421s b 133 77	SN 1: 498w 9462c SN 2: 104w 1135c Time: 23.091s b 133 77	SN 1: 367w 6451c SN 2: 102w 1110c Time: 0.876631s b 133 77	SN 1: 1843w 51816c SN 2: 473w 8908c Time: 3.86693s b 133 77	SN 1: 1843w 51816c SN 2: 473w 8908c Time: 6.33102s b 133 77	SN 1: 1843w 51816c SN 2: 473w 8908c Time: 7.86096s b 133 77	SN 1: 1843w 51816c SN 2: 473w 8908c Time: 1.95995s b 133 77	rand529.cudf
rand194.cudf	Time: 57.9836s b 12 13	Time: 5.78147s b 12 13	Time: 180.026s t	Time: 4.80378s b 12 13	Time: 180.027s t	Time: 67.6505s b 12 13	SN 1: 1638w 258517c SN 2: 434w 33169c Time: 180.699s t 13 13	SN 1: 450w 9064c SN 2: 90w 956c Time: 2.83718s b 13 12	SN 1: 891w 20452c SN 2: 274w 4316c Time: 180.201s t 13 13	SN 1: 442w 8184c SN 2: 94w 988c Time: 8.83274s b 13 12	SN 1: 761w 16762c SN 2: 240w 3567c Time: 180.902s t 13 13	SN 1: 450w 8352c SN 2: 90w 936c Time: 5.13727s b 12 13	SN 1: 3362w 110861c SN 2: 1662w 45658c Time: 180.343s t 2034 390	SN 1: 3362w 110861c SN 2: 1662w 45658c Time: 180.279s t 13 13	SN 1: 3362w 110861c SN 2: 1662w 45658c Time: 180.323s t 13 13	SN 1: 3362w 110861c SN 2: 1662w 45658c Time: 180.428s t 2034 390	rand194.cudf
4f84e9c6-a79c-11e0-9eb7-00163e1e087d.cudf	Time: 10.4046s u	Time: 0.831009s u	Time: 1.04405s u	Time: 0.980188s u	Time: 2.14188s u	Time: 2.18193s u	Time: 1.18928s u	Time: 1.12923s u	Time: 1.11402s u	Time: 1.08504s u	Time: 1.29171s u	Time: 1.09864s u	Time: 1.2007s u	Time: 1.15994s u	Time: 1.16803s u	Time: 1.16294s u	4f84e9c6-a79c-11e0-9eb7-00163e1e087d.cudf
rand125.cudf	Time: 18.2237s b 180 97	Time: 3.68515s b 180 97	Time: 180.096s t	Time: 2.52244s b 180 97	Time: 180.015s t	Time: 25.6123s b 180 97	SN 1: 1277w 237234c SN 2: 186w 8583c Time: 11.3571s b 180 97	SN 1: 767w 18434c SN 2: 142w 1990c Time: 1.15333s b 180 97	SN 1: 1445w 38459c SN 2: 204w 2909c Time: 89.4648s b 180 97	SN 1: 991w 23250c SN 2: 174w 2357c Time: 2.5046s b 180 97	SN 1: 1129w 27874c SN 2: 164w 2169c Time: 182.498s t 180 97	SN 1: 916w 21189c SN 2: 182w 2503c Time: 3.05166s b 180 97	SN 1: 2655w 82953c SN 2: 1069w 25804c Time: 15.8793s b 180 97	SN 1: 2655w 82953c SN 2: 1069w 25804c Time: 13.8261s b 180 97	SN 1: 2655w 82953c SN 2: 1069w 25804c Time: 14.4054s b 180 97	SN 1: 2655w 82953c SN 2: 1069w 25804c Time: 10.4294s b 180 97	rand125.cudf
rand408.cudf	Time: 47.4058s b 551 65	Time: 5.24198s b 551 65	Time: 180.093s t	Time: 4.12414s b 551 65	Time: 180.11s t	Time: 92.3704s b 551 65	SN 1: 1281w 314194c SN 2: 148w 5541c Time: 6.82034s b 551 65	SN 1: 623w 15229c SN 2: 120w 1527c Time: 2.09123s b 551 65	SN 1: 1515w 40678c SN 2: 244w 3649c Time: 116.934s b 551 65	SN 1: 681w 14624c SN 2: 153w 1971c Time: 3.71501s b 551 65	SN 1: 1277w 32714c SN 2: 175w 2373c Time: 182.803s t 551 66	SN 1: 708w 15341c SN 2: 165w 2193c Time: 7.33363s b 551 65	SN 1: 3706w 124441c SN 2: 2104w 60931c Time: 34.5002s b 551 65	SN 1: 3706w 124441c SN 2: 2104w 60931c Time: 37.8031s b 551 65	SN 1: 3706w 124441c SN 2: 2104w 60931c Time: 31.1947s b 551 65	SN 1: 3706w 124441c SN 2: 2104w 60931c Time: 17.6606s b 551 65	rand408.cudf
rand144.cudf	Time: 2.13398s b 71 69	Time: 0.583684s b 71 69	Time: 3.01743s b 71 69	Time: 0.494404s b 71 69	Time: 1.14353s b 71 69	Time: 5.03961s b 71 69	SN 1: 526w 47311c SN 2: 141w 6432c Time: 180.107s t 820 16	SN 1: 558w 13209c SN 2: 152w 2367c Time: 50.0988s b 71 69	SN 1: 513w 9773c SN 2: 142w 1763c Time: 180.129s t 820 16	SN 1: 455w 8485c SN 2: 119w 1358c Time: 180.031s t 78 59	SN 1: 561w 11238c SN 2: 144w 1791c Time: 180.587s t 820 16	SN 1: 457w 8535c SN 2: 118w 1344c Time: 180.054s t 78 59	SN 1: 1811w 50692c SN 2: 462w 8652c Time: 180.198s t 820 16	SN 1: 1811w 50692c SN 2: 462w 8652c Time: 180.111s t 75 75	SN 1: 1811w 50692c SN 2: 462w 8652c Time: 180.102s t 72 72	SN 1: 1811w 50692c SN 2: 462w 8652c Time: 180.124s t 820 16	rand144.cudf
5698a62c-c731-11df-9bb9-00163e3d3b7c.cudf	Time: 97.2305s s 19 27	Time: 26.4869s s 19 27	Time: 180.127s t	Time: 9.83356s s 19 27	Time: 180.134s t	Time: 180.475s t	SN 1: 1189w 65886c SN 2: 367w 15409c Time: 180.249s t 3667 640	SN 1: 1120w 29486c SN 2: 260w 4168c Time: 71.8355s b 23 23	SN 1: 161w 2107c SN 2: 76w 733c Time: 180.207s t 3667 640	SN 1: 813w 18301c SN 2: 164w 2169c Time: 180.199s t 8 40	SN 1: 156w 2021c SN 2: 73w 691c Time: 180.213s t 3667 640	SN 1: 717w 15613c SN 2: 162w 2129c Time: 180.218s t 8 40	SN 1: 4831w 174328c SN 2: 2999w 96348c Time: 180.933s t 3667 640	SN 1: 4831w 174328c SN 2: 2999w 96348c Time: 180.477s t 24 24	SN 1: 4831w 174328c SN 2: 2999w 96348c Time: 180.476s t 25 25	SN 1: 4831w 174328c SN 2: 2999w 96348c Time: 180.554s t 3667 640	5698a62c-c731-11df-9bb9-00163e3d3b7c.cudf
ca8f656c-db9e-11df-b9cf-00163e3d3b7c.cudf	Time: 4.45952s s 33 39	Time: 1.30951s s 33 39	Time: 8.01693s s 33 39	Time: 0.996734s s 33 39	Time: 180.021s t	Time: 8.34093s s 33 39	SN 1: 234w 10261c SN 2: 140w 4665c Time: 180.107s t 1721 213	SN 1: 255w 4745c SN 2: 148w 2238c Time: 41.3686s b 36 36	SN 1: 168w 2243c SN 2: 106w 1170c Time: 180.093s t 1721 213	SN 1: 235w 3491c SN 2: 130w 1523c Time: 180.081s t 12 62	SN 1: 188w 2601c SN 2: 119w 1358c Time: 180.137s t 1721 213	SN 1: 229w 3377c SN 2: 129w 1500c Time: 180.098s t 12 62	SN 1: 3246w 106275c SN 2: 1614w 44104c Time: 180.218s t 1721 213	SN 1: 3246w 106275c SN 2: 1614w 44104c Time: 180.231s t 3 74	SN 1: 3246w 106275c SN 2: 1614w 44104c Time: 180.241s t 39 39	SN 1: 3246w 106275c SN 2: 1614w 44104c Time: 180.378s t 1721 213	ca8f656c-db9e-11df-b9cf-00163e3d3b7c.cudf
103c9978-5408-11df-9bc1-00163e7a6f5e.cudf	Time: 1.55569s s 7 10	Time: 0.71904s s 7 10	Time: 100.66s s 7 10	Time: 0.605091s s 7 10	Time: 1.94202s s 7 10	Time: 2.47142s s 7 10	SN 1: 102w 1874c SN 2: 31w 361c Time: 0.979369s b 9 8	SN 1: 102w 1121c SN 2: 29w 176c Time: 0.660808s b 9 8	SN 1: 102w 1110c SN 2: 32w 191c Time: 1.29862s b 8 9	SN 1: 102w 1110c SN 2: 31w 186c Time: 0.889613s b 8 9	SN 1: 102w 1110c SN 2: 33w 207c Time: 2.10996s b 8 9	SN 1: 102w 1110c SN 2: 31w 186c Time: 0.798504s b 8 9	SN 1: 2425w 73854c SN 2: 1043w 24855c Time: 5.01022s b 8 9	SN 1: 2425w 73854c SN 2: 1043w 24855c Time: 8.71292s b 8 9	SN 1: 2425w 73854c SN 2: 1043w 24855c Time: 11.9844s b 9 8	SN 1: 2425w 73854c SN 2: 1043w 24855c Time: 6.13261s b 8 9	103c9978-5408-11df-9bc1-00163e7a6f5e.cudf
cff22854-9512-11e0-8001-00163e1e087d.cudf	Time: 49.2427s b 43 43	Time: 6.21735s b 43 43	Time: 180.103s t	Time: 3.74639s b 43 43	Time: 180.02s t	Time: 43.7021s b 43 43	SN 1: 588w 26044c SN 2: 178w 4778c Time: 180.2s t 1893 358	SN 1: 261w 3993c SN 2: 78w 762c Time: 180.091s t 32 56	SN 1: 399w 7184c SN 2: 112w 1247c Time: 180.103s t 1893 358	SN 1: 261w 3993c SN 2: 78w 762c Time: 180.096s t 32 56	SN 1: 420w 7681c SN 2: 113w 1268c Time: 180.209s t 1893 358	SN 1: 261w 3993c SN 2: 78w 762c Time: 180.183s t 32 56	SN 1: 2797w 88512c SN 2: 1366w 35856c Time: 180.367s t 1893 358	SN 1: 2797w 88512c SN 2: 1366w 35856c Time: 180.328s t 8 93	SN 1: 2797w 88512c SN 2: 1366w 35856c Time: 180.312s t 56 56	SN 1: 2797w 88512c SN 2: 1366w 35856c Time: 180.297s t 1893 358	cff22854-9512-11e0-8001-00163e1e087d.cudf
rand440.cudf	Time: 54.411s b 41 30	Time: 16.6152s b 41 30	Time: 135.584s b 41 30	Time: 7.45245s b 41 30	Time: 180.019s t	Time: 173.984s b 41 30	SN 1: 123w 5028c SN 2: 34w 505c Time: 1.59575s b 41 30	SN 1: 92w 1172c SN 2: 34w 241c Time: 1.59658s b 41 30	SN 1: 231w 3414c SN 2: 54w 441c Time: 7.4717s b 41 30	SN 1: 184w 2531c SN 2: 38w 265c Time: 1.88006s b 41 30	SN 1: 137w 1669c SN 2: 36w 241c Time: 2.9517s b 41 30	SN 1: 94w 988c SN 2: 34w 219c Time: 1.58496s b 41 30	SN 1: 4669w 166780c SN 2: 2944w 94143c Time: 11.6628s b 41 30	SN 1: 4669w 166780c SN 2: 2944w 94143c Time: 30.0355s b 41 30	SN 1: 4669w 166780c SN 2: 2944w 94143c Time: 40.3873s b 41 30	SN 1: 4669w 166780c SN 2: 2944w 94143c Time: 5.59331s b 41 30	rand440.cudf
rand97.cudf	Time: 41.5642s b 12 13	Time: 6.27582s b 12 13	Time: 180.025s t	Time: 4.76773s b 12 13	Time: 180.024s t	Time: 74.3349s b 12 13	SN 1: 590w 55636c SN 2: 174w 7611c Time: 43.7883s b 12 13	SN 1: 396w 7557c SN 2: 112w 1358c Time: 2.33425s b 13 12	SN 1: 920w 21299c SN 2: 285w 4574c Time: 180.188s t 13 13	SN 1: 387w 6881c SN 2: 110w 1226c Time: 5.94342s b 13 12	SN 1: 695w 15002c SN 2: 212w 3061c Time: 180.873s t 13 13	SN 1: 396w 7113c SN 2: 112w 1247c Time: 9.34546s b 13 12	SN 1: 3362w 110861c SN 2: 1661w 45636c Time: 180.32s t 2330 413	SN 1: 3362w 110861c SN 2: 1661w 45636c Time: 180.269s t 13 13	SN 1: 3362w 110861c SN 2: 1661w 45636c Time: 180.378s t 13 13	SN 1: 3362w 110861c SN 2: 1661w 45636c Time: 180.391s t 2330 413	rand97.cudf
rand924.cudf	Time: 53.8296s b 12 13	Time: 5.67545s b 12 13	Time: 180.032s t	Time: 4.79567s b 12 13	Time: 180.031s t	Time: 76.7337s b 12 13	SN 1: 712w 74483c SN 2: 190w 8672c Time: 60.9452s b 12 13	SN 1: 457w 9238c SN 2: 98w 1110c Time: 2.4309s b 12 13	SN 1: 792w 17675c SN 2: 254w 3817c Time: 180.207s t 13 13	SN 1: 429w 7899c SN 2: 97w 1029c Time: 3.81992s b 12 13	SN 1: 875w 20048c SN 2: 248w 3715c Time: 180.959s t 13 13	SN 1: 457w 8535c SN 2: 98w 1046c Time: 5.70738s b 12 13	SN 1: 3362w 110861c SN 2: 1661w 45636c Time: 180.334s t 2083 390	SN 1: 3362w 110861c SN 2: 1661w 45636c Time: 180.328s t 13 13	SN 1: 3362w 110861c SN 2: 1661w 45636c Time: 180.318s t 13 13	SN 1: 3362w 110861c SN 2: 1661w 45636c Time: 180.394s t 2083 390	rand924.cudf
rand475.cudf	Time: 56.2435s b 12 13	Time: 6.34473s b 12 13	Time: 180.09s t	Time: 4.72418s b 12 13	Time: 180.126s t	Time: 77.7585s b 12 13	SN 1: 581w 48036c SN 2: 173w 5992c Time: 20.6293s b 13 12	SN 1: 467w 9618c SN 2: 138w 1867c Time: 5.50481s b 13 12	SN 1: 381w 6743c SN 2: 118w 1344c Time: 180.128s t 2225 391	SN 1: 383w 6774c SN 2: 116w 1313c Time: 180.175s t 13 13	SN 1: 332w 5661c SN 2: 102w 1110c Time: 180.138s t 2225 391	SN 1: 383w 6774c SN 2: 117w 1331c Time: 180.19s t 13 13	SN 1: 3362w 110861c SN 2: 1661w 45636c Time: 180.44s t 2225 391	SN 1: 3362w 110861c SN 2: 1661w 45636c Time: 180.313s t 13 13	SN 1: 3362w 110861c SN 2: 1661w 45636c Time: 180.332s t 13 13	SN 1: 3362w 110861c SN 2: 1661w 45636c Time: 180.374s t 2225 391	rand475.cudf
8b0e7c16-bab4-11e0-a883-00163e1e087d.cudf	Time: 35.4498s s 16 18	Time: 12.2549s s 16 18	Time: 44.4966s s 16 18	Time: 6.20343s s 16 18	Time: 180.017s t	Time: 95.3902s s 16 18	SN 1: 78w 1577c SN 2: 18w 153c Time: 1.55625s b 17 12	SN 1: 63w 614c SN 2: 18w 87c Time: 1.36936s b 17 12	SN 1: 111w 1239c SN 2: 18w 82c Time: 3.65571s b 17 12	SN 1: 131w 1547c SN 2: 20w 97c Time: 1.62944s b 17 12	SN 1: 115w 1301c SN 2: 18w 82c Time: 2.04978s b 17 12	SN 1: 59w 497c SN 2: 18w 82c Time: 1.42232s b 17 12	SN 1: 4654w 166082c SN 2: 2929w 93680c Time: 6.98054s b 17 12	SN 1: 4654w 166082c SN 2: 2929w 93680c Time: 29.5468s b 17 12	SN 1: 4654w 166082c SN 2: 2929w 93680c Time: 80.2896s b 17 12	SN 1: 4654w 166082c SN 2: 2929w 93680c Time: 4.2524s b 17 12	8b0e7c16-bab4-11e0-a883-00163e1e087d.cudf
deb285a6-db9e-11df-8f4f-00163e3d3b7c.cudf	Time: 4.46511s s 33 39	Time: 1.147s s 33 39	Time: 8.10976s s 33 39	Time: 1.00065s s 33 39	Time: 180.019s t	Time: 8.08745s s 33 39	SN 1: 234w 10261c SN 2: 140w 4665c Time: 180.178s t 1721 213	SN 1: 255w 4745c SN 2: 148w 2238c Time: 42.4558s b 36 36	SN 1: 168w 2243c SN 2: 106w 1170c Time: 180.076s t 1721 213	SN 1: 235w 3491c SN 2: 130w 1523c Time: 180.17s t 12 62	SN 1: 188w 2601c SN 2: 119w 1358c Time: 180.12s t 1721 213	SN 1: 229w 3377c SN 2: 129w 1500c Time: 180.092s t 12 62	SN 1: 3246w 106275c SN 2: 1614w 44104c Time: 180.256s t 1721 213	SN 1: 3246w 106275c SN 2: 1614w 44104c Time: 180.286s t 3 74	SN 1: 3246w 106275c SN 2: 1614w 44104c Time: 180.236s t 38 38	SN 1: 3246w 106275c SN 2: 1614w 44104c Time: 180.291s t 1721 213	deb285a6-db9e-11df-8f4f-00163e3d3b7c.cudf
412959c6-e965-11de-8ebf-00163e6585dd.cudf	Time: 0.391199s u	Time: 0.422142s u	Time: 0.411782s u	Time: 0.438298s u	Time: 0.382702s u	Time: 0.432812s u	Time: 0.447909s u	Time: 0.464711s u	Time: 0.449387s u	Time: 0.429274s u	Time: 0.480785s u	Time: 0.435167s u	Time: 0.450487s u	Time: 0.444177s u	Time: 0.445844s u	Time: 0.45616s u	412959c6-e965-11de-8ebf-00163e6585dd.cudf
26f3d4cc-d470-11df-9e6c-00163e3d3b7c.cudf	Time: 79.8533s s 27 35	Time: 15.139s s 27 35	Time: 61.9147s s 27 36	Time: 6.84152s s 27 36	Time: 180.033s t	Time: 162.18s s 27 35	SN 1: 550w 16912c SN 2: 184w 4439c Time: 180.174s t 3519 660	SN 1: 1481w 47025c SN 2: 404w 8180c Time: 143.155s b 30 31	SN 1: 129w 1500c SN 2: 62w 527c Time: 180.202s t 3519 660	SN 1: 1058w 25390c SN 2: 204w 2909c Time: 180.123s t 16 46	SN 1: 207w 2964c SN 2: 98w 1046c Time: 180.174s t 3519 660	SN 1: 1056w 25295c SN 2: 210w 3023c Time: 180.287s t 16 46	SN 1: 4858w 175442c SN 2: 2474w 75829c Time: 180.477s t 3519 660	SN 1: 4858w 175442c SN 2: 2474w 75829c Time: 180.438s t 40 40	SN 1: 4858w 175442c SN 2: 2474w 75829c Time: 180.475s t 63 61	SN 1: 4858w 175442c SN 2: 2474w 75829c Time: 180.69s t 3519 660	26f3d4cc-d470-11df-9e6c-00163e3d3b7c.cudf
301cbe92-a79c-11e0-9181-00163e1e087d.cudf	Time: 10.3715s u	Time: 0.835312s u	Time: 1.0188s u	Time: 0.953195s u	Time: 2.16127s u	Time: 2.16811s u	Time: 1.07892s u	Time: 1.16162s u	Time: 1.08091s u	Time: 1.11672s u	Time: 1.09312s u	Time: 1.07729s u	Time: 1.17377s u	Time: 1.15687s u	Time: 1.09885s u	Time: 1.10461s u	301cbe92-a79c-11e0-9181-00163e1e087d.cudf
rand733.cudf	Time: 4.31909s b 60 15	Time: 1.82636s b 60 15	Time: 2.86152s b 60 15	Time: 1.33553s b 60 15	Time: 180.016s t	Time: 4.43304s b 60 15	SN 1: 120w 4247c SN 2: 15w 105c Time: 0.736789s b 60 15	SN 1: 59w 543c SN 2: 15w 69c Time: 0.734359s b 60 15	SN 1: 129w 1500c SN 2: 16w 63c Time: 1.97783s b 60 15	SN 1: 59w 497c SN 2: 15w 59c Time: 0.741877s b 60 15	SN 1: 123w 1415c SN 2: 15w 59c Time: 1.03166s b 60 15	SN 1: 59w 497c SN 2: 15w 59c Time: 0.710789s b 60 15	SN 1: 3013w 96846c SN 2: 1056w 25295c Time: 4.13387s b 60 15	SN 1: 3013w 96846c SN 2: 1056w 25295c Time: 13.0834s b 60 15	SN 1: 3013w 96846c SN 2: 1056w 25295c Time: 14.3266s b 60 15	SN 1: 3013w 96846c SN 2: 1056w 25295c Time: 1.76988s b 60 15	rand733.cudf
rand485.cudf	Time: 9.2187s b 457 51	Time: 1.89787s b 457 51	Time: 8.47031s b 457 51	Time: 1.53893s b 457 51	Time: 180.078s t	Time: 12.1501s b 457 51	SN 1: 1124w 245586c SN 2: 101w 3016c Time: 5.21208s b 457 51	SN 1: 555w 11469c SN 2: 75w 793c Time: 0.901118s b 457 51	SN 1: 969w 22665c SN 2: 84w 849c Time: 22.2588s b 457 51	SN 1: 549w 10898c SN 2: 78w 762c Time: 1.01913s b 457 51	SN 1: 896w 20543c SN 2: 74w 706c Time: 50.404s b 457 51	SN 1: 519w 9986c SN 2: 80w 783c Time: 1.0138s b 457 51	SN 1: 2626w 81745c SN 2: 1056w 25295c Time: 8.71711s b 457 51	SN 1: 2626w 81745c SN 2: 1056w 25295c Time: 4.1582s b 457 51	SN 1: 2626w 81745c SN 2: 1056w 25295c Time: 25.373s b 457 51	SN 1: 2626w 81745c SN 2: 1056w 25295c Time: 3.06202s b 457 51	rand485.cudf
d023d256-3477-11e0-bdb2-00163e3d3b7c.cudf	Time: 3.22964s b 17 17	Time: 1.0704s b 17 17	Time: 180.1s t	Time: 0.902074s b 17 17	Time: 180.015s t	Time: 5.60914s b 17 17	SN 1: 195w 8463c SN 2: 68w 1533c Time: 15.4523s b 17 17	SN 1: 182w 2513c SN 2: 66w 607c Time: 1.89731s b 17 17	SN 1: 196w 2749c SN 2: 70w 646c Time: 180.167s t 17 17	SN 1: 182w 2503c SN 2: 66w 582c Time: 1.94041s b 17 17	SN 1: 194w 2707c SN 2: 69w 632c Time: 180.197s t 17 17	SN 1: 182w 2503c SN 2: 66w 582c Time: 3.46643s b 17 17	SN 1: 3152w 102399c SN 2: 1429w 37926c Time: 180.275s t 1261 163	SN 1: 3152w 102399c SN 2: 1429w 37926c Time: 180.202s t 31 31	SN 1: 3152w 102399c SN 2: 1429w 37926c Time: 180.204s t 17 17	SN 1: 3152w 102399c SN 2: 1429w 37926c Time: 180.233s t 1261 163	d023d256-3477-11e0-bdb2-00163e3d3b7c.cudf
rand994.cudf	Time: 56.0388s b 12 13	Time: 6.11778s b 12 13	Time: 180.034s t	Time: 4.70553s b 12 13	Time: 180.026s t	Time: 70.764s b 12 13	SN 1: 864w 120096c SN 2: 246w 14439c Time: 118.706s b 12 13	SN 1: 419w 8277c SN 2: 88w 920c Time: 2.37364s b 13 12	SN 1: 836w 18929c SN 2: 259w 3937c Time: 180.129s t 13 13	SN 1: 433w 7983c SN 2: 96w 1007c Time: 4.11543s b 12 13	SN 1: 760w 16731c SN 2: 234w 3471c Time: 181.002s t 13 13	SN 1: 419w 7659c SN 2: 88w 903c Time: 4.41041s b 12 13	SN 1: 3362w 110861c SN 2: 1661w 45636c Time: 180.332s t 2057 398	SN 1: 3362w 110861c SN 2: 1661w 45636c Time: 180.29s t 13 13	SN 1: 3362w 110861c SN 2: 1661w 45636c Time: 180.307s t 13 13	SN 1: 3362w 110861c SN 2: 1661w 45636c Time: 180.384s t 2057 398	rand994.cudf
rand252.cudf	Time: 10.9835s s 8 10	Time: 2.7447s s 8 10	Time: 180.026s t	Time: 2.41462s s 8 10	Time: 180.125s t	Time: 24.735s s 8 10	SN 1: 132w 3983c SN 2: 56w 1073c Time: 2.24652s b 9 9	SN 1: 131w 1902c SN 2: 53w 494c Time: 1.96142s b 9 9	SN 1: 198w 2793c SN 2: 63w 537c Time: 6.31786s b 9 9	SN 1: 181w 2487c SN 2: 56w 459c Time: 2.5969s b 9 9	SN 1: 133w 1590c SN 2: 57w 474c Time: 7.3255s b 9 9	SN 1: 130w 1523c SN 2: 56w 459c Time: 2.60269s b 9 9	SN 1: 4671w 166853c SN 2: 3118w 100973c Time: 26.3104s b 9 9	SN 1: 4671w 166853c SN 2: 3118w 100973c Time: 22.5386s b 9 9	SN 1: 4671w 166853c SN 2: 3118w 100973c Time: 29.6553s b 9 9	SN 1: 4671w 166853c SN 2: 3118w 100973c Time: 18.3889s b 9 9	rand252.cudf
rand390.cudf	Time: 76.2097s b 53 47	Time: 15.9646s b 53 47	Time: 180.028s t	Time: 7.03146s b 53 47	Time: 180.025s t	Time: 83.9797s b 53 47	SN 1: 114w 5278c SN 2: 47w 1081c Time: 1.64897s b 53 47	SN 1: 69w 695c SN 2: 52w 465c Time: 1.61024s b 53 47	SN 1: 128w 1471c SN 2: 56w 459c Time: 7.34677s b 53 47	SN 1: 70w 646c SN 2: 52w 417c Time: 1.75962s b 53 47	SN 1: 145w 1818c SN 2: 48w 367c Time: 3.5477s b 53 47	SN 1: 74w 706c SN 2: 52w 417c Time: 1.65174s b 53 47	SN 1: 4656w 166159c SN 2: 2930w 93719c Time: 12.5944s b 53 47	SN 1: 4656w 166159c SN 2: 2930w 93719c Time: 30.2793s b 53 47	SN 1: 4656w 166159c SN 2: 2930w 93719c Time: 39.7068s b 53 47	SN 1: 4656w 166159c SN 2: 2930w 93719c Time: 5.37558s b 53 47	rand390.cudf
7c834c0e-51b8-11e0-a49e-00163e1e087d.cudf	Time: 18.0169s b 46 11	Time: 6.3109s b 46 11	Time: 60.8365s b 46 11	Time: 3.32181s b 46 11	Time: 180.119s t	Time: 33.6201s b 46 11	SN 1: 80w 2310c SN 2: 11w 55c Time: 0.933875s b 46 11	SN 1: 52w 428c SN 2: 15w 66c Time: 0.983677s b 46 11	SN 1: 106w 1170c SN 2: 18w 82c Time: 2.84574s b 46 11	SN 1: 52w 417c SN 2: 16w 63c Time: 0.974894s b 46 11	SN 1: 109w 1214c SN 2: 19w 91c Time: 1.59822s b 46 11	SN 1: 52w 417c SN 2: 15w 59c Time: 0.984354s b 46 11	SN 1: 3579w 119184c SN 2: 1680w 46319c Time: 5.63799s b 46 11	SN 1: 3579w 119184c SN 2: 1680w 46319c Time: 19.9671s b 46 11	SN 1: 3579w 119184c SN 2: 1680w 46319c Time: 20.1907s b 46 11	SN 1: 3579w 119184c SN 2: 1680w 46319c Time: 2.44729s b 46 11	7c834c0e-51b8-11e0-a49e-00163e1e087d.cudf
ab9005be-bacc-11e0-b0f6-00163e1e087d.cudf	Time: 36.0642s s 16 18	Time: 12.2354s s 16 18	Time: 42.6419s s 16 18	Time: 6.59832s s 16 18	Time: 180.027s t	Time: 102.058s s 16 18	SN 1: 78w 1577c SN 2: 18w 153c Time: 1.45743s b 17 12	SN 1: 63w 614c SN 2: 18w 87c Time: 1.50955s b 17 12	SN 1: 111w 1239c SN 2: 18w 82c Time: 3.44588s b 17 12	SN 1: 131w 1547c SN 2: 20w 97c Time: 1.58922s b 17 12	SN 1: 115w 1301c SN 2: 18w 82c Time: 2.12237s b 17 12	SN 1: 59w 497c SN 2: 18w 82c Time: 1.41304s b 17 12	SN 1: 4654w 166082c SN 2: 2929w 93680c Time: 7.09639s b 17 12	SN 1: 4654w 166082c SN 2: 2929w 93680c Time: 29.1307s b 17 12	SN 1: 4654w 166082c SN 2: 2929w 93680c Time: 81.9178s b 17 12	SN 1: 4654w 166082c SN 2: 2929w 93680c Time: 4.17427s b 17 12	ab9005be-bacc-11e0-b0f6-00163e1e087d.cudf
rand946.cudf	Time: 180.188s t	Time: 28.2895s b 352 75	Time: 180.119s t	Time: 19.3738s b 352 75	Time: 180.052s t	Time: 181.547s t	SN 1: 2526w 408562c SN 2: 545w 33926c Time: 29.6412s b 352 75	SN 1: 1512w 49120c SN 2: 278w 5696c Time: 4.29496s b 352 75	SN 1: 2527w 77773c SN 2: 519w 9986c Time: 180.243s t 352 76	SN 1: 1818w 50942c SN 2: 350w 6066c Time: 10.938s b 352 75	Time: 75.6687s w	SN 1: 1751w 48729c SN 2: 378w 6686c Time: 13.3097s b 352 75	SN 1: 5066w 184854c SN 2: 3527w 117348c Time: 72.0605s b 352 75	SN 1: 5066w 184854c SN 2: 3527w 117348c Time: 44.4104s b 352 75	SN 1: 5066w 184854c SN 2: 3527w 117348c Time: 64.5974s b 352 75	SN 1: 5066w 184854c SN 2: 3527w 117348c Time: 61.0182s b 352 75	rand946.cudf
1aabfc32-d491-11df-9a24-00163e3d3b7c.cudf	Time: 67.7143s s 31 40	Time: 15.2599s s 31 39	Time: 64.8094s s 31 40	Time: 7.62201s s 31 40	Time: 180.038s t	Time: 156.644s s 31 40	SN 1: 1103w 57641c SN 2: 381w 15119c Time: 180.259s t 3665 671	SN 1: 1264w 35511c SN 2: 354w 6607c Time: 140.828s b 35 34	SN 1: 228w 3353c SN 2: 111w 1239c Time: 180.203s t 3665 671	SN 1: 985w 23109c SN 2: 252w 3785c Time: 180.192s t 35 35	SN 1: 238w 3541c SN 2: 106w 1170c Time: 180.193s t 3665 671	SN 1: 984w 23075c SN 2: 267w 4149c Time: 180.234s t 29 43	SN 1: 4939w 179313c SN 2: 2705w 84952c Time: 180.694s t 3665 671	SN 1: 4939w 179313c SN 2: 2705w 84952c Time: 180.503s t 47 47	SN 1: 4939w 179313c SN 2: 2705w 84952c Time: 180.508s t 70 69	SN 1: 4939w 179313c SN 2: 2705w 84952c Time: 180.579s t 3665 671	1aabfc32-d491-11df-9a24-00163e3d3b7c.cudf
rand763.cudf	Time: 58.0119s b 12 13	Time: 6.08897s b 12 13	Time: 180.128s t	Time: 4.96996s b 12 13	Time: 180.029s t	Time: 67.8524s b 12 13	SN 1: 620w 57115c SN 2: 196w 8777c Time: 66.4478s b 12 13	SN 1: 374w 7053c SN 2: 91w 978c Time: 2.37107s b 12 13	SN 1: 691w 14898c SN 2: 238w 3541c Time: 180.112s t 13 13	SN 1: 383w 6774c SN 2: 92w 961c Time: 2.08603s b 13 12	SN 1: 615w 12767c SN 2: 210w 3023c Time: 180.788s t 13 13	SN 1: 374w 6606c SN 2: 91w 951c Time: 3.61848s b 12 13	SN 1: 3362w 110861c SN 2: 1663w 45681c Time: 180.333s t 2356 387	SN 1: 3362w 110861c SN 2: 1663w 45681c Time: 180.327s t 16 16	SN 1: 3362w 110861c SN 2: 1663w 45681c Time: 180.296s t 13 13	SN 1: 3362w 110861c SN 2: 1663w 45681c Time: 180.406s t 2356 387	rand763.cudf
rand58.cudf	Time: 137.889s b 294 90	Time: 7.80398s b 294 90	Time: 180.021s t	Time: 6.38366s b 294 90	Time: 180.021s t	Time: 133.62s b 294 90	SN 1: 1543w 326348c SN 2: 320w 18842c Time: 102.599s b 294 90	SN 1: 1127w 33444c SN 2: 216w 3540c Time: 9.21616s b 294 90	SN 1: 1530w 41092c SN 2: 245w 3671c Time: 180.162s t 2638 478	SN 1: 1608w 43879c SN 2: 471w 8864c Time: 123.329s b 294 90	SN 1: 1108w 27165c SN 2: 152w 1947c Time: 183.03s t 2638 478	SN 1: 1456w 38799c SN 2: 389w 6937c Time: 180.24s t 294 92	SN 1: 3706w 124441c SN 2: 2098w 60693c Time: 180.31s t 294 90	SN 1: 3706w 124441c SN 2: 2098w 60693c Time: 105.289s b 294 90	SN 1: 3706w 124441c SN 2: 2098w 60693c Time: 108.767s b 294 90	SN 1: 3706w 124441c SN 2: 2098w 60693c Time: 180.374s t 294 93	rand58.cudf
rand282.cudf	Time: 64.0003s b 31 22	Time: 20.68s b 31 22	Time: 180.032s t	Time: 9.39652s b 31 22	Time: 180.034s t	Time: 180.296s t	SN 1: 104w 3499c SN 2: 25w 300c Time: 1.80612s b 31 22	SN 1: 326w 5850c SN 2: 25w 165c Time: 1.80151s b 31 22	SN 1: 299w 4911c SN 2: 42w 309c Time: 7.1559s b 31 22	SN 1: 125w 1441c SN 2: 31w 186c Time: 1.98901s b 31 22	SN 1: 186w 2571c SN 2: 33w 207c Time: 2.94177s b 31 22	SN 1: 220w 3205c SN 2: 26w 146c Time: 1.78894s b 31 22	SN 1: 4671w 166853c SN 2: 2933w 93830c Time: 10.5902s b 31 22	SN 1: 4671w 166853c SN 2: 2933w 93830c Time: 31.928s b 31 22	SN 1: 4671w 166853c SN 2: 2933w 93830c Time: 46.6019s b 31 22	SN 1: 4671w 166853c SN 2: 2933w 93830c Time: 6.57766s b 31 22	rand282.cudf
8222799a-9af8-11df-8b50-00163e46d37a.cudf	Time: 7.74825s b 41 42	Time: 1.86223s b 41 42	Time: 180.113s t	Time: 1.52165s b 41 42	Time: 180.102s t	Time: 17.6481s b 41 42	SN 1: 636w 70585c SN 2: 203w 11612c Time: 180.28s t 42 42	SN 1: 213w 3084c SN 2: 85w 867c Time: 180.088s t 42 42	SN 1: 659w 13995c SN 2: 212w 3061c Time: 180.093s t 42 42	SN 1: 213w 3084c SN 2: 85w 867c Time: 180.21s t 42 42	SN 1: 621w 12931c SN 2: 200w 2827c Time: 180.9s t 42 42	SN 1: 213w 3084c SN 2: 85w 867c Time: 180.096s t 42 42	SN 1: 3177w 103446c SN 2: 1432w 38015c Time: 180.344s t 1853 309	SN 1: 3177w 103446c SN 2: 1432w 38015c Time: 180.248s t 43 43	SN 1: 3177w 103446c SN 2: 1432w 38015c Time: 180.294s t 44 44	SN 1: 3177w 103446c SN 2: 1432w 38015c Time: 180.304s t 1853 309	8222799a-9af8-11df-8b50-00163e46d37a.cudf
rand528.cudf	Time: 10.1221s b 425 78	Time: 2.11897s b 425 78	Time: 40.5874s b 425 78	Time: 1.59264s b 425 78	Time: 180.019s t	Time: 16.2865s b 425 78	SN 1: 1205w 241031c SN 2: 164w 6064c Time: 5.1561s b 425 78	SN 1: 718w 16958c SN 2: 118w 1543c Time: 1.21044s b 425 78	SN 1: 1315w 34103c SN 2: 201w 2853c Time: 38.0292s b 425 78	SN 1: 728w 15907c SN 2: 143w 1780c Time: 1.50453s b 425 78	Time: 31.0441s w	SN 1: 772w 17049c SN 2: 147w 1861c Time: 2.04735s b 425 78	SN 1: 2627w 81798c SN 2: 1055w 25274c Time: 13.4076s b 425 78	SN 1: 2627w 81798c SN 2: 1055w 25274c Time: 5.87599s b 425 78	SN 1: 2627w 81798c SN 2: 1055w 25274c Time: 13.0781s b 425 78	SN 1: 2627w 81798c SN 2: 1055w 25274c Time: 6.62318s b 425 78	rand528.cudf
rand933.cudf	Time: 82.9437s b 24 20	Time: 19.8563s b 24 20	Time: 180.133s t	Time: 6.79724s b 24 20	Time: 180.029s t	Time: 116.85s b 24 20	SN 1: 68w 1695c SN 2: 21w 202c Time: 1.60267s b 24 20	SN 1: 43w 355c SN 2: 20w 103c Time: 1.63114s b 24 20	SN 1: 68w 613c SN 2: 22w 114c Time: 3.92885s b 24 20	SN 1: 43w 321c SN 2: 20w 97c Time: 1.56729s b 24 20	SN 1: 65w 565c SN 2: 20w 97c Time: 2.24637s b 24 20	SN 1: 43w 321c SN 2: 20w 97c Time: 1.46497s b 24 20	SN 1: 4666w 166652c SN 2: 2933w 93830c Time: 6.92291s b 24 20	SN 1: 4666w 166652c SN 2: 2933w 93830c Time: 29.8817s b 24 20	SN 1: 4666w 166652c SN 2: 2933w 93830c Time: 155.387s b 24 20	SN 1: 4666w 166652c SN 2: 2933w 93830c Time: 3.40596s b 24 20	rand933.cudf
rand348.cudf	Time: 180.176s t	Time: 20.0872s b 145 96	Time: 180.042s t	Time: 12.3658s b 145 96	Time: 180.1s t	Time: 180.493s t	SN 1: 1929w 415253c SN 2: 420w 28338c Time: 25.6403s b 145 96	SN 1: 932w 25284c SN 2: 130w 1815c Time: 3.07182s b 145 96	SN 1: 2010w 57308c SN 2: 382w 6758c Time: 180.282s t 145 99	SN 1: 1615w 44136c SN 2: 295w 4814c Time: 10.5621s b 145 96	SN 1: 1209w 30574c SN 2: 176w 2383c Time: 181.734s t 3531 473	SN 1: 1386w 36506c SN 2: 219w 3192c Time: 10.9432s b 145 96	SN 1: 4967w 180558c SN 2: 3286w 107859c Time: 50.985s b 145 96	SN 1: 4967w 180558c SN 2: 3286w 107859c Time: 39.4537s b 145 96	SN 1: 4967w 180558c SN 2: 3286w 107859c Time: 69.2412s b 145 96	SN 1: 4967w 180558c SN 2: 3286w 107859c Time: 37.9753s b 145 96	rand348.cudf
rand56.cudf	Time: 58.5286s b 12 13	Time: 6.21579s b 12 13	Time: 145.247s b 12 13	Time: 4.70068s b 12 13	Time: 180.117s t	Time: 69.7135s b 12 13	SN 1: 576w 51367c SN 2: 167w 6935c Time: 46.56s b 12 13	SN 1: 334w 5928c SN 2: 80w 811c Time: 2.70112s b 13 12	SN 1: 894w 20513c SN 2: 273w 4289c Time: 180.128s t 13 13	SN 1: 359w 6279c SN 2: 86w 880c Time: 4.29645s b 12 13	SN 1: 747w 16421c SN 2: 233w 3452c Time: 181.262s t 13 13	SN 1: 334w 5708c SN 2: 80w 783c Time: 2.50633s b 13 12	SN 1: 3362w 110861c SN 2: 1661w 45636c Time: 180.326s t 2338 394	SN 1: 3362w 110861c SN 2: 1661w 45636c Time: 180.335s t 13 13	SN 1: 3362w 110861c SN 2: 1661w 45636c Time: 180.311s t 13 13	SN 1: 3362w 110861c SN 2: 1661w 45636c Time: 180.402s t 2338 394	rand56.cudf
6b0d1da0-c730-11df-a7c5-00163e3d3b7c.cudf	Time: 107.021s s 19 27	Time: 28.2744s s 19 27	Time: 180.114s t	Time: 11.2323s s 19 27	Time: 180.129s t	Time: 180.389s t	SN 1: 1077w 55491c SN 2: 344w 13183c Time: 180.293s t 3552 694	SN 1: 1181w 32130c SN 2: 260w 4227c Time: 84.638s b 23 23	SN 1: 179w 2450c SN 2: 80w 783c Time: 180.144s t 3552 694	SN 1: 924w 21413c SN 2: 185w 2554c Time: 180.144s t 13 35	SN 1: 173w 2342c SN 2: 81w 804c Time: 180.129s t 3552 694	SN 1: 839w 19028c SN 2: 174w 2357c Time: 180.262s t 13 35	SN 1: 4831w 174328c SN 2: 2999w 96348c Time: 180.906s t 3552 694	SN 1: 4831w 174328c SN 2: 2999w 96348c Time: 180.517s t 33 33	SN 1: 4831w 174328c SN 2: 2999w 96348c Time: 180.559s t 28 27	SN 1: 4831w 174328c SN 2: 2999w 96348c Time: 180.562s t 3552 694	6b0d1da0-c730-11df-a7c5-00163e3d3b7c.cudf
adf7b774-9af8-11df-bc37-00163e46d37a.cudf	Time: 7.09396s b 37 38	Time: 1.97365s b 37 38	Time: 94.8408s b 37 38	Time: 1.6441s b 37 38	Time: 180.119s t	Time: 18.8238s b 37 38	SN 1: 718w 93668c SN 2: 249w 15027c Time: 180.414s t 38 38	SN 1: 186w 2571c SN 2: 80w 783c Time: 180.171s t 38 38	SN 1: 826w 18655c SN 2: 291w 4715c Time: 180.085s t 38 38	SN 1: 186w 2571c SN 2: 80w 783c Time: 180.093s t 38 38	SN 1: 700w 15121c SN 2: 226w 3313c Time: 181.184s t 38 38	SN 1: 186w 2571c SN 2: 80w 783c Time: 180.081s t 38 38	SN 1: 3030w 97489c SN 2: 1572w 42621c Time: 180.33s t 1988 331	SN 1: 3030w 97489c SN 2: 1572w 42621c Time: 180.248s t 67 67	SN 1: 3030w 97489c SN 2: 1572w 42621c Time: 180.314s t 40 40	SN 1: 3030w 97489c SN 2: 1572w 42621c Time: 180.304s t 1988 331	adf7b774-9af8-11df-bc37-00163e46d37a.cudf
4ede8d96-c17a-11df-a7c5-00163e3d3b7c.cudf	Time: 89.739s b 30 32	Time: 15.0222s b 30 32	Time: 180.031s t	Time: 8.04458s b 30 32	Time: 180.022s t	Time: 169.418s b 30 32	SN 1: 371w 12236c SN 2: 135w 3118c Time: 180.141s t 2558 421	SN 1: 262w 4165c SN 2: 104w 1163c Time: 180.184s t 32 32	SN 1: 163w 2152c SN 2: 67w 600c Time: 180.089s t 2558 421	SN 1: 266w 4122c SN 2: 106w 1170c Time: 180.181s t 12 52	SN 1: 162w 2129c SN 2: 67w 600c Time: 180.228s t 2558 421	SN 1: 262w 4018c SN 2: 104w 1135c Time: 180.182s t 32 32	SN 1: 3692w 123933c SN 2: 2138w 62389c Time: 180.477s t 2558 421	SN 1: 3692w 123933c SN 2: 2138w 62389c Time: 180.347s t 39 38	SN 1: 3692w 123933c SN 2: 2138w 62389c Time: 180.357s t 53 53	SN 1: 3692w 123933c SN 2: 2138w 62389c Time: 180.471s t 2558 421	4ede8d96-c17a-11df-a7c5-00163e3d3b7c.cudf
rand149.cudf	Time: 180.153s t	Time: 28.1703s b 127 108	Time: 180.131s t	Time: 18.3448s b 127 108	Time: 180.021s t	Time: 180.924s t	SN 1: 2143w 454139c SN 2: 473w 32813c Time: 83.8208s b 127 108	SN 1: 1576w 45415c SN 2: 364w 6822c Time: 10.7877s b 127 108	SN 1: 2539w 78226c SN 2: 593w 12151c Time: 180.359s t 127 110	SN 1: 2440w 74435c SN 2: 607w 12529c Time: 51.675s b 127 108	SN 1: 1300w 33573c SN 2: 251w 3773c Time: 182.308s t 3291 529	SN 1: 2131w 62103c SN 2: 455w 8485c Time: 39.9475s b 127 108	SN 1: 4995w 181692c SN 2: 3342w 110007c Time: 172.448s b 127 108	SN 1: 4995w 181692c SN 2: 3342w 110007c Time: 76.3031s b 127 108	SN 1: 4995w 181692c SN 2: 3342w 110007c Time: 82.1112s b 127 108	SN 1: 4995w 181692c SN 2: 3342w 110007c Time: 164.498s b 127 108	rand149.cudf
80cfe9a6-9b1b-11df-965e-00163e46d37a.cudf	Time: 7.43611s b 41 42	Time: 1.89569s b 41 42	Time: 180.112s t	Time: 1.52298s b 41 42	Time: 180.018s t	Time: 16.6135s b 41 42	SN 1: 634w 70716c SN 2: 206w 11659c Time: 180.292s t 42 42	SN 1: 526w 10343c SN 2: 160w 2117c Time: 136.632s b 42 41	SN 1: 645w 13564c SN 2: 203w 2894c Time: 180.092s t 42 42	SN 1: 529w 10297c SN 2: 163w 2152c Time: 180.065s t 42 42	SN 1: 620w 12901c SN 2: 203w 2894c Time: 180.645s t 42 42	SN 1: 526w 10207c SN 2: 160w 2079c Time: 180.094s t 42 42	SN 1: 3177w 103446c SN 2: 1432w 38015c Time: 180.233s t 1861 330	SN 1: 3177w 103446c SN 2: 1432w 38015c Time: 180.274s t 58 51	SN 1: 3177w 103446c SN 2: 1432w 38015c Time: 180.311s t 46 46	SN 1: 3177w 103446c SN 2: 1432w 38015c Time: 180.339s t 1861 330	80cfe9a6-9b1b-11df-965e-00163e46d37a.cudf
rand609.cudf	Time: 15.1795s b 14 14	Time: 2.73965s s 13 15	Time: 113.939s b 14 14	Time: 2.67776s b 14 14	Time: 180.124s t	Time: 24.1387s b 14 14	SN 1: 107w 3454c SN 2: 61w 1240c Time: 4.85584s b 14 14	SN 1: 98w 1061c SN 2: 53w 433c Time: 2.0926s b 14 14	SN 1: 157w 2041c SN 2: 75w 722c Time: 15.2164s b 14 14	SN 1: 127w 1464c SN 2: 52w 417c Time: 2.90037s b 14 14	SN 1: 107w 1186c SN 2: 66w 582c Time: 24.2088s b 14 14	SN 1: 98w 1046c SN 2: 53w 431c Time: 2.44562s b 14 14	SN 1: 3425w 113399c SN 2: 1749w 48668c Time: 180.22s t 14 14	SN 1: 3425w 113399c SN 2: 1749w 48668c Time: 142.251s b 14 14	SN 1: 3425w 113399c SN 2: 1749w 48668c Time: 129.17s b 14 14	SN 1: 3425w 113399c SN 2: 1749w 48668c Time: 173.003s b 14 14	rand609.cudf
19890cfe-db9f-11df-9e6c-00163e3d3b7c.cudf	Time: 4.36776s s 33 39	Time: 1.21438s s 33 39	Time: 7.82999s s 33 39	Time: 1.00411s s 33 39	Time: 180.12s t	Time: 8.25844s s 33 39	SN 1: 234w 10261c SN 2: 140w 4665c Time: 180.186s t 1721 213	SN 1: 255w 4745c SN 2: 148w 2238c Time: 42.5617s b 36 36	SN 1: 168w 2243c SN 2: 106w 1170c Time: 180.157s t 1721 213	SN 1: 235w 3491c SN 2: 130w 1523c Time: 180.085s t 12 62	SN 1: 188w 2601c SN 2: 119w 1358c Time: 180.24s t 1721 213	SN 1: 229w 3377c SN 2: 129w 1500c Time: 180.086s t 12 62	SN 1: 3246w 106275c SN 2: 1614w 44104c Time: 180.239s t 1721 213	SN 1: 3246w 106275c SN 2: 1614w 44104c Time: 180.282s t 3 74	SN 1: 3246w 106275c SN 2: 1614w 44104c Time: 180.298s t 39 39	SN 1: 3246w 106275c SN 2: 1614w 44104c Time: 180.279s t 1721 213	19890cfe-db9f-11df-9e6c-00163e3d3b7c.cudf
rand283.cudf	Time: 51.8013s b 12 13	Time: 6.32057s b 12 13	Time: 180.026s t	Time: 4.98619s b 12 13	Time: 180.021s t	Time: 81.7234s b 12 13	SN 1: 1868w 338559c SN 2: 529w 46844c Time: 154.977s b 12 13	SN 1: 410w 8258c SN 2: 119w 1581c Time: 4.89531s b 12 13	SN 1: 302w 4974c SN 2: 94w 988c Time: 180.198s t 2350 421	SN 1: 97w 1029c SN 2: 31w 186c Time: 180.118s t 15 13	SN 1: 294w 4790c SN 2: 90w 936c Time: 180.23s t 2350 421	SN 1: 103w 1125c SN 2: 34w 219c Time: 180.094s t 18 14	SN 1: 3362w 110861c SN 2: 1661w 45636c Time: 180.489s t 2350 421	SN 1: 3362w 110861c SN 2: 1661w 45636c Time: 180.295s t 13 13	SN 1: 3362w 110861c SN 2: 1661w 45636c Time: 180.378s t 13 13	SN 1: 3362w 110861c SN 2: 1661w 45636c Time: 180.361s t 2350 421	rand283.cudf
rand797.cudf	Time: 123.65s b 481 83	Time: 8.3956s b 481 83	Time: 180.03s t	Time: 5.53539s b 481 83	Time: 180.024s t	Time: 162.819s b 481 83	SN 1: 1593w 340235c SN 2: 273w 12857c Time: 14.8455s b 481 83	SN 1: 1013w 27495c SN 2: 134w 1987c Time: 2.86623s b 481 83	SN 1: 1839w 51674c SN 2: 375w 6626c Time: 180.142s t 481 84	SN 1: 1202w 30352c SN 2: 262w 4018c Time: 10.3971s b 481 83	Time: 16.239s w	SN 1: 1038w 24658c SN 2: 184w 2531c Time: 6.28096s b 481 83	SN 1: 3707w 124476c SN 2: 2086w 60179c Time: 65.4549s b 481 83	SN 1: 3707w 124476c SN 2: 2086w 60179c Time: 26.3484s b 481 83	SN 1: 3707w 124476c SN 2: 2086w 60179c Time: 28.9443s b 481 83	SN 1: 3707w 124476c SN 2: 2086w 60179c Time: 45.7438s b 481 83	rand797.cudf
rand512.cudf	Time: 4.34525s b 32 20	Time: 1.18789s b 32 20	Time: 2.20339s b 32 20	Time: 1.17009s b 32 20	Time: 6.41172s b 32 20	Time: 5.01492s b 32 20	SN 1: 78w 1827c SN 2: 20w 190c Time: 0.77055s b 32 20	SN 1: 47w 361c SN 2: 19w 100c Time: 0.725074s b 32 20	SN 1: 78w 762c SN 2: 20w 97c Time: 1.63812s b 32 20	SN 1: 47w 361c SN 2: 19w 91c Time: 0.751821s b 32 20	SN 1: 78w 762c SN 2: 20w 97c Time: 0.925495s b 32 20	SN 1: 47w 361c SN 2: 19w 91c Time: 0.736606s b 32 20	SN 1: 3048w 98099c SN 2: 1084w 26297c Time: 3.31825s b 32 20	SN 1: 3048w 98099c SN 2: 1084w 26297c Time: 3.02919s b 32 20	SN 1: 3048w 98099c SN 2: 1084w 26297c Time: 23.5586s b 32 20	SN 1: 3048w 98099c SN 2: 1084w 26297c Time: 1.4845s b 32 20	rand512.cudf
4a69cf16-c731-11df-9182-00163e3d3b7c.cudf	Time: 101.185s s 19 27	Time: 26.1337s s 19 27	Time: 180.029s t	Time: 9.9962s s 19 27	Time: 180.035s t	Time: 180.467s t	SN 1: 1189w 65886c SN 2: 367w 15409c Time: 180.387s t 3667 640	SN 1: 1120w 29486c SN 2: 260w 4168c Time: 71.6094s b 23 23	SN 1: 161w 2107c SN 2: 76w 733c Time: 180.132s t 3667 640	SN 1: 813w 18301c SN 2: 164w 2169c Time: 180.222s t 8 40	SN 1: 156w 2021c SN 2: 73w 691c Time: 180.142s t 3667 640	SN 1: 717w 15613c SN 2: 162w 2129c Time: 180.199s t 8 40	SN 1: 4831w 174328c SN 2: 2999w 96348c Time: 180.859s t 3667 640	SN 1: 4831w 174328c SN 2: 2999w 96348c Time: 180.508s t 24 24	SN 1: 4831w 174328c SN 2: 2999w 96348c Time: 180.599s t 26 26	SN 1: 4831w 174328c SN 2: 2999w 96348c Time: 180.554s t 3667 640	4a69cf16-c731-11df-9182-00163e3d3b7c.cudf
rand250.cudf	Time: 128.983s b 100 98	Time: 10.7467s b 100 98	Time: 180.036s t	Time: 7.06613s b 100 98	Time: 180.026s t	Time: 146.903s b 100 98	SN 1: 388w 40648c SN 2: 100w 4855c Time: 1.90929s b 100 98	SN 1: 639w 14937c SN 2: 113w 1312c Time: 1.55031s b 100 98	SN 1: 1650w 45310c SN 2: 278w 4416c Time: 57.48s b 100 98	SN 1: 1245w 31758c SN 2: 208w 2975c Time: 3.09472s b 100 98	Time: 136.838s w	SN 1: 1003w 23589c SN 2: 166w 2211c Time: 3.28181s b 100 98	SN 1: 3699w 124197c SN 2: 2093w 60488c Time: 18.3366s b 100 98	SN 1: 3699w 124197c SN 2: 2093w 60488c Time: 25.2234s b 100 98	SN 1: 3699w 124197c SN 2: 2093w 60488c Time: 26.7402s b 100 98	SN 1: 3699w 124197c SN 2: 2093w 60488c Time: 8.03131s b 100 98	rand250.cudf
4e539b28-d46c-11df-8f4f-00163e3d3b7c.cudf	Time: 81.1469s s 27 35	Time: 15.8417s s 27 35	Time: 60.3862s s 27 36	Time: 7.35105s s 27 36	Time: 180.122s t	Time: 173.039s s 27 35	SN 1: 550w 16912c SN 2: 184w 4439c Time: 180.201s t 3519 660	SN 1: 1481w 47025c SN 2: 404w 8180c Time: 143.588s b 30 31	SN 1: 129w 1500c SN 2: 62w 527c Time: 180.2s t 3519 660	SN 1: 1058w 25390c SN 2: 204w 2909c Time: 180.204s t 16 46	SN 1: 207w 2964c SN 2: 98w 1046c Time: 180.236s t 3519 660	SN 1: 1056w 25295c SN 2: 210w 3023c Time: 180.283s t 16 46	SN 1: 4858w 175442c SN 2: 2474w 75829c Time: 180.571s t 3519 660	SN 1: 4858w 175442c SN 2: 2474w 75829c Time: 180.472s t 40 40	SN 1: 4858w 175442c SN 2: 2474w 75829c Time: 180.468s t 63 61	SN 1: 4858w 175442c SN 2: 2474w 75829c Time: 180.636s t 3519 660	4e539b28-d46c-11df-8f4f-00163e3d3b7c.cudf
fe523ea6-9b1b-11df-bc37-00163e46d37a.cudf	Time: 7.22406s b 37 38	Time: 1.99087s b 37 38	Time: 180.101s t	Time: 1.71164s b 37 38	Time: 180.11s t	Time: 19.2899s b 37 38	SN 1: 752w 109538c SN 2: 250w 13945c Time: 180.337s t 38 38	SN 1: 617w 13107c SN 2: 185w 2572c Time: 135.744s b 37 38	SN 1: 765w 16850c SN 2: 258w 3906c Time: 180.089s t 38 38	SN 1: 616w 12787c SN 2: 187w 2589c Time: 180.098s t 38 38	SN 1: 704w 15199c SN 2: 219w 3192c Time: 181.321s t 38 38	SN 1: 617w 12823c SN 2: 185w 2554c Time: 180.187s t 38 38	SN 1: 3030w 97489c SN 2: 1572w 42621c Time: 180.245s t 1899 318	SN 1: 3030w 97489c SN 2: 1572w 42621c Time: 180.3s t 40 40	SN 1: 3030w 97489c SN 2: 1572w 42621c Time: 180.259s t 41 41	SN 1: 3030w 97489c SN 2: 1572w 42621c Time: 180.329s t 1899 318	fe523ea6-9b1b-11df-bc37-00163e46d37a.cudf
978532fa-c730-11df-b070-00163e3d3b7c.cudf	Time: 108.869s s 19 27	Time: 29.2548s s 19 27	Time: 180.127s t	Time: 10.6596s s 19 27	Time: 180.132s t	Time: 180.381s t	SN 1: 1169w 67581c SN 2: 375w 15890c Time: 180.262s t 3552 694	SN 1: 1181w 32130c SN 2: 260w 4227c Time: 87.552s b 23 23	SN 1: 179w 2450c SN 2: 80w 783c Time: 180.235s t 3552 694	SN 1: 924w 21413c SN 2: 185w 2554c Time: 180.157s t 13 35	SN 1: 173w 2342c SN 2: 81w 804c Time: 180.205s t 3552 694	SN 1: 839w 19028c SN 2: 174w 2357c Time: 180.199s t 13 35	SN 1: 4831w 174328c SN 2: 2999w 96348c Time: 180.816s t 3552 694	SN 1: 4831w 174328c SN 2: 2999w 96348c Time: 180.503s t 33 33	SN 1: 4831w 174328c SN 2: 2999w 96348c Time: 180.503s t 28 27	SN 1: 4831w 174328c SN 2: 2999w 96348c Time: 180.505s t 3552 694	978532fa-c730-11df-b070-00163e3d3b7c.cudf
e2f6303a-4fe9-11e0-aa4f-00163e1e087d.cudf	Time: 19.517s b 46 11	Time: 6.45021s b 46 11	Time: 151.619s b 46 11	Time: 3.40692s b 46 11	Time: 180.113s t	Time: 27.8163s b 46 11	SN 1: 81w 2303c SN 2: 11w 55c Time: 0.966114s b 46 11	SN 1: 35w 232c SN 2: 11w 37c Time: 0.904131s b 46 11	SN 1: 92w 961c SN 2: 11w 37c Time: 2.5353s b 46 11	SN 1: 36w 241c SN 2: 11w 37c Time: 0.952262s b 46 11	SN 1: 124w 1425c SN 2: 21w 107c Time: 1.43071s b 46 11	SN 1: 35w 232c SN 2: 11w 37c Time: 0.926699s b 46 11	SN 1: 3565w 118739c SN 2: 1676w 46189c Time: 5.44411s b 46 11	SN 1: 3565w 118739c SN 2: 1676w 46189c Time: 18.6161s b 46 11	SN 1: 3565w 118739c SN 2: 1676w 46189c Time: 133.146s b 46 11	SN 1: 3565w 118739c SN 2: 1676w 46189c Time: 2.23992s b 46 11	e2f6303a-4fe9-11e0-aa4f-00163e1e087d.cudf
rand953.cudf	Time: 180.172s t	Time: 27.3287s b 118 103	Time: 180.032s t	Time: 18.2663s b 118 103	Time: 180.018s t	Time: 180.658s t	SN 1: 2014w 398304c SN 2: 429w 27902c Time: 37.9788s b 118 103	SN 1: 1311w 38206c SN 2: 250w 4205c Time: 4.4254s b 118 103	SN 1: 1655w 45467c SN 2: 336w 5743c Time: 105.407s b 118 103	SN 1: 1249w 31870c SN 2: 212w 3061c Time: 5.22736s b 118 103	Time: 126.522s w	SN 1: 1105w 27055c SN 2: 177w 2409c Time: 5.29928s b 118 103	SN 1: 5085w 185630c SN 2: 3557w 118458c Time: 33.03s b 118 103	SN 1: 5085w 185630c SN 2: 3557w 118458c Time: 58.2956s b 118 103	SN 1: 5085w 185630c SN 2: 3557w 118458c Time: 45.3974s b 118 103	SN 1: 5085w 185630c SN 2: 3557w 118458c Time: 14.4656s b 118 103	rand953.cudf
e69a0e36-9ef1-11df-9d4a-00163e46d37a.cudf	Time: 120.99s s 15 23	Time: 25.8012s s 15 23	Time: 71.67s s 15 23	Time: 10.2306s s 15 23	Time: 180.049s t	Time: 180.316s t	SN 1: 1986w 247969c SN 2: 454w 31879c Time: 180.577s t 3722 674	SN 1: 762w 17910c SN 2: 150w 2009c Time: 16.0819s b 19 19	SN 1: 342w 5898c SN 2: 123w 1415c Time: 180.198s t 3722 674	SN 1: 564w 11325c SN 2: 113w 1268c Time: 180.207s t 19 19	SN 1: 648w 13651c SN 2: 201w 2853c Time: 180.295s t 3722 674	SN 1: 523w 10119c SN 2: 108w 1197c Time: 180.185s t 19 19	SN 1: 4902w 177600c SN 2: 2896w 92431c Time: 180.553s t 3722 674	SN 1: 4902w 177600c SN 2: 2896w 92431c Time: 180.527s t 20 20	SN 1: 4902w 177600c SN 2: 2896w 92431c Time: 180.562s t 20 20	SN 1: 4902w 177600c SN 2: 2896w 92431c Time: 180.679s t 3722 674	e69a0e36-9ef1-11df-9d4a-00163e46d37a.cudf
d0cc7514-c730-11df-a040-00163e3d3b7c.cudf	Time: 99.1879s s 19 27	Time: 26.7313s s 19 27	Time: 180.104s t	Time: 10.2236s s 19 27	Time: 180.041s t	Time: 180.494s t	SN 1: 1250w 74664c SN 2: 381w 17190c Time: 180.28s t 3667 640	SN 1: 1120w 29486c SN 2: 260w 4168c Time: 72.3156s b 23 23	SN 1: 161w 2107c SN 2: 76w 733c Time: 180.213s t 3667 640	SN 1: 813w 18301c SN 2: 164w 2169c Time: 180.112s t 8 40	SN 1: 156w 2021c SN 2: 73w 691c Time: 180.136s t 3667 640	SN 1: 717w 15613c SN 2: 162w 2129c Time: 180.251s t 8 40	SN 1: 4831w 174328c SN 2: 2999w 96348c Time: 180.77s t 3667 640	SN 1: 4831w 174328c SN 2: 2999w 96348c Time: 180.5s t 24 24	SN 1: 4831w 174328c SN 2: 2999w 96348c Time: 180.541s t 26 26	SN 1: 4831w 174328c SN 2: 2999w 96348c Time: 180.562s t 3667 640	d0cc7514-c730-11df-a040-00163e3d3b7c.cudf
rand496.cudf	Time: 180.181s t	Time: 29.0125s b 239 94	Time: 180.134s t	Time: 21.9885s b 239 94	Time: 180.031s t	Time: 180.499s t	SN 1: 796w 156403c SN 2: 130w 5767c Time: 9.63275s b 239 94	SN 1: 1967w 64948c SN 2: 361w 6991c Time: 10.1595s b 239 94	SN 1: 1982w 56378c SN 2: 360w 6295c Time: 180.334s t 3807 534	SN 1: 2541w 78291c SN 2: 694w 14977c Time: 53.4089s b 239 94	SN 1: 1478w 39506c SN 2: 224w 3263c Time: 182.997s t 3807 534	SN 1: 2466w 75495c SN 2: 651w 13756c Time: 74.9782s b 239 94	SN 1: 5145w 188334c SN 2: 3571w 118937c Time: 168.504s b 239 94	SN 1: 5145w 188334c SN 2: 3571w 118937c Time: 82.1953s b 239 94	SN 1: 5145w 188334c SN 2: 3571w 118937c Time: 125.467s b 239 94	SN 1: 5145w 188334c SN 2: 3571w 118937c Time: 154.764s b 239 94	rand496.cudf
rand66.cudf	Time: 7.10678s b 55 27	Time: 1.56344s b 55 27	Time: 25.5567s b 55 27	Time: 1.39673s b 55 27	Time: 39.8169s b 55 27	Time: 4.69553s b 55 27	SN 1: 115w 4442c SN 2: 27w 351c Time: 0.797373s b 55 27	SN 1: 72w 780c SN 2: 27w 172c Time: 0.902412s b 55 27	SN 1: 118w 1344c SN 2: 27w 155c Time: 2.14705s b 55 27	SN 1: 66w 582c SN 2: 27w 155c Time: 0.828272s b 55 27	SN 1: 115w 1301c SN 2: 27w 155c Time: 1.2162s b 55 27	SN 1: 66w 582c SN 2: 27w 155c Time: 0.745789s b 55 27	SN 1: 2998w 96315c SN 2: 1051w 25149c Time: 4.51715s b 55 27	SN 1: 2998w 96315c SN 2: 1051w 25149c Time: 13.7486s b 55 27	SN 1: 2998w 96315c SN 2: 1051w 25149c Time: 12.9354s b 55 27	SN 1: 2998w 96315c SN 2: 1051w 25149c Time: 1.56083s b 55 27	rand66.cudf
e0bd67a6-56d0-11df-b11f-00163e7a6f5e.cudf	Time: 1.42042s s 7 10	Time: 0.633407s s 7 10	Time: 10.4573s s 7 10	Time: 0.598552s s 7 10	Time: 1.26139s s 7 10	Time: 2.19375s s 7 10	SN 1: 98w 2072c SN 2: 29w 326c Time: 0.905354s b 9 8	SN 1: 98w 1187c SN 2: 29w 176c Time: 0.721439s b 8 9	SN 1: 103w 1125c SN 2: 32w 191c Time: 1.42667s b 8 9	SN 1: 99w 1064c SN 2: 29w 171c Time: 0.895357s b 8 9	SN 1: 98w 1046c SN 2: 32w 191c Time: 2.27424s b 8 9	SN 1: 98w 1046c SN 2: 29w 171c Time: 0.816874s b 8 9	SN 1: 2407w 73206c SN 2: 937w 21792c Time: 6.84025s b 9 8	SN 1: 2407w 73206c SN 2: 937w 21792c Time: 7.98402s b 8 9	SN 1: 2407w 73206c SN 2: 937w 21792c Time: 10.5825s b 8 9	SN 1: 2407w 73206c SN 2: 937w 21792c Time: 7.53767s b 9 8	e0bd67a6-56d0-11df-b11f-00163e7a6f5e.cudf
a754ac72-95cc-11e0-9181-00163e1e087d.cudf	Time: 50.4832s b 43 43	Time: 6.26746s b 43 43	Time: 180.038s t	Time: 3.8415s b 43 43	Time: 180.014s t	Time: 42.317s b 43 43	SN 1: 588w 26044c SN 2: 178w 4778c Time: 180.15s t 1893 358	SN 1: 261w 3993c SN 2: 78w 762c Time: 180.186s t 32 56	SN 1: 399w 7184c SN 2: 112w 1247c Time: 180.105s t 1893 358	SN 1: 261w 3993c SN 2: 78w 762c Time: 180.088s t 32 56	SN 1: 420w 7681c SN 2: 113w 1268c Time: 180.267s t 1893 358	SN 1: 261w 3993c SN 2: 78w 762c Time: 180.081s t 32 56	SN 1: 2797w 88512c SN 2: 1366w 35856c Time: 180.283s t 1893 358	SN 1: 2797w 88512c SN 2: 1366w 35856c Time: 180.281s t 8 93	SN 1: 2797w 88512c SN 2: 1366w 35856c Time: 180.275s t 56 56	SN 1: 2797w 88512c SN 2: 1366w 35856c Time: 180.324s t 1893 358	a754ac72-95cc-11e0-9181-00163e1e087d.cudf
b2540c52-51b7-11e0-aa4f-00163e1e087d.cudf	Time: 18.3156s b 46 11	Time: 6.20037s b 46 11	Time: 64.201s b 46 11	Time: 3.47885s b 46 11	Time: 180.022s t	Time: 30.7347s b 46 11	SN 1: 80w 2310c SN 2: 11w 55c Time: 0.938993s b 46 11	SN 1: 52w 428c SN 2: 15w 66c Time: 1.01137s b 46 11	SN 1: 106w 1170c SN 2: 18w 82c Time: 2.93302s b 46 11	SN 1: 52w 417c SN 2: 16w 63c Time: 0.994805s b 46 11	SN 1: 109w 1214c SN 2: 19w 91c Time: 1.64056s b 46 11	SN 1: 52w 417c SN 2: 15w 59c Time: 0.970698s b 46 11	SN 1: 3579w 119184c SN 2: 1680w 46319c Time: 5.59749s b 46 11	SN 1: 3579w 119184c SN 2: 1680w 46319c Time: 20.2913s b 46 11	SN 1: 3579w 119184c SN 2: 1680w 46319c Time: 20.71s b 46 11	SN 1: 3579w 119184c SN 2: 1680w 46319c Time: 2.5517s b 46 11	b2540c52-51b7-11e0-aa4f-00163e1e087d.cudf
fa3d0fb2-db9e-11df-a0ec-00163e3d3b7c.cudf	Time: 4.38125s s 33 39	Time: 1.1295s s 33 39	Time: 7.79246s s 33 39	Time: 0.983363s s 33 39	Time: 180.021s t	Time: 8.0831s s 33 39	SN 1: 239w 10771c SN 2: 144w 4951c Time: 180.097s t 1721 213	SN 1: 255w 4745c SN 2: 148w 2238c Time: 41.3667s b 36 36	SN 1: 168w 2243c SN 2: 106w 1170c Time: 180.16s t 1721 213	SN 1: 235w 3491c SN 2: 130w 1523c Time: 180.079s t 12 62	SN 1: 188w 2601c SN 2: 119w 1358c Time: 180.153s t 1721 213	SN 1: 229w 3377c SN 2: 129w 1500c Time: 180.17s t 12 62	SN 1: 3246w 106275c SN 2: 1614w 44104c Time: 180.272s t 1721 213	SN 1: 3246w 106275c SN 2: 1614w 44104c Time: 180.286s t 3 74	SN 1: 3246w 106275c SN 2: 1614w 44104c Time: 180.295s t 39 39	SN 1: 3246w 106275c SN 2: 1614w 44104c Time: 180.323s t 1721 213	fa3d0fb2-db9e-11df-a0ec-00163e3d3b7c.cudf
cb0e73b0-0ffd-11df-9e59-00163e2c8d72.cudf	Time: 0.357564s u	Time: 0.349999s u	Time: 0.364542s u	Time: 0.390883s u	Time: 0.347336s u	Time: 0.410024s u	Time: 0.397186s u	Time: 0.38951s u	Time: 0.425179s u	Time: 0.40148s u	Time: 0.434329s u	Time: 0.394166s u	Time: 0.418318s u	Time: 0.406883s u	Time: 0.415186s u	Time: 0.389438s u	cb0e73b0-0ffd-11df-9e59-00163e2c8d72.cudf
29180036-5408-11df-9f57-00163e7a6f5e.cudf	Time: 1.52838s s 7 10	Time: 0.725564s s 7 10	Time: 100.976s s 7 10	Time: 0.624216s s 7 10	Time: 1.93033s s 7 10	Time: 2.38379s s 7 10	SN 1: 102w 1874c SN 2: 31w 361c Time: 0.878896s b 9 8	SN 1: 102w 1121c SN 2: 29w 176c Time: 0.636674s b 9 8	SN 1: 102w 1110c SN 2: 32w 191c Time: 1.44036s b 8 9	SN 1: 102w 1110c SN 2: 31w 186c Time: 0.941339s b 8 9	SN 1: 102w 1110c SN 2: 33w 207c Time: 2.1047s b 8 9	SN 1: 102w 1110c SN 2: 31w 186c Time: 0.743584s b 8 9	SN 1: 2425w 73854c SN 2: 1043w 24855c Time: 4.94575s b 8 9	SN 1: 2425w 73854c SN 2: 1043w 24855c Time: 8.83486s b 8 9	SN 1: 2425w 73854c SN 2: 1043w 24855c Time: 12.056s b 9 8	SN 1: 2425w 73854c SN 2: 1043w 24855c Time: 5.85155s b 8 9	29180036-5408-11df-9f57-00163e7a6f5e.cudf
rand461.cudf	Time: 79.8431s b 31 22	Time: 18.4748s b 31 22	Time: 180.025s t	Time: 10.43s b 31 22	Time: 180.028s t	Time: 120.226s b 31 22	SN 1: 92w 2707c SN 2: 22w 231c Time: 1.56341s b 31 22	SN 1: 59w 608c SN 2: 22w 122c Time: 1.45856s b 31 22	SN 1: 205w 2931c SN 2: 35w 232c Time: 6.29875s b 31 22	SN 1: 61w 518c SN 2: 22w 114c Time: 1.71578s b 31 22	SN 1: 88w 903c SN 2: 22w 114c Time: 2.3381s b 31 22	SN 1: 61w 518c SN 2: 22w 114c Time: 1.49225s b 31 22	SN 1: 4658w 166276c SN 2: 2929w 93680c Time: 7.75073s b 31 22	SN 1: 4658w 166276c SN 2: 2929w 93680c Time: 28.2709s b 31 22	SN 1: 4658w 166276c SN 2: 2929w 93680c Time: 43.7771s b 31 22	SN 1: 4658w 166276c SN 2: 2929w 93680c Time: 4.17146s b 31 22	rand461.cudf
rand586.cudf	Time: 2.11142s b 84 81	Time: 0.632676s b 84 81	Time: 15.1576s b 84 81	Time: 0.445517s b 84 81	Time: 5.28261s b 84 81	Time: 4.69113s b 84 81	SN 1: 464w 38936c SN 2: 105w 4192c Time: 7.12054s b 84 81	SN 1: 284w 5549c SN 2: 92w 1157c Time: 0.632584s b 84 81	SN 1: 471w 8864c SN 2: 115w 1301c Time: 5.69289s b 84 81	SN 1: 365w 6414c SN 2: 104w 1135c Time: 1.19373s b 84 81	SN 1: 483w 9128c SN 2: 118w 1344c Time: 74.5196s b 84 81	SN 1: 361w 6325c SN 2: 104w 1135c Time: 1.98737s b 84 81	SN 1: 1811w 50692c SN 2: 461w 8632c Time: 11.402s b 84 81	SN 1: 1811w 50692c SN 2: 461w 8632c Time: 7.94831s b 84 81	SN 1: 1811w 50692c SN 2: 461w 8632c Time: 12.1872s b 84 81	SN 1: 1811w 50692c SN 2: 461w 8632c Time: 7.15337s b 84 81	rand586.cudf
rand992.cudf	Time: 45.4885s b 206 37	Time: 10.9483s b 206 37	Time: 180.029s t	Time: 7.21857s b 206 37	Time: 180.116s t	Time: 133.926s b 206 37	SN 1: 502w 69153c SN 2: 52w 908c Time: 2.71107s b 206 37	SN 1: 286w 4817c SN 2: 50w 395c Time: 1.69016s b 206 37	SN 1: 952w 22187c SN 2: 155w 2008c Time: 43.5895s b 206 37	SN 1: 588w 12009c SN 2: 97w 1029c Time: 2.40913s b 206 37	SN 1: 889w 20403c SN 2: 144w 1791c Time: 95.2616s b 206 37	SN 1: 643w 13495c SN 2: 116w 1313c Time: 2.36398s b 206 37	SN 1: 4677w 167188c SN 2: 2931w 93759c Time: 25.7729s b 206 37	SN 1: 4677w 167188c SN 2: 2931w 93759c Time: 29.0804s b 206 37	SN 1: 4677w 167188c SN 2: 2931w 93759c Time: 33.6319s b 206 37	SN 1: 4677w 167188c SN 2: 2931w 93759c Time: 10.2417s b 206 37	rand992.cudf
rand176.cudf	Time: 180.175s t	Time: 31.594s b 467 66	Time: 180.031s t	Time: 21.0254s b 467 66	Time: 180.043s t	Time: 181.535s t	SN 1: 2550w 655638c SN 2: 630w 50942c Time: 97.8384s b 467 66	SN 1: 1598w 47000c SN 2: 259w 4512c Time: 7.93957s b 467 66	SN 1: 2251w 66975c SN 2: 495w 9395c Time: 180.296s t 3599 470	SN 1: 1999w 56955c SN 2: 466w 8746c Time: 34.3797s b 467 66	SN 1: 1614w 44104c SN 2: 185w 2554c Time: 183.38s t 3599 470	SN 1: 1871w 52761c SN 2: 451w 8382c Time: 35.1078s b 467 66	SN 1: 5088w 185711c SN 2: 3585w 119361c Time: 169.239s b 467 66	SN 1: 5088w 185711c SN 2: 3585w 119361c Time: 70.6545s b 467 66	SN 1: 5088w 185711c SN 2: 3585w 119361c Time: 180.57s t 490 81	SN 1: 5088w 185711c SN 2: 3585w 119361c Time: 139.889s b 467 66	rand176.cudf
bccf69ae-db9e-11df-9a24-00163e3d3b7c.cudf	Time: 4.33144s s 33 39	Time: 1.12876s s 33 39	Time: 7.88868s s 33 39	Time: 1.00865s s 33 39	Time: 180.09s t	Time: 8.03869s s 33 39	SN 1: 244w 11291c SN 2: 146w 5168c Time: 180.176s t 1721 213	SN 1: 255w 4745c SN 2: 148w 2238c Time: 41.31s b 36 36	SN 1: 168w 2243c SN 2: 106w 1170c Time: 180.086s t 1721 213	SN 1: 235w 3491c SN 2: 130w 1523c Time: 180.173s t 12 62	SN 1: 188w 2601c SN 2: 119w 1358c Time: 180.147s t 1721 213	SN 1: 229w 3377c SN 2: 129w 1500c Time: 180.157s t 12 62	SN 1: 3246w 106275c SN 2: 1614w 44104c Time: 180.215s t 1721 213	SN 1: 3246w 106275c SN 2: 1614w 44104c Time: 180.29s t 3 74	SN 1: 3246w 106275c SN 2: 1614w 44104c Time: 180.242s t 39 39	SN 1: 3246w 106275c SN 2: 1614w 44104c Time: 180.307s t 1721 213	bccf69ae-db9e-11df-9a24-00163e3d3b7c.cudf
ff4a1d84-d490-11df-9e6c-00163e3d3b7c.cudf	Time: 70.7934s s 31 40	Time: 15.3997s s 31 39	Time: 68.8302s s 31 40	Time: 7.71125s s 31 40	Time: 180.033s t	Time: 156.659s s 31 40	SN 1: 1079w 53970c SN 2: 369w 14049c Time: 180.206s t 3665 671	SN 1: 1264w 35511c SN 2: 354w 6607c Time: 139.306s b 35 34	SN 1: 228w 3353c SN 2: 111w 1239c Time: 180.152s t 3665 671	SN 1: 985w 23109c SN 2: 252w 3785c Time: 180.12s t 35 35	SN 1: 238w 3541c SN 2: 106w 1170c Time: 180.215s t 3665 671	SN 1: 984w 23075c SN 2: 267w 4149c Time: 180.155s t 29 43	SN 1: 4939w 179313c SN 2: 2705w 84952c Time: 180.607s t 3665 671	SN 1: 4939w 179313c SN 2: 2705w 84952c Time: 180.482s t 47 47	SN 1: 4939w 179313c SN 2: 2705w 84952c Time: 180.487s t 70 69	SN 1: 4939w 179313c SN 2: 2705w 84952c Time: 180.636s t 3665 671	ff4a1d84-d490-11df-9e6c-00163e3d3b7c.cudf
rand314.cudf	Time: 180.177s t	Time: 32.0054s b 471 75	Time: 180.025s t	Time: 25.3071s b 471 75	Time: 180.125s t	Time: 181.193s t	SN 1: 2117w 569509c SN 2: 464w 34735c Time: 64.1231s b 471 75	SN 1: 1251w 34502c SN 2: 266w 4333c Time: 4.33254s b 471 75	SN 1: 1834w 51512c SN 2: 344w 5935c Time: 180.28s t 3587 516	SN 1: 1577w 42813c SN 2: 380w 6721c Time: 11.8807s b 471 75	Time: 26.8453s w	SN 1: 1587w 43163c SN 2: 371w 6543c Time: 13.0556s b 471 75	SN 1: 5110w 186592c SN 2: 3340w 109917c Time: 118.005s b 471 75	SN 1: 5110w 186592c SN 2: 3340w 109917c Time: 44.7876s b 471 75	SN 1: 5110w 186592c SN 2: 3340w 109917c Time: 180.569s t 503 82	SN 1: 5110w 186592c SN 2: 3340w 109917c Time: 51.6217s b 471 75	rand314.cudf
rand917.cudf	Time: 180.169s t	Time: 22.2876s b 324 97	Time: 180.034s t	Time: 14.2563s b 324 97	Time: 180.042s t	Time: 180.48s t	SN 1: 2668w 709776c SN 2: 675w 62090c Time: 154.887s b 324 97	SN 1: 1558w 47151c SN 2: 362w 6865c Time: 8.17745s b 324 97	SN 1: 2031w 57935c SN 2: 429w 7899c Time: 180.235s t 3655 531	SN 1: 2013w 57393c SN 2: 520w 10011c Time: 180.188s t 324 102	SN 1: 1396w 36809c SN 2: 224w 3263c Time: 182.881s t 3655 531	SN 1: 1832w 51431c SN 2: 497w 9438c Time: 180.27s t 324 102	SN 1: 5078w 185364c SN 2: 3552w 118239c Time: 180.679s t 3655 531	SN 1: 5078w 185364c SN 2: 3552w 118239c Time: 129.722s b 324 97	SN 1: 5078w 185364c SN 2: 3552w 118239c Time: 143.442s b 324 97	SN 1: 5078w 185364c SN 2: 3552w 118239c Time: 180.614s t 324 105	rand917.cudf
rand376.cudf	Time: 24.6438s s 68 69	Time: 4.73933s s 68 69	Time: 121.145s s 68 69	Time: 2.93806s s 68 69	Time: 180.024s t	Time: 30.463s s 68 69	SN 1: 1160w 130798c SN 2: 214w 11221c Time: 180.354s t 1670 325	SN 1: 1184w 35568c SN 2: 223w 3852c Time: 99.0664s b 69 67	SN 1: 1397w 36845c SN 2: 249w 3738c Time: 180.09s t 1670 325	SN 1: 951w 22170c SN 2: 163w 2152c Time: 180.167s t 74 61	SN 1: 1029w 24302c SN 2: 190w 2633c Time: 180.891s t 1670 325	SN 1: 961w 22410c SN 2: 163w 2152c Time: 180.21s t 74 61	SN 1: 2628w 81841c SN 2: 1059w 25434c Time: 180.19s t 1670 325	SN 1: 2628w 81841c SN 2: 1059w 25434c Time: 180.266s t 79 89	SN 1: 2628w 81841c SN 2: 1059w 25434c Time: 180.181s t 70 70	SN 1: 2628w 81841c SN 2: 1059w 25434c Time: 180.262s t 1670 325	rand376.cudf
ed1cc19e-51b7-11e0-8436-00163e1e087d.cudf	Time: 18.2089s b 46 11	Time: 6.27959s b 46 11	Time: 62.7841s b 46 11	Time: 3.34962s b 46 11	Time: 180.026s t	Time: 33.2281s b 46 11	SN 1: 80w 2310c SN 2: 11w 55c Time: 0.962735s b 46 11	SN 1: 52w 428c SN 2: 15w 66c Time: 0.968931s b 46 11	SN 1: 106w 1170c SN 2: 18w 82c Time: 3.2002s b 46 11	SN 1: 52w 417c SN 2: 16w 63c Time: 1.01052s b 46 11	SN 1: 109w 1214c SN 2: 19w 91c Time: 1.67256s b 46 11	SN 1: 52w 417c SN 2: 15w 59c Time: 0.948654s b 46 11	SN 1: 3579w 119184c SN 2: 1680w 46319c Time: 5.78494s b 46 11	SN 1: 3579w 119184c SN 2: 1680w 46319c Time: 20.6643s b 46 11	SN 1: 3579w 119184c SN 2: 1680w 46319c Time: 20.3238s b 46 11	SN 1: 3579w 119184c SN 2: 1680w 46319c Time: 2.56004s b 46 11	ed1cc19e-51b7-11e0-8436-00163e1e087d.cudf
rand885.cudf	Time: 1.54949s s 69 70	Time: 0.530977s s 69 70	Time: 3.00623s s 69 70	Time: 0.435815s s 69 70	Time: 180.117s t	Time: 4.29877s s 69 70	SN 1: 492w 36775c SN 2: 130w 5803c Time: 150.464s b 70 68	SN 1: 482w 10983c SN 2: 131w 1964c Time: 18.4534s b 70 68	SN 1: 467w 8773c SN 2: 133w 1590c Time: 180.125s t 817 16	SN 1: 371w 6543c SN 2: 109w 1214c Time: 180.036s t 76 58	SN 1: 521w 10052c SN 2: 137w 1669c Time: 180.407s t 817 16	SN 1: 389w 6937c SN 2: 110w 1226c Time: 180.133s t 76 58	SN 1: 1797w 50153c SN 2: 455w 8485c Time: 180.107s t 817 16	SN 1: 1797w 50153c SN 2: 455w 8485c Time: 180.104s t 70 70	SN 1: 1797w 50153c SN 2: 455w 8485c Time: 180.185s t 70 70	SN 1: 1797w 50153c SN 2: 455w 8485c Time: 180.176s t 817 16	rand885.cudf
80e3fda2-9501-11e0-8001-00163e1e087d.cudf	Time: 48.1942s b 43 43	Time: 6.22186s b 43 43	Time: 180.024s t	Time: 3.72129s b 43 43	Time: 180.116s t	Time: 44.6107s b 43 43	SN 1: 588w 26044c SN 2: 178w 4778c Time: 180.213s t 1893 358	SN 1: 261w 3993c SN 2: 78w 762c Time: 180.076s t 32 56	SN 1: 399w 7184c SN 2: 112w 1247c Time: 180.103s t 1893 358	SN 1: 261w 3993c SN 2: 78w 762c Time: 180.169s t 32 56	SN 1: 420w 7681c SN 2: 113w 1268c Time: 180.216s t 1893 358	SN 1: 261w 3993c SN 2: 78w 762c Time: 180.169s t 32 56	SN 1: 2797w 88512c SN 2: 1366w 35856c Time: 180.298s t 1893 358	SN 1: 2797w 88512c SN 2: 1366w 35856c Time: 180.299s t 8 93	SN 1: 2797w 88512c SN 2: 1366w 35856c Time: 180.323s t 56 56	SN 1: 2797w 88512c SN 2: 1366w 35856c Time: 180.29s t 1893 358	80e3fda2-9501-11e0-8001-00163e1e087d.cudf
56e31304-c17a-11df-b070-00163e3d3b7c.cudf	Time: 83.9535s b 30 32	Time: 14.3585s b 30 32	Time: 180.108s t	Time: 7.81807s b 30 32	Time: 180.027s t	Time: 179.412s b 30 32	SN 1: 371w 12236c SN 2: 135w 3118c Time: 180.123s t 2558 421	SN 1: 262w 4165c SN 2: 104w 1163c Time: 180.188s t 32 32	SN 1: 163w 2152c SN 2: 67w 600c Time: 180.087s t 2558 421	SN 1: 266w 4122c SN 2: 106w 1170c Time: 180.103s t 12 52	SN 1: 162w 2129c SN 2: 67w 600c Time: 180.144s t 2558 421	SN 1: 262w 4018c SN 2: 104w 1135c Time: 180.204s t 32 32	SN 1: 3692w 123933c SN 2: 2138w 62389c Time: 180.478s t 2558 421	SN 1: 3692w 123933c SN 2: 2138w 62389c Time: 180.358s t 39 38	SN 1: 3692w 123933c SN 2: 2138w 62389c Time: 180.361s t 52 52	SN 1: 3692w 123933c SN 2: 2138w 62389c Time: 180.499s t 2558 421	56e31304-c17a-11df-b070-00163e3d3b7c.cudf
ec32fc68-7254-11e0-8436-00163e1e087d.cudf	Time: 4.03346s b 19 20	Time: 1.17916s b 19 20	Time: 29.5892s b 19 20	Time: 1.12243s b 19 20	Time: 180.017s t	Time: 7.11351s b 20 19	SN 1: 230w 10714c SN 2: 68w 1717c Time: 28.4507s b 20 19	SN 1: 219w 3525c SN 2: 63w 631c Time: 9.98733s b 20 19	SN 1: 229w 3377c SN 2: 68w 613c Time: 180.075s t 20 20	SN 1: 216w 3131c SN 2: 63w 537c Time: 180.081s t 20 20	SN 1: 230w 3395c SN 2: 69w 632c Time: 180.205s t 20 20	SN 1: 216w 3131c SN 2: 62w 527c Time: 180.171s t 20 20	SN 1: 3397w 112290c SN 2: 1539w 41366c Time: 180.186s t 1421 185	SN 1: 3397w 112290c SN 2: 1539w 41366c Time: 180.284s t 0 39	SN 1: 3397w 112290c SN 2: 1539w 41366c Time: 180.203s t 20 20	SN 1: 3397w 112290c SN 2: 1539w 41366c Time: 180.253s t 1421 185	ec32fc68-7254-11e0-8436-00163e1e087d.cudf
7bf50d1c-9b1b-11df-8b50-00163e46d37a.cudf	Time: 7.74691s b 41 42	Time: 1.91938s b 41 42	Time: 180.026s t	Time: 1.64651s b 41 42	Time: 180.117s t	Time: 16.7254s b 41 42	SN 1: 634w 70716c SN 2: 206w 11659c Time: 180.197s t	SN 1: 526w 10343c SN 2: 160w 2117c Time: 136.76s b 42 41	SN 1: 645w 13564c SN 2: 203w 2894c Time: 180.098s t 42 42	SN 1: 529w 10297c SN 2: 163w 2152c Time: 180.17s t 42 42	SN 1: 620w 12901c SN 2: 203w 2894c Time: 180.699s t 42 42	SN 1: 526w 10207c SN 2: 160w 2079c Time: 180.165s t 42 42	SN 1: 3177w 103446c SN 2: 1432w 38015c Time: 180.279s t 1861 330	SN 1: 3177w 103446c SN 2: 1432w 38015c Time: 180.296s t 58 51	SN 1: 3177w 103446c SN 2: 1432w 38015c Time: 180.228s t 46 46	SN 1: 3177w 103446c SN 2: 1432w 38015c Time: 180.281s t 1861 330	7bf50d1c-9b1b-11df-8b50-00163e46d37a.cudf
d1583bd8-d489-11df-9a24-00163e3d3b7c.cudf	Time: 82.0891s s 27 35	Time: 15.4731s s 27 35	Time: 58.4415s s 27 36	Time: 7.12346s s 27 36	Time: 180.117s t	Time: 173.446s s 27 35	SN 1: 550w 16912c SN 2: 184w 4439c Time: 180.251s t 3519 660	SN 1: 1481w 47025c SN 2: 404w 8180c Time: 142.494s b 30 31	SN 1: 129w 1500c SN 2: 62w 527c Time: 180.182s t 3519 660	SN 1: 1058w 25390c SN 2: 204w 2909c Time: 180.132s t 16 46	SN 1: 207w 2964c SN 2: 98w 1046c Time: 180.199s t 3519 660	SN 1: 1056w 25295c SN 2: 210w 3023c Time: 180.149s t 16 46	SN 1: 4858w 175442c SN 2: 2474w 75829c Time: 180.496s t 3519 660	SN 1: 4858w 175442c SN 2: 2474w 75829c Time: 180.493s t 40 40	SN 1: 4858w 175442c SN 2: 2474w 75829c Time: 180.469s t 63 61	SN 1: 4858w 175442c SN 2: 2474w 75829c Time: 180.672s t 3519 660	d1583bd8-d489-11df-9a24-00163e3d3b7c.cudf
33bb2fbc-9512-11e0-9181-00163e1e087d.cudf	Time: 49.3805s b 43 43	Time: 6.25856s b 43 43	Time: 180.019s t	Time: 3.93598s b 43 43	Time: 180.035s t	Time: 44.7621s b 43 43	SN 1: 588w 26044c SN 2: 178w 4778c Time: 180.236s t 1893 358	SN 1: 261w 3993c SN 2: 78w 762c Time: 180.078s t 32 56	SN 1: 399w 7184c SN 2: 112w 1247c Time: 180.207s t 1893 358	SN 1: 261w 3993c SN 2: 78w 762c Time: 180.099s t 32 56	SN 1: 420w 7681c SN 2: 113w 1268c Time: 180.288s t 1893 358	SN 1: 261w 3993c SN 2: 78w 762c Time: 180.195s t 32 56	SN 1: 2797w 88512c SN 2: 1366w 35856c Time: 180.432s t 1893 358	SN 1: 2797w 88512c SN 2: 1366w 35856c Time: 180.256s t 8 93	SN 1: 2797w 88512c SN 2: 1366w 35856c Time: 180.25s t 56 56	SN 1: 2797w 88512c SN 2: 1366w 35856c Time: 180.369s t 1893 358	33bb2fbc-9512-11e0-9181-00163e1e087d.cudf
rand450.cudf	Time: 180.174s t	Time: 25.8693s b 199 89	Time: 180.123s t	Time: 17.0194s b 199 89	Time: 180.105s t	Time: 180.498s t	SN 1: 2170w 414160c SN 2: 362w 20153c Time: 35.2512s b 199 89	SN 1: 1409w 38802c SN 2: 213w 3259c Time: 5.90835s b 199 89	SN 1: 2141w 62503c SN 2: 410w 7452c Time: 180.232s t 199 90	SN 1: 2066w 59279c SN 2: 427w 7855c Time: 18.5573s b 199 89	SN 1: 1637w 44891c SN 2: 276w 4365c Time: 182.41s t 3539 549	SN 1: 1708w 47309c SN 2: 333w 5688c Time: 15.3033s b 199 89	SN 1: 4978w 181012c SN 2: 3291w 108045c Time: 97.851s b 199 89	SN 1: 4978w 181012c SN 2: 3291w 108045c Time: 45.8915s b 199 89	SN 1: 4978w 181012c SN 2: 3291w 108045c Time: 92.8151s b 199 89	SN 1: 4978w 181012c SN 2: 3291w 108045c Time: 64.8047s b 199 89	rand450.cudf
rand83.cudf	Time: 67.1364s b 25 20	Time: 15.9942s b 25 20	Time: 180.033s t	Time: 7.24144s b 25 20	Time: 180.116s t	Time: 104.397s b 25 20	SN 1: 63w 1415c SN 2: 21w 201c Time: 1.48258s b 25 20	SN 1: 42w 345c SN 2: 21w 109c Time: 1.66008s b 25 20	SN 1: 66w 582c SN 2: 21w 107c Time: 3.99442s b 25 20	SN 1: 42w 309c SN 2: 21w 107c Time: 1.58434s b 25 20	SN 1: 63w 537c SN 2: 21w 107c Time: 1.94979s b 25 20	SN 1: 42w 309c SN 2: 21w 107c Time: 1.52263s b 25 20	SN 1: 4660w 166373c SN 2: 2934w 93861c Time: 6.90962s b 25 20	SN 1: 4660w 166373c SN 2: 2934w 93861c Time: 29.6001s b 25 20	SN 1: 4660w 166373c SN 2: 2934w 93861c Time: 147.662s b 25 20	SN 1: 4660w 166373c SN 2: 2934w 93861c Time: 3.3144s b 25 20	rand83.cudf
e599f3fc-360e-11e0-986e-00163e3d3b7c.cudf	Time: 2.66491s b 16 16	Time: 0.961001s b 16 16	Time: 91.1801s b 16 16	Time: 0.886207s b 16 16	Time: 180.024s t	Time: 5.82252s b 16 16	SN 1: 172w 6998c SN 2: 54w 1063c Time: 9.48442s b 16 16	SN 1: 163w 2411c SN 2: 51w 445c Time: 1.70655s b 16 16	SN 1: 181w 2487c SN 2: 57w 474c Time: 180.081s t 16 16	SN 1: 160w 2079c SN 2: 51w 408c Time: 180.158s t 16 16	SN 1: 172w 2321c SN 2: 56w 459c Time: 180.125s t 16 16	SN 1: 160w 2079c SN 2: 50w 395c Time: 180.08s t 16 16	SN 1: 3135w 101641c SN 2: 1454w 38752c Time: 180.2s t 1168 150	SN 1: 3135w 101641c SN 2: 1454w 38752c Time: 180.23s t 16 16	SN 1: 3135w 101641c SN 2: 1454w 38752c Time: 180.263s t 16 16	SN 1: 3135w 101641c SN 2: 1454w 38752c Time: 180.215s t 1168 150	e599f3fc-360e-11e0-986e-00163e3d3b7c.cudf
rand50.cudf	Time: 180.134s t	Time: 25.0532s b 174 84	Time: 180.125s t	Time: 16.7403s b 174 84	Time: 180.038s t	Time: 180.478s t	SN 1: 464w 60677c SN 2: 86w 3574c Time: 2.97344s b 174 84	SN 1: 1038w 25893c SN 2: 127w 1699c Time: 2.69701s b 174 84	SN 1: 1973w 56130c SN 2: 303w 4994c Time: 170.462s b 174 84	SN 1: 1175w 29438c SN 2: 180w 2465c Time: 5.12193s b 174 84	Time: 133.306s w	SN 1: 1235w 31448c SN 2: 167w 2230c Time: 4.3183s b 174 84	SN 1: 4967w 180558c SN 2: 3293w 108112c Time: 42.3576s b 174 84	SN 1: 4967w 180558c SN 2: 3293w 108112c Time: 34.339s b 174 84	SN 1: 4967w 180558c SN 2: 3293w 108112c Time: 43.5077s b 174 84	SN 1: 4967w 180558c SN 2: 3293w 108112c Time: 22.0399s b 174 84	rand50.cudf
7f80e4f0-4fe9-11e0-acd7-00163e1e087d.cudf	Time: 17.7018s b 46 11	Time: 6.96715s b 46 11	Time: 137.392s b 46 11	Time: 3.32028s b 46 11	Time: 180.025s t	Time: 28.7017s b 46 11	SN 1: 81w 2281c SN 2: 12w 66c Time: 0.896331s b 46 11	SN 1: 43w 346c SN 2: 15w 66c Time: 0.944892s b 46 11	SN 1: 92w 961c SN 2: 12w 41c Time: 2.9789s b 46 11	SN 1: 35w 232c SN 2: 11w 37c Time: 0.942159s b 46 11	SN 1: 102w 1110c SN 2: 15w 59c Time: 1.32225s b 46 11	SN 1: 43w 321c SN 2: 15w 59c Time: 0.866547s b 46 11	SN 1: 3565w 118739c SN 2: 1676w 46189c Time: 5.31595s b 46 11	SN 1: 3565w 118739c SN 2: 1676w 46189c Time: 31.497s b 46 11	SN 1: 3565w 118739c SN 2: 1676w 46189c Time: 46.2523s b 46 11	SN 1: 3565w 118739c SN 2: 1676w 46189c Time: 2.93864s b 46 11	7f80e4f0-4fe9-11e0-acd7-00163e1e087d.cudf
eeee44ce-5407-11df-b11f-00163e7a6f5e.cudf	Time: 1.54944s s 7 10	Time: 0.715317s s 7 10	Time: 99.7331s s 7 10	Time: 0.632167s s 7 10	Time: 1.91347s s 7 10	Time: 2.5002s s 7 10	SN 1: 102w 1874c SN 2: 31w 361c Time: 0.944048s b 9 8	SN 1: 102w 1121c SN 2: 29w 176c Time: 0.712046s b 9 8	SN 1: 102w 1110c SN 2: 32w 191c Time: 1.42777s b 8 9	SN 1: 102w 1110c SN 2: 31w 186c Time: 0.945271s b 8 9	SN 1: 102w 1110c SN 2: 33w 207c Time: 1.92251s b 8 9	SN 1: 102w 1110c SN 2: 31w 186c Time: 0.730958s b 8 9	SN 1: 2425w 73854c SN 2: 1043w 24855c Time: 4.89007s b 8 9	SN 1: 2425w 73854c SN 2: 1043w 24855c Time: 8.45975s b 8 9	SN 1: 2425w 73854c SN 2: 1043w 24855c Time: 11.9792s b 9 8	SN 1: 2425w 73854c SN 2: 1043w 24855c Time: 5.82161s b 8 9	eeee44ce-5407-11df-b11f-00163e7a6f5e.cudf
rand477.cudf	Time: 180.18s t	Time: 20.4938s b 528 86	Time: 180.028s t	Time: 14.8694s b 528 86	Time: 180.029s t	Time: 180.44s t	SN 1: 2552w 669252c SN 2: 554w 40122c Time: 71.5373s b 528 86	SN 1: 1347w 38807c SN 2: 200w 3032c Time: 3.2722s b 528 86	SN 1: 2475w 75870c SN 2: 577w 11659c Time: 180.309s t 528 86	SN 1: 1784w 49727c SN 2: 445w 8244c Time: 17.0581s b 528 86	Time: 17.1588s w	SN 1: 1768w 49255c SN 2: 429w 7899c Time: 13.2487s b 528 86	SN 1: 5088w 185711c SN 2: 3314w 108887c Time: 112.478s b 528 86	SN 1: 5088w 185711c SN 2: 3314w 108887c Time: 43.7311s b 528 86	SN 1: 5088w 185711c SN 2: 3314w 108887c Time: 69.5332s b 528 86	SN 1: 5088w 185711c SN 2: 3314w 108887c Time: 56.7742s b 528 86	rand477.cudf
rand77.cudf	Time: 1.66256s b 138 78	Time: 0.41755s b 138 78	Time: 12.0078s b 138 78	Time: 0.403675s b 138 78	Time: 1.11928s b 138 78	Time: 1.68067s b 138 78	SN 1: 467w 44682c SN 2: 93w 3426c Time: 0.639056s b 138 78	SN 1: 218w 3569c SN 2: 83w 908c Time: 0.359096s b 138 78	SN 1: 436w 8053c SN 2: 87w 894c Time: 3.31682s b 138 78	SN 1: 309w 5136c SN 2: 94w 988c Time: 0.473451s b 138 78	SN 1: 458w 8560c SN 2: 91w 951c Time: 4.74119s b 138 78	SN 1: 309w 5136c SN 2: 94w 988c Time: 0.404825s b 138 78	SN 1: 1820w 51005c SN 2: 463w 8673c Time: 3.80189s b 138 78	SN 1: 1820w 51005c SN 2: 463w 8673c Time: 5.81711s b 138 78	SN 1: 1820w 51005c SN 2: 463w 8673c Time: 8.9441s b 138 78	SN 1: 1820w 51005c SN 2: 463w 8673c Time: 0.715382s b 138 78	rand77.cudf
rand574.cudf	Time: 14.5823s b 96 95	Time: 3.79895s b 96 95	Time: 22.2698s b 96 95	Time: 2.63903s b 96 95	Time: 180.021s t	Time: 19.0498s b 96 95	SN 1: 680w 95998c SN 2: 98w 3618c Time: 3.50179s b 96 95	SN 1: 415w 8294c SN 2: 102w 1185c Time: 0.858146s b 96 95	SN 1: 1210w 30604c SN 2: 166w 2211c Time: 35.0482s b 96 95	SN 1: 601w 12382c SN 2: 115w 1301c Time: 2.38448s b 96 95	SN 1: 725w 15838c SN 2: 102w 1110c Time: 26.8695s b 96 95	SN 1: 428w 7873c SN 2: 102w 1110c Time: 0.957145s b 96 95	SN 1: 2676w 83781c SN 2: 1089w 26452c Time: 8.13889s b 96 95	SN 1: 2676w 83781c SN 2: 1089w 26452c Time: 14.8583s b 96 95	SN 1: 2676w 83781c SN 2: 1089w 26452c Time: 25.3065s b 96 95	SN 1: 2676w 83781c SN 2: 1089w 26452c Time: 2.50976s b 96 95	rand574.cudf
3e4f8550-0b33-11df-942d-00163e1d94dc.cudf	Time: 180.163s t	Time: 24.536s b 41 6	Time: 180.11s t	Time: 8.41974s b 41 6	Time: 180.029s t	Time: 180.345s t	SN 1: 1053w 94885c SN 2: 313w 15120c Time: 7.38331s b 41 6	SN 1: 441w 9428c SN 2: 82w 933c Time: 1.61559s b 41 6	SN 1: 524w 10145c SN 2: 137w 1669c Time: 10.3034s b 41 6	SN 1: 432w 7951c SN 2: 94w 988c Time: 2.57247s b 41 6	SN 1: 618w 12851c SN 2: 202w 2873c Time: 35.6612s b 41 6	SN 1: 448w 8287c SN 2: 88w 903c Time: 2.10273s b 41 6	SN 1: 2999w 96348c SN 2: 2143w 62568c Time: 11.7754s b 41 6	SN 1: 2999w 96348c SN 2: 2143w 62568c Time: 24.7296s b 41 6	SN 1: 2999w 96348c SN 2: 2143w 62568c Time: 41.891s b 41 6	SN 1: 2999w 96348c SN 2: 2143w 62568c Time: 8.34458s b 41 6	3e4f8550-0b33-11df-942d-00163e1d94dc.cudf
rand90.cudf	Time: 180.149s t	Time: 29.3934s b 128 89	Time: 180.042s t	Time: 17.8563s b 128 89	Time: 180.027s t	Time: 181.174s t	SN 1: 2605w 690292c SN 2: 546w 40477c Time: 120.334s b 128 89	SN 1: 1986w 67224c SN 2: 316w 5875c Time: 7.06073s b 128 89	SN 1: 2142w 62535c SN 2: 437w 8080c Time: 180.255s t 3639 541	SN 1: 2358w 71251c SN 2: 468w 8793c Time: 22.8209s b 128 89	SN 1: 1267w 32444c SN 2: 158w 2055c Time: 181.651s t 3639 541	SN 1: 2026w 57798c SN 2: 401w 7233c Time: 27.5751s b 128 89	SN 1: 5088w 185711c SN 2: 3548w 118129c Time: 65.163s b 128 89	SN 1: 5088w 185711c SN 2: 3548w 118129c Time: 49.6893s b 128 89	SN 1: 5088w 185711c SN 2: 3548w 118129c Time: 163.68s b 128 89	SN 1: 5088w 185711c SN 2: 3548w 118129c Time: 51.7798s b 128 89	rand90.cudf
rand347.cudf	Time: 13.9178s b 430 77	Time: 2.47018s b 430 77	Time: 105.957s b 430 77	Time: 1.94361s b 430 77	Time: 180.119s t	Time: 20.9084s b 430 77	SN 1: 1259w 267605c SN 2: 171w 7500c Time: 6.2229s b 430 77	SN 1: 666w 14535c SN 2: 117w 1432c Time: 0.98614s b 430 77	SN 1: 1384w 36431c SN 2: 234w 3471c Time: 81.0009s b 430 77	SN 1: 799w 17871c SN 2: 149w 1900c Time: 2.67117s b 430 77	SN 1: 1279w 32755c SN 2: 193w 2684c Time: 182.677s t 430 78	SN 1: 769w 16941c SN 2: 159w 2070c Time: 3.77862s b 430 77	SN 1: 2628w 81841c SN 2: 1069w 25804c Time: 25.6182s b 430 77	SN 1: 2628w 81841c SN 2: 1069w 25804c Time: 10.1868s b 430 77	SN 1: 2628w 81841c SN 2: 1069w 25804c Time: 19.6755s b 430 77	SN 1: 2628w 81841c SN 2: 1069w 25804c Time: 16.3319s b 430 77	rand347.cudf
27000e82-c5c4-11df-a7c5-00163e3d3b7c.cudf	Time: 118.891s s 18 27	Time: 27.4438s s 18 27	Time: 180.039s t	Time: 11.3134s s 18 27	Time: 180.11s t	Time: 180.399s t	SN 1: 1302w 107578c SN 2: 402w 22149c Time: 180.593s t 3632 637	SN 1: 1150w 33247c SN 2: 292w 5347c Time: 31.3431s b 23 22	SN 1: 162w 2129c SN 2: 76w 733c Time: 180.12s t 3632 637	SN 1: 811w 18246c SN 2: 174w 2357c Time: 180.204s t 8 37	SN 1: 177w 2409c SN 2: 72w 671c Time: 180.21s t 3632 637	SN 1: 722w 15749c SN 2: 159w 2070c Time: 180.202s t 8 37	SN 1: 4826w 174142c SN 2: 2998w 96315c Time: 180.827s t 3632 637	SN 1: 4826w 174142c SN 2: 2998w 96315c Time: 180.481s t 32 32	SN 1: 4826w 174142c SN 2: 2998w 96315c Time: 180.503s t 27 27	SN 1: 4826w 174142c SN 2: 2998w 96315c Time: 180.573s t 3632 637	27000e82-c5c4-11df-a7c5-00163e3d3b7c.cudf
dba3a3fe-3477-11e0-9e6c-00163e3d3b7c.cudf	Time: 3.33812s b 17 17	Time: 1.06572s b 17 17	Time: 180.104s t	Time: 0.906332s b 17 17	Time: 180.02s t	Time: 5.36794s b 17 17	SN 1: 195w 8463c SN 2: 68w 1533c Time: 16.779s b 17 17	SN 1: 182w 2513c SN 2: 66w 607c Time: 1.90159s b 17 17	SN 1: 196w 2749c SN 2: 70w 646c Time: 180.172s t 17 17	SN 1: 182w 2503c SN 2: 66w 582c Time: 1.981s b 17 17	SN 1: 194w 2707c SN 2: 69w 632c Time: 180.154s t 17 17	SN 1: 182w 2503c SN 2: 66w 582c Time: 3.5616s b 17 17	SN 1: 3152w 102399c SN 2: 1429w 37926c Time: 180.24s t 1261 163	SN 1: 3152w 102399c SN 2: 1429w 37926c Time: 180.248s t 31 31	SN 1: 3152w 102399c SN 2: 1429w 37926c Time: 180.202s t 17 17	SN 1: 3152w 102399c SN 2: 1429w 37926c Time: 180.222s t 1261 163	dba3a3fe-3477-11e0-9e6c-00163e3d3b7c.cudf
rand0.cudf	Time: 1.20746s b 151 80	Time: 0.401619s b 151 80	Time: 0.674337s b 151 80	Time: 0.408733s b 151 80	Time: 1.29564s b 151 80	Time: 1.38245s b 151 80	SN 1: 360w 37504c SN 2: 80w 3160c Time: 0.541148s b 151 80	SN 1: 215w 3489c SN 2: 82w 902c Time: 0.382844s b 151 80	SN 1: 369w 6494c SN 2: 83w 837c Time: 3.35635s b 151 80	SN 1: 215w 3119c SN 2: 82w 820c Time: 0.392497s b 151 80	SN 1: 371w 6543c SN 2: 83w 837c Time: 4.15899s b 151 80	SN 1: 215w 3119c SN 2: 82w 820c Time: 0.415929s b 151 80	SN 1: 1856w 52191c SN 2: 477w 8993c Time: 4.32701s b 151 80	SN 1: 1856w 52191c SN 2: 477w 8993c Time: 5.35025s b 151 80	SN 1: 1856w 52191c SN 2: 477w 8993c Time: 7.86642s b 151 80	SN 1: 1856w 52191c SN 2: 477w 8993c Time: 0.661543s b 151 80	rand0.cudf
rand399.cudf	Time: 6.80133s b 30 14	Time: 1.66648s b 30 14	Time: 57.1535s b 30 14	Time: 1.52845s b 30 14	Time: 180.09s t	Time: 4.97083s b 30 14	SN 1: 73w 1573c SN 2: 14w 91c Time: 0.698633s b 30 14	SN 1: 44w 334c SN 2: 14w 61c Time: 0.71975s b 30 14	SN 1: 74w 706c SN 2: 14w 53c Time: 1.556s b 30 14	SN 1: 44w 329c SN 2: 14w 53c Time: 0.747297s b 30 14	SN 1: 73w 691c SN 2: 14w 53c Time: 0.936094s b 30 14	SN 1: 44w 329c SN 2: 14w 53c Time: 0.711402s b 30 14	SN 1: 3000w 96371c SN 2: 1051w 25149c Time: 3.15868s b 30 14	SN 1: 3000w 96371c SN 2: 1051w 25149c Time: 15.2374s b 30 14	SN 1: 3000w 96371c SN 2: 1051w 25149c Time: 18.6996s b 30 14	SN 1: 3000w 96371c SN 2: 1051w 25149c Time: 1.57977s b 30 14	rand399.cudf
rand285.cudf	Time: 180.15s t	Time: 14.598s b 91 87	Time: 180.018s t	Time: 8.30299s b 91 87	Time: 180.106s t	Time: 180.284s t	SN 1: 2028w 386045c SN 2: 387w 18699c Time: 180.83s t 91 91	SN 1: 1178w 31339c SN 2: 254w 4225c Time: 14.7276s b 91 87	SN 1: 2401w 72951c SN 2: 582w 11829c Time: 180.237s t 2555 446	SN 1: 1751w 48729c SN 2: 359w 6279c Time: 93.0915s b 91 87	SN 1: 1354w 35442c SN 2: 236w 3505c Time: 182.212s t 2555 446	SN 1: 1811w 50692c SN 2: 396w 7113c Time: 180.382s t 91 91	SN 1: 3705w 124407c SN 2: 2101w 60825c Time: 180.265s t 91 91	SN 1: 3705w 124407c SN 2: 2101w 60825c Time: 157.49s b 91 87	SN 1: 3705w 124407c SN 2: 2101w 60825c Time: 130.629s b 91 87	SN 1: 3705w 124407c SN 2: 2101w 60825c Time: 180.37s t 91 91	rand285.cudf
rand576.cudf	Time: 180.139s t	Time: 21.1831s b 128 95	Time: 180.051s t	Time: 16.7253s b 128 95	Time: 180.035s t	Time: 180.633s t	SN 1: 447w 55377c SN 2: 103w 4756c Time: 3.19259s b 128 95	SN 1: 721w 17494c SN 2: 140w 1770c Time: 2.61559s b 128 95	SN 1: 2018w 57538c SN 2: 401w 7233c Time: 130.587s b 128 95	SN 1: 1255w 32080c SN 2: 176w 2383c Time: 4.58038s b 128 95	SN 1: 1496w 40087c SN 2: 190w 2633c Time: 128.235s b 128 95	SN 1: 856w 19515c SN 2: 141w 1747c Time: 3.52992s b 128 95	SN 1: 4982w 181176c SN 2: 3301w 108420c Time: 27.9859s b 128 95	SN 1: 4982w 181176c SN 2: 3301w 108420c Time: 40.1629s b 128 95	SN 1: 4982w 181176c SN 2: 3301w 108420c Time: 61.421s b 128 95	SN 1: 4982w 181176c SN 2: 3301w 108420c Time: 13.2703s b 128 95	rand576.cudf
rand172.cudf	Time: 27.2741s b 12 13	Time: 5.15666s b 12 13	Time: 51.3625s b 12 13	Time: 3.97781s b 12 13	Time: 180.124s t	Time: 42.322s b 12 13	SN 1: 325w 21862c SN 2: 128w 4264c Time: 20.7565s b 13 12	SN 1: 189w 2621c SN 2: 62w 551c Time: 2.47443s b 12 13	SN 1: 839w 19028c SN 2: 239w 3557c Time: 180.213s t 13 13	SN 1: 280w 4455c SN 2: 79w 775c Time: 3.63524s b 12 13	SN 1: 413w 7518c SN 2: 150w 1917c Time: 180.685s t 13 13	SN 1: 189w 2620c SN 2: 62w 527c Time: 2.87222s b 12 13	SN 1: 3362w 110861c SN 2: 1661w 45636c Time: 180.276s t 1915 391	SN 1: 3362w 110861c SN 2: 1661w 45636c Time: 180.338s t 13 13	SN 1: 3362w 110861c SN 2: 1661w 45636c Time: 180.309s t 13 13	SN 1: 3362w 110861c SN 2: 1661w 45636c Time: 180.351s t 1915 391	rand172.cudf
rand455.cudf	Time: 6.83822s b 81 24	Time: 2.1407s b 81 24	Time: 7.53286s b 81 24	Time: 1.77132s b 81 24	Time: 180.095s t	Time: 14.2852s b 81 24	SN 1: 182w 9123c SN 2: 31w 391c Time: 0.865523s b 81 24	SN 1: 118w 1672c SN 2: 32w 234c Time: 0.808922s b 81 24	SN 1: 224w 3263c SN 2: 44w 329c Time: 3.35124s b 81 24	SN 1: 142w 1763c SN 2: 39w 276c Time: 0.930848s b 81 24	SN 1: 238w 3541c SN 2: 53w 431c Time: 5.59993s b 81 24	SN 1: 142w 1763c SN 2: 42w 309c Time: 0.906691s b 81 24	SN 1: 3032w 97547c SN 2: 1062w 25550c Time: 7.36819s b 81 24	SN 1: 3032w 97547c SN 2: 1062w 25550c Time: 15.1423s b 81 24	SN 1: 3032w 97547c SN 2: 1062w 25550c Time: 34.133s b 81 24	SN 1: 3032w 97547c SN 2: 1062w 25550c Time: 4.25262s b 81 24	rand455.cudf
rand192.cudf	Time: 52.6664s b 98 24	Time: 23.1617s b 98 24	Time: 180.024s t	Time: 11.7423s b 98 24	Time: 180.025s t	Time: 171.718s b 98 24	SN 1: 233w 13971c SN 2: 31w 407c Time: 2.08887s b 98 24	SN 1: 186w 2640c SN 2: 30w 226c Time: 1.75482s b 98 24	SN 1: 865w 19752c SN 2: 83w 837c Time: 36.7516s b 98 24	SN 1: 186w 2571c SN 2: 37w 255c Time: 2.15221s b 98 24	SN 1: 624w 12991c SN 2: 28w 161c Time: 12.8468s b 98 24	SN 1: 331w 5642c SN 2: 30w 178c Time: 2.14473s b 98 24	SN 1: 4735w 169834c SN 2: 2945w 94204c Time: 24.6214s b 98 24	SN 1: 4735w 169834c SN 2: 2945w 94204c Time: 31.7371s b 98 24	SN 1: 4735w 169834c SN 2: 2945w 94204c Time: 42.5796s b 98 24	SN 1: 4735w 169834c SN 2: 2945w 94204c Time: 11.3997s b 98 24	rand192.cudf
rand315.cudf	Time: 6.92125s b 476 51	Time: 1.47689s b 476 51	Time: 10.9813s b 476 51	Time: 1.39708s b 476 51	Time: 180.016s t	Time: 11.9504s b 476 51	SN 1: 661w 159280c SN 2: 55w 1265c Time: 1.48573s b 476 51	SN 1: 235w 4190c SN 2: 59w 621c Time: 0.792732s b 476 51	SN 1: 871w 19935c SN 2: 92w 961c Time: 22.7449s b 476 51	SN 1: 294w 4790c SN 2: 76w 733c Time: 0.958759s b 476 51	SN 1: 828w 18701c SN 2: 89w 922c Time: 37.7189s b 476 51	SN 1: 298w 4886c SN 2: 72w 671c Time: 0.989762s b 476 51	SN 1: 2642w 82453c SN 2: 1066w 25698c Time: 9.02537s b 476 51	SN 1: 2642w 82453c SN 2: 1066w 25698c Time: 8.71945s b 476 51	SN 1: 2642w 82453c SN 2: 1066w 25698c Time: 21.6122s b 476 51	SN 1: 2642w 82453c SN 2: 1066w 25698c Time: 3.42401s b 476 51	rand315.cudf
rand214.cudf	Time: 12.6954s b 208 71	Time: 4.58196s b 208 71	Time: 180.018s t	Time: 2.47349s b 208 71	Time: 180.021s t	Time: 15.4986s b 208 71	SN 1: 777w 124279c SN 2: 75w 2508c Time: 4.11127s b 208 71	SN 1: 466w 9546c SN 2: 80w 965c Time: 0.841642s b 208 71	SN 1: 908w 20949c SN 2: 114w 1284c Time: 24.1245s b 208 71	SN 1: 638w 13345c SN 2: 109w 1214c Time: 1.47176s b 208 71	SN 1: 904w 20819c SN 2: 112w 1247c Time: 99.8576s b 208 71	SN 1: 551w 10957c SN 2: 105w 1155c Time: 1.68283s b 208 71	SN 1: 2655w 82953c SN 2: 1063w 25587c Time: 8.24675s b 208 71	SN 1: 2655w 82953c SN 2: 1063w 25587c Time: 12.8331s b 208 71	SN 1: 2655w 82953c SN 2: 1063w 25587c Time: 25.3821s b 208 71	SN 1: 2655w 82953c SN 2: 1063w 25587c Time: 4.547s b 208 71	rand214.cudf
rand491.cudf	Time: 12.9208s b 449 56	Time: 2.824s b 449 56	Time: 126.608s b 449 56	Time: 1.69446s b 449 56	Time: 180.086s t	Time: 18.8545s b 449 56	SN 1: 1176w 320241c SN 2: 351w 25719c Time: 21.9334s b 449 56	SN 1: 453w 8943c SN 2: 102w 1198c Time: 1.07846s b 449 56	SN 1: 1050w 25112c SN 2: 279w 4439c Time: 32.911s b 449 56	SN 1: 511w 9718c SN 2: 325w 5492c Time: 1.2149s b 449 56	Time: 15.4251s w	SN 1: 511w 9718c SN 2: 318w 5316c Time: 1.18526s b 449 56	SN 1: 3100w 100173c SN 2: 1826w 51212c Time: 11.8782s b 449 56	SN 1: 3100w 100173c SN 2: 1826w 51212c Time: 11.0057s b 449 56	SN 1: 3100w 100173c SN 2: 1826w 51212c Time: 13.5165s b 449 56	SN 1: 3100w 100173c SN 2: 1826w 51212c Time: 3.14942s b 449 56	rand491.cudf
rand115.cudf	Time: 69.6429s b 173 93	Time: 6.93028s b 173 93	Time: 180.025s t	Time: 7.21824s b 173 93	Time: 180.107s t	Time: 124.261s b 173 93	SN 1: 761w 99663c SN 2: 114w 4756c Time: 6.43546s b 173 93	SN 1: 691w 17072c SN 2: 113w 1598c Time: 1.86896s b 173 93	SN 1: 1449w 38594c SN 2: 240w 3567c Time: 74.9973s b 173 93	SN 1: 965w 22546c SN 2: 186w 2571c Time: 7.19254s b 173 93	SN 1: 1103w 26984c SN 2: 181w 2487c Time: 183.611s t 173 94	SN 1: 824w 18595c SN 2: 174w 2357c Time: 8.59079s b 173 93	SN 1: 3695w 124040c SN 2: 2091w 60405c Time: 37.9634s b 173 93	SN 1: 3695w 124040c SN 2: 2091w 60405c Time: 25.0172s b 173 93	SN 1: 3695w 124040c SN 2: 2091w 60405c Time: 22.1388s b 173 93	SN 1: 3695w 124040c SN 2: 2091w 60405c Time: 21.9036s b 173 93	rand115.cudf
8680dd8a-8600-11e0-b285-00163e1e087d.cudf	Time: 30.62s b 11 12	Time: 7.92694s b 11 12	Time: 155.125s b 11 12	Time: 4.12071s b 11 12	Time: 180.029s t	Time: 56.2085s b 11 12	SN 1: 47w 680c SN 2: 13w 78c Time: 1.39581s b 12 11	SN 1: 43w 326c SN 2: 13w 48c Time: 1.21198s b 11 12	SN 1: 60w 505c SN 2: 18w 82c Time: 2.72814s b 12 11	SN 1: 35w 232c SN 2: 13w 48c Time: 1.33972s b 11 12	SN 1: 109w 1214c SN 2: 14w 53c Time: 1.98212s b 12 11	SN 1: 43w 321c SN 2: 13w 48c Time: 1.22769s b 11 12	SN 1: 4304w 149775c SN 2: 2569w 79326c Time: 7.48615s b 11 12	SN 1: 4304w 149775c SN 2: 2569w 79326c Time: 26.4794s b 12 11	SN 1: 4304w 149775c SN 2: 2569w 79326c Time: 36.9038s b 12 11	SN 1: 4304w 149775c SN 2: 2569w 79326c Time: 4.29628s b 11 12	8680dd8a-8600-11e0-b285-00163e1e087d.cudf
rand59.cudf	Time: 2.99207s b 119 31	Time: 1.39796s b 119 31	Time: 2.26031s b 119 31	Time: 1.09979s b 119 31	Time: 4.23331s b 119 31	Time: 8.01515s b 119 31	SN 1: 190w 13375c SN 2: 33w 499c Time: 0.885448s b 119 31	SN 1: 70w 678c SN 2: 33w 235c Time: 0.796748s b 119 31	SN 1: 191w 2647c SN 2: 33w 207c Time: 3.57153s b 119 31	SN 1: 90w 936c SN 2: 33w 207c Time: 0.824903s b 119 31	SN 1: 189w 2620c SN 2: 33w 207c Time: 1.58201s b 119 31	SN 1: 77w 750c SN 2: 33w 207c Time: 0.775946s b 119 31	SN 1: 3015w 96925c SN 2: 1060w 25469c Time: 6.08757s b 119 31	SN 1: 3015w 96925c SN 2: 1060w 25469c Time: 13.1393s b 119 31	SN 1: 3015w 96925c SN 2: 1060w 25469c Time: 13.4001s b 119 31	SN 1: 3015w 96925c SN 2: 1060w 25469c Time: 2.16471s b 119 31	rand59.cudf
rand533.cudf	Time: 53.6323s b 12 13	Time: 5.90126s b 12 13	Time: 180.124s t	Time: 4.9089s b 12 13	Time: 180.032s t	Time: 65.986s b 12 13	SN 1: 699w 51966c SN 2: 194w 7794c Time: 36.4934s b 13 12	SN 1: 462w 9665c SN 2: 143w 2000c Time: 5.22936s b 12 13	SN 1: 340w 5849c SN 2: 109w 1214c Time: 180.19s t 2176 390	SN 1: 106w 1170c SN 2: 37w 255c Time: 180.1s t 13 13	SN 1: 327w 5541c SN 2: 96w 1007c Time: 180.201s t 2176 390	SN 1: 108w 1197c SN 2: 37w 255c Time: 180.114s t 17 13	SN 1: 3362w 110861c SN 2: 1661w 45636c Time: 180.326s t 2176 390	SN 1: 3362w 110861c SN 2: 1661w 45636c Time: 180.36s t 13 13	SN 1: 3362w 110861c SN 2: 1661w 45636c Time: 180.353s t 13 13	SN 1: 3362w 110861c SN 2: 1661w 45636c Time: 180.369s t 2176 390	rand533.cudf
rand929.cudf	Time: 2.22501s b 5 6	Time: 0.959351s b 5 6	Time: 17.1573s b 6 5	Time: 0.882075s b 5 6	Time: 180.025s t	Time: 3.68775s b 5 6	SN 1: 85w 1507c SN 2: 26w 231c Time: 0.833327s b 5 6	SN 1: 80w 783c SN 2: 17w 79c Time: 0.724907s b 5 6	SN 1: 85w 867c SN 2: 27w 155c Time: 1.24774s b 5 6	SN 1: 80w 783c SN 2: 17w 74c Time: 0.705367s b 5 6	SN 1: 85w 867c SN 2: 26w 146c Time: 1.42348s b 6 5	SN 1: 80w 783c SN 2: 17w 74c Time: 0.710718s b 5 6	SN 1: 2994w 96169c SN 2: 1059w 25434c Time: 11.6515s b 6 5	SN 1: 2994w 96169c SN 2: 1059w 25434c Time: 7.97573s b 5 6	SN 1: 2994w 96169c SN 2: 1059w 25434c Time: 7.83456s b 6 5	SN 1: 2994w 96169c SN 2: 1059w 25434c Time: 9.37423s b 6 5	rand929.cudf
rand152.cudf	Time: 53.8554s b 12 13	Time: 6.69312s b 12 13	Time: 180.024s t	Time: 4.74111s b 12 13	Time: 180.099s t	Time: 75.9902s b 12 13	SN 1: 829w 79570c SN 2: 238w 11532c Time: 87.5446s b 13 12	SN 1: 338w 6017c SN 2: 90w 956c Time: 2.85527s b 13 12	SN 1: 888w 20371c SN 2: 279w 4439c Time: 180.203s t 13 13	SN 1: 339w 5829c SN 2: 91w 951c Time: 4.13339s b 13 12	SN 1: 885w 20308c SN 2: 255w 3831c Time: 181.223s t 13 13	SN 1: 338w 5802c SN 2: 90w 936c Time: 2.83825s b 12 13	SN 1: 3372w 111297c SN 2: 1677w 46230c Time: 180.344s t 2032 340	SN 1: 3372w 111297c SN 2: 1677w 46230c Time: 180.318s t 13 13	SN 1: 3372w 111297c SN 2: 1677w 46230c Time: 180.322s t 13 13	SN 1: 3372w 111297c SN 2: 1677w 46230c Time: 180.414s t 2032 340	rand152.cudf
rand343.cudf	Time: 180.133s t	Time: 18.8139s s 185 97	Time: 180.037s t	Time: 12.2028s s 185 97	Time: 180.034s t	Time: 180.768s t	SN 1: 1024w 188507c SN 2: 122w 4380c Time: 9.21762s b 185 96	SN 1: 1019w 25244c SN 2: 121w 1486c Time: 3.37766s b 185 96	SN 1: 2336w 70303c SN 2: 464w 8687c Time: 180.338s t 185 97	SN 1: 2282w 68161c SN 2: 503w 9570c Time: 19.8503s b 185 96	SN 1: 1297w 33457c SN 2: 199w 2813c Time: 182.751s t 3427 542	SN 1: 1738w 48296c SN 2: 349w 6049c Time: 11.3431s b 185 96	SN 1: 4977w 180967c SN 2: 3302w 108457c Time: 121.579s b 185 96	SN 1: 4977w 180967c SN 2: 3302w 108457c Time: 53.4629s b 185 96	SN 1: 4977w 180967c SN 2: 3302w 108457c Time: 130.125s b 185 96	SN 1: 4977w 180967c SN 2: 3302w 108457c Time: 116.85s b 185 96	rand343.cudf
rand437.cudf	Time: 58.9813s b 12 13	Time: 6.2625s b 12 13	Time: 180.114s t	Time: 4.89557s b 12 13	Time: 180.02s t	Time: 64.4363s b 12 13	SN 1: 603w 60997c SN 2: 193w 8779c Time: 66.4723s b 12 13	SN 1: 328w 5767c SN 2: 81w 824c Time: 2.3313s b 12 13	SN 1: 695w 15002c SN 2: 233w 3452c Time: 180.194s t 13 13	SN 1: 339w 5829c SN 2: 84w 849c Time: 3.98428s b 13 12	SN 1: 641w 13420c SN 2: 201w 2853c Time: 180.764s t 13 13	SN 1: 328w 5559c SN 2: 81w 804c Time: 3.77801s b 12 13	SN 1: 3362w 110861c SN 2: 1661w 45636c Time: 180.33s t 2325 446	SN 1: 3362w 110861c SN 2: 1661w 45636c Time: 180.292s t 13 13	SN 1: 3362w 110861c SN 2: 1661w 45636c Time: 180.357s t 13 13	SN 1: 3362w 110861c SN 2: 1661w 45636c Time: 180.435s t 2325 446	rand437.cudf
dd08e73e-d489-11df-b9cf-00163e3d3b7c.cudf	Time: 82.1689s s 27 35	Time: 15.658s s 27 35	Time: 60.5527s s 27 36	Time: 7.17688s s 27 36	Time: 180.131s t	Time: 157.742s s 27 35	SN 1: 550w 16912c SN 2: 184w 4439c Time: 180.214s t 3519 660	SN 1: 1481w 47025c SN 2: 404w 8180c Time: 138.051s b 30 31	SN 1: 129w 1500c SN 2: 62w 527c Time: 180.202s t 3519 660	SN 1: 1058w 25390c SN 2: 204w 2909c Time: 180.126s t 16 46	SN 1: 207w 2964c SN 2: 98w 1046c Time: 180.159s t 3519 660	SN 1: 1056w 25295c SN 2: 210w 3023c Time: 180.227s t 16 46	SN 1: 4858w 175442c SN 2: 2474w 75829c Time: 180.506s t 3519 660	SN 1: 4858w 175442c SN 2: 2474w 75829c Time: 180.472s t 40 40	SN 1: 4858w 175442c SN 2: 2474w 75829c Time: 180.45s t 63 61	SN 1: 4858w 175442c SN 2: 2474w 75829c Time: 180.661s t 3519 660	dd08e73e-d489-11df-b9cf-00163e3d3b7c.cudf
rand662.cudf	Time: 58.8236s b 42 24	Time: 14.5444s b 42 24	Time: 180.021s t	Time: 8.75042s b 42 24	Time: 180.112s t	Time: 98.1093s b 42 24	SN 1: 125w 5031c SN 2: 27w 351c Time: 1.54644s b 42 24	SN 1: 83w 929c SN 2: 27w 191c Time: 1.61178s b 42 24	SN 1: 272w 4255c SN 2: 51w 408c Time: 7.5709s b 42 24	SN 1: 115w 1301c SN 2: 30w 178c Time: 1.8419s b 42 24	SN 1: 136w 1643c SN 2: 29w 171c Time: 2.50785s b 42 24	SN 1: 148w 1877c SN 2: 32w 191c Time: 1.68178s b 42 24	SN 1: 4657w 166223c SN 2: 2929w 93680c Time: 9.51502s b 42 24	SN 1: 4657w 166223c SN 2: 2929w 93680c Time: 30.7885s b 42 24	SN 1: 4657w 166223c SN 2: 2929w 93680c Time: 49.6454s b 42 24	SN 1: 4657w 166223c SN 2: 2929w 93680c Time: 4.38732s b 42 24	rand662.cudf
rand230.cudf	Time: 13.123s b 279 85	Time: 2.49445s b 279 85	Time: 180.02s t	Time: 1.8298s b 279 85	Time: 180.019s t	Time: 18.3321s b 279 85	SN 1: 949w 167581c SN 2: 151w 6251c Time: 7.11852s b 279 85	SN 1: 746w 18067c SN 2: 142w 2069c Time: 1.55255s b 279 85	SN 1: 1363w 35755c SN 2: 252w 3785c Time: 180.092s t 279 86	SN 1: 1065w 25661c SN 2: 258w 3906c Time: 38.7854s b 279 85	SN 1: 1167w 29143c SN 2: 199w 2813c Time: 182.749s t 279 88	SN 1: 1027w 24214c SN 2: 252w 3785c Time: 50.0992s b 279 85	SN 1: 2625w 81693c SN 2: 1055w 25274c Time: 152.526s b 279 85	SN 1: 2625w 81693c SN 2: 1055w 25274c Time: 34.0356s b 279 85	SN 1: 2625w 81693c SN 2: 1055w 25274c Time: 40.9978s b 279 85	SN 1: 2625w 81693c SN 2: 1055w 25274c Time: 154.053s b 279 85	rand230.cudf
2c3aece6-c8b2-11df-a040-00163e3d3b7c.cudf	Time: 7.46868s s 22 32	Time: 2.07224s s 23 31	Time: 41.9447s s 22 32	Time: 1.74077s s 23 31	Time: 180.091s t	Time: 12.3851s s 22 32	SN 1: 211w 9088c SN 2: 120w 3760c Time: 157.447s b 28 28	SN 1: 217w 3915c SN 2: 115w 1643c Time: 7.69659s b 28 28	SN 1: 268w 4169c SN 2: 125w 1441c Time: 180.14s t 2781 277	SN 1: 206w 2947c SN 2: 100w 1077c Time: 180.117s t 8 49	SN 1: 210w 3023c SN 2: 121w 1386c Time: 180.273s t 2781 277	SN 1: 191w 2647c SN 2: 103w 1125c Time: 180.209s t 8 49	SN 1: 4902w 177600c SN 2: 2971w 95304c Time: 180.457s t 2781 277	SN 1: 4902w 177600c SN 2: 2971w 95304c Time: 180.412s t 6 55	SN 1: 4902w 177600c SN 2: 2971w 95304c Time: 180.475s t 31 31	SN 1: 4902w 177600c SN 2: 2971w 95304c Time: 180.461s t 2781 277	2c3aece6-c8b2-11df-a040-00163e3d3b7c.cudf
d5026b8e-3477-11e0-986e-00163e3d3b7c.cudf	Time: 3.32552s b 17 17	Time: 1.08158s b 17 17	Time: 180.116s t	Time: 0.892501s b 17 17	Time: 180.018s t	Time: 5.58932s b 17 17	SN 1: 195w 8463c SN 2: 68w 1533c Time: 16.1473s b 17 17	SN 1: 182w 2513c SN 2: 66w 607c Time: 1.9137s b 17 17	SN 1: 196w 2749c SN 2: 70w 646c Time: 180.074s t 17 17	SN 1: 182w 2503c SN 2: 66w 582c Time: 1.94864s b 17 17	SN 1: 194w 2707c SN 2: 69w 632c Time: 180.199s t 17 17	SN 1: 182w 2503c SN 2: 66w 582c Time: 3.6701s b 17 17	SN 1: 3152w 102399c SN 2: 1429w 37926c Time: 180.172s t 1261 163	SN 1: 3152w 102399c SN 2: 1429w 37926c Time: 180.209s t 31 31	SN 1: 3152w 102399c SN 2: 1429w 37926c Time: 180.202s t 17 17	SN 1: 3152w 102399c SN 2: 1429w 37926c Time: 180.285s t 1261 163	d5026b8e-3477-11e0-986e-00163e3d3b7c.cudf
rand105.cudf	Time: 61.0111s b 12 13	Time: 5.9487s b 12 13	Time: 180.126s t	Time: 5.04101s b 12 13	Time: 180.106s t	Time: 69.3163s b 12 13	SN 1: 1281w 133289c SN 2: 297w 17194c Time: 59.5613s b 12 13	SN 1: 447w 9021c SN 2: 132w 1748c Time: 3.76777s b 13 12	SN 1: 385w 6820c SN 2: 135w 1629c Time: 180.165s t 2357 420	SN 1: 112w 1247c SN 2: 35w 232c Time: 180.112s t 14 14	SN 1: 341w 5877c SN 2: 101w 1096c Time: 180.141s t 2357 420	SN 1: 110w 1226c SN 2: 34w 219c Time: 180.186s t 13 14	SN 1: 3365w 111005c SN 2: 1667w 45840c Time: 180.36s t 2357 420	SN 1: 3365w 111005c SN 2: 1667w 45840c Time: 180.384s t 13 13	SN 1: 3365w 111005c SN 2: 1667w 45840c Time: 180.31s t 13 13	SN 1: 3365w 111005c SN 2: 1667w 45840c Time: 180.381s t 2357 420	rand105.cudf
8afdd89e-51b8-11e0-acd7-00163e1e087d.cudf	Time: 18.1923s b 46 11	Time: 6.20118s b 46 11	Time: 62.756s b 46 11	Time: 3.34485s b 46 11	Time: 180.121s t	Time: 32.4941s b 46 11	SN 1: 80w 2310c SN 2: 11w 55c Time: 0.988283s b 46 11	SN 1: 52w 428c SN 2: 15w 66c Time: 0.93911s b 46 11	SN 1: 106w 1170c SN 2: 18w 82c Time: 2.90024s b 46 11	SN 1: 52w 417c SN 2: 16w 63c Time: 1.02849s b 46 11	SN 1: 109w 1214c SN 2: 19w 91c Time: 1.62669s b 46 11	SN 1: 52w 417c SN 2: 15w 59c Time: 0.928866s b 46 11	SN 1: 3579w 119184c SN 2: 1680w 46319c Time: 5.39082s b 46 11	SN 1: 3579w 119184c SN 2: 1680w 46319c Time: 19.7054s b 46 11	SN 1: 3579w 119184c SN 2: 1680w 46319c Time: 20.4182s b 46 11	SN 1: 3579w 119184c SN 2: 1680w 46319c Time: 2.53897s b 46 11	8afdd89e-51b8-11e0-acd7-00163e1e087d.cudf
rand298.cudf	Time: 0.697723s b 90 89	Time: 0.331946s b 90 89	Time: 0.417309s b 90 89	Time: 0.33304s b 90 89	Time: 0.870984s b 90 89	Time: 1.04981s b 90 89	SN 1: 270w 21842c SN 2: 89w 3916c Time: 0.593007s b 90 89	SN 1: 197w 3114c SN 2: 91w 1015c Time: 0.357478s b 90 89	SN 1: 270w 4218c SN 2: 89w 922c Time: 2.12327s b 90 89	SN 1: 197w 2774c SN 2: 91w 951c Time: 0.351769s b 90 89	SN 1: 270w 4218c SN 2: 89w 922c Time: 2.4801s b 90 89	SN 1: 197w 2774c SN 2: 91w 951c Time: 0.356504s b 90 89	SN 1: 1858w 52286c SN 2: 476w 8969c Time: 3.41393s b 90 89	SN 1: 1858w 52286c SN 2: 476w 8969c Time: 5.74817s b 90 89	SN 1: 1858w 52286c SN 2: 476w 8969c Time: 12.1511s b 90 89	SN 1: 1858w 52286c SN 2: 476w 8969c Time: 0.621605s b 90 89	rand298.cudf
rand519.cudf	Time: 180.174s t	Time: 28.2974s b 379 75	Time: 180.023s t	Time: 17.1088s b 379 75	Time: 180.031s t	Time: 180.536s t	SN 1: 2662w 585188c SN 2: 622w 52821c Time: 94.6445s b 379 75	SN 1: 1588w 45280c SN 2: 262w 4220c Time: 3.76417s b 379 75	SN 1: 2472w 75739c SN 2: 545w 10762c Time: 180.35s t 379 75	SN 1: 1695w 46844c SN 2: 353w 6129c Time: 13.6982s b 379 75	SN 1: 1707w 47282c SN 2: 249w 3738c Time: 183.165s t 3583 540	SN 1: 1621w 44358c SN 2: 305w 5039c Time: 13.2407s b 379 75	SN 1: 5079w 185403c SN 2: 3550w 118193c Time: 67.0079s b 379 75	SN 1: 5079w 185403c SN 2: 3550w 118193c Time: 38.7301s b 379 75	SN 1: 5079w 185403c SN 2: 3550w 118193c Time: 52.5303s b 379 75	SN 1: 5079w 185403c SN 2: 3550w 118193c Time: 36.1076s b 379 75	rand519.cudf
rand600.cudf	Time: 1.63315s b 208 86	Time: 0.46609s b 208 86	Time: 5.738s b 208 86	Time: 0.415242s b 208 86	Time: 1.25125s b 208 86	Time: 2.29048s b 208 86	SN 1: 380w 53149c SN 2: 89w 3798c Time: 0.646453s b 208 86	SN 1: 188w 3233c SN 2: 89w 1010c Time: 0.393492s b 208 86	SN 1: 557w 11133c SN 2: 109w 1214c Time: 7.05586s b 208 86	SN 1: 307w 5090c SN 2: 107w 1186c Time: 0.623671s b 208 86	SN 1: 584w 11883c SN 2: 119w 1358c Time: 68.7757s b 208 86	SN 1: 311w 5177c SN 2: 109w 1214c Time: 0.728335s b 208 86	SN 1: 1862w 52446c SN 2: 506w 9630c Time: 6.07774s b 208 86	SN 1: 1862w 52446c SN 2: 506w 9630c Time: 2.15731s b 208 86	SN 1: 1862w 52446c SN 2: 506w 9630c Time: 6.53147s b 208 86	SN 1: 1862w 52446c SN 2: 506w 9630c Time: 3.28671s b 208 86	rand600.cudf
rand208.cudf	Time: 180.179s t	Time: 29.3995s b 312 103	Time: 180.131s t	Time: 18.5482s b 312 103	Time: 180.138s t	Time: 180.657s t	SN 1: 2676w 727746c SN 2: 653w 47102c Time: 181.612s t 312 104	SN 1: 2336w 77958c SN 2: 546w 11778c Time: 37.7066s b 312 103	SN 1: 2311w 69237c SN 2: 544w 10719c Time: 180.332s t 3509 534	SN 1: 1727w 47888c SN 2: 342w 5898c Time: 180.17s t 328 103	SN 1: 1385w 36473c SN 2: 214w 3101c Time: 182.449s t 3509 534	SN 1: 1659w 45584c SN 2: 302w 4974c Time: 180.212s t 328 103	SN 1: 5075w 185240c SN 2: 3356w 110613c Time: 180.549s t 3509 534	SN 1: 5075w 185240c SN 2: 3356w 110613c Time: 180.541s t 312 106	SN 1: 5075w 185240c SN 2: 3356w 110613c Time: 180.577s t 312 106	SN 1: 5075w 185240c SN 2: 3356w 110613c Time: 180.695s t 3509 534	rand208.cudf
rand796.cudf	Time: 58.172s b 12 13	Time: 5.58403s b 12 13	Time: 180.027s t	Time: 4.89121s b 12 13	Time: 180.102s t	Time: 70.0624s b 12 13	SN 1: 594w 55715c SN 2: 168w 7052c Time: 54.7607s b 13 12	SN 1: 383w 7299c SN 2: 87w 909c Time: 2.6986s b 12 13	SN 1: 907w 20924c SN 2: 288w 4623c Time: 180.21s t 13 13	SN 1: 404w 7309c SN 2: 76w 733c Time: 6.12184s b 12 13	SN 1: 714w 15527c SN 2: 222w 3239c Time: 181.063s t 13 13	SN 1: 383w 6774c SN 2: 87w 894c Time: 5.17714s b 12 13	SN 1: 3362w 110861c SN 2: 1661w 45636c Time: 180.285s t 2204 400	SN 1: 3362w 110861c SN 2: 1661w 45636c Time: 180.284s t 14 14	SN 1: 3362w 110861c SN 2: 1661w 45636c Time: 180.285s t 13 13	SN 1: 3362w 110861c SN 2: 1661w 45636c Time: 180.342s t 2204 400	rand796.cudf
rand21.cudf	Time: 42.1464s b 31 26	Time: 19.8397s b 31 26	Time: 81.1533s b 31 26	Time: 7.66278s b 31 26	Time: 180.035s t	Time: 114.815s b 31 26	SN 1: 92w 2985c SN 2: 27w 339c Time: 1.54333s b 31 26	SN 1: 78w 901c SN 2: 27w 173c Time: 1.52288s b 31 26	SN 1: 111w 1239c SN 2: 27w 155c Time: 5.51797s b 31 26	SN 1: 77w 750c SN 2: 27w 155c Time: 1.73913s b 31 26	SN 1: 92w 961c SN 2: 27w 155c Time: 2.2411s b 31 26	SN 1: 157w 2041c SN 2: 27w 155c Time: 1.60615s b 31 26	SN 1: 4656w 166159c SN 2: 2930w 93719c Time: 7.70362s b 31 26	SN 1: 4656w 166159c SN 2: 2930w 93719c Time: 36.5778s b 31 26	SN 1: 4656w 166159c SN 2: 2930w 93719c Time: 34.9735s b 31 26	SN 1: 4656w 166159c SN 2: 2930w 93719c Time: 3.6062s b 31 26	rand21.cudf

Each cell has two pieces of data:

* Time in seconds:

- In the case of packup, we also show the size of the sorting networks: the number of wires and the number of comparators. In the case of dynamic sorting networks, we show the size of the largest sorting networks.

* one of the following letters:

- t (if the solver reached a timeout (180 seconds); the numbers that follow are the values of the objective functions for the feasible solution output by the solver

- u (if the solver outputs UNSAT)

- w (if the output is wrong)

- s (if the output is a feasible solution and is suboptimal; the numbers that follow are the objective values)

- b (if the output is a solution and no better solution was found; the numbers that follow are the objective values)

142 Benchmarks: From the Mancoosi International Solver Competition 2011. Available here.

All solutions and objective values were checked using the Mancoosi cudf solution checker available here.

Environment: 24 core Intel(R) Xeon(R) E5-2630 v2 CPU 2.60GHz machines with Debian Linux operating system.

* All solvers and tools were run with a single thread.

Algorithms and Solvers:

* The package upgradeability tool mccs , version 1.1, implements the ILP-based algorithm, explained in this report. The algorithm is adapted from this work in the context of Constraint Programming. mccs was run with the following ILP solvers:

- Gurobi, version 9.0.3

- CPLEX, version 12.10.0

- SCIP, version 7.0.1

- Cbc, version devel, build date: January 14 2021

- GLPK, version v4.65

- lpsolve, version 5.5.2.5

* The package upgradeability tool packup was linked to a C++ library implementing SAT-based leximax optimisation algorithms. The following algorithms were tested:

Non-core-guided algorithms (static sorting networks, each with the largest possible size):

- linear-su (Linear SAT-UNSAT search)

- linear-us (Linear UNSAT-SAT search)

- binary (Binary search)

Core-guided algorithms:

- core-static (Static sorting networks)

- core-merge (Dynamic sorting networks that grow by sorting the new variables and merging with the old sorting networks)

- core-rebuild (Dynamic sorting networks that grow by rebuilding the sorting networks and deleting the old encoding - does not allow continuous incremental SAT solving)

- core-rebuild-incr (Dynamic sorting networks that grow by rebuilding the sorting networks; does not delete the old encoding - allows incremental SAT solving)

- core-merge-dc (core-merge + disjoint cores step)

- core-rebuild-dc (core-rebuild + disjoint cores step)

- core-rebuild-incr-dc (core-rebuild-incr + disjoint cores step)

The CaDiCaL incremental SAT solving library was used, version 1.3.1.

Date of experiment: Feb-15-2022