# local

hash: 30ccfe031df04672f69f8bc45f9ef7d1
value:
/raid/gbd/cnf-3/sat2005/random/LargeSizeBenches/k5-r20-v600/OKgenerator_s0=32s1=42n=600l=5cp=12000-Dnr0=0nr1=7-o.shuffled-as.sat05-1543.cnf.xz


hash: b0f28afd4a16be3ebd264945fb16eedb
value:
/raid/gbd/cnf-3/sat2005/random/LargeSizeBenches/k5-r20-v600/OKgenerator_s0=32s1=42n=600l=5cp=12000-Dnr0=0nr1=8-o.shuffled-as.sat05-1545.cnf.xz


hash: 4bb0ef977d9bf688e132b28cf644ee07
value:
/raid/gbd/cnf-3/sat2005/random/LargeSizeBenches/k7-r85-v140/OKgenerator_s0=32s1=30n=140l=7cp=11900-Dnr0=0nr1=0-o.shuffled-as.sat05-1594.cnf.xz


hash: a3e6b5bd0e8196b270f2767b95e7bac7
value:
/raid/gbd/cnf-3/sat2005/random/LargeSizeBenches/k7-r85-v140/OKgenerator_s0=32s1=30n=140l=7cp=11900-Dnr0=0nr1=5-o.shuffled-as.sat05-1592.cnf.xz


hash: 3209475d7b4651e00c7c546b20c47b4e
value:
/raid/gbd/cnf-3/sat2005/random/LargeSizeBenches/k7-r85-v140/OKgenerator_s0=32s1=30n=140l=7cp=11900-Dnr0=0nr1=1-o.shuffled-as.sat05-1596.cnf.xz


hash: 92c16c8875f0aaedf345bf57f50bd77c
value:
/raid/gbd/cnf-3/sat2005/random/LargeSizeBenches/k7-r85-v140/OKgenerator_s0=32s1=30n=140l=7cp=11900-Dnr0=0nr1=9-o.shuffled-as.sat05-1599.cnf.xz


hash: 329448b118ebdabc09da4f65e9ca696a
value:
/raid/gbd/cnf-3/sat2005/random/LargeSizeBenches/k7-r85-v140/OKgenerator_s0=32s1=30n=140l=7cp=11900-Dnr0=0nr1=3-o.shuffled-as.sat05-1600.cnf.xz


hash: abc830a8a47cdc8856f31659523880fb
value:
/raid/gbd/cnf-3/sat2005/random/LargeSizeBenches/k7-r85-v140/OKgenerator_s0=32s1=30n=140l=7cp=11900-Dnr0=0nr1=4-o.shuffled-as.sat05-1601.cnf.xz


hash: 833869654fe111ac4f387b16829d37de
value:
/raid/gbd/cnf-3/sat2005/random/LargeSizeBenches/k7-r85-v140/OKgenerator_s0=32s1=30n=140l=7cp=11900-Dnr0=0nr1=6-o.shuffled-as.sat05-1593.cnf.xz


hash: 7214bdbefb1a55824dd3746adc3bdea0
value:
/raid/gbd/cnf-3/sat2005/random/LargeSizeBenches/k7-r85-v140/OKgenerator_s0=32s1=30n=140l=7cp=11900-Dnr0=0nr1=2-o.shuffled-as.sat05-1598.cnf.xz


hash: 7f9bf7767f5f60eec442cade467cffca
value:
/raid/gbd/cnf-3/sat2005/random/LargeSizeBenches/k7-r85-v140/OKgenerator_s0=32s1=30n=140l=7cp=11900-Dnr0=0nr1=7-o.shuffled-as.sat05-1595.cnf.xz


hash: ac7947fe19b908c0fd89a1168e610d1e
value:
/raid/gbd/cnf-3/sat2005/random/LargeSizeBenches/k5-r20-v800/OKgenerator_s0=32s1=36n=800l=5cp=16000-Dnr0=0nr1=3-o.shuffled-as.sat05-1564.cnf.xz


hash: db0cdc06420775a00e46ae7822e5faf3
value:
/raid/gbd/cnf-3/sat2005/random/LargeSizeBenches/k5-r20-v800/OKgenerator_s0=32s1=36n=800l=5cp=16000-Dnr0=0nr1=9-o.shuffled-as.sat05-1563.cnf.xz


hash: 3efc4b3812c30b06a6b8be2caa9f2f8d
value:
/raid/gbd/cnf-3/sat2005/random/LargeSizeBenches/k7-r85-v140/OKgenerator_s0=32s1=30n=140l=7cp=11900-Dnr0=0nr1=8-o.shuffled-as.sat05-1597.cnf.xz


hash: 6bfac8e15f0223301155414d33f38dc0
value:
/raid/gbd/cnf-3/sat2005/random/LargeSizeBenches/k5-r20-v800/OKgenerator_s0=32s1=36n=800l=5cp=16000-Dnr0=0nr1=6-o.shuffled-as.sat05-1567.cnf.xz


hash: 377340380cc28de55a9305dbdfade62f
value:
/raid/gbd/cnf-3/sat2005/random/LargeSizeBenches/k5-r20-v800/OKgenerator_s0=32s1=36n=800l=5cp=16000-Dnr0=0nr1=2-o.shuffled-as.sat05-1562.cnf.xz


hash: f079c1dbb6e480d15998f2b24e6ba29d
value:
/raid/gbd/cnf-3/sat2005/random/LargeSizeBenches/k5-r20-v800/OKgenerator_s0=32s1=36n=800l=5cp=16000-Dnr0=0nr1=4-o.shuffled-as.sat05-1565.cnf.xz


hash: ba97baacf48679459baf947efbe85491
value:
/raid/gbd/cnf-3/sat2005/random/LargeSizeBenches/k5-r20-v800/OKgenerator_s0=32s1=36n=800l=5cp=16000-Dnr0=0nr1=8-o.shuffled-as.sat05-1571.cnf.xz


hash: ff8932769e5aa7ded40c49931fb0815c
value:
/raid/gbd/cnf-3/sat2005/random/LargeSizeBenches/k5-r20-v800/OKgenerator_s0=32s1=36n=800l=5cp=16000-Dnr0=0nr1=5-o.shuffled-as.sat05-1566.cnf.xz


hash: c3bf6ab062a5d990ea20b88adc7a9f4b
value:
/raid/gbd/cnf-3/sat2005/random/LargeSizeBenches/k5-r20-v800/OKgenerator_s0=32s1=36n=800l=5cp=16000-Dnr0=0nr1=7-o.shuffled-as.sat05-1569.cnf.xz


hash: 254adcca25e4573815d1f09c26a59aa5
value:
/raid/gbd/cnf-3/sat2005/random/LargeSizeBenches/k5-r20-v800/OKgenerator_s0=32s1=36n=800l=5cp=16000-Dnr0=0nr1=0-o.shuffled-as.sat05-1568.cnf.xz


hash: d90272ca963aa97c55eaf5e0b2ebdfbd
value:
/raid/gbd/cnf-3/sat2005/random/LargeSizeBenches/k5-r20-v800/OKgenerator_s0=32s1=36n=800l=5cp=16000-Dnr0=0nr1=1-o.shuffled-as.sat05-1570.cnf.xz


hash: fb0f0c607967eac4e3303bfe68f89f87
value:
/raid/gbd/cnf-3/sat2005/random/LargeSizeBenches/k3-r4.2-v4000/OKgenerator_s0=32s1=40n=4000l=3cp=16800-Dnr0=0nr1=7-o.shuffled-as.sat05-1677.cnf.xz


hash: ae929f562d2940bbc5c3feb02503c11f
value:
/raid/gbd/cnf-3/sat2005/random/LargeSizeBenches/k3-r4.2-v4000/OKgenerator_s0=32s1=40n=4000l=3cp=16800-Dnr0=0nr1=2-o.shuffled-as.sat05-1680.cnf.xz


hash: d77a397fc329584c25132a80004219ac
value:
/raid/gbd/cnf-3/sat2005/random/LargeSizeBenches/k3-r4.2-v4000/OKgenerator_s0=32s1=40n=4000l=3cp=16800-Dnr0=0nr1=4-o.shuffled-as.sat05-1673.cnf.xz


hash: 290e5dcf5a97d6a82e33d922870209d7
value:
/raid/gbd/cnf-3/sat2005/random/LargeSizeBenches/k3-r4.2-v4000/OKgenerator_s0=32s1=40n=4000l=3cp=16800-Dnr0=0nr1=6-o.shuffled-as.sat05-1675.cnf.xz


hash: 5c38381d59f6e6764e816ff68342dd7a
value:
/raid/gbd/cnf-3/sat2005/random/LargeSizeBenches/k3-r4.2-v4000/OKgenerator_s0=32s1=40n=4000l=3cp=16800-Dnr0=0nr1=5-o.shuffled-as.sat05-1674.cnf.xz


hash: 83ba4b23aa1f981008d48d383ea17f8b
value:
/raid/gbd/cnf-3/sat2005/random/LargeSizeBenches/k3-r4.2-v4000/OKgenerator_s0=32s1=40n=4000l=3cp=16800-Dnr0=0nr1=0-o.shuffled-as.sat05-1676.cnf.xz


hash: 4ec3919720874402f432c1140bec79bc
value:
/raid/gbd/cnf-3/sat2005/random/LargeSizeBenches/k3-r4.2-v4000/OKgenerator_s0=32s1=40n=4000l=3cp=16800-Dnr0=0nr1=9-o.shuffled-as.sat05-1681.cnf.xz


hash: 8767146fb98e343b60a69b29241774aa
value:
/raid/gbd/cnf-3/sat2005/random/LargeSizeBenches/k3-r4.2-v4000/OKgenerator_s0=32s1=40n=4000l=3cp=16800-Dnr0=0nr1=1-o.shuffled-as.sat05-1678.cnf.xz


hash: a79ebe846c641a7c320fb5379cc79c72
value:
/raid/gbd/cnf-3/sat2005/random/LargeSizeBenches/k3-r4.2-v4000/OKgenerator_s0=32s1=40n=4000l=3cp=16800-Dnr0=0nr1=8-o.shuffled-as.sat05-1679.cnf.xz


hash: 0ee5033a1e4ad12e2faa5ed847901c2b
value:
/raid/gbd/cnf-3/sat2005/random/LargeSizeBenches/k3-r4.2-v4000/OKgenerator_s0=32s1=40n=4000l=3cp=16800-Dnr0=0nr1=3-o.shuffled-as.sat05-1672.cnf.xz


hash: 9f970fe180010a3ff55a370d72ae0d80
value:
/raid/gbd/cnf-3/sat2005/random/LargeSizeBenches/k3-r4.2-v6000/OKgenerator_s0=32s1=41n=6000l=3cp=25200-Dnr0=0nr1=5-o.shuffled-as.sat05-1690.cnf.xz


hash: 8f8e3ad768a3e6d4623835060d7541e6
value:
/raid/gbd/cnf-3/sat2005/random/LargeSizeBenches/k3-r4.2-v6000/OKgenerator_s0=32s1=41n=6000l=3cp=25200-Dnr0=0nr1=2-o.shuffled-as.sat05-1686.cnf.xz


hash: f9284d743919d7f423334b7d8ba7d919
value:
/raid/gbd/cnf-3/sat2005/random/LargeSizeBenches/k3-r4.2-v6000/OKgenerator_s0=32s1=41n=6000l=3cp=25200-Dnr0=0nr1=0-o.shuffled-as.sat05-1682.cnf.xz


hash: bf9156739dfa342018dddd0979290754
value:
/raid/gbd/cnf-3/sat2005/random/LargeSizeBenches/k3-r4.2-v6000/OKgenerator_s0=32s1=41n=6000l=3cp=25200-Dnr0=0nr1=3-o.shuffled-as.sat05-1688.cnf.xz


hash: 672a263bc72e181023b31f75ed72f835
value:
/raid/gbd/cnf-3/sat2005/random/LargeSizeBenches/k3-r4.2-v6000/OKgenerator_s0=32s1=41n=6000l=3cp=25200-Dnr0=0nr1=1-o.shuffled-as.sat05-1684.cnf.xz


hash: 9138bf7187ff27f7e28ac27e4987e0a9
value:
/raid/gbd/cnf-3/sat2005/random/LargeSizeBenches/k3-r4.2-v6000/OKgenerator_s0=32s1=41n=6000l=3cp=25200-Dnr0=0nr1=4-o.shuffled-as.sat05-1689.cnf.xz


hash: d4d431306eccad299b2e308810b2cd35
value:
/raid/gbd/cnf-3/sat2005/random/LargeSizeBenches/k3-r4.2-v6000/OKgenerator_s0=32s1=41n=6000l=3cp=25200-Dnr0=0nr1=6-o.shuffled-as.sat05-1691.cnf.xz


hash: b25b669eae6c5fd9fdbe168b4befcfa5
value:
/raid/gbd/cnf-3/sat2005/random/LargeSizeBenches/k3-r4.2-v6000/OKgenerator_s0=32s1=41n=6000l=3cp=25200-Dnr0=0nr1=8-o.shuffled-as.sat05-1685.cnf.xz


hash: cad7fb6a383c0d94ef2b4f5612dd2678
value:
/raid/gbd/cnf-3/sat2005/random/LargeSizeBenches/k3-r4.2-v6000/OKgenerator_s0=32s1=41n=6000l=3cp=25200-Dnr0=0nr1=7-o.shuffled-as.sat05-1683.cnf.xz


hash: 3112c9821dec5f4f39af226e49cd5392
value:
/raid/gbd/cnf-3/sat2005/random/LargeSizeBenches/k3-r4.2-v6000/OKgenerator_s0=32s1=41n=6000l=3cp=25200-Dnr0=0nr1=9-o.shuffled-as.sat05-1687.cnf.xz


hash: 98e92c3dedad884d80eac4440e1720b6
value:
/raid/gbd/cnf-3/sat2005/random/LargeSizeBenches/k3-r4.2-v8000/OKgenerator_s0=32s1=14n=8000l=3cp=33600-Dnr0=0nr1=2-o.shuffled-as.sat05-1700.cnf.xz


hash: 17e12c78209e40e0726aa2ecc023381d
value:
/raid/gbd/cnf-3/sat2005/random/LargeSizeBenches/k3-r4.2-v8000/OKgenerator_s0=32s1=14n=8000l=3cp=33600-Dnr0=0nr1=6-o.shuffled-as.sat05-1695.cnf.xz


hash: 780936617406ea68a7d34eab787462dd
value:
/raid/gbd/cnf-3/sat2005/random/LargeSizeBenches/k3-r4.2-v8000/OKgenerator_s0=32s1=14n=8000l=3cp=33600-Dnr0=0nr1=4-o.shuffled-as.sat05-1693.cnf.xz


hash: 02393be00525d205cbe0b6ca8ed22f48
value:
/raid/gbd/cnf-3/sat2005/random/LargeSizeBenches/k3-r4.2-v8000/OKgenerator_s0=32s1=14n=8000l=3cp=33600-Dnr0=0nr1=5-o.shuffled-as.sat05-1694.cnf.xz


hash: 916f419b6456c6964d4f768d1908a88a
value:
/raid/gbd/cnf-3/sat2005/random/LargeSizeBenches/k3-r4.2-v8000/OKgenerator_s0=32s1=14n=8000l=3cp=33600-Dnr0=0nr1=3-o.shuffled-as.sat05-1692.cnf.xz


hash: b01a2071b3b9d8d6939b85ad70094426
value:
/raid/gbd/cnf-3/sat2005/random/LargeSizeBenches/k3-r4.2-v8000/OKgenerator_s0=32s1=14n=8000l=3cp=33600-Dnr0=0nr1=1-o.shuffled-as.sat05-1698.cnf.xz


hash: 6e8c513b107a8b6f3cf00ff38dc04bf9
value:
/raid/gbd/cnf-3/sat2005/random/LargeSizeBenches/k3-r4.2-v8000/OKgenerator_s0=32s1=14n=8000l=3cp=33600-Dnr0=0nr1=9-o.shuffled-as.sat05-1701.cnf.xz


hash: f911d75588156c93e1275d7176e82c2f
value:
/raid/gbd/cnf-3/sat2005/random/LargeSizeBenches/k3-r4.2-v8000/OKgenerator_s0=32s1=14n=8000l=3cp=33600-Dnr0=0nr1=0-o.shuffled-as.sat05-1696.cnf.xz


hash: f1566b9c63cd5f0459e2860d02ff4374
value:
/raid/gbd/cnf-3/sat2005/random/LargeSizeBenches/k3-r4.2-v8000/OKgenerator_s0=32s1=14n=8000l=3cp=33600-Dnr0=0nr1=7-o.shuffled-as.sat05-1697.cnf.xz


hash: a09b0e258d6dc8589f250ba4087a439a
value:
/raid/gbd/cnf-3/sat2005/random/LargeSizeBenches/k3-r4.2-v8000/OKgenerator_s0=32s1=14n=8000l=3cp=33600-Dnr0=0nr1=8-o.shuffled-as.sat05-1699.cnf.xz


hash: f43ef6295cda449ce02a9707a7e20ecb
value:
/raid/gbd/cnf-3/sat2005/random/LargeSizeBenches/k5-r20-v900/OKgenerator_s0=32s1=44n=900l=5cp=18000-Dnr0=0nr1=0-o.shuffled-as.sat05-1580.cnf.xz


hash: 9d14843484ef392285db8c713d0368d4
value:
/raid/gbd/cnf-3/sat2005/random/LargeSizeBenches/k5-r20-v900/OKgenerator_s0=32s1=44n=900l=5cp=18000-Dnr0=0nr1=7-o.shuffled-as.sat05-1581.cnf.xz


hash: fd7afcefdf461c5c73e39ead2154447f
value:
/raid/gbd/cnf-3/sat2005/random/LargeSizeBenches/k5-r20-v900/OKgenerator_s0=32s1=44n=900l=5cp=18000-Dnr0=0nr1=1-o.shuffled-as.sat05-1572.cnf.xz


hash: 561acea73f920abfe2ba8ba4d56b2cea
value:
/raid/gbd/cnf-3/sat2005/random/LargeSizeBenches/k5-r20-v900/OKgenerator_s0=32s1=44n=900l=5cp=18000-Dnr0=0nr1=3-o.shuffled-as.sat05-1576.cnf.xz


hash: 7cc08f41d81f3531dba5121ad7a6e9d3
value:
/raid/gbd/cnf-3/sat2005/random/LargeSizeBenches/k5-r20-v900/OKgenerator_s0=32s1=44n=900l=5cp=18000-Dnr0=0nr1=4-o.shuffled-as.sat05-1577.cnf.xz


hash: eaf8dcee151ef5cc8583799866995896
value:
/raid/gbd/cnf-3/sat2005/random/LargeSizeBenches/k5-r20-v900/OKgenerator_s0=32s1=44n=900l=5cp=18000-Dnr0=0nr1=8-o.shuffled-as.sat05-1573.cnf.xz


hash: 68a7db589b0ce8daedcd075bf01fd66b
value:
/raid/gbd/cnf-3/sat2005/random/LargeSizeBenches/k5-r20-v900/OKgenerator_s0=32s1=44n=900l=5cp=18000-Dnr0=0nr1=5-o.shuffled-as.sat05-1578.cnf.xz


hash: 2743720ff44ee6d33cfc8b77a43fd4f2
value:
/raid/gbd/cnf-3/sat2005/random/LargeSizeBenches/k5-r20-v900/OKgenerator_s0=32s1=44n=900l=5cp=18000-Dnr0=0nr1=6-o.shuffled-as.sat05-1579.cnf.xz


hash: c22167d6ce829167566c8f5890f4a152
value:
/raid/gbd/cnf-3/sat2005/random/LargeSizeBenches/k5-r20-v900/OKgenerator_s0=32s1=44n=900l=5cp=18000-Dnr0=0nr1=2-o.shuffled-as.sat05-1574.cnf.xz


hash: 963b852f14ac38743b2e2aa8becb8612
value:
/raid/gbd/cnf-3/sat2005/random/LargeSizeBenches/k5-r20-v900/OKgenerator_s0=32s1=44n=900l=5cp=18000-Dnr0=0nr1=9-o.shuffled-as.sat05-1575.cnf.xz


hash: 241ea68637839f2e15192d8765a6ce16
value:
/raid/gbd/cnf-3/sat2005/random/LargeSizeBenches/k5-r20-1000/OKgenerator_s0=32s1=28n=1000l=5cp=20000-Dnr0=0nr1=0-o.shuffled-as.sat05-1528.cnf.xz


hash: bb11c05131e400956f1ecf0c6532a98e
value:
/raid/gbd/cnf-3/sat2005/random/LargeSizeBenches/k5-r20-1000/OKgenerator_s0=32s1=28n=1000l=5cp=20000-Dnr0=0nr1=6-o.shuffled-as.sat05-1527.cnf.xz


hash: b38dab1e4f5165bc6a732b3bd3b1d467
value:
/raid/gbd/cnf-3/sat2005/random/LargeSizeBenches/k5-r20-1000/OKgenerator_s0=32s1=28n=1000l=5cp=20000-Dnr0=0nr1=9-o.shuffled-as.sat05-1523.cnf.xz


hash: 0c37ae8eba2ff32735f1d3fb9c2b6397
value:
/raid/gbd/cnf-3/sat2005/random/LargeSizeBenches/k5-r20-1000/OKgenerator_s0=32s1=28n=1000l=5cp=20000-Dnr0=0nr1=4-o.shuffled-as.sat05-1525.cnf.xz


hash: 3c73ac0f249426c23caeb27a79b18ce3
value:
/raid/gbd/cnf-3/sat2005/random/LargeSizeBenches/k5-r20-1000/OKgenerator_s0=32s1=28n=1000l=5cp=20000-Dnr0=0nr1=2-o.shuffled-as.sat05-1522.cnf.xz


hash: 6bfe5f11d71952250b11bb63b107fb79
value:
/raid/gbd/cnf-3/sat2005/random/LargeSizeBenches/k5-r20-1000/OKgenerator_s0=32s1=28n=1000l=5cp=20000-Dnr0=0nr1=8-o.shuffled-as.sat05-1531.cnf.xz


hash: 4826372d4fa29d9d753e1af44a7ec5dd
value:
/raid/gbd/cnf-3/sat2005/random/LargeSizeBenches/k5-r20-1000/OKgenerator_s0=32s1=28n=1000l=5cp=20000-Dnr0=0nr1=7-o.shuffled-as.sat05-1529.cnf.xz


hash: 0d48e7b14e99907658ce21c5a24d8216
value:
/raid/gbd/cnf-3/sat2005/random/LargeSizeBenches/k5-r20-1000/OKgenerator_s0=32s1=28n=1000l=5cp=20000-Dnr0=0nr1=1-o.shuffled-as.sat05-1530.cnf.xz


hash: 799b7812f2205ecf28c6cc037c6e5aa1
value:
/raid/gbd/cnf-3/sat2005/random/LargeSizeBenches/k5-r20-1000/OKgenerator_s0=32s1=28n=1000l=5cp=20000-Dnr0=0nr1=3-o.shuffled-as.sat05-1524.cnf.xz


hash: c933e1b486dea3a7f4137391576d02c6
value:
/raid/gbd/cnf-3/sat2005/random/LargeSizeBenches/k5-r20-1000/OKgenerator_s0=32s1=28n=1000l=5cp=20000-Dnr0=0nr1=5-o.shuffled-as.sat05-1526.cnf.xz


hash: f556bf8f96f824a4cdcb31a4c4945b34
value:
/raid/gbd/cnf-3/sat2005/random/LargeSizeBenches/k3-r4.2-v12000/OKgenerator_s0=32s1=18n=12000l=3cp=50400-Dnr0=0nr1=6-o.shuffled-as.sat05-1655.cnf.xz


hash: af66472d97302d1934426086ebb27ca5
value:
/raid/gbd/cnf-3/sat2005/random/LargeSizeBenches/k3-r4.2-v12000/OKgenerator_s0=32s1=18n=12000l=3cp=50400-Dnr0=0nr1=3-o.shuffled-as.sat05-1652.cnf.xz


hash: f13049f10f192efdff53c621c98277fb
value:
/raid/gbd/cnf-3/sat2005/random/LargeSizeBenches/k3-r4.2-v12000/OKgenerator_s0=32s1=18n=12000l=3cp=50400-Dnr0=0nr1=4-o.shuffled-as.sat05-1653.cnf.xz


hash: d42b5328829cf186ce284cb8eceaed50
value:
/raid/gbd/cnf-3/sat2005/random/LargeSizeBenches/k3-r4.2-v12000/OKgenerator_s0=32s1=18n=12000l=3cp=50400-Dnr0=0nr1=7-o.shuffled-as.sat05-1657.cnf.xz


hash: 4cd9972fc13682f57275e157da2dee1d
value:
/raid/gbd/cnf-3/sat2005/random/LargeSizeBenches/k3-r4.2-v12000/OKgenerator_s0=32s1=18n=12000l=3cp=50400-Dnr0=0nr1=8-o.shuffled-as.sat05-1659.cnf.xz


hash: 58f9cd896773f4b23d9e6facdf444ffd
value:
/raid/gbd/cnf-3/sat2005/random/LargeSizeBenches/k3-r4.2-v12000/OKgenerator_s0=32s1=18n=12000l=3cp=50400-Dnr0=0nr1=2-o.shuffled-as.sat05-1660.cnf.xz


hash: cb18e3582f2ebb7e8f255c78a54ad921
value:
/raid/gbd/cnf-3/sat2005/random/LargeSizeBenches/k3-r4.2-v12000/OKgenerator_s0=32s1=18n=12000l=3cp=50400-Dnr0=0nr1=1-o.shuffled-as.sat05-1658.cnf.xz


hash: 25c1725edb04783a1c772e0340d5fbdc
value:
/raid/gbd/cnf-3/sat2005/random/LargeSizeBenches/k3-r4.2-v12000/OKgenerator_s0=32s1=18n=12000l=3cp=50400-Dnr0=0nr1=9-o.shuffled-as.sat05-1661.cnf.xz


hash: 2da25a5dfa5ab0471cb602f93a7758a5
value:
/raid/gbd/cnf-3/sat2005/random/LargeSizeBenches/k3-r4.2-v12000/OKgenerator_s0=32s1=18n=12000l=3cp=50400-Dnr0=0nr1=5-o.shuffled-as.sat05-1654.cnf.xz


hash: f327dee1b32d4d0d67ca4d83001fcc09
value:
/raid/gbd/cnf-3/sat2005/random/LargeSizeBenches/k3-r4.2-v12000/OKgenerator_s0=32s1=18n=12000l=3cp=50400-Dnr0=0nr1=0-o.shuffled-as.sat05-1656.cnf.xz


hash: 3cb513e7c358f71d0ecdfe44d94a0499
value:
/raid/gbd/cnf-3/sat2005/random/LargeSizeBenches/k7-r85-v200/OKgenerator_s0=32s1=19n=200l=7cp=17000-Dnr0=0nr1=2-o.shuffled-as.sat05-1630.cnf.xz


hash: 03e3afdc2972da43f4549ba405ff2da4
value:
/raid/gbd/cnf-3/sat2005/random/LargeSizeBenches/k7-r85-v200/OKgenerator_s0=32s1=19n=200l=7cp=17000-Dnr0=0nr1=6-o.shuffled-as.sat05-1625.cnf.xz


hash: a52aa9bf88d4e8883fb6fcd24ff6094f
value:
/raid/gbd/cnf-3/sat2005/random/LargeSizeBenches/k7-r85-v200/OKgenerator_s0=32s1=19n=200l=7cp=17000-Dnr0=0nr1=3-o.shuffled-as.sat05-1622.cnf.xz


hash: 3f0e4ff204a01fa3f47765f463e3ce84
value:
/raid/gbd/cnf-3/sat2005/random/LargeSizeBenches/k7-r85-v200/OKgenerator_s0=32s1=19n=200l=7cp=17000-Dnr0=0nr1=1-o.shuffled-as.sat05-1628.cnf.xz


hash: 61bd566cce5c85215821a74d72295066
value:
/raid/gbd/cnf-3/sat2005/random/LargeSizeBenches/k7-r85-v200/OKgenerator_s0=32s1=19n=200l=7cp=17000-Dnr0=0nr1=5-o.shuffled-as.sat05-1624.cnf.xz


hash: 720abc185b0a744440c8986bbaab1a1c
value:
/raid/gbd/cnf-3/sat2005/random/LargeSizeBenches/k7-r85-v200/OKgenerator_s0=32s1=19n=200l=7cp=17000-Dnr0=0nr1=4-o.shuffled-as.sat05-1623.cnf.xz


hash: 3940ef7a7217b19b738dba0cc015da09
value:
/raid/gbd/cnf-3/sat2005/random/LargeSizeBenches/k7-r85-v200/OKgenerator_s0=32s1=19n=200l=7cp=17000-Dnr0=0nr1=0-o.shuffled-as.sat05-1626.cnf.xz


hash: 47b34dfabe04f6c4d11e8ded7757b3be
value:
/raid/gbd/cnf-3/sat2005/random/LargeSizeBenches/k7-r85-v200/OKgenerator_s0=32s1=19n=200l=7cp=17000-Dnr0=0nr1=8-o.shuffled-as.sat05-1629.cnf.xz


hash: 41ec7e0da775b3dabc8a2a14d661eb98
value:
/raid/gbd/cnf-3/sat2005/random/LargeSizeBenches/k3-r4.2-v2000/OKgenerator_s0=32s1=2n=2000l=3cp=8400-Dnr0=0nr1=7-o.shuffled-as.sat05-1664.cnf.xz


hash: 0ef3375cad6aa9ffd03024a37edb8cda
value:
/raid/gbd/cnf-3/sat2005/random/LargeSizeBenches/k3-r4.2-v2000/OKgenerator_s0=32s1=2n=2000l=3cp=8400-Dnr0=0nr1=5-o.shuffled-as.sat05-1671.cnf.xz


hash: 08e2fa034cd80757e65f1d13e63df57a
value:
/raid/gbd/cnf-3/sat2005/random/LargeSizeBenches/k7-r85-v200/OKgenerator_s0=32s1=19n=200l=7cp=17000-Dnr0=0nr1=9-o.shuffled-as.sat05-1631.cnf.xz


hash: c3a3bb3e39ddb08b20ec8444445521cd
value:
/raid/gbd/cnf-3/sat2005/random/LargeSizeBenches/k3-r4.2-v2000/OKgenerator_s0=32s1=2n=2000l=3cp=8400-Dnr0=0nr1=9-o.shuffled-as.sat05-1668.cnf.xz


hash: b0172443d1a19e4934628f9380314237
value:
/raid/gbd/cnf-3/sat2005/random/LargeSizeBenches/k3-r4.2-v2000/OKgenerator_s0=32s1=2n=2000l=3cp=8400-Dnr0=0nr1=4-o.shuffled-as.sat05-1670.cnf.xz


hash: 43a4ab75214706b14ec73d4721be6bcd
value:
/raid/gbd/cnf-3/sat2005/random/LargeSizeBenches/k3-r4.2-v2000/OKgenerator_s0=32s1=2n=2000l=3cp=8400-Dnr0=0nr1=8-o.shuffled-as.sat05-1666.cnf.xz


hash: 1e60a5cd9099aed64ac6516d8a777c52
value:
/raid/gbd/cnf-3/sat2005/random/LargeSizeBenches/k3-r4.2-v2000/OKgenerator_s0=32s1=2n=2000l=3cp=8400-Dnr0=0nr1=0-o.shuffled-as.sat05-1663.cnf.xz


hash: 4cc2e2abc22e061f61daa506e9cfdbf5
value:
/raid/gbd/cnf-3/sat2005/random/LargeSizeBenches/k7-r85-v200/OKgenerator_s0=32s1=19n=200l=7cp=17000-Dnr0=0nr1=7-o.shuffled-as.sat05-1627.cnf.xz


hash: d1c1a1d639006b3510d64931082a4722
value:
/raid/gbd/cnf-3/sat2005/random/LargeSizeBenches/k3-r4.2-v2000/OKgenerator_s0=32s1=2n=2000l=3cp=8400-Dnr0=0nr1=6-o.shuffled-as.sat05-1662.cnf.xz


hash: 46f64708c19e3d9249ca00c71fc533b1
value:
/raid/gbd/cnf-3/sat2005/random/LargeSizeBenches/k3-r4.2-v2000/OKgenerator_s0=32s1=2n=2000l=3cp=8400-Dnr0=0nr1=2-o.shuffled-as.sat05-1667.cnf.xz


hash: 5c088a1a62afb465624b0e0b8d959cb8
value:
/raid/gbd/cnf-3/sat2005/random/LargeSizeBenches/k3-r4.2-v2000/OKgenerator_s0=32s1=2n=2000l=3cp=8400-Dnr0=0nr1=1-o.shuffled-as.sat05-1665.cnf.xz


hash: 08a3c2be6118912aaf18aa93661db5f0
value:
/raid/gbd/cnf-3/sat2005/random/LargeSizeBenches/k3-r4.2-v2000/OKgenerator_s0=32s1=2n=2000l=3cp=8400-Dnr0=0nr1=3-o.shuffled-as.sat05-1669.cnf.xz


hash: d29e0ba0b7cdb0e41f45143d3b914bae
value:
/raid/gbd/cnf-3/sat2005/crafted/roussel05/cnfcolor-PHNF/phnf-size10-exclusive-myciel6-tr.used-as.sat04-320.shuffled-as.sat05-4200.cnf.xz


hash: a0bd1bde8e9878deb48c442790160c50
value:
/raid/gbd/cnf-3/sat2005/crafted/roussel05/equilarge-PHNF/phnf-size10-exclusive-philips.used-as.sat04-301.shuffled-as.sat05-4190.cnf.xz


hash: 88c20632ce18b001dee1f7c52626cece
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/ordering/gt-ordering/unsat/gt-020.shuffled-as.sat05-1305.cnf.xz


hash: 814177733d6a61d675f0c95fdf82d920
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/ordering/gt-ordering/unsat/gt-030.shuffled-as.sat05-1307.cnf.xz


hash: e9b06a69c367ddb0149adf40cc03a54c
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/ordering/gt-ordering/unsat/gt-025.shuffled-as.sat05-1306.cnf.xz


hash: 7a02ff8516fbe84bcd6a2bd007f697d4
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/ordering/gt-ordering/unsat/gt-018.shuffled-as.sat05-1304.cnf.xz


hash: 322b351df09ea7ef903349e7de11ce22
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/ordering/gt-ordering/unsat/gt-014.shuffled-as.sat05-1302.cnf.xz


hash: 85982c2cb804926d851ab63209cc1d56
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/ordering/gt-ordering/unsat/gt-012.shuffled-as.sat05-1301.cnf.xz


hash: 9b069ecad73bc53ddc99fce549da1b41
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/ordering/gt-ordering/unsat/gt-035.shuffled-as.sat05-1308.cnf.xz


hash: 47e5eb7b21d807b8699d4f0f9b55c103
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/ordering/gt-ordering/unsat/gt-040.shuffled-as.sat05-1309.cnf.xz


hash: cd84e41efae30dd7c3e42e58875d9605
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/ordering/gt-ordering/unsat/gt-050.shuffled-as.sat05-1311.cnf.xz


hash: 4f8f31bf2d3a816b560b0ed39420199b
value:
/raid/gbd/cnf-3/sat2019/new/Manthey/sv-comp19_prop-reachsafety.26_stack_cas_longer_false-unreach-call.i-witness.cnf.xz


hash: af7c2ae36773941c4ca11f3848d348f9
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/ordering/gt-ordering/unsat/gt-016.shuffled-as.sat05-1303.cnf.xz


hash: aeba8c7aa0b49f275168d3c1d39c3472
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/ordering/gt-ordering/unsat/gt-045.shuffled-as.sat05-1310.cnf.xz


hash: a728101c7a4bd104b7cb8f62f6d60948
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/ordering/gt-ordering/sat/gt-045.shuffled-as.sat05-1298.cnf.xz


hash: c51946462f76108b9c877cbcc4226cb8
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/ordering/gt-ordering/sat/gt-012.shuffled-as.sat05-1289.cnf.xz


hash: 521150afd1adf56e4e5b7c3cb0c1d359
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/ordering/gt-ordering/sat/gt-020.shuffled-as.sat05-1293.cnf.xz


hash: 62563ee5125f721c92a2309e89dfdf99
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/ordering/gt-ordering/unsat/gt-060.shuffled-as.sat05-1312.cnf.xz


hash: 36e17e3cba64f3beb46402b45a284eb5
value:
/raid/gbd/cnf-3/sat2005/crafted/roussel05/visbmc-PHNF/phnf-size10-exclusive-twoall.used-as.sat04-985.shuffled-as.sat05-4197.cnf.xz


hash: d4c69b4ab7d0091d133e834f99c14f62
value:
/raid/gbd/cnf-3/sat2005/crafted/roussel05/cnfcolor-PHNF/phnf-size10-exclusive-myciel6-cn.used-as.sat04-319.shuffled-as.sat05-4201.cnf.xz


hash: 2da6cd2db1412abbf001b66cfa91e92f
value:
/raid/gbd/cnf-3/sat2005/crafted/roussel05/equilarge-PHNF/phnf-size10-exclusive-equilarge_m2.used-as.sat04-899.shuffled-as.sat05-4185.cnf.xz


hash: e734314811ad58929a2ccdcd1d9ab733
value:
/raid/gbd/cnf-3/sat2005/crafted/roussel05/visbmc-PHNF/phnf-size10-exclusive-gigamax.used-as.sat04-984.shuffled-as.sat05-4194.cnf.xz


hash: 7452d214af4c7da10f01fe9d902c64f0
value:
/raid/gbd/cnf-3/sat2005/crafted/roussel05/equilarge-PHNF/phnf-size10-exclusive-equilarge_m3.used-as.sat04-900.shuffled-as.sat05-4186.cnf.xz


hash: 531684b79f1a8e19cf14d091d0b7c934
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/ordering/gt-ordering/sat/gt-018.shuffled-as.sat05-1292.cnf.xz


hash: bffe864bce727b082fc643422f21b8cc
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/ordering/gt-ordering/sat/gt-014.shuffled-as.sat05-1290.cnf.xz


hash: 13ad8e4f8453f77760e0f3da0a3b941f
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/ordering/gt-ordering/sat/gt-016.shuffled-as.sat05-1291.cnf.xz


hash: b6b2cc63c2c7b9fe89a9038dc55a3bf0
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/ordering/gt-ordering/sat/gt-040.shuffled-as.sat05-1297.cnf.xz


hash: edd9b4947d3af53fba73a76199fc253f
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/ordering/gt-ordering/sat/gt-025.shuffled-as.sat05-1294.cnf.xz


hash: 40d26f319ee52454efeedd680278c843
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/ordering/gt-ordering/sat/gt-035.shuffled-as.sat05-1296.cnf.xz


hash: 556eabb835080c71739a6d0bf62d7109
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/ordering/gt-ordering/sat/gt-030.shuffled-as.sat05-1295.cnf.xz


hash: 596fa3b67a14b26d2f5399e736cd420a
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/pebbling/grid-pebbling/unsat/grid-pbl-0070.shuffled-as.sat05-1343.shuffled-as.sat05-1343.cnf.xz


hash: e6abf24653683048df86b26ead3c7dd0
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/ordering/gt-ordering/sat/gt-050.shuffled-as.sat05-1299.cnf.xz


hash: 142aad09e92ae1db4a93942feb9fb929
value:
/raid/gbd/cnf-3/sat2005/crafted/roussel05/equilarge-PHNF/phnf-size10-exclusive-equilarge_m1.used-as.sat04-898.shuffled-as.sat05-4191.cnf.xz


hash: c757e31fd7b036b2143215fd4bc62557
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/ordering/gt-ordering/sat/gt-060.shuffled-as.sat05-1300.cnf.xz


hash: 62954dd70e7da9650d1ec610586b8bfb
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/pebbling/grid-pebbling/unsat/grid-pbl-0090.shuffled-as.sat05-1345.shuffled-as.sat05-1345.cnf.xz


hash: 92d6795785d35d1dcc42b15dc0e933d0
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/pebbling/grid-pebbling/unsat/grid-pbl-0150.shuffled-as.sat05-1347.shuffled-as.sat05-1347.cnf.xz


hash: 6f9d7d962beea74eddf5077eee7c1e24
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/pebbling/grid-pebbling/unsat/grid-pbl-0100.shuffled-as.sat05-1346.shuffled-as.sat05-1346.cnf.xz


hash: 182e9fe8ef2a85945f0c9f87b669f572
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/pebbling/grid-pebbling/unsat/grid-pbl-0080.shuffled-as.sat05-1344.shuffled-as.sat05-1344.cnf.xz


hash: 8ee0fe5e49493e924c0c39e5788ba7ef
value:
/raid/gbd/cnf-3/sat2005/crafted/roussel05/visbmc-PHNF/phnf-size10-exclusive-luckySeven.used-as.sat04-990.shuffled-as.sat05-4196.cnf.xz


hash: d4e874b4813060e8c55013e8255af0a2
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/pebbling/grid-pebbling/unsat/grid-pbl-0250.shuffled-as.sat05-1349.shuffled-as.sat05-1349.cnf.xz


hash: e85826d3f193cc3fb4b3f1aba884516e
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/pebbling/grid-pebbling/unsat/grid-pbl-0200.shuffled-as.sat05-1348.shuffled-as.sat05-1348.cnf.xz


hash: 2447517075bed78fd855f495484275c8
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/pebbling/grid-pebbling/unsat/grid-pbl-0060.shuffled-as.sat05-1342.shuffled-as.sat05-1342.cnf.xz


hash: 789adf1d7c739d75dbcddab91911ff39
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/pebbling/grid-pebbling/sat/grid-pbl-0200.shuffled-as.sat05-1339.shuffled-as.sat05-1339.cnf.xz


hash: ba6d0175fb9e9fb9c455d574cbbb373d
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/pebbling/grid-pebbling/unsat/grid-pbl-0300.shuffled-as.sat05-1350.shuffled-as.sat05-1350.cnf.xz


hash: 1eaf726460f8391351498eb122e19619
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/pebbling/grid-pebbling/sat/grid-pbl-0100.shuffled-as.sat05-1337.shuffled-as.sat05-1337.cnf.xz


hash: 338e4cd91f3a0c1661ca9290d074f3eb
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/pebbling/grid-pebbling/sat/grid-pbl-0060.shuffled-as.sat05-1333.shuffled-as.sat05-1333.cnf.xz


hash: 8f76a9b81bca0594b1747d53a93ee001
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/pebbling/grid-pebbling/sat/grid-pbl-0090.shuffled-as.sat05-1336.shuffled-as.sat05-1336.cnf.xz


hash: f8f8e42ce7ef996ed9468f5023e590e7
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/pebbling/grid-pebbling/sat/grid-pbl-0070.shuffled-as.sat05-1334.shuffled-as.sat05-1334.cnf.xz


hash: fc708b9e34c48d6902695c875d2c450b
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/pebbling/grid-pebbling/sat/grid-pbl-0080.shuffled-as.sat05-1335.shuffled-as.sat05-1335.cnf.xz


hash: fbb6177e8adb24f831b58cbc0ec36f43
value:
/raid/gbd/cnf-3/sat2005/crafted/roussel05/visbmc-PHNF/phnf-size10-exclusive-philo.used-as.sat04-988.shuffled-as.sat05-4195.cnf.xz


hash: 7da4e7f69019d26c330b6280bc4449b0
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/pebbling/random-pebbling/unsat/pbl-00060.shuffled-as.sat05-1323.shuffled-as.sat05-1323.cnf.xz


hash: ba2a977c2310461437fe424bf222ab04
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/pebbling/grid-pebbling/sat/grid-pbl-0150.shuffled-as.sat05-1338.shuffled-as.sat05-1338.cnf.xz


hash: 385ef155e92cd5bd799679e742e05018
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/pebbling/random-pebbling/unsat/pbl-00090.shuffled-as.sat05-1326.shuffled-as.sat05-1326.cnf.xz


hash: 4e64bcc4ea340ba97509d9252a01a0dd
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/pebbling/random-pebbling/unsat/pbl-00100.shuffled-as.sat05-1327.shuffled-as.sat05-1327.cnf.xz


hash: 17039a3ed02ea12653ec5389e56dab50
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/pebbling/random-pebbling/unsat/pbl-00070.shuffled-as.sat05-1324.shuffled-as.sat05-1324.cnf.xz


hash: c07092bece9bb44d9e739f6fad543e8e
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/pebbling/random-pebbling/unsat/pbl-00300.shuffled-as.sat05-1331.shuffled-as.sat05-1331.cnf.xz


hash: ee1dda2fe68eadc0fce80bfb51e628b9
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/pebbling/random-pebbling/unsat/pbl-00250.shuffled-as.sat05-1330.shuffled-as.sat05-1330.cnf.xz


hash: c8330d9433fa492646c299f9c63b13d8
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/pebbling/random-pebbling/unsat/pbl-00200.shuffled-as.sat05-1329.shuffled-as.sat05-1329.cnf.xz


hash: fafa6275472dea1bb5f0be630c0b1a9d
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/pebbling/random-pebbling/sat/pbl-00060.shuffled-as.sat05-1313.shuffled-as.sat05-1313.cnf.xz


hash: 0af7c05260193ac818a1f2234ddf8d6a
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/pebbling/random-pebbling/unsat/pbl-00080.shuffled-as.sat05-1325.shuffled-as.sat05-1325.cnf.xz


hash: 6a8d22f88fd017e47bc9ee6e3697ef33
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/pebbling/random-pebbling/unsat/pbl-00150.shuffled-as.sat05-1328.shuffled-as.sat05-1328.cnf.xz


hash: 3a33a09737f776727458ebfa523c689b
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/pebbling/random-pebbling/sat/pbl-00100.shuffled-as.sat05-1317.shuffled-as.sat05-1317.cnf.xz


hash: 9f9408e689e403d1b81331476c83f6a3
value:
/raid/gbd/cnf-3/sat2005/crafted/roussel05/equilarge-PHNF/phnf-size10-exclusive-equilarge_l3.used-as.sat04-895.shuffled-as.sat05-4189.cnf.xz


hash: d5262ba0b0d305cdf92ca06d05a6c016
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/pebbling/random-pebbling/sat/pbl-00080.shuffled-as.sat05-1315.shuffled-as.sat05-1315.cnf.xz


hash: e1e48d8edd7460600f422eb867c451a0
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/pebbling/grid-pebbling/sat/grid-pbl-0300.shuffled-as.sat05-1341.shuffled-as.sat05-1341.cnf.xz


hash: 9746423be642d4872e21b1f9467a3863
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/pebbling/random-pebbling/sat/pbl-00150.shuffled-as.sat05-1318.shuffled-as.sat05-1318.cnf.xz


hash: b4a4418b8d0dfc1a33b1be87f13d0609
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/pebbling/random-pebbling/sat/pbl-00200.shuffled-as.sat05-1319.shuffled-as.sat05-1319.cnf.xz


hash: 4ee07fd2052c284c8cdc533de1293c64
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/pebbling/grid-pebbling/sat/grid-pbl-0250.shuffled-as.sat05-1340.shuffled-as.sat05-1340.cnf.xz


hash: 2b16b710df95018b7d53061fb416ec7d
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/pebbling/random-pebbling/sat/pbl-00090.shuffled-as.sat05-1316.shuffled-as.sat05-1316.cnf.xz


hash: 1cf2f33805e820586e30124fa003e6bb
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/pebbling/random-pebbling/sat/pbl-00300.shuffled-as.sat05-1321.shuffled-as.sat05-1321.cnf.xz


hash: 991d3b46599bb896d72569536d2b54fc
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/pebbling/random-pebbling/unsat/pbl-00400.shuffled-as.sat05-1332.shuffled-as.sat05-1332.cnf.xz


hash: efee93f152535de4313023959ece1470
value:
/raid/gbd/cnf-3/sat2005/crafted/roussel05/equilarge-PHNF/phnf-size10-exclusive-equilarge_l1.used-as.sat04-893.shuffled-as.sat05-4187.cnf.xz


hash: 18c879d0a905ac9ae340857a0f8b72cf
value:
/raid/gbd/cnf-3/sat2005/crafted/roussel05/equilarge-PHNF/phnf-size10-exclusive-equilarge_l2.used-as.sat04-894.shuffled-as.sat05-4188.cnf.xz


hash: 4c7c4853d09e2ec4bc7373311bd45f57
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/pebbling/random-pebbling/sat/pbl-00250.shuffled-as.sat05-1320.shuffled-as.sat05-1320.cnf.xz


hash: ce331cf3c5f764ff9eeb2454a7cc1a78
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/pebbling/random-pebbling/sat/pbl-00070.shuffled-as.sat05-1314.shuffled-as.sat05-1314.cnf.xz


hash: b4fbbfac83b8d525467a4fb03fff9e5f
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/counting/fclqcolor/unsat/set-b/fclqcolor-10-07-09.shuffled-as.sat05-1282.cnf.xz


hash: 3162e4e702f5d98d046005cb87afdbfc
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/pebbling/random-pebbling/sat/pbl-00400.shuffled-as.sat05-1322.shuffled-as.sat05-1322.cnf.xz


hash: aeb8d86a41a153b8391e06fbd48a9a52
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/counting/fclqcolor/unsat/set-b/fclqcolor-20-15-18.shuffled-as.sat05-1286.cnf.xz


hash: 328988c06690548bdb7ee0cefc7d53dd
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/counting/fclqcolor/unsat/set-b/fclqcolor-08-06-07.shuffled-as.sat05-1281.cnf.xz


hash: 444a7bdca469920f7f8965b511d55d6d
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/counting/fclqcolor/unsat/set-b/fclqcolor-12-08-10.shuffled-as.sat05-1283.cnf.xz


hash: e7389f86b3e4d8b0758f0c2ead524a67
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/counting/fclqcolor/unsat/set-b/fclqcolor-25-18-23.shuffled-as.sat05-1287.cnf.xz


hash: 099a345f923579d745e491b29c7da949
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/counting/fclqcolor/unsat/set-b/fclqcolor-14-09-12.shuffled-as.sat05-1284.cnf.xz


hash: 1717ecb490563208071b191dd0b1775c
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/counting/fclqcolor/unsat/set-b/fclqcolor-16-11-14.shuffled-as.sat05-1285.cnf.xz


hash: 2ff3034dc56f3211bd92c674ea5fbc3b
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/counting/fclqcolor/unsat/set-a/fclqcolor-14-08-09.shuffled-as.sat05-1276.cnf.xz


hash: 83ce47cd134a5238ebf0986372880e26
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/counting/fclqcolor/unsat/set-a/fclqcolor-08-05-06.shuffled-as.sat05-1273.cnf.xz


hash: 7038ba74bfed733ed3d2338747864faa
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/counting/fclqcolor/unsat/set-a/fclqcolor-10-06-07.shuffled-as.sat05-1274.cnf.xz


hash: 93900a80c82036bc4f36335b1f8f4f4d
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/counting/fclqcolor/unsat/set-a/fclqcolor-12-07-08.shuffled-as.sat05-1275.cnf.xz


hash: d2b4a9ea1313121cf1c9c7f420028aea
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/counting/fclqcolor/sat/fclqcolor-08-06-06.shuffled-as.sat05-1265.cnf.xz


hash: ac4ef9b8e0f796ace982583ffb0cac80
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/counting/fclqcolor/unsat/set-a/fclqcolor-16-10-11.shuffled-as.sat05-1277.cnf.xz


hash: 0ed10ff8b2c43249ff44ca90bbbed827
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/counting/fclqcolor/unsat/set-a/fclqcolor-20-13-14.shuffled-as.sat05-1278.cnf.xz


hash: 92861516659a772222dfb39cf59a3cef
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/counting/fclqcolor/sat/fclqcolor-12-08-08.shuffled-as.sat05-1267.cnf.xz


hash: 754570c833be996f1d7674bb112fcc07
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/counting/fclqcolor/unsat/set-a/fclqcolor-25-16-17.shuffled-as.sat05-1279.cnf.xz


hash: 9196594e4dbb4453d4e9247757e584f7
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/counting/fclqcolor/sat/fclqcolor-10-07-07.shuffled-as.sat05-1266.cnf.xz


hash: 606d32d623d4ad88a5dca86464fdb814
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/counting/fclqcolor/unsat/set-a/fclqcolor-30-19-20.shuffled-as.sat05-1280.cnf.xz


hash: 003a77d2aa15a5f93aa2cfe79b986c9e
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/counting/fclqcolor/sat/fclqcolor-20-15-15.shuffled-as.sat05-1270.cnf.xz


hash: ef8d458e158d9abe47f321c5e7f28cf7
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/counting/fclqcolor/sat/fclqcolor-14-09-09.shuffled-as.sat05-1268.cnf.xz


hash: 993c5f0425ea080cc982869668f42bcf
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/counting/fclqcolor/sat/fclqcolor-16-11-11.shuffled-as.sat05-1269.cnf.xz


hash: 4aa209b41f66d076905c3847272790a5
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/counting/fclqcolor/unsat/set-b/fclqcolor-30-20-26.shuffled-as.sat05-1288.cnf.xz


hash: e40a326a23ab9b5d852314bd3299bb80
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/counting/fclqcolor/sat/fclqcolor-25-18-18.shuffled-as.sat05-1271.cnf.xz


hash: 571a2f223784fb92a53b4cc8cc8b569e
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/counting/clqcolor/unsat/set-b/clqcolor-08-06-07.shuffled-as.sat05-1257.cnf.xz


hash: ff92e188666f7bf2b88b550a12077433
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/counting/clqcolor/unsat/set-b/clqcolor-10-07-09.shuffled-as.sat05-1258.cnf.xz


hash: 1d4ff0a38cdd4f8fb424b4fb0c7574e7
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/counting/clqcolor/unsat/set-b/clqcolor-16-11-14.shuffled-as.sat05-1261.cnf.xz


hash: d101818b960a155e1be4d8e2bb8a531a
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/counting/fclqcolor/sat/fclqcolor-30-20-20.shuffled-as.sat05-1272.cnf.xz


hash: 8f4dee531b15999a6366d201fc325043
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/counting/clqcolor/unsat/set-b/clqcolor-14-09-12.shuffled-as.sat05-1260.cnf.xz


hash: 9350a9d216598eed8d92e4a8cefbdc7e
value:
/raid/gbd/cnf-3/sat2005/crafted/roussel05/visbmc-PHNF/phnf-size10-exclusive-all.used-as.sat04-986.shuffled-as.sat05-4198.cnf.xz


hash: 8280ce94c7d37464d0ba08b73eda2e0a
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/counting/clqcolor/unsat/set-b/clqcolor-12-08-10.shuffled-as.sat05-1259.cnf.xz


hash: 7b64c9de6e8ee8f32f76ad08727cd064
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/counting/clqcolor/unsat/set-b/clqcolor-25-18-23.shuffled-as.sat05-1263.cnf.xz


hash: 4b8478b3e482d8bfd41f56a8bba9ba81
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/counting/clqcolor/unsat/set-a/clqcolor-16-10-11.shuffled-as.sat05-1253.cnf.xz


hash: 1d0694a99426e486c1ee157dfe19c8f7
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/counting/clqcolor/unsat/set-b/clqcolor-20-15-18.shuffled-as.sat05-1262.cnf.xz


hash: 55b28c145c5fd6a471d19de14f47ee38
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/counting/clqcolor/unsat/set-a/clqcolor-20-13-14.shuffled-as.sat05-1254.cnf.xz


hash: f28e5edf37f4e8df3c81c5e7c5fb9aa8
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/counting/clqcolor/unsat/set-a/clqcolor-08-05-06.shuffled-as.sat05-1249.cnf.xz


hash: 5c3878ea6c7bb008fdb7fbb5c0996d18
value:
/raid/gbd/cnf-3/sat2005/crafted/roussel05/visbmc-PHNF/phnf-size10-exclusive-FIFO.used-as.sat04-991.shuffled-as.sat05-4192.cnf.xz


hash: 520e2724d592ac05b7f1a6f48055838d
value:
/raid/gbd/cnf-3/sat2005/crafted/roussel05/cnfcolor-PHNF/phnf-size10-exclusive-myciel6-c.used-as.sat04-318.shuffled-as.sat05-4199.cnf.xz


hash: 48190eebf1a75ee51a6752714dc66473
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/counting/clqcolor/unsat/set-a/clqcolor-14-08-09.shuffled-as.sat05-1252.cnf.xz


hash: cae6c9ad783d8a092415a3afbb400cae
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/counting/clqcolor/unsat/set-a/clqcolor-10-06-07.shuffled-as.sat05-1250.cnf.xz


hash: 82460a38bd39cd8e1c32b66a358204f5
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/counting/clqcolor/unsat/set-b/clqcolor-30-20-26.shuffled-as.sat05-1264.cnf.xz


hash: 5f9f44095f68a79f920aad2c864856f3
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/counting/clqcolor/unsat/set-a/clqcolor-30-19-20.shuffled-as.sat05-1256.cnf.xz


hash: d91713d348f93d41ef5b6b2db7511e71
value:
/raid/gbd/cnf-3/sat2005/crafted/roussel05/visbmc-PHNF/phnf-size10-exclusive-dekker.used-as.sat04-989.shuffled-as.sat05-4193.cnf.xz


hash: e4b01e7249fb905812fe5818b44c1602
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/counting/clqcolor/unsat/set-a/clqcolor-12-07-08.shuffled-as.sat05-1251.cnf.xz


hash: f7d1d40e5ac75fe3abcf8b19437d33ec
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/counting/clqcolor/sat/clqcolor-10-07-07.shuffled-as.sat05-1242.cnf.xz


hash: cdc22f17d9798c33698e448e234139da
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/counting/clqcolor/sat/clqcolor-16-11-11.shuffled-as.sat05-1245.cnf.xz


hash: c0ee301a9bae7b5ff51d87854d89d549
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/counting/clqcolor/sat/clqcolor-12-08-08.shuffled-as.sat05-1243.cnf.xz


hash: 4e42740ca851e345cc8c95efb204c2bb
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/counting/clqcolor/sat/clqcolor-14-09-09.shuffled-as.sat05-1244.cnf.xz


hash: 796aa4fc486e799b3a9b0c3d47300355
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/counting/clqcolor/unsat/set-a/clqcolor-25-16-17.shuffled-as.sat05-1255.cnf.xz


hash: 81fe63cbee3d00cdb5edd8d48dd9c194
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/counting/clqcolor/sat/clqcolor-08-06-06.shuffled-as.sat05-1241.cnf.xz


hash: 69ceafaa83839dbe53dc801c483e9991
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/counting/clqcolor/sat/clqcolor-20-15-15.shuffled-as.sat05-1246.cnf.xz


hash: 53742d5ab42c7dcc531c21faceb25cea
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/counting/php/unsat/harder/php-012-011.shuffled-as.sat05-1186.cnf.xz


hash: 3b897065cb9660b2574772ab22ff1792
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/counting/php/unsat/harder/php-018-017.shuffled-as.sat05-1189.cnf.xz


hash: bff593ee704aaaa739360260a63ce92b
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/counting/clqcolor/sat/clqcolor-25-18-18.shuffled-as.sat05-1247.cnf.xz


hash: 6c4e2fea92aa94f976a8585ab5eb4b95
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/counting/php/unsat/harder/php-020-019.shuffled-as.sat05-1190.cnf.xz


hash: 556fd0833079f7aa825075bb9cd6afe4
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/counting/php/unsat/harder/php-016-015.shuffled-as.sat05-1188.cnf.xz


hash: 504021c529ee14d6aa8636813240bb35
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/counting/php/unsat/harder/php-014-013.shuffled-as.sat05-1187.cnf.xz


hash: bd8bf6ab56971bbb428f96b338345a4a
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/counting/php/unsat/harder/php-030-029.shuffled-as.sat05-1192.cnf.xz


hash: d440df5704cde1da1c99f2d5e01568b6
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/counting/php/unsat/harder/php-050-049.shuffled-as.sat05-1196.cnf.xz


hash: 44092fcc83a5cba81419e82cfd18602c
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/counting/php/unsat/harder/php-010-009.shuffled-as.sat05-1185.cnf.xz


hash: 66b8b3ebfc8e198f21e5c386286188e3
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/counting/php/unsat/harder/php-045-044.shuffled-as.sat05-1195.cnf.xz


hash: fcbf121fcc2deb7294f9bc8a50218c71
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/counting/php/unsat/harder/php-040-039.shuffled-as.sat05-1194.cnf.xz


hash: 02eef920cd1aab9ef3492fe27bf515c4
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/counting/php/unsat/harder/php-025-024.shuffled-as.sat05-1191.cnf.xz


hash: b00fc8d84344592085c10bd94f406e5e
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/counting/php/unsat/harder/php-035-034.shuffled-as.sat05-1193.cnf.xz


hash: f93d96bf2aa7b764e92e3f0224f60739
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/counting/clqcolor/sat/clqcolor-30-20-20.shuffled-as.sat05-1248.cnf.xz


hash: e5ebf692853a40d2baa622fefd81bbe6
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/counting/php/unsat/harder/php-060-059.shuffled-as.sat05-1197.cnf.xz


hash: 348e611ba5282f56d83e6d3979563d96
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/counting/php/unsat/easier/php-025-020.shuffled-as.sat05-1177.cnf.xz


hash: 1a418d6c8aad501ecb7b47310a3b80ea
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/counting/php/unsat/easier/php-050-040.shuffled-as.sat05-1182.cnf.xz


hash: ad22338a1e6bf54b79774e8ebeb2c3af
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/counting/php/unsat/harder/php-070-069.shuffled-as.sat05-1198.cnf.xz


hash: a2358435c224774b7552f1d4249e79ed
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/counting/php/unsat/easier/php-070-057.shuffled-as.sat05-1184.cnf.xz


hash: 6ca49aeefbbe69bbb1f97d2aee4a3d6f
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/counting/php/unsat/easier/php-045-035.shuffled-as.sat05-1181.cnf.xz


hash: aaf336934920ff79f73e8584a2e44e58
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/counting/php/unsat/easier/php-020-015.shuffled-as.sat05-1176.cnf.xz


hash: 419591446bdfdc45161b3a6dc103e269
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/counting/php/unsat/easier/php-018-014.shuffled-as.sat05-1175.cnf.xz


hash: 2565059c258a9e1a45f61df4e0112010
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/counting/php/unsat/easier/php-030-025.shuffled-as.sat05-1178.cnf.xz


hash: 1449a115a5f2378e73dcbda3fa0c0425
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/counting/php/unsat/easier/php-014-012.shuffled-as.sat05-1173.cnf.xz


hash: b92da089547b899d7ad0919a255aeb14
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/counting/php/unsat/easier/php-060-048.shuffled-as.sat05-1183.cnf.xz


hash: 5dba8c37f6cf9110e29fabfd54eb9bba
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/counting/php/unsat/easier/php-016-013.shuffled-as.sat05-1174.cnf.xz


hash: daa64046112eb50107587b859f856a7d
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/counting/php/unsat/easier/php-010-008.shuffled-as.sat05-1171.cnf.xz


hash: 4cbb2f9e2f4572c5a3dc93f7545bc4fb
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/counting/php/unsat/easier/php-012-010.shuffled-as.sat05-1172.cnf.xz


hash: c82988874ac228f38860bc9a47db43e8
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/counting/php/unsat/easier/php-040-032.shuffled-as.sat05-1180.cnf.xz


hash: b3bbbf7336d59156662f6b3197e4bfba
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/counting/php/unsat/easier/php-035-029.shuffled-as.sat05-1179.cnf.xz


hash: 42e5098d8fd498a760e9336cac826604
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/counting/php/sat/php-050-050.shuffled-as.sat05-1168.cnf.xz


hash: b5916fcddc9b1e992383d861bdd7829e
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/counting/php/sat/php-014-014.shuffled-as.sat05-1159.cnf.xz


hash: 25b4eff0c424fc1b760cf52562ec9a47
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/counting/php/sat/php-025-025.shuffled-as.sat05-1163.cnf.xz


hash: 23b8cfd9fde410f79db4e8ef6b62f396
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/counting/php/sat/php-020-020.shuffled-as.sat05-1162.cnf.xz


hash: 87812ad06d3612ba0d4766c410e9f7f7
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/counting/php/sat/php-016-016.shuffled-as.sat05-1160.cnf.xz


hash: 94b6f054a2e8282bbb968a04be8a2868
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/counting/php/sat/php-035-035.shuffled-as.sat05-1165.cnf.xz


hash: 68eb522c6e1666736ff302a943cf722d
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/counting/php/sat/php-012-012.shuffled-as.sat05-1158.cnf.xz


hash: ac08809bf838f818fe2a1b4e66958651
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/counting/php/sat/php-070-070.shuffled-as.sat05-1170.cnf.xz


hash: 90269b99c4857a01bf75cb3bf121c9c7
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/counting/php/sat/php-045-045.shuffled-as.sat05-1167.cnf.xz


hash: d6fc8244dafa817cb8f8b100df8ae288
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/counting/php/sat/php-010-010.shuffled-as.sat05-1157.cnf.xz


hash: 0c3d709ab7576354e69ad01dfab14cdb
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/counting/php/sat/php-018-018.shuffled-as.sat05-1161.cnf.xz


hash: d017cb009e488657a65b9ca3bc76db8f
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/counting/fphp/unsat/harder/fphp-012-011.shuffled-as.sat05-1228.cnf.xz


hash: 90d2c6c480c80c39d0e8005bd405ecd4
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/counting/fphp/unsat/harder/fphp-010-009.shuffled-as.sat05-1227.cnf.xz


hash: 1482c70e79304f719835696bed633da5
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/counting/php/sat/php-040-040.shuffled-as.sat05-1166.cnf.xz


hash: 269d92aef52c2d8c729f4212bd29a8e8
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/counting/php/sat/php-030-030.shuffled-as.sat05-1164.cnf.xz


hash: e78648c1e76bffea04d6b5c78762a4e6
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/counting/fphp/unsat/harder/fphp-030-029.shuffled-as.sat05-1234.cnf.xz


hash: b997e08d6443f645bde80f13772c59fe
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/counting/php/sat/php-060-060.shuffled-as.sat05-1169.cnf.xz


hash: dee4f5be6442a5264510bf3586275cae
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/counting/fphp/unsat/harder/fphp-040-039.shuffled-as.sat05-1236.cnf.xz


hash: d2f3da5df6f004d0128d3008f2f3cdf6
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/counting/fphp/unsat/harder/fphp-045-044.shuffled-as.sat05-1237.cnf.xz


hash: e9f2fc8d81f9b1a9cf1b4fdadc2a53d6
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/counting/fphp/unsat/harder/fphp-018-017.shuffled-as.sat05-1231.cnf.xz


hash: b833fdfdb56301aaa90646b3b2b50102
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/counting/fphp/unsat/harder/fphp-020-019.shuffled-as.sat05-1232.cnf.xz


hash: 39974d81b6bb1361600f40a0cd76adfa
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/counting/fphp/unsat/harder/fphp-014-013.shuffled-as.sat05-1229.cnf.xz


hash: 652cc8db19b8da9567e18afaa22c3d75
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/counting/fphp/unsat/harder/fphp-025-024.shuffled-as.sat05-1233.cnf.xz


hash: ff5746f830fa72c040e990e599b0fc61
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/counting/fphp/unsat/harder/fphp-050-049.shuffled-as.sat05-1238.cnf.xz


hash: 88e09ac9993c54adc66293189133043d
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/counting/fphp/unsat/harder/fphp-035-034.shuffled-as.sat05-1235.cnf.xz


hash: e72a813013f4d6fe5b9c3d4ad3659b4d
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/counting/fphp/unsat/harder/fphp-016-015.shuffled-as.sat05-1230.cnf.xz


hash: 352fa1386fb92b961f675401b7d76e21
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/counting/fphp/unsat/harder/fphp-060-059.shuffled-as.sat05-1239.cnf.xz


hash: d9b9bf6e81b2a5fc33a0d64a1cd0dcf2
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/counting/fphp/unsat/easier/fphp-040-032.shuffled-as.sat05-1222.cnf.xz


hash: daa9de1370944c73a36beb7a4e30cce7
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/counting/fphp/unsat/easier/fphp-035-029.shuffled-as.sat05-1221.cnf.xz


hash: 67d7da9cfbf74b043dd0abbd212d11aa
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/counting/fphp/unsat/easier/fphp-016-013.shuffled-as.sat05-1216.cnf.xz


hash: 82527865f6cf67b6161437f131770a19
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/counting/fphp/unsat/harder/fphp-070-069.shuffled-as.sat05-1240.cnf.xz


hash: 2be29ea62e8b3f85bc0f874a194047b3
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/counting/fphp/unsat/easier/fphp-045-035.shuffled-as.sat05-1223.cnf.xz


hash: eca997db9a091d5112f6c620800644a5
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/counting/fphp/unsat/easier/fphp-070-057.shuffled-as.sat05-1226.cnf.xz


hash: e893e419786784b3b5c8fd44999fc676
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/counting/fphp/unsat/easier/fphp-018-014.shuffled-as.sat05-1217.cnf.xz


hash: 2fe9a4ad4b9e00a857d11534429703cf
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/counting/fphp/unsat/easier/fphp-020-015.shuffled-as.sat05-1218.cnf.xz


hash: 5ea0f107a1905a8e0446af0c92d6a160
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/counting/fphp/unsat/easier/fphp-014-012.shuffled-as.sat05-1215.cnf.xz


hash: 517f58e1de08c7cf88a35b9a59a3af05
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/counting/fphp/unsat/easier/fphp-030-025.shuffled-as.sat05-1220.cnf.xz


hash: a742a07c34822ce8b718fa74d08fc6c0
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/counting/fphp/unsat/easier/fphp-050-040.shuffled-as.sat05-1224.cnf.xz


hash: 13fe4d700bdbec733be548e0ec21b544
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/counting/fphp/unsat/easier/fphp-012-010.shuffled-as.sat05-1214.cnf.xz


hash: 44ab80d376f78495483e45bb8088c3ae
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/counting/fphp/unsat/easier/fphp-010-008.shuffled-as.sat05-1213.cnf.xz


hash: e40a465957441a8a57fd3e388920822c
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/counting/fphp/unsat/easier/fphp-060-048.shuffled-as.sat05-1225.cnf.xz


hash: b26776dfd3dacf19c3e0536751c05a90
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/counting/fphp/unsat/easier/fphp-025-020.shuffled-as.sat05-1219.cnf.xz


hash: c3597a1893475479a8779083c761d1b3
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/counting/fphp/sat/fphp-016-016.shuffled-as.sat05-1202.cnf.xz


hash: c66167837eaad5a6ddc6ee40fa77488f
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/counting/fphp/sat/fphp-012-012.shuffled-as.sat05-1200.cnf.xz


hash: 788324d8c7c764e421f1018aaad3a40e
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/counting/fphp/sat/fphp-030-030.shuffled-as.sat05-1206.cnf.xz


hash: 9554c96c0a212275e529a8b156fc1e9b
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/counting/fphp/sat/fphp-020-020.shuffled-as.sat05-1204.cnf.xz


hash: 6cc9c5a9cdd1ee2fa527862388871dd3
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/counting/fphp/sat/fphp-018-018.shuffled-as.sat05-1203.cnf.xz


hash: 149295422d7a647d48da377e0a4caea2
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/counting/fphp/sat/fphp-025-025.shuffled-as.sat05-1205.cnf.xz


hash: da1c4b80744ff527a61cafd64d069897
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/counting/fphp/sat/fphp-010-010.shuffled-as.sat05-1199.cnf.xz


hash: d08c5fac67a7490e7f976dc07a891148
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/counting/fphp/sat/fphp-014-014.shuffled-as.sat05-1201.cnf.xz


hash: 32baec6a0b794482e314a8a621d421a6
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/counting/fphp/sat/fphp-050-050.shuffled-as.sat05-1210.cnf.xz


hash: cb061ca757ddf062729e976974b9b151
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/counting/fphp/sat/fphp-035-035.shuffled-as.sat05-1207.cnf.xz


hash: 14e21c70a36bbf25a525d835ceab52da
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/counting/fphp/sat/fphp-045-045.shuffled-as.sat05-1209.cnf.xz


hash: 61c7d1a15520c60d689c2937d48f24f9
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/counting/fphp/sat/fphp-040-040.shuffled-as.sat05-1208.cnf.xz


hash: 9555e601f3faa7ba666378d2b2678c49
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/planning/gripper/unsat/strips-gripper-10t18.shuffled-as.sat05-1150.cnf.xz


hash: a47bac6abe63cd6e5252b8b63c747b40
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/planning/gripper/unsat/strips-gripper-14t26.shuffled-as.sat05-1152.cnf.xz


hash: 51e9cba23a2dcfd39278539d38820d20
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/planning/gripper/unsat/strips-gripper-08t14.shuffled-as.sat05-1156.cnf.xz


hash: 47289fd0fdb45050c22258ddb35d65d4
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/counting/fphp/sat/fphp-060-060.shuffled-as.sat05-1211.cnf.xz


hash: 94f515f8db5e860d4ec3e71c999fef13
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/planning/gripper/unsat/strips-gripper-12t22.shuffled-as.sat05-1151.cnf.xz


hash: 5e2faea0397435608c819b86f0216963
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/planning/gripper/sat/strips-gripper-08t15.shuffled-as.sat05-1149.cnf.xz


hash: 5257a9575db38fcfe307a4f004e840a4
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/planning/gripper/sat/strips-gripper-14t27.shuffled-as.sat05-1145.cnf.xz


hash: adb258fb4439497d178d610a526bc4d6
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/planning/gripper/unsat/strips-gripper-16t30.shuffled-as.sat05-1153.cnf.xz


hash: a48ca273dbe4242e667f71dbbf40af45
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/planning/gripper/sat/strips-gripper-10t19.shuffled-as.sat05-1143.cnf.xz


hash: 507f7ae54537571a77ca45336b0a322d
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/counting/fphp/sat/fphp-070-070.shuffled-as.sat05-1212.cnf.xz


hash: 366f8203419e14c977931d36d7ba93c0
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/planning/gripper/unsat/strips-gripper-18t34.shuffled-as.sat05-1154.cnf.xz


hash: 532dbcafeb852236651c9b546f90639d
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/planning/gripper/sat/strips-gripper-12t23.shuffled-as.sat05-1144.cnf.xz


hash: c22edbd74825f0aa1556ab4d452a0232
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/planning/gripper/unsat/strips-gripper-20t38.shuffled-as.sat05-1155.cnf.xz


hash: 0a015b7f4b4ec96e881f2f5f5e55265c
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/planning/gripper/sat/strips-gripper-18t35.shuffled-as.sat05-1147.cnf.xz


hash: 7edf55fdf6dc152493b5e2aaa86977e5
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/planning/gripper/sat/strips-gripper-20t39.shuffled-as.sat05-1148.cnf.xz


hash: c23afc080f8ef02256897e3b7eaf1229
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/planning/logistics/unsat/logistics-rotate-07t5.shuffled-as.sat05-1137.cnf.xz


hash: 6aacbcd0a95d51eafca1a22f43f25e82
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/planning/logistics/unsat/logistics-rotate-06t5.shuffled-as.sat05-1136.cnf.xz


hash: 26f3cb325c18149f1c67665c5dc60305
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/planning/gripper/sat/strips-gripper-16t31.shuffled-as.sat05-1146.cnf.xz


hash: 403986262aa33a97e5fa06d08b34067f
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/planning/logistics/unsat/logistics-rotate-09t5.shuffled-as.sat05-1139.cnf.xz


hash: 795a71e969aad84596bc5a6c25b2a783
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/planning/logistics/unsat/logistics-rotate-08t5.shuffled-as.sat05-1138.cnf.xz


hash: 3f3498afcc9108e5c356f6dec92839ab
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/planning/logistics/unsat/logistics-rotate-10t5.shuffled-as.sat05-1140.cnf.xz


hash: a7f58b183abd97e19ae5d77b6450fcc6
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/planning/logistics/sat/logistics-rotate-06t6.shuffled-as.sat05-1130.cnf.xz


hash: 543467566844be0f961175453b07f750
value:
/raid/gbd/cnf-3/sat2005/crafted/sat04/connamacher04/connm-ue-csp-sat-n800-d0.02-s111845174.shuffled-as.sat05-536.cnf.xz


hash: ecd53fc2b0acde7f8911a742509d3b16
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/planning/logistics/unsat/logistics-rotate-11t5.shuffled-as.sat05-1141.cnf.xz


hash: 9c407504a846b33ddb4d09f8798d8387
value:
/raid/gbd/cnf-3/sat2005/crafted/sat04/connamacher04/connm-ue-csp-sat-n800-d0.02-s925928766.shuffled-as.sat05-538.cnf.xz


hash: dd303df5b42c7ce790b48036995a14fb
value:
/raid/gbd/cnf-3/sat2005/crafted/sat04/connamacher04/connm-ue-csp-sat-n1200-d0.04-s736572600.shuffled-as.sat05-546.cnf.xz


hash: c6ed8a6a7cf6d9757aac1e450719cb4c
value:
/raid/gbd/cnf-3/sat2005/crafted/sat04/connamacher04/connm-ue-csp-sat-n1200-d-0.02-s383740539.shuffled-as.sat05-534.cnf.xz


hash: 3ea016a86050e695ce999fa0d01a6f54
value:
/raid/gbd/cnf-3/sat2005/crafted/sat04/connamacher04/connm-ue-csp-sat-n1200-d0.02-s1099787414.shuffled-as.sat05-542.cnf.xz


hash: 572e5f8d24e5624aff2c6d51a6d9b8c3
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/planning/logistics/sat/logistics-rotate-07t6.shuffled-as.sat05-1131.cnf.xz


hash: 81c2ea59d2c095429b3f0acbb56f3ce1
value:
/raid/gbd/cnf-3/sat2005/crafted/sat04/connamacher04/connm-ue-csp-sat-n1200-d0.00-s1756632460.shuffled-as.sat05-526.cnf.xz


hash: 3ef7488df527db761e75769851720d38
value:
/raid/gbd/cnf-3/sat2005/crafted/sat04/connamacher04/connm-ue-csp-sat-n800-d0.04-s1930250646.shuffled-as.sat05-545.cnf.xz


hash: 41b9d005cfe6f60f4826b6f2f3ecc2c1
value:
/raid/gbd/cnf-3/sat2005/crafted/sat04/connamacher04/connm-ue-csp-sat-n1200-d0.04-s559842757.shuffled-as.sat05-549.cnf.xz


hash: 364c5f96b1bd514b7dd27877dc8c08f5
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/planning/logistics/sat/logistics-rotate-08t6.shuffled-as.sat05-1132.cnf.xz


hash: 45df257c9ad124bd3d590f221884c255
value:
/raid/gbd/cnf-3/sat2005/crafted/sat04/connamacher04/connm-ue-csp-sat-n800-d0.02-s1147901776.shuffled-as.sat05-541.cnf.xz


hash: cb2c140ae6c5aa7ca7507afb1685b6b8
value:
/raid/gbd/cnf-3/sat2005/crafted/sat04/connamacher04/connm-ue-csp-sat-n1200-d0.02-s1536169827.shuffled-as.sat05-539.cnf.xz


hash: 8bd2e742a5e675be8433d95485a21e9e
value:
/raid/gbd/cnf-3/sat2005/crafted/sat04/connamacher04/connm-ue-csp-sat-n800-d-0.02-s1542454144.shuffled-as.sat05-533.cnf.xz


hash: 399c60e1e71a57cfd2d5c2903c13d233
value:
/raid/gbd/cnf-3/sat2005/crafted/sat04/connamacher04/connm-ue-csp-sat-n800-d0.04-s1788334438.shuffled-as.sat05-543.cnf.xz


hash: 07851afab30a10e44c8c3a2ae7806177
value:
/raid/gbd/cnf-3/sat2005/crafted/sat04/connamacher04/connm-ue-csp-sat-n1200-d0.00-s1415961664.shuffled-as.sat05-529.cnf.xz


hash: 97ca509daaaea004f722198ab69480af
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/planning/logistics/unsat/logistics-rotate-12t5.shuffled-as.sat05-1142.cnf.xz


hash: bb590a6f0f56b90051025c67cba57431
value:
/raid/gbd/cnf-3/sat2005/crafted/sat04/connamacher04/connm-ue-csp-sat-n1200-d-0.02-s1528687777.shuffled-as.sat05-532.cnf.xz


hash: 49b2db2443643a01e2a06595b173cbe8
value:
/raid/gbd/cnf-3/sat2005/crafted/sat04/connamacher04/connm-ue-csp-sat-n1200-d0.00-s1875077647.shuffled-as.sat05-530.cnf.xz


hash: fe1040bfc44511ac5498d46b698e79c5
value:
/raid/gbd/cnf-3/sat2005/crafted/sat04/connamacher04/connm-ue-csp-sat-n800-d0.04-s362703357.shuffled-as.sat05-548.cnf.xz


hash: 0c58a98348cf101f179847469c649c1b
value:
/raid/gbd/cnf-3/sat2005/crafted/sat04/connamacher04/connm-ue-csp-sat-n600-d0.02-s1676244754.shuffled-as.sat05-535.cnf.xz


hash: 94e37bff812488057f40741cf163266d
value:
/raid/gbd/cnf-3/sat2005/crafted/sat04/connamacher04/connm-ue-csp-sat-n800-d0.00-s1734008126.shuffled-as.sat05-528.cnf.xz


hash: 8016ae5cb6f1451ea933379bf6dfdd28
value:
/raid/gbd/cnf-3/sat2005/crafted/sat04/connamacher04/connm-ue-csp-sat-n600-d0.04-s1979668539.shuffled-as.sat05-547.cnf.xz


hash: b36573b9071ea347553b7403744ed050
value:
/raid/gbd/cnf-3/sat2005/crafted/sat04/connamacher04/connm-ue-csp-sat-n1200-d0.02-s1280749859.shuffled-as.sat05-537.cnf.xz


hash: 545d36a22f6f1e4c1fa0d61fa9651c0e
value:
/raid/gbd/cnf-3/sat2005/crafted/sat04/connamacher04/connm-ue-csp-sat-n1200-d0.04-s1346193895.shuffled-as.sat05-544.cnf.xz


hash: 4ae9c039aac4244fe13136c2add78ad2
value:
/raid/gbd/cnf-3/sat2005/crafted/sat04/connamacher04/connm-ue-csp-sat-n800-d0.00-s547693512.shuffled-as.sat05-525.cnf.xz


hash: 652bac304e2a712d4b37e8ef2668b005
value:
/raid/gbd/cnf-3/sat2005/crafted/sat04/connamacher04/connm-ue-csp-sat-n600-d0.02-s725301372.shuffled-as.sat05-540.cnf.xz


hash: 1b2ca34573bf15e7e287eec79fa3bfea
value:
/raid/gbd/cnf-3/sat2005/crafted/sat04/connamacher04/connm-ue-csp-sat-n600-d0.00-s573116943.shuffled-as.sat05-527.cnf.xz


hash: 36ba44cf208034e2c8e84a1971b9bfd4
value:
/raid/gbd/cnf-3/sat2005/crafted/sat04/connamacher04/connm-ue-csp-sat-n1200-d-0.02-s405595518.shuffled-as.sat05-531.cnf.xz


hash: 11dcd55f9d6ce8873cd8150ce5ca6c4e
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/planning/logistics/sat/logistics-rotate-09t6.shuffled-as.sat05-1133.cnf.xz


hash: fdd731b1dcf176619a899d610c20aeb5
value:
/raid/gbd/cnf-3/sat2019/new/Manthey/sv-comp19_prop-reachsafety.25_stack_longest_false-unreach-call.i-witness.cnf.xz


hash: e4711e48a5f638c50670bde3dc0e4ccb
value:
/raid/gbd/cnf-3/sat2005/crafted/sat04/andrew04/Composite-048BitPrimes-0.shuffled-as.sat05-503.cnf.xz


hash: e480a4f9a7eacd168127ef953e2245d3
value:
/raid/gbd/cnf-3/sat2005/crafted/sat04/andrew04/Composite-048BitPrimes-1.shuffled-as.sat05-504.cnf.xz


hash: e802d6cd5c566fe3dbde7084cc0e4609
value:
/raid/gbd/cnf-3/sat2005/crafted/sat04/andrew04/Composite-032BitPrimes-1.shuffled-as.sat05-502.cnf.xz


hash: b3ffd606bb01e31b7bb7ac44f66ecab9
value:
/raid/gbd/cnf-3/sat2005/crafted/sat04/andrew04/Composite-032BitPrimes-0.shuffled-as.sat05-501.cnf.xz


hash: 2c7f53ede328263a433d01bfdd1114f2
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/planning/logistics/sat/logistics-rotate-10t6.shuffled-as.sat05-1134.cnf.xz


hash: 7315f2782112ddf88ab55ffff1c898f6
value:
/raid/gbd/cnf-3/sat2005/crafted/sat04/andrew04/Composite-064BitPrimes-0.shuffled-as.sat05-505.cnf.xz


hash: 33db8e6d08fb905660e21f78e436f2cc
value:
/raid/gbd/cnf-3/sat2005/crafted/sat04/moore03/hidden-k3-s0-r5-n700-01-S2069048075.shuffled-as.sat05-488.cnf.xz


hash: 07cb45c60089b9008bf3118591a99bf9
value:
/raid/gbd/cnf-3/sat2005/crafted/sat04/moore03/hidden-k3-s0-r5-n700-03-S1609878926.shuffled-as.sat05-487.cnf.xz


hash: 5dd76043a056396f6b12a6b1ae9b7889
value:
/raid/gbd/cnf-3/sat2005/crafted/sat04/andrew04/Composite-096BitPrimes-1.shuffled-as.sat05-508.cnf.xz


hash: 12d8db576997b1da079f5451aeb2ae4f
value:
/raid/gbd/cnf-3/sat2005/crafted/sat04/moore03/hidden-k3-s0-r5-n700-02-S350203913.shuffled-as.sat05-486.cnf.xz


hash: e65c0a14493e5492f677fcf5212cb475
value:
/raid/gbd/cnf-3/sat2005/crafted/sat04/andrew04/Composite-064BitPrimes-1.shuffled-as.sat05-506.cnf.xz


hash: 747dd6c2e43e63f883fd854412afd335
value:
/raid/gbd/cnf-3/sat2005/crafted/sat04/andrew04/Composite-096BitPrimes-0.shuffled-as.sat05-507.cnf.xz


hash: 56e85c14a9f470df7b57e88b8ac880ac
value:
/raid/gbd/cnf-3/sat2005/crafted/sat04/simon02/pyhala-braun-unsat-40-4-04.shuffled-as.sat05-461.cnf.xz


hash: bc0d3f3aad73eb09e12c009d2bdebf29
value:
/raid/gbd/cnf-3/sat2005/crafted/sat04/simon02/pyhala-braun-unsat-40-4-01.shuffled-as.sat05-465.cnf.xz


hash: ee68d8042b246565dfa474364227487f
value:
/raid/gbd/cnf-3/sat2005/crafted/sabharwal05/planning/logistics/sat/logistics-rotate-11t6.shuffled-as.sat05-1135.cnf.xz


hash: 16c1dc33dc19634d039bdb061647b842
value:
/raid/gbd/cnf-3/sat2005/crafted/sat04/simon02/pyhala-braun-unsat-40-4-02.shuffled-as.sat05-459.cnf.xz


hash: 533f35c84ef925a77c02bc18689ab225
value:
/raid/gbd/cnf-3/sat2005/crafted/sat04/simon02/pyhala-braun-unsat-40-4-03.shuffled-as.sat05-460.cnf.xz


hash: 8c9a70cb213c7fab4edf91cce9311adc
value:
/raid/gbd/cnf-3/sat2005/crafted/sat04/anton04/lksat-n1100-m7545-k4-l4-s310659001.shuffled-as.sat05-524.cnf.xz


hash: 2a5d887592edb408bf7f2f6ba8cae860
value:
/raid/gbd/cnf-3/sat2005/crafted/sat04/anton04/lksat-n1000-m6860-k4-l4-s1935114289.shuffled-as.sat05-523.cnf.xz


hash: 3b425b222cd7675070d135a13df50267
value:
/raid/gbd/cnf-3/sat2005/crafted/sat04/hirsch03/hgen7-n390-01-S248216171.shuffled-as.sat05-478.cnf.xz


hash: a8e751cf4a6e71693149ad0275964314
value:
/raid/gbd/cnf-3/sat2005/crafted/sat04/hirsch03/hgen6-4-24-n650-03-S528656311.shuffled-as.sat05-477.cnf.xz


hash: cc15421df4243c2573b5b5cbd880862c
value:
/raid/gbd/cnf-3/sat2005/crafted/sat04/hirsch03/hgen8-n320-01-S1432474240.shuffled-as.sat05-483.cnf.xz


hash: b629777bf8abf7bbf182ae9ac9b468d9
value:
/raid/gbd/cnf-3/sat2005/crafted/sat04/hirsch03/hgen8-n260-03-S722413478.shuffled-as.sat05-482.cnf.xz


hash: a575a52abbd4629becb57fb9ce5bebb1
value:
/raid/gbd/cnf-3/sat2005/crafted/sat04/hirsch03/hgen8-n320-03-S1572374531.shuffled-as.sat05-485.cnf.xz


hash: b4917e02cf1b76daec8f0da5c8ec7132
value:
/raid/gbd/cnf-3/sat2005/crafted/sat04/hirsch03/hgen7-n390-02-S178568232.shuffled-as.sat05-479.cnf.xz


hash: 4be9f08fb7ff50aa1aa859feb3eb0573
value:
/raid/gbd/cnf-3/sat2005/crafted/sat04/hirsch03/hgen8-n320-02-S1127428711.shuffled-as.sat05-484.cnf.xz


hash: 69e2da9381c6547152b38b1cf1033ae7
value:
/raid/gbd/cnf-3/sat2005/crafted/sat04/hirsch03/hgen8-n260-02-S1396509323.shuffled-as.sat05-481.cnf.xz


hash: 2db24587fa4da8d6bf3b55c9ff6c10a4
value:
/raid/gbd/cnf-3/sat2005/crafted/sat04/hirsch03/hgen8-n260-01-S1597732451.shuffled-as.sat05-480.cnf.xz


hash: 55113d3365817fba844afdd0fbdfd1cb
value:
/raid/gbd/cnf-3/sat2005/crafted/jarvisalo05/mod2-3g14-sat/mod2-3g14-sat.shuffled-as.sat05-2141.cnf.xz


hash: ef2050e503ef20697e1ad9501f8238c6
value:
/raid/gbd/cnf-3/sat2005/crafted/jarvisalo05/mod2-3cage-unsat/mod2-3cage-unsat-9-10.shuffled-as.sat05-2585.cnf.xz


hash: f1b2d3d81fa9a631fcffe90fbd913aeb
value:
/raid/gbd/cnf-3/sat2005/crafted/jarvisalo05/mod2-3cage-unsat/mod2-3cage-unsat-11.shuffled-as.sat05-2572.cnf.xz


hash: 2f7d375b6b2a8813dd4b17a31a6c4441
value:
/raid/gbd/cnf-3/sat2005/crafted/jarvisalo05/mod2-3cage-unsat/mod2-3cage-unsat-9-15.shuffled-as.sat05-2590.cnf.xz


hash: 86561fb1435169ba33b2f58dcc3e0387
value:
/raid/gbd/cnf-3/sat2005/crafted/jarvisalo05/mod2-3cage-unsat/mod2-3cage-unsat-9-7.shuffled-as.sat05-2582.cnf.xz


hash: 948cae905f0d6aa79746d19f2e49b087
value:
/raid/gbd/cnf-3/sat2005/crafted/jarvisalo05/mod2-3cage-unsat/mod2-3cage-unsat-9-8.shuffled-as.sat05-2583.cnf.xz


hash: 596240446875d780d5f2946d76630351
value:
/raid/gbd/cnf-3/sat2005/crafted/jarvisalo05/mod2-3cage-unsat/mod2-3cage-unsat-10-3.shuffled-as.sat05-2575.cnf.xz


hash: 573d1b0fac5c5b321fbaeee18b79a26a
value:
/raid/gbd/cnf-3/sat2005/crafted/jarvisalo05/mod2-3cage-unsat/mod2-3cage-unsat-9-3.shuffled-as.sat05-2578.cnf.xz


hash: 953dde526066e1354344451501ba2f55
value:
/raid/gbd/cnf-3/sat2005/crafted/jarvisalo05/mod2-3cage-unsat/mod2-3cage-unsat-9-17.shuffled-as.sat05-2592.cnf.xz


hash: 38d1bffb1fc4625995f428175b6a2d11
value:
/raid/gbd/cnf-3/sat2005/crafted/jarvisalo05/mod2-3cage-unsat/mod2-3cage-unsat-9-1.shuffled-as.sat05-2576.cnf.xz


hash: 9cd73dad5fe2bbfc7a62bc3dc039ba41
value:
/raid/gbd/cnf-3/sat2005/crafted/jarvisalo05/mod2-3cage-unsat/mod2-3cage-unsat-9-6.shuffled-as.sat05-2581.cnf.xz


hash: 54a4b149e30047af7b53217198c1e898
value:
/raid/gbd/cnf-3/sat2005/crafted/jarvisalo05/mod2-3cage-unsat/mod2-3cage-unsat-10-1.shuffled-as.sat05-2573.cnf.xz


hash: 13b89bdc2cdf21b66ab1e918664c569d
value:
/raid/gbd/cnf-3/sat2005/crafted/jarvisalo05/mod2-3cage-unsat/mod2-3cage-unsat-9-14.shuffled-as.sat05-2589.cnf.xz


hash: ab5952386fd4ad234832854eabd823dc
value:
/raid/gbd/cnf-3/sat2005/crafted/jarvisalo05/mod2-3cage-unsat/mod2-3cage-unsat-9-4.shuffled-as.sat05-2579.cnf.xz


hash: 6a5fc23012376480af7d742310ab6e1c
value:
/raid/gbd/cnf-3/sat2005/crafted/jarvisalo05/mod2-3cage-unsat/mod2-3cage-unsat-9-9.shuffled-as.sat05-2584.cnf.xz


hash: 8e60c18740e991cf2ece650bfdd68d0c
value:
/raid/gbd/cnf-3/sat2005/crafted/jarvisalo05/mod2-3cage-unsat/mod2-3cage-unsat-9-5.shuffled-as.sat05-2580.cnf.xz


hash: 36034f9a8d9339ab49e33b323f79cc07
value:
/raid/gbd/cnf-3/sat2005/crafted/jarvisalo05/mod2-3cage-unsat/mod2-3cage-unsat-10-2.shuffled-as.sat05-2574.cnf.xz


hash: cb7e520395d8fa6e4e4f7027e2421016
value:
/raid/gbd/cnf-3/sat2005/crafted/jarvisalo05/mod2-3cage-unsat/mod2-3cage-unsat-9-13.shuffled-as.sat05-2588.cnf.xz


hash: 9ce6f6f311c89067a40f30edd05139cd
value:
/raid/gbd/cnf-3/sat2005/crafted/jarvisalo05/mod2-3cage-unsat/mod2-3cage-unsat-9-2.shuffled-as.sat05-2577.cnf.xz


hash: 61b03b95036a5f254aad543e5f13065d
value:
/raid/gbd/cnf-3/sat2005/crafted/jarvisalo05/mod2-3cage-unsat/mod2-3cage-unsat-9-16.shuffled-as.sat05-2591.cnf.xz


hash: b53fc42ecfab2be0125f00c63104b37b
value:
/raid/gbd/cnf-3/sat2005/crafted/jarvisalo05/mod2-3cage-unsat/mod2-3cage-unsat-9-12.shuffled-as.sat05-2587.cnf.xz


hash: 0ddb14f3c94bcd7233ef0c64bc1ffc56
value:
/raid/gbd/cnf-3/sat2005/crafted/jarvisalo05/mod2-3cage-unsat/mod2-3cage-unsat-9-18.shuffled-as.sat05-2593.cnf.xz


hash: 602c80022d2bb7af521d9214521398e4
value:
/raid/gbd/cnf-3/sat2005/crafted/jarvisalo05/mod2-3cage-unsat/mod2-3cage-unsat-9-11.shuffled-as.sat05-2586.cnf.xz


hash: ec854c9d1a75a5ce7679d8099859615e
value:
/raid/gbd/cnf-3/sat2005/crafted/jarvisalo05/mod2-3cage-unsat/mod2-3cage-unsat-12.shuffled-as.sat05-2571.cnf.xz


hash: 2e2c1be1dcb0a636e0cccce1008ff289
value:
/raid/gbd/cnf-3/sat2005/crafted/jarvisalo05/mod2-rand3bip-unsat/mod2-rand3bip-unsat-90-1.shuffled-as.sat05-2594.cnf.xz


hash: eb309e8c818b1288540729e3c0e08b74
value:
/raid/gbd/cnf-3/sat2005/crafted/jarvisalo05/mod2-rand3bip-unsat/mod2-rand3bip-unsat-135-2.shuffled-as.sat05-2640.cnf.xz


hash: db88543c607c23efddd8ed3195011fda
value:
/raid/gbd/cnf-3/sat2005/crafted/jarvisalo05/mod2-rand3bip-unsat/mod2-rand3bip-unsat-90-3.shuffled-as.sat05-2596.cnf.xz


hash: 16b0810ba492f30a39fbd46ece608cf2
value:
/raid/gbd/cnf-3/sat2005/crafted/jarvisalo05/mod2-rand3bip-unsat/mod2-rand3bip-unsat-105-1.shuffled-as.sat05-2609.cnf.xz


hash: 2cff9418069a5ecdec821b6595a408de
value:
/raid/gbd/cnf-3/sat2005/crafted/jarvisalo05/mod2-rand3bip-unsat/mod2-rand3bip-unsat-150-3.shuffled-as.sat05-2656.cnf.xz


hash: deb540a5c799d5115e8480207f9f2aeb
value:
/raid/gbd/cnf-3/sat2005/crafted/jarvisalo05/mod2-rand3bip-unsat/mod2-rand3bip-unsat-120-1.shuffled-as.sat05-2624.cnf.xz


hash: 144799298ab4d0bb0506753fc4783b76
value:
/raid/gbd/cnf-3/sat2005/crafted/jarvisalo05/mod2-rand3bip-unsat/mod2-rand3bip-unsat-150-1.shuffled-as.sat05-2654.cnf.xz


hash: 8a441503ad1be828b939ede88ba10ebf
value:
/raid/gbd/cnf-3/sat2005/crafted/jarvisalo05/mod2-rand3bip-unsat/mod2-rand3bip-unsat-90-2.shuffled-as.sat05-2595.cnf.xz


hash: 1a976a03c78b6e7bbcb34e53baa6d021
value:
/raid/gbd/cnf-3/sat2005/crafted/jarvisalo05/mod2-rand3bip-unsat/mod2-rand3bip-unsat-105-3.shuffled-as.sat05-2611.cnf.xz


hash: a5455ab7672d15421165b71313b4e6f5
value:
/raid/gbd/cnf-3/sat2005/crafted/jarvisalo05/mod2-rand3bip-unsat/mod2-rand3bip-unsat-120-2.shuffled-as.sat05-2625.cnf.xz


hash: 7acebc45f48d2bf98a3025ca1b52ba65
value:
/raid/gbd/cnf-3/sat2005/crafted/jarvisalo05/mod2-rand3bip-unsat/mod2-rand3bip-unsat-135-3.shuffled-as.sat05-2641.cnf.xz


hash: 3e220c3c75190bd3d48b7bdd0a9ba3fc
value:
/raid/gbd/cnf-3/sat2005/crafted/jarvisalo05/mod2-rand3bip-unsat/mod2-rand3bip-unsat-105-2.shuffled-as.sat05-2610.cnf.xz


hash: b8a7c310f36a2aed7158ab37563f683a
value:
/raid/gbd/cnf-3/sat2005/crafted/jarvisalo05/mod2-rand3bip-unsat/mod2-rand3bip-unsat-120-3.shuffled-as.sat05-2626.cnf.xz


hash: 946394f56829411ebe404c75e498fd36
value:
/raid/gbd/cnf-3/sat2005/crafted/jarvisalo05/mod2-rand3bip-unsat/mod2-rand3bip-unsat-150-2.shuffled-as.sat05-2655.cnf.xz


hash: 5077bbe914a63da146d2f88652938e56
value:
/raid/gbd/cnf-3/sat2005/crafted/jarvisalo05/mod2-rand3bip-unsat/mod2-rand3bip-unsat-135-1.shuffled-as.sat05-2639.cnf.xz


hash: 1e42a3eadf23a720b9905e58a364101e
value:
/raid/gbd/cnf-3/sat2005/crafted/jarvisalo05/mod2-rand3bip-sat/mod2-rand3bip-sat-290-2.shuffled-as.sat05-2279.cnf.xz


hash: 1567f5d6c1cbef6de37f8acbc54fb171
value:
/raid/gbd/cnf-3/sat2005/crafted/jarvisalo05/mod2-rand3bip-sat/mod2-rand3bip-sat-240-3.shuffled-as.sat05-2205.cnf.xz


hash: 9a04a0c5a59f2c3b6c4ef132ee5d4b79
value:
/raid/gbd/cnf-3/sat2005/crafted/jarvisalo05/mod2-rand3bip-sat/mod2-rand3bip-sat-230-2.shuffled-as.sat05-2189.cnf.xz


hash: dea2ff005669c886767745a91acf1099
value:
/raid/gbd/cnf-3/sat2005/crafted/jarvisalo05/mod2-rand3bip-sat/mod2-rand3bip-sat-300-1.shuffled-as.sat05-2293.cnf.xz


hash: ffe992744b5722b20cbcbd683a7130b8
value:
/raid/gbd/cnf-3/sat2005/crafted/jarvisalo05/mod2-rand3bip-sat/mod2-rand3bip-sat-270-1.shuffled-as.sat05-2248.cnf.xz


hash: ba01d056a03f8a7649b1ade2054eabd5
value:
/raid/gbd/cnf-3/sat2005/crafted/jarvisalo05/mod2-rand3bip-sat/mod2-rand3bip-sat-280-3.shuffled-as.sat05-2265.cnf.xz


hash: 8ec44b607c3bf7310d2e837478c07698
value:
/raid/gbd/cnf-3/sat2005/crafted/jarvisalo05/mod2-rand3bip-sat/mod2-rand3bip-sat-260-1.shuffled-as.sat05-2233.cnf.xz


hash: d6759ecec698488866082685843ce8af
value:
/raid/gbd/cnf-3/sat2005/crafted/jarvisalo05/mod2-rand3bip-sat/mod2-rand3bip-sat-220-2.shuffled-as.sat05-2174.cnf.xz


hash: 19a1b125613fa7e1de828967cd93573a
value:
/raid/gbd/cnf-3/sat2005/crafted/jarvisalo05/mod2-rand3bip-sat/mod2-rand3bip-sat-210-3.shuffled-as.sat05-2160.cnf.xz


hash: 126c4744d487fa4d3fe280ff2105e9ea
value:
/raid/gbd/cnf-3/sat2005/crafted/jarvisalo05/mod2-rand3bip-sat/mod2-rand3bip-sat-230-1.shuffled-as.sat05-2188.cnf.xz


hash: ee6e1362f60ac65bbc94ab45d263ee29
value:
/raid/gbd/cnf-3/sat2005/crafted/jarvisalo05/mod2-rand3bip-sat/mod2-rand3bip-sat-220-3.shuffled-as.sat05-2175.cnf.xz


hash: b14dc75c369d920ffad3a8195fcc01a3
value:
/raid/gbd/cnf-3/sat2005/crafted/jarvisalo05/mod2-rand3bip-sat/mod2-rand3bip-sat-250-2.shuffled-as.sat05-2219.cnf.xz


hash: adf79e49c14a478f638ccf4f65ac59ae
value:
/raid/gbd/cnf-3/sat2005/crafted/jarvisalo05/mod2-rand3bip-sat/mod2-rand3bip-sat-280-2.shuffled-as.sat05-2264.cnf.xz


hash: 2563a9a0463e58e8a5823bc612cacbc9
value:
/raid/gbd/cnf-3/sat2005/crafted/jarvisalo05/mod2-rand3bip-sat/mod2-rand3bip-sat-270-3.shuffled-as.sat05-2250.cnf.xz


hash: e97f4565989b58604c9f2312c62f7bb8
value:
/raid/gbd/cnf-3/sat2005/crafted/jarvisalo05/mod2-rand3bip-sat/mod2-rand3bip-sat-230-3.shuffled-as.sat05-2190.cnf.xz


hash: ca13ad73fe70e4c8237da34dbb115173
value:
/raid/gbd/cnf-3/sat2005/crafted/jarvisalo05/mod2-rand3bip-sat/mod2-rand3bip-sat-290-3.shuffled-as.sat05-2280.cnf.xz


hash: 7d69988de35bfb12a124fbf90afe707e
value:
/raid/gbd/cnf-3/sat2005/crafted/jarvisalo05/mod2-rand3bip-sat/mod2-rand3bip-sat-260-2.shuffled-as.sat05-2234.cnf.xz


hash: 67aece26784a13822a20a5efe433ed2c
value:
/raid/gbd/cnf-3/sat2005/crafted/jarvisalo05/mod2-rand3bip-sat/mod2-rand3bip-sat-240-1.shuffled-as.sat05-2203.cnf.xz


hash: c220d9824483772797d2d990b2a6a77a
value:
/raid/gbd/cnf-3/sat2005/crafted/jarvisalo05/mod2-rand3bip-sat/mod2-rand3bip-sat-240-2.shuffled-as.sat05-2204.cnf.xz


hash: f19f063963633f9d1bb7a476ff67372f
value:
/raid/gbd/cnf-3/sat2005/crafted/jarvisalo05/mod2-rand3bip-sat/mod2-rand3bip-sat-300-2.shuffled-as.sat05-2294.cnf.xz


hash: 50a6d53dfb7c3f6de126290275f800b9
value:
/raid/gbd/cnf-3/sat2005/crafted/jarvisalo05/mod2-rand3bip-sat/mod2-rand3bip-sat-200-2.shuffled-as.sat05-2144.cnf.xz


hash: 9b07f26e517e145e6861109093da7b50
value:
/raid/gbd/cnf-3/sat2005/crafted/jarvisalo05/mod2-rand3bip-sat/mod2-rand3bip-sat-300-3.shuffled-as.sat05-2295.cnf.xz


hash: 75429ff7acb5acb597abe01aa745c2a6
value:
/raid/gbd/cnf-3/sat2005/crafted/jarvisalo05/mod2-rand3bip-sat/mod2-rand3bip-sat-250-3.shuffled-as.sat05-2220.cnf.xz


hash: 548e52cb4ef6625e0eef3f969b2afbd6
value:
/raid/gbd/cnf-3/sat2005/crafted/jarvisalo05/mod2-rand3bip-sat/mod2-rand3bip-sat-200-3.shuffled-as.sat05-2145.cnf.xz


hash: fd9d3ff6a66d1e9eca257e076c745ff9
value:
/raid/gbd/cnf-3/sat2005/crafted/jarvisalo05/mod2-rand3bip-sat/mod2-rand3bip-sat-210-2.shuffled-as.sat05-2159.cnf.xz


hash: 0d3bdfd1b4eb3fb16eeb2d8437db66a2
value:
/raid/gbd/cnf-3/sat2005/crafted/jarvisalo05/mod2-rand3bip-sat/mod2-rand3bip-sat-260-3.shuffled-as.sat05-2235.cnf.xz


hash: d33639dc492d0a831f899d5fe9e55188
value:
/raid/gbd/cnf-3/sat2005/crafted/jarvisalo05/mod2-rand3bip-sat/mod2-rand3bip-sat-250-1.shuffled-as.sat05-2218.cnf.xz


hash: 9fdb175d72793a2231630a48aec5f299
value:
/raid/gbd/cnf-3/sat2005/crafted/jarvisalo05/mod2-rand3bip-sat/mod2-rand3bip-sat-200-1.shuffled-as.sat05-2143.cnf.xz


hash: 9b002d0c312bbddf9726286b87aa40ab
value:
/raid/gbd/cnf-3/sat2005/crafted/jarvisalo05/mod2-rand3bip-sat/mod2-rand3bip-sat-220-1.shuffled-as.sat05-2173.cnf.xz


hash: a7c4e6aab88f3db40f68675eaad93877
value:
/raid/gbd/cnf-3/sat2005/crafted/jarvisalo05/mod2-rand3bip-sat/mod2-rand3bip-sat-290-1.shuffled-as.sat05-2278.cnf.xz


hash: 30b8d6a3dce5c973c5f0e54d2374e3db
value:
/raid/gbd/cnf-3/sat2005/crafted/jarvisalo05/mod2-rand3bip-sat/mod2-rand3bip-sat-270-2.shuffled-as.sat05-2249.cnf.xz


hash: 193056422a264b6951428ede578b93eb
value:
/raid/gbd/cnf-3/sat2005/crafted/jarvisalo05/mod2-rand3bip-sat/mod2-rand3bip-sat-280-1.shuffled-as.sat05-2263.cnf.xz


hash: d8301370ec653996fc468d4a85c2a3a5
value:
/raid/gbd/cnf-3/sat2005/crafted/jarvisalo05/mod2-rand3bip-sat/mod2-rand3bip-sat-210-1.shuffled-as.sat05-2158.cnf.xz


hash: a175c8b4a50f6be6e9e3b245b37357f0
value:
/raid/gbd/cnf-3/sat2005/crafted/jarvisalo05/mod2c-rand3bip-sat/mod2c-rand3bip-sat-230-3.shuffled-as.sat05-2505.cnf.xz


hash: 73063c6257a4ffc29f5bea7028403a64
value:
/raid/gbd/cnf-3/sat2005/crafted/jarvisalo05/mod2c-rand3bip-sat/mod2c-rand3bip-sat-250-2.shuffled-as.sat05-2534.cnf.xz


hash: 704097be50e430aeef935541e62f7ecd
value:
/raid/gbd/cnf-3/sat2005/crafted/jarvisalo05/mod2c-rand3bip-sat/mod2c-rand3bip-sat-180-2.shuffled-as.sat05-2429.cnf.xz


hash: a26226fcee844caa830d838d5c52684b
value:
/raid/gbd/cnf-3/sat2005/crafted/jarvisalo05/mod2c-rand3bip-sat/mod2c-rand3bip-sat-170-2.shuffled-as.sat05-2414.cnf.xz


hash: 292fd16f1ef46f416a806ffa096e9565
value:
/raid/gbd/cnf-3/sat2005/crafted/jarvisalo05/mod2c-rand3bip-sat/mod2c-rand3bip-sat-210-3.shuffled-as.sat05-2475.cnf.xz


hash: d417045655e0f3d0fe8b69b9baed5dc9
value:
/raid/gbd/cnf-3/sat2005/crafted/jarvisalo05/mod2c-rand3bip-sat/mod2c-rand3bip-sat-160-1.shuffled-as.sat05-2398.cnf.xz


hash: b08e53ad86da0b50b55290108a241241
value:
/raid/gbd/cnf-3/sat2005/crafted/jarvisalo05/mod2c-rand3bip-sat/mod2c-rand3bip-sat-220-3.shuffled-as.sat05-2490.cnf.xz


hash: 9038cae94b46b46e93d4209f2865feb0
value:
/raid/gbd/cnf-3/sat2005/crafted/jarvisalo05/mod2c-rand3bip-sat/mod2c-rand3bip-sat-240-1.shuffled-as.sat05-2518.cnf.xz


hash: a51680b6ac045d8705cfb3e8b1377ee2
value:
/raid/gbd/cnf-3/sat2005/crafted/jarvisalo05/mod2c-rand3bip-sat/mod2c-rand3bip-sat-210-1.shuffled-as.sat05-2473.cnf.xz


hash: 4e203ccb97234b5525148f79e47a6276
value:
/raid/gbd/cnf-3/sat2005/crafted/jarvisalo05/mod2c-rand3bip-sat/mod2c-rand3bip-sat-180-1.shuffled-as.sat05-2428.cnf.xz


hash: bc9a899c45ad91af993e5d742d4925c1
value:
/raid/gbd/cnf-3/sat2005/crafted/jarvisalo05/mod2c-rand3bip-sat/mod2c-rand3bip-sat-150-3.shuffled-as.sat05-2385.cnf.xz


hash: 651435a590104fe4a47403f0a52a3e64
value:
/raid/gbd/cnf-3/sat2005/crafted/jarvisalo05/mod2c-rand3bip-sat/mod2c-rand3bip-sat-160-2.shuffled-as.sat05-2399.cnf.xz


hash: 5e2d07ffde107945ffb862f9ad6e4fb7
value:
/raid/gbd/cnf-3/sat2005/crafted/jarvisalo05/mod2c-rand3bip-sat/mod2c-rand3bip-sat-240-3.shuffled-as.sat05-2520.cnf.xz


hash: 28674e12b109f3b3e2967e5770184def
value:
/raid/gbd/cnf-3/sat2005/crafted/jarvisalo05/mod2c-rand3bip-sat/mod2c-rand3bip-sat-190-3.shuffled-as.sat05-2445.cnf.xz


hash: fff3f8c76467cdf9d92689969fd94281
value:
/raid/gbd/cnf-3/sat2005/crafted/jarvisalo05/mod2c-rand3bip-sat/mod2c-rand3bip-sat-240-2.shuffled-as.sat05-2519.cnf.xz


hash: 85e0d376454ba1fe286837072de8bf32
value:
/raid/gbd/cnf-3/sat2005/crafted/jarvisalo05/mod2c-rand3bip-sat/mod2c-rand3bip-sat-200-2.shuffled-as.sat05-2459.cnf.xz


hash: 737b724b2ad8eb756ab626d391f196a4
value:
/raid/gbd/cnf-3/sat2005/crafted/jarvisalo05/mod2c-rand3bip-sat/mod2c-rand3bip-sat-250-1.shuffled-as.sat05-2533.cnf.xz


hash: 3afd64a14c16c4ccb336e4e7a3e05011
value:
/raid/gbd/cnf-3/sat2005/crafted/jarvisalo05/mod2c-rand3bip-sat/mod2c-rand3bip-sat-170-1.shuffled-as.sat05-2413.cnf.xz


hash: b7d19f85285fd056940b09dbcd593fd4
value:
/raid/gbd/cnf-3/sat2005/crafted/jarvisalo05/mod2c-rand3bip-sat/mod2c-rand3bip-sat-220-2.shuffled-as.sat05-2489.cnf.xz


hash: a4e46ca63c2ddafae974b940c0287ca4
value:
/raid/gbd/cnf-3/sat2005/crafted/jarvisalo05/mod2c-rand3bip-sat/mod2c-rand3bip-sat-190-2.shuffled-as.sat05-2444.cnf.xz


hash: f870d9adffbe7da9b71fec8d6ba6dbf8
value:
/raid/gbd/cnf-3/sat2005/crafted/jarvisalo05/mod2c-rand3bip-sat/mod2c-rand3bip-sat-160-3.shuffled-as.sat05-2400.cnf.xz


hash: 312f3a5066497d26a734834aa1c8c4eb
value:
/raid/gbd/cnf-3/sat2005/crafted/jarvisalo05/mod2c-rand3bip-sat/mod2c-rand3bip-sat-200-1.shuffled-as.sat05-2458.cnf.xz


hash: 8e130a58faecae9a40f0f2dbd0b7796f
value:
/raid/gbd/cnf-3/sat2005/crafted/jarvisalo05/mod2c-rand3bip-sat/mod2c-rand3bip-sat-170-3.shuffled-as.sat05-2415.cnf.xz


hash: 9c62767e4366946029044dde17d24873
value:
/raid/gbd/cnf-3/sat2005/crafted/jarvisalo05/mod2c-rand3bip-sat/mod2c-rand3bip-sat-190-1.shuffled-as.sat05-2443.cnf.xz


hash: 4378ec2544579a23be78ce348beb65bf
value:
/raid/gbd/cnf-3/sat2005/crafted/jarvisalo05/mod2c-rand3bip-sat/mod2c-rand3bip-sat-230-2.shuffled-as.sat05-2504.cnf.xz


hash: 33db141b5b8edd53ade4a4042a655be5
value:
/raid/gbd/cnf-3/sat2005/crafted/jarvisalo05/mod2c-rand3bip-sat/mod2c-rand3bip-sat-210-2.shuffled-as.sat05-2474.cnf.xz


hash: f4215829cd6dd9c735cf07f2c6355b04
value:
/raid/gbd/cnf-3/sat2005/crafted/jarvisalo05/mod2c-rand3bip-sat/mod2c-rand3bip-sat-200-3.shuffled-as.sat05-2460.cnf.xz


hash: e4db88470b307f4241b06a1d671f12f3
value:
/raid/gbd/cnf-3/sat2005/crafted/jarvisalo05/mod2c-rand3bip-sat/mod2c-rand3bip-sat-180-3.shuffled-as.sat05-2430.cnf.xz


hash: 1b0780e82e41f6ca9c6c2f37b5350789
value:
/raid/gbd/cnf-3/sat2005/crafted/jarvisalo05/mod2c-rand3bip-sat/mod2c-rand3bip-sat-220-1.shuffled-as.sat05-2488.cnf.xz


hash: 54253246514599a53181b04aa3b3ab65
value:
/raid/gbd/cnf-3/sat2005/crafted/jarvisalo05/mod2c-rand3bip-sat/mod2c-rand3bip-sat-150-1.shuffled-as.sat05-2383.cnf.xz


hash: 0462a0427297f8979588174b502bd044
value:
/raid/gbd/cnf-3/sat2005/crafted/jarvisalo05/mod2c-rand3bip-sat/mod2c-rand3bip-sat-230-1.shuffled-as.sat05-2503.cnf.xz


hash: 1ea3303c1afa65b98320e4383de5db00
value:
/raid/gbd/cnf-3/sat2005/crafted/jarvisalo05/mod2c-rand3bip-sat/mod2c-rand3bip-sat-150-2.shuffled-as.sat05-2384.cnf.xz


hash: b5431f41e3264c64508c30da215c69c6
value:
/raid/gbd/cnf-3/sat2005/crafted/jarvisalo05/mod2c-rand3bip-sat/mod2c-rand3bip-sat-250-3.shuffled-as.sat05-2535.cnf.xz


hash: 5a3a1ff21d987a42f3500e5235019f8e
value:
/raid/gbd/cnf-3/sat2005/crafted/jarvisalo05/mod2c-3cage-unsat/mod2c-3cage-unsat-9-1.shuffled-as.sat05-2548.cnf.xz


hash: 96b4edac9846b90fc2757052e0629f26
value:
/raid/gbd/cnf-3/sat2005/crafted/jarvisalo05/mod2c-3cage-unsat/mod2c-3cage-unsat-10-3.shuffled-as.sat05-2568.cnf.xz


hash: fbcc8def5c36ac4ec398b295304325ab
value:
/raid/gbd/cnf-3/sat2005/crafted/jarvisalo05/mod2c-3cage-unsat/mod2c-3cage-unsat-9-2.shuffled-as.sat05-2549.cnf.xz


hash: effc7d67eecac3e73fcf90c543e6d813
value:
/raid/gbd/cnf-3/sat2005/crafted/jarvisalo05/mod2c-3cage-unsat/mod2c-3cage-unsat-9-3.shuffled-as.sat05-2550.cnf.xz


hash: 0b8474efd7a2611adc90c2d1504a5a94
value:
/raid/gbd/cnf-3/sat2005/crafted/jarvisalo05/mod2c-3cage-unsat/mod2c-3cage-unsat-10-1.shuffled-as.sat05-2566.cnf.xz


hash: 1df683593e4914d3e762753406d5b4c5
value:
/raid/gbd/cnf-3/sat2005/crafted/jarvisalo05/mod2c-3cage-unsat/mod2c-3cage-unsat-10-2.shuffled-as.sat05-2567.cnf.xz


hash: 7b15dcbf004018816086944c226b3a62
value:
/raid/gbd/cnf-3/sat2005/crafted/jarvisalo05/mod2c-rand3bip-unsat/mod2c-rand3bip-unsat-120-2.shuffled-as.sat05-2339.cnf.xz


hash: 073c28dfd3204f4c51e03c297ac841c1
value:
/raid/gbd/cnf-3/sat2005/crafted/jarvisalo05/mod2c-rand3bip-unsat/mod2c-rand3bip-unsat-120-3.shuffled-as.sat05-2340.cnf.xz


hash: b037d327326a9af53b039687e27704df
value:
/raid/gbd/cnf-3/sat2005/crafted/jarvisalo05/mod2c-rand3bip-unsat/mod2c-rand3bip-unsat-135-1.shuffled-as.sat05-2353.cnf.xz


hash: 2eeb1d735afc7aae8266d7355d4312c9
value:
/raid/gbd/cnf-3/sat2005/crafted/jarvisalo05/mod2c-rand3bip-unsat/mod2c-rand3bip-unsat-150-2.shuffled-as.sat05-2369.cnf.xz


hash: f4000d6f02fb6184810ce4c4e929bb61
value:
/raid/gbd/cnf-3/sat2005/crafted/jarvisalo05/mod2c-rand3bip-unsat/mod2c-rand3bip-unsat-105-1.shuffled-as.sat05-2323.cnf.xz


hash: 8af7a850fa20bf571847be48b4d59d1b
value:
/raid/gbd/cnf-3/sat2005/crafted/jarvisalo05/mod2c-rand3bip-unsat/mod2c-rand3bip-unsat-150-1.shuffled-as.sat05-2368.cnf.xz


hash: 82f618177646f082a49cc791157bb412
value:
/raid/gbd/cnf-3/sat2005/crafted/jarvisalo05/mod2c-rand3bip-unsat/mod2c-rand3bip-unsat-150-3.shuffled-as.sat05-2370.cnf.xz


hash: 07f5f3ca046261c3819c5c888ac837e5
value:
/raid/gbd/cnf-3/sat2005/crafted/jarvisalo05/mod2c-rand3bip-unsat/mod2c-rand3bip-unsat-105-3.shuffled-as.sat05-2325.cnf.xz


hash: 837bebeb984d40f4932730f2ac5ece40
value:
/raid/gbd/cnf-3/sat2005/crafted/jarvisalo05/mod2c-rand3bip-unsat/mod2c-rand3bip-unsat-105-2.shuffled-as.sat05-2324.cnf.xz


hash: c0c1bac2d78f11bc57d5ae42709e7bda
value:
/raid/gbd/cnf-3/sat2005/crafted/jarvisalo05/mod2c-rand3bip-unsat/mod2c-rand3bip-unsat-90-1.shuffled-as.sat05-2308.cnf.xz


hash: 9c05049a93e16ba4bffbcfa8dd346a95
value:
/raid/gbd/cnf-3/sat2005/crafted/jarvisalo05/mod2c-rand3bip-unsat/mod2c-rand3bip-unsat-90-2.shuffled-as.sat05-2309.cnf.xz


hash: 8493fb24c54cb90c802eb2ca5464d230
value:
/raid/gbd/cnf-3/sat2005/crafted/jarvisalo05/mod2c-rand3bip-unsat/mod2c-rand3bip-unsat-135-3.shuffled-as.sat05-2355.cnf.xz


hash: 2fb0bf7025799782ba3c5306e5115345
value:
/raid/gbd/cnf-3/sat2005/crafted/jarvisalo05/mod2c-rand3bip-unsat/mod2c-rand3bip-unsat-90-3.shuffled-as.sat05-2310.cnf.xz


hash: f6e2b84b69bf84aeef25c886cb83dcf5
value:
/raid/gbd/cnf-3/sat2005/crafted/jarvisalo05/mod2c-rand3bip-unsat/mod2c-rand3bip-unsat-135-2.shuffled-as.sat05-2354.cnf.xz


hash: a56ab2201cdd0da822712a35fb75843f
value:
/raid/gbd/cnf-3/sat2005/crafted/jarvisalo05/mod2c-rand3bip-unsat/mod2c-rand3bip-unsat-120-1.shuffled-as.sat05-2338.cnf.xz


hash: 8f5bca645bd8738eb74c2e1dc284774a
value:
/raid/gbd/cnf-3/sat2005/crafted/lynce05/social-golfer-problem/sgp_7-4-6.shuffled-as.sat05-2671.cnf.xz


hash: bd68c32bea610296ffccffb600d41f72
value:
/raid/gbd/cnf-3/sat2005/crafted/lynce05/social-golfer-problem/sgp_5-5-6.shuffled-as.sat05-2675.cnf.xz


hash: 42906ebc9a5ca8a2bc13d54bb75101dd
value:
/raid/gbd/cnf-3/sat2005/crafted/lynce05/social-golfer-problem/sgp_9-4-8.shuffled-as.sat05-2673.cnf.xz


hash: 1120bee8e16a37c21c4a7aed604514ae
value:
/raid/gbd/cnf-3/sat2005/crafted/lynce05/social-golfer-problem/sgp_5-6-8.shuffled-as.sat05-2669.cnf.xz


hash: 72ec79f110559ac053a0a38fe99ccacc
value:
/raid/gbd/cnf-3/sat2005/crafted/lynce05/social-golfer-problem/sgp_7-7-7.shuffled-as.sat05-2672.cnf.xz


hash: 14d50d670d9ce9f8f4d7bf3b684059b2
value:
/raid/gbd/cnf-3/sat2005/crafted/lynce05/social-golfer-problem/sgp_6-6-10.shuffled-as.sat05-2670.cnf.xz


hash: cd57141c129d9fd259d0b563b2be5011
value:
/raid/gbd/cnf-3/sat2005/crafted/lynce05/social-golfer-problem/sgp_9-8-8.shuffled-as.sat05-2674.cnf.xz


hash: b14723fd0acbb7a5b497c4ddb4e3d813
value:
/raid/gbd/cnf-3/sat2019/new/Manthey/sv-comp19_prop-reachsafety.queue_longer_false-unreach-call.i-witness.cnf.xz


hash: 56072d5c5852e9d4bcbb460361e38618
value:
/raid/gbd/cnf-3/sat2019/new/Manthey/sv-comp19_prop-reachsafety.barrier_3t_true-unreach-call.i-witness.cnf.xz


hash: be5c82b97513a31e0b3bcc1c231018ad
value:
/raid/gbd/cnf-3/sat2023/normalized/manthey/asconhashv12_opt64_H15_M2-kwhXs2juqFoKAYA_m12_13_U16.c.cnf.xz


hash: dc7817dfa2817916b266c1cfacd2ee66
value:
/raid/gbd/cnf-3/sat2024/zhengyu/SAT-comp-benchmark-main/constraints_25_4_5_12_12_0_0_0.sanitized.cnf.xz


hash: 303480ca7e8322d771c94caf4ebd4e95
value:
/raid/gbd/cnf-3/sat2024/franck/circuit_48in64out_with_700gates_4in4out_dist128_seed1.sanitized.cnf.xz


hash: 6f7a0e1cf94b6b26eafc08a827a692ce
value:
/raid/gbd/cnf-3/sat2024/franck/circuit_64in64out_with_64gates_8in5out_dist256_seed1.sanitized.cnf.xz


hash: 396fd56f3fd7b85afbba4254ea6e746c
value:
/raid/gbd/cnf-3/sat2024/franck/circuit_32in32out_with_80gates_7in7out_dist128_seed1.sanitized.cnf.xz


hash: 37ca184832fc6fa43a22ae900f1756a2
value:
/raid/gbd/cnf-3/sat2024/franck/circuit_32in32out_with_350gates_6in6out_dist64_seed1.sanitized.cnf.xz


hash: fa50d69adc71fe4daf7f9088cd02864a
value:
/raid/gbd/cnf-3/sat2024/franck/circuit_32in64out_with_150gates_6in6out_dist256_seed1.sanitized.cnf.xz


hash: e2deb375e56da2360ecd08fc1179fb7d
value:
/raid/gbd/cnf-3/sat2024/franck/circuit_48in24out_with_100gates_7in7out_dist128_seed1.sanitized.cnf.xz


hash: 7ac7fabd8c078aea420087a0c80e5563
value:
/raid/gbd/cnf-3/sat2024/franck/circuit_32in32out_with_400gates_6in6out_dist64_seed1.sanitized.cnf.xz


hash: 849950561ddce887c78fef773dccfa80
value:
/raid/gbd/cnf-3/sat2024/franck/circuit_48in64out_with_800gates_4in4out_dist128_seed3.sanitized.cnf.xz


hash: 9e6c2e7b0d6f58e449716deb9305525a
value:
/raid/gbd/cnf-3/sat2024/franck/circuit_32in32out_with_96gates_7in7out_dist128_seed1.sanitized.cnf.xz


hash: adf6dacdd64c93f9de1aa0eadf427faa
value:
/raid/gbd/cnf-3/sat2024/franck/circuit_48in64out_with_800gates_4in4out_dist128_seed1.sanitized.cnf.xz


hash: f5d6c36e35165e381527af076e59170f
value:
/raid/gbd/cnf-3/sat2024/franck/circuit_24in64out_with_100gates_8in4out_dist256_seed1.sanitized.cnf.xz


hash: 0ffe9b7e95f9f57b2fe8ccbe426fea67
value:
/raid/gbd/cnf-3/sat2024/franck/circuit_48in64out_with_900gates_4in4out_dist128_seed4.sanitized.cnf.xz


hash: 170b13af977e962321c493544b2bd0a9
value:
/raid/gbd/cnf-3/sat2024/franck/circuit_48in64out_with_800gates_4in4out_dist128_seed4.sanitized.cnf.xz


hash: b68ae7866df5e852c3acb97a46da2faf
value:
/raid/gbd/cnf-3/sat2024/franck/circuit_48in64out_with_1000gates_4in4out_dist128_seed4.sanitized.cnf.xz


hash: 511a2d81661a185c2115daec42270dec
value:
/raid/gbd/cnf-3/sat2024/franck/circuit_32in32out_with_500gates_6in6out_dist64_seed1.sanitized.cnf.xz


hash: e7ee736cb1d140b3f70c6f519097aa32
value:
/raid/gbd/cnf-3/sat2024/franck/circuit_32in32out_with_64gates_7in7out_dist128_seed2.sanitized.cnf.xz


hash: 71ec94c233016219e12d671594dc88e5
value:
/raid/gbd/cnf-3/sat2024/franck/circuit_32in32out_with_70gates_7in7out_dist128_seed1.sanitized.cnf.xz


hash: 8942dca5dc0876fc3f723f738d72de1c
value:
/raid/gbd/cnf-3/sat2024/franck/circuit_32in32out_with_64gates_8in6out_dist128_seed2.sanitized.cnf.xz


hash: 70bfbd054dc9ffd394fab32845b492d3
value:
/raid/gbd/cnf-3/sat2024/franck/circuit_32in32out_with_100gates_7in7out_dist64_seed2.sanitized.cnf.xz


hash: 32e344a5ab3af245f982678d2b751c6d
value:
/raid/gbd/cnf-3/sat2026/participants/biere/bench/lightsout_sat_24_unbounded_totalizer_corner_0_unsat.sanitized.cnf.xz


hash: 8f86e92c75811722dc1ddde3e8772a27
value:
/raid/gbd/cnf-3/sat2026/participants/biere/bench/lightsout_sat_25_unbounded_direct_planted250_2_sat.sanitized.cnf.xz


hash: 3e84a93eea95b1eb08e2ebd1e39e352c
value:
/raid/gbd/cnf-3/sat2026/participants/biere/bench/lightsout_sat_24_unbounded_totalizer_random30_2_unsat.sanitized.cnf.xz


hash: 80b163b706e0a16702173ec27f3d1331
value:
/raid/gbd/cnf-3/sat2026/participants/biere/bench/lightsout_sat_24_unbounded_direct_corner_0_unsat.sanitized.cnf.xz


hash: 6ce9b14e674700aa83b16b635be00098
value:
/raid/gbd/cnf-3/sat2026/participants/biere/bench/lightsout_sat_25_unbounded_totalizer_random30_2_sat.sanitized.cnf.xz


hash: 928ae51b22ad8aa6db9e19ebc32d344b
value:
/raid/gbd/cnf-3/sat2026/participants/biere/bench/lightsout_sat_25_unbounded_totalizer_planted250_3_sat.sanitized.cnf.xz


hash: dade81e1bac64dd5775c91aabfad5598
value:
/raid/gbd/cnf-3/sat2026/participants/biere/bench/lightsout_sat_25_unbounded_direct_random30_4_sat.sanitized.cnf.xz


hash: 01d6fa8efd18ebfecd06af408958477b
value:
/raid/gbd/cnf-3/sat2026/participants/biere/bench/lightsout_sat_25_unbounded_direct_planted250_4_sat.sanitized.cnf.xz


hash: 7b52af4f93f2b76dcd2ab4f7402b4f2f
value:
/raid/gbd/cnf-3/sat2026/participants/biere/bench/lightsout_sat_25_unbounded_totalizer_corner_0_sat.sanitized.cnf.xz


hash: 0efcbd10294eb001b16b4d126923372f
value:
/raid/gbd/cnf-3/sat2026/participants/biere/bench/lightsout_sat_23_unbounded_direct_random50_2_unsat.sanitized.cnf.xz


hash: 9d74c55c05d566505a71c23666175be8
value:
/raid/gbd/cnf-3/sat2026/participants/biere/bench/lightsout_sat_24_unbounded_direct_random30_4_unsat.sanitized.cnf.xz


hash: 65ee6b49612eccb7d213e4d950f23677
value:
/raid/gbd/cnf-3/sat2026/participants/biere/bench/lightsout_sat_22_unbounded_direct_planted150_4_sat.sanitized.cnf.xz


hash: b2d3ecc19f6f3851bcac4e24707f40f5
value:
/raid/gbd/cnf-3/sat2026/participants/biere/bench/lightsout_sat_23_unbounded_direct_random30_0_unsat.sanitized.cnf.xz


hash: 667341ee8c1dea3db613db317e2b2c33
value:
/raid/gbd/cnf-3/sat2026/participants/biere/bench/lightsout_sat_23_unbounded_totalizer_corner_0_unsat.sanitized.cnf.xz


hash: 20ca08f58828637815d93f46ef60b517
value:
/raid/gbd/cnf-3/sat2026/participants/biere/bench/lightsout_sat_25_unbounded_direct_planted150_0_sat.sanitized.cnf.xz


hash: 60a38dd5a5c41b15f6bc0f93f79ab99c
value:
/raid/gbd/cnf-3/sat2026/participants/biere/bench/lightsout_sat_23_unbounded_direct_random30_2_unsat.sanitized.cnf.xz


hash: b561c78a5e73a3776549a625e38c315c
value:
/raid/gbd/cnf-3/sat2026/participants/biere/bench/lightsout_sat_24_unbounded_totalizer_random30_1_unsat.sanitized.cnf.xz


hash: f091b27d8604bdcd71b02ca6ecd08022
value:
/raid/gbd/cnf-3/sat2026/participants/biere/bench/lightsout_sat_25_unbounded_totalizer_planted150_4_sat.sanitized.cnf.xz


hash: 28dcc4119e1bbb5fbd3fdd8f4140f28d
value:
/raid/gbd/cnf-3/sat2026/participants/biere/bench/lightsout_sat_25_unbounded_totalizer_planted150_3_sat.sanitized.cnf.xz


hash: 564be289283b2ac656c9524b517637b2
value:
/raid/gbd/cnf-3/sat2026/participants/biere/bench/lightsout_sat_23_unbounded_direct_corner_0_unsat.sanitized.cnf.xz


hash: cd45c944f2330e935684c5ab40206f1e
value:
/raid/gbd/cnf-3/sat2026/participants/ding/bench/afinput_exp_acyclic_depvary_step6_batch_yyy08.af.sanitized.cnf.xz


hash: 141644f2585c24fbaa024f9599b96b20
value:
/raid/gbd/cnf-3/sat2026/participants/ding/bench/laketahoe-ca-us-archiver_20151216_1536.gml.80.af.sanitized.cnf.xz


hash: 69bf87ec0e59a4b39151f4e49dc52aae
value:
/raid/gbd/cnf-3/sat2026/participants/ding/bench/mainkwt_100_60_30_40_200_0.4_0.3_0.4_0.3_0.4_0.3_0.2__1.af.sanitized.cnf.xz


hash: eecf13aaae2b3913a11f51fb378be97a
value:
/raid/gbd/cnf-3/sat2026/participants/hangjiang/bench/mainkwt_100_60_30_40_200_0.4_0.3_0.4_0.3_0.4_0.3_0.2__3.af.sanitized.cnf.xz


hash: 9d0db88885ef10bf3b158bcbba6c691f
value:
/raid/gbd/cnf-3/sat2026/participants/hangjiang/bench/mrc-les-moulins-urbis_20151202_1947.gml.50.af.sanitized.cnf.xz


hash: a594279d4032ec313859f4189074a34b
value:
/raid/gbd/cnf-3/sat2026/participants/hangjiang/bench/bw2.pfile-3-05.pddl.2.cnf_bfs_5_sub08.af.sanitized.cnf.xz


hash: de24198e51b58a99b6d4c95daa46903e
value:
/raid/gbd/cnf-3/sat2026/participants/hangjiang/bench/mainkwt_250_150_75_25_200_0.4_0.3_0.4_0.3_0.4_0.3_0.2__2.af.sanitized.cnf.xz


hash: 4f988d4222e7df1bd814f749d7532d44
value:
/raid/gbd/cnf-3/sat2026/participants/hangjiang/bench/afinput_exp_cycles_indvary3_step1_batch_yyy04.af.sanitized.cnf.xz


hash: 958fd8bd1936e5bad8cbccae492edd81
value:
/raid/gbd/cnf-3/sat2026/participants/hangjiang/bench/crusti_g2io_200_0.1_127_14.af_151.sanitized.cnf.xz


hash: 03e49a528251af9a7b7e1ca03c33b162
value:
/raid/gbd/cnf-3/sat2026/participants/schreiber/bench/schooltt-5-5-8-2-4-5-10-0.1-0.2-seed2.sanitized.cnf.xz


hash: ad2247443454da1fbd4543dd1fa5b57c
value:
/raid/gbd/cnf-3/sat2026/participants/schreiber/bench/schooltt-5-3-9-2-4-5-10-0.1-0.2-seed3.sanitized.cnf.xz


hash: b0abaa97c4663edc2048d86de3e2b226
value:
/raid/gbd/cnf-3/sat2026/participants/schreiber/bench/schooltt-5-3-9-2-4-5-10-0.1-0.2-seed4.sanitized.cnf.xz


hash: 47173e8ab499159d3aa301b0101fe170
value:
/raid/gbd/cnf-3/sat2026/participants/schreiber/bench/schooltt-5-3-9-2-4-5-10-0.1-0.1-seed3.sanitized.cnf.xz


hash: 93f5b06574be09ad5b46778248421019
value:
/raid/gbd/cnf-3/sat2026/participants/schreiber/bench/schooltt-5-3-9-2-4-5-10-0.1-0.2-seed2.sanitized.cnf.xz


hash: 9aa85c5c114245c182ed6afbe3d8daed
value:
/raid/gbd/cnf-3/sat2026/participants/schreiber/bench/schooltt-5-3-8-2-4-5-10-0.1-0.2-seed4.sanitized.cnf.xz


hash: 17baf7fa29b82de40adb837adee0dffb
value:
/raid/gbd/cnf-3/sat2026/participants/schreiber/bench/schooltt-5-7-11-2-4-1.4-2.6-1-0.9-seed2.sanitized.cnf.xz


hash: 546a73eef02dda3719018050b09e9392
value:
/raid/gbd/cnf-3/sat2026/participants/schreiber/bench/schooltt-5-3-8-2-4-5-10-0.1-0.2-seed1.sanitized.cnf.xz


hash: f52a349677a5b5b5315b5954b3181fe3
value:
/raid/gbd/cnf-3/sat2026/participants/schreiber/bench/schooltt-5-7-12-2-4-1.4-2.6-0.2-0.9-seed2.sanitized.cnf.xz


hash: 5f10d57cf49586518e1a103f03984e74
value:
/raid/gbd/cnf-3/sat2026/participants/schreiber/bench/schooltt-5-3-8-2-4-5-10-0.1-0.2-seed5.sanitized.cnf.xz


hash: fa3e27fb7209620b792d5c75a75d669b
value:
/raid/gbd/cnf-3/sat2026/participants/schreiber/bench/schooltt-5-5-10-2-4-5-10-0.1-0.2-seed5.sanitized.cnf.xz


hash: 48432767076e402d2accbf2da7260885
value:
/raid/gbd/cnf-3/sat2026/participants/schreiber/bench/schooltt-5-3-8-2-4-5-10-0.1-0.2-seed2.sanitized.cnf.xz


hash: 1680176921bab3f01c4f7c33791c8c23
value:
/raid/gbd/cnf-3/sat2026/participants/schreiber/bench/schooltt-5-5-9-2-4-5-10-0.1-0.2-seed2.sanitized.cnf.xz


hash: 8ce8dbfecaf77bdc2229bf552cc757a8
value:
/raid/gbd/cnf-3/sat2026/participants/schreiber/bench/schooltt-5-7-12-2-4-1.4-2.6-1-0.9-seed2.sanitized.cnf.xz


hash: 5faba478cb08194407b5ec957ab08599
value:
/raid/gbd/cnf-3/sat2026/participants/schreiber/bench/schooltt-5-7-11-2-4-1.4-2.6-0.8-0.9-seed2.sanitized.cnf.xz


hash: 6a0bd19edf62a95755d7d58f20417421
value:
/raid/gbd/cnf-3/sat2026/participants/schreiber/bench/schooltt-5-7-12-2-4-1.4-2.6-0.6-0.9-seed2.sanitized.cnf.xz


hash: a9a88f9a0016b672d4407e8768051de0
value:
/raid/gbd/cnf-3/sat2026/participants/schreiber/bench/schooltt-5-3-8-2-4-5-10-0.1-0.2-seed3.sanitized.cnf.xz


hash: d28a602947d617e451ee58799debc160
value:
/raid/gbd/cnf-3/sat2026/participants/schreiber/bench/schooltt-5-3-8-2-4-5-10-0.1-0.1-seed3.sanitized.cnf.xz


hash: ba14be209c2fc064726025f017cef17a
value:
/raid/gbd/cnf-3/sat2026/participants/schreiber/bench/schooltt-5-7-12-2-4-1.4-2.6-0.8-0.9-seed2.sanitized.cnf.xz


hash: 353837b1b8fdcab109c3925fc9d73512
value:
/raid/gbd/cnf-3/sat2026/participants/schreiber/bench/schooltt-5-7-11-2-4-1.4-2.6-0.2-0.9-seed2.sanitized.cnf.xz


hash: 49129740946e84dfbab8f1f8fc30148a
value:
/raid/gbd/cnf-3/sat2026/others/heule/allowable-seqence/bench/as-p55-l21-o8-rfl-II-4567.sanitized.cnf.xz


hash: ca18feb7d2bb6bee7a8ab28673fe1d62
value:
/raid/gbd/cnf-3/sat2026/others/heule/allowable-seqence/bench/as-p75-l27-o6-rot-4568.sanitized.cnf.xz


hash: aa62e8cb5d38ac1b2d9eeeb8394eadeb
value:
/raid/gbd/cnf-3/sat2026/others/heule/allowable-seqence/bench/as-p87-l30-o6-rot-II-5678-i.sanitized.cnf.xz


hash: 79bfa4d89b7c0e80dd9e786c02d8d8d1
value:
/raid/gbd/cnf-3/sat2026/others/heule/allowable-seqence/bench/as-p111-l39-o6-rot-rfl-568-i.sanitized.cnf.xz


hash: ad6bc2d583c43ff9ef00faad7e29a9c2
value:
/raid/gbd/cnf-3/sat2026/others/heule/allowable-seqence/bench/as-p99-l33-o6-rot-rfl-568-i.sanitized.cnf.xz


hash: 3732b6ac50b1c3f28d72247de89b00e8
value:
/raid/gbd/cnf-3/sat2026/others/heule/allowable-seqence/bench/as-p123-l39-o0-rot-II-4680-i.sanitized.cnf.xz


hash: e5066e18b03451d92863160ed8166bdf
value:
/raid/gbd/cnf-3/sat2026/others/heule/boxfolding/bench/1x1x14_1x2x9_pair_2_4_0_3_1_0.sanitized.cnf.xz


hash: 44452f4bac1e77157bbc900c5cc0756d
value:
/raid/gbd/cnf-3/sat2026/others/heule/boxfolding/bench/1x1x13_1x3x6_pair_4_1_0_2_3_0.sanitized.cnf.xz


hash: f4f58f03a4ea4d5e9b05a7d2574ccfe4
value:
/raid/gbd/cnf-3/sat2026/others/heule/allowable-seqence/bench/as-p141-l42-o0-rot-II-680-i.sanitized.cnf.xz


hash: 6f1b15ebd0ac13c05fb052e5b0453f64
value:
/raid/gbd/cnf-3/sat2026/others/heule/allowable-seqence/bench/as-p93-l27-o6-rot-rfl-5682-i.sanitized.cnf.xz


hash: 4de5b7b3c8bf44b2e8c549128bc936a3
value:
/raid/gbd/cnf-3/sat2026/others/heule/allowable-seqence/bench/as-p141-l39-o0-rot-rfl-680-i.sanitized.cnf.xz


hash: 5f729f069a233fa88dfb470bbee7c924
value:
/raid/gbd/cnf-3/sat2026/others/heule/boxfolding/bench/1x1x14_1x2x9_pair_2_4_0_2_2_0.sanitized.cnf.xz


hash: 2563ea83d8508d635cc034d80014cd72
value:
/raid/gbd/cnf-3/sat2026/others/heule/boxfolding/bench/1x1x13_1x3x6_pair_2_1_1_4_2_0.sanitized.cnf.xz


hash: 44b7d2c8d08574002ac959e6d1ef30ae
value:
/raid/gbd/cnf-3/sat2026/others/heule/boxfolding/bench/1x1x14_1x2x9_pair_4_2_0_2_3_0.sanitized.cnf.xz


hash: 4430d3502b0b5e6f4ed473437519e609
value:
/raid/gbd/cnf-3/sat2026/others/heule/allowable-seqence/bench/as-p123-l39-o0-rot-II-4682-i.sanitized.cnf.xz


hash: 147ae051ca727d5b2af87223b2299fbe
value:
/raid/gbd/cnf-3/sat2026/others/heule/boxfolding/bench/1x1x13_1x3x6_pair_0_0_0_2_2_1.sanitized.cnf.xz


hash: aa0eadb6c4935468fd6954e23a550504
value:
/raid/gbd/cnf-3/sat2026/others/heule/boxfolding/bench/1x1x13_1x3x6_pair_4_2_0_2_0_0.sanitized.cnf.xz


hash: f604f43d1f5525f3dab4090190adbc66
value:
/raid/gbd/cnf-3/sat2026/others/heule/boxfolding/bench/1x1x14_1x2x9_pair_2_4_0_3_3_0.sanitized.cnf.xz


hash: 02a46668243d6dabab4cf74d3811f6b6
value:
/raid/gbd/cnf-3/sat2026/others/heule/boxfolding/bench/1x1x13_1x3x6_pair_4_2_0_2_5_0.sanitized.cnf.xz


hash: 2ae678a4f0b8097615160a440efbe08e
value:
/raid/gbd/cnf-3/sat2026/others/heule/allowable-seqence/bench/as-p111-l36-o3-rot-II-5680-i.sanitized.cnf.xz


hash: 808d66b11c602eb1d5728f3f8e90aaef
value:
/raid/gbd/cnf-3/sat2026/others/heule/boxfolding/bench/1x1x14_1x2x9_pair_2_0_0_2_1_1.sanitized.cnf.xz


hash: c62a1855a4db8ae0b4bd625455332a4c
value:
/raid/gbd/cnf-3/sat2026/others/heule/boxfolding/bench/1x1x14_1x2x9_pair_2_2_0_3_2_1.sanitized.cnf.xz


hash: 8caa9b4b72b5f1782fe4554980978cbc
value:
/raid/gbd/cnf-3/sat2026/others/heule/boxfolding/bench/1x1x14_1x2x9_pair_4_1_0_2_1_0.sanitized.cnf.xz


hash: da6fae94ae1b1cedcced7169df02a762
value:
/raid/gbd/cnf-3/sat2026/others/heule/boxfolding/bench/1x1x13_1x3x6_pair_2_2_1_3_4_0.sanitized.cnf.xz


hash: a4eec7a5fef59547129822f6b513d54c
value:
/raid/gbd/cnf-3/sat2026/others/heule/boxfolding/bench/1x1x13_1x3x6_pair_2_2_1_3_2_0.sanitized.cnf.xz


hash: 66236af60b43a99ea274b3651d67cb40
value:
/raid/gbd/cnf-3/sat2026/others/heule/boxfolding/bench/1x1x13_1x3x6_pair_2_2_1_4_3_0.sanitized.cnf.xz


hash: 318380f41a83d31e0014a95b6c4e1f60
value:
/raid/gbd/cnf-3/sat2026/others/heule/boxfolding/bench/1x1x13_1x3x6_pair_2_0_0_2_1_0.sanitized.cnf.xz


hash: 0d0fabe0fbca67a8740ebe8b8621d465
value:
/raid/gbd/cnf-3/sat2026/others/heule/allowable-seqence/bench/as-p147-l51-o0-rot-rfl-68-i.sanitized.cnf.xz


hash: 9a4837429c656a71283b8d5bb41c05a7
value:
/raid/gbd/cnf-3/sat2026/others/heule/boxfolding/bench/1x1x14_1x2x9_pair_2_4_0_3_2_0.sanitized.cnf.xz


hash: 2c4491c50d4df86e7c1838083cedc703
value:
/raid/gbd/cnf-3/sat2026/others/heule/boxfolding/bench/1x1x14_1x2x9_pair_4_3_0_2_3_1.sanitized.cnf.xz


hash: 3b0eeddcabf36da8642c5774ac67680c
value:
/raid/gbd/cnf-3/sat2026/others/heule/allowable-seqence/bench/as-p153-l57-o0-rot-rfl-II-68-i.sanitized.cnf.xz


# filename

hash: 38bccb6b86edd3134c26f4fe3c2b04c2
value:
transport-transport-two-cities-sequential-15nodes-1000size-3degree-100mindistance-3trucks-10packages-2008seed.040-SAT.cnf.xz


hash: 08b6f45c900d30fb65462a65df69e214
value:
transport-transport-city-sequential-25nodes-1000size-3degree-100mindistance-3trucks-10packages-2008seed.060-SAT.cnf.xz


hash: b150919f4cd8c428a968eeb819379fc3
value:
transport-transport-city-sequential-25nodes-1000size-3degree-100mindistance-3trucks-10packages-2008seed.020-NOTKNOWN.cnf.xz


hash: cd1fa4fa52834cf5c0c744dae3b226c7
value:
transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.030-NOTKNOWN.cnf.xz


hash: 86b50dbc0e6d25e78792b1ec7d8910a1
value:
transport-transport-two-cities-sequential-15nodes-1000size-3degree-100mindistance-3trucks-10packages-2008seed.020-NOTKNOWN.cnf.xz


hash: a713aef5fdbf32a80e12781c3a3ab075
value:
transport-transport-city-sequential-25nodes-1000size-3degree-100mindistance-3trucks-10packages-2008seed.030-NOTKNOWN.cnf.xz


hash: deac2093c09ab87f614220ddcd88dbc6
value:
transport-transport-two-cities-sequential-15nodes-1000size-3degree-100mindistance-3trucks-10packages-2008seed.030-NOTKNOWN.cnf.xz


hash: 467a9b8f9c802ca7e77743832325b268
value:
transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.030-NOTKNOWN.cnf.xz


hash: f57dfed6d13d0ae0383ea4f77ba26ef6
value:
transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.040-NOTKNOWN.cnf.xz


hash: 0b9f8c85eaff9eed98a0c5cd3189afb7
value:
transport-transport-city-sequential-25nodes-1000size-3degree-100mindistance-3trucks-10packages-2008seed.040-NOTKNOWN.cnf.xz


hash: bbe2e708ed3a07f5b9c34ee9e04242b3
value:
transport-transport-city-sequential-25nodes-1000size-3degree-100mindistance-3trucks-10packages-2008seed.050-NOTKNOWN.cnf.xz


hash: 891ab1b3d09c52b0813d14fab7b94d39
value:
transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.020-NOTKNOWN.cnf.xz


hash: d7cc58d281360374ad50ac5fce039e7c
value:
transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.040-NOTKNOWN.cnf.xz


hash: 4b1777da9c1a70b4b9c1b472cbeb952a
value:
transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.050-SAT.cnf.xz


hash: 2b79a32fe5eab5954569261405d7601c
value:
transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.020-NOTKNOWN.cnf.xz


hash: c9c87d6f58ada4aacf1c85b3d217e01d
value:
transport-transport-city-sequential-25nodes-1000size-3degree-100mindistance-3trucks-10packages-2008seed.010-NOTKNOWN.cnf.xz


hash: 77a703b7b8e0af5b2e24f8c6f755db0d
value:
transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.010-NOTKNOWN.cnf.xz


hash: 24316c19acf3abc5f301bc4dc534122b
value:
transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.010-NOTKNOWN.cnf.xz


hash: 9d66bcf11266da55d3a02c626b270aab
value:
transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.050-NOTKNOWN.cnf.xz


hash: d2763b55491b3db4e36ddc10e759c85c
value:
transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.060-SAT.cnf.xz


